• PROFIL ENSEIGNANT

BELALA Nabil

BELALA Nabil

BELALA Nabil

Maître de conférence classe A

Président du comité scientifique (Département IFA)

Spécialité : Informatique

Faculté : Nouvelles Technologies de l’Information et de la Communication

Département : Informatique Fondamentale Et Ses Applications

Coordonnées

COORDONNES :

E-mail : nabil.belala@univ-constantine2.dz

Téléphone :

Site Web :

Taches Pédagogiques

Matières enseignées:
====================

1. Responsable de la matière ou du module
– Introduction à l’Administration de Bases de Données (L3 Sciences de l’Informatique). En cours.
– Réseaux de Communication (2e année licence Informatiques). En cours.
– Réseaux (3e année licence Systèmes Informatiques).
– Développement d’Applications Réparties (Master 1 Réseaux et Systèmes Distribués). En cours.
– Ateliers de licence (3e année licence Systèmes Informatiques).
– Protocoles de Communication (Master 1 Systèmes Distribués).
– Réseaux (3e année licence Informatique Académique).
– Ateliers de licence (3e année licence Informatique Académique).
– Calcul Formel (Tronc-Commun Mathématiques et Informatique).
– Informatique (3e et 4e année Français).
– Informatique (2e et 3e année licence en Sciences de l’Information et de la Communication).
– Informatique (2e et 3e année licence en Sciences Sociales).

2. Chargé de TD
– Compilation (4e année Ingénieur d’Etat en Informatique).
– Systèmes d’Exploitation 2 (3e année licence Informatique Académique).

3. Chargé de TP
– Sécurité de l’Information (Master 1 Réseaux et Systèmes Distribués).
– Protocoles de Communication (Master 1 Systèmes Distribués).
– Protocoles de Communication et Systèmes Distribués (Master Informatique Académique).
– Systèmes d’Exploitation 2 (3e année licence Systèmes Informatiques).
– Systèmes d’Exploitation 2 (3e année licence Informatique Académique).
– Systèmes d’Exploitation 1 (2e année licence Informatique Académique).
– Gestion du Processus Logiciel (2e année licence Génie Logiciel).

Encadrement:
============

Encadrement de thèses de doctorat du 3ème cycle (LMD)
– Roumaissa Khennaoui, « Approche de Vérification Contextuelle des Systèmes Ambiants ». Thèse de Doctorat du 3ème cycle (LMD). Université Constantine 2 – Abdelhamid Mehri. (en cours)

Encadrement de thèses de Doctorat en Sciences
– Khalil Mechraoui, « Un Cadre Formel pour l’Analyse et la Vérification des Processus Métier ». Thèse de Doctorat en Sciences. Université Constantine 2 – Abdelhamid Mehri. (en cours)

Encadrement dans le Master
1. Mohamed Saïd Chemaâ et Hamza Boudjebir, « Plateforme de partage dynamique de tâches ». Université Constantine 2 – Abdelhamid Mehri, Juin 2015.
2. Sofiane Cherouana et Djalel Eddine Boukabache, « Dessin interactif : aide à la spécification des systèmes temps-réel ». Université Constantine 2 – Abdelhamid Mehri, Juin 2015.
3. Adama Diawara Modibo, « Formalisation du langage WS-BPEL par le langage D-LOTOS : application à la composition des services Web ». Université Constantine 2, Juin 2013. (coencadrement avec Djamel Eddine Saïdouni)
4. Bessma Laib et Hibet Errahmane Amireche, « Proposition d’une architecture d’un système honeypot basée sur le Calcul Organique », Université Constantine 2, Juin 2013.
5. Wassila Slougui et Yasmina Abid Charef, « Spécification formelle et vérification du protocole SSH ». Université Mentouri de Constantine, Juin 2011.
6. Mohamed Zaki Chellali et Bachir Djoudi, « Passage DATA* vers automates temporisés : Mise en oeuvre et application ». Université Mentouri de Constantine, Juin 2011.
7. Khaoula Guessasma et Khadidja Benouareth, « Approches pour le calcul distribué : Application au Data Mining ». Université Mentouri de Constantine, Juin 2011.
8. Asma Mezari et Dounia Benamira, « Système de détection de feu : Conception formelle et simulation ». Université Mentouri de Constantine, Juin 2011.
9. Amira Mordjana et Fatima Zohra Saih, « Protocole RTSP : Conception formelle et simulation ». Université Mentouri de Constantine, Juin 2010.
10. Amina Belala et Samira Messaoudi, « Protocole PPP : Conception formelle et simulation ». Université Mentouri de Constantine, Juin 2010.
11. Asma Lakroune et Wafa Kifouche, « Protocole SIP : Conception formelle et simulation ». Université Mentouri de Constantine, Juin 2010.
12. Aboubakeur Mérabti, « Protocole DCCP : Conception formelle et simulation ». Université Mentouri de Constantine, Juin 2010.
13. Imène Zédairi et Billel Mezhoud, « DNS : Conception formelle et simulation ». Université Mentouri de Constantine, Juin 2010.

Encadrement dans la formation d’Ingénieur d’Etat (cycle long)
1. Amira Cheribet et Assia Maalem, « Spécification et vérification formelle du protocole DHCP », Université Mentouri de Constantine, Juin 2009.
2. Bilel Medjdoub, Mehdi Mouhoubi et Lakhdar Laidi, « Site web de gestion d’offres immobilières pour la FNAI », Université Mentouri de Constantine, Juin 2009.
3. Moussa Nia et Benmaamar Imene, « Automatisation d’abonnement ADSL au sein d’Easy ADSL », Université Mentouri de Constantine, Juin 2009.
4. Adel Seraoui et Imadeddine Raïs, « Définition de réseaux de Petri temporellement temporisés et l’utilisation des DATA*’s comme modèle sémantique pour ces réseaux », Université Mentouri de Constantine, Juin 2008. (co-encadrement avec Djamel Eddine Saïdouni)
5. Baghdad Lounis et Hamza Guersal, « Utilisation des DATA’s comme modèle sémantique des réseaux de Petri temporisés », Université Mentouri de Constantine, Juin 2008. (coencadrement avec Djamel Eddine Saïdouni)
6. Djalel Benayache, Adel Boufrah et Ismaïl Belila, « Gestion d’abonnement ADSL au sein d’Easy ADSL, filiale Internet d’Algérie Télécom », Université Mentouri de Constantine, Juin 2008.
7. Abdeldjalil Boudjadar et Boularès Ouchène, « Sémantique de maximalité pour les réseaux de Petri », Université Mentouri de Constantine, Juin 2007. (co-encadrement avec Djamel Eddine Saïdouni)
8. Salaheddine Sadouni et Bilel Hammani, « Gestionnaire distribué des ressources matérielles au sein de SONELGAZ », Université Mentouri de Constantine, Juin 2007.

Encadrement dans la licence
Depuis l’année universitaire 2012-2013 Responsable des projets de licence en Systèmes Informatiques: organisation et suivi des ateliers de licence y compris l’encadrement de plusieurs étudiants de licence. Université Constantine 2.
Projets encadrés :
– Développement d’un site Web d’une agence immobilière. (2013–2014)
– Application multi-plateforme de gestion d’une compagnie de radiotaxis. (2013–2014)
– Développement d’un site Web d’un magasin de commerce. (2013–2014)
– Application de gestion d’un cabinet médical. (2013–2014)
– Développement d’un siteWeb d’une association de prise en charge de patients. (2012–2013)
– Développement d’une application de collaboration au sein d’une institution. (2012–2013)
– Application d’apprentissage en ligne pour enfants de primaire. (2012–2013)

Année universitaire 2008-2009 à 2011-2012 Responsable des projets de licence en Informatique Académique : organisation et suivi des ateliers de licence y compris l’encadrement de plusieurs étudiants de licence. Université Mentouri de Constantine.
Exemples de projets encadrés :
– Développement d’une application client/serveur de messagerie électronique. (2011–2012)
– Développement d’une application de messagerie électronique. (2010–2011)
– Développement d’une application simple de calcul distant. (2009–2010)
– Développement d’une application de messagerie instantanée et de partage de fichiers.
(2008–2009)

Co-encadrement de thèses de doctorat
– Imed Eddine Chama, « Formalisation des Processus d’Entreprise par l’Utilisation des Modèles Temporisés ». Thèse de Doctorat du cycle LMD soutenue le 14 juin 2015 à l’Université Constantine 2 – Abdelhamid Mehri. (co-encadrement avec Djamel Eddine Saïdouni)

Co-encadrement de thèses de Magistère
– Khalil Mechraoui, « Spécification formelle des processus métiers par l’utilisation des réseaux de Petri temporellement temporisés ». Thèse de Magistère soutenue en novembre 2015, École Nationale Supérieure d’Informatique. (co-encadrement avec Djamel Eddine Saïdouni)

Production pédagogique:
=======================

– « Réseaux Informatiques », Nabil Belala, polycopié destiné aux étudiants de 3e année licence. Dernière mise à jour : 27 janvier 2014. Polycopié validé par le Comité Scientifique du Département d’Informatique Fondamentale et ses Applications, et le Conseil Scientifique de la Faculté des Nouvelles Technologies de l’Information et de la Communication, Université Constantine 2.
– « Modèles du Parallélisme », Djamel Eddine Saïdouni et Nabil Belala, polycopié destiné aux étudiants de 5e année Ingénieur en Informatique et Master 2 Systèmes Distribués. Première version tirée en 2004. (coauteur)

 

Activités de recherche

Publications et communications:
===============================

Publications internationales
1. Imed Eddine Chama, Nabil Belala, and Djamel-Eddine Saïdouni. “Formal Modeling and Analysis of Business Process Timed Constraints”, Formalisms for Reuse and Systems Integration, Advances in Intelligent Systems and Computing, Volume 346, 2015, pp 149-172. DOI 10.1007/978-3-319-16577-6_7, Print ISBN 978-3-319-16576-9, Online ISBN 978-3-319-16577- 6, Series ISSN 2194-5357, Springer International Publishing Switzerland, http://link.springer.com/chapter/10.1007%2F978-3-319-16577-6_7
2. Imed Eddine Chama, Nabil Belala, and Djamel-Eddine Saïdouni, “Formalizing Timed BPEL by D-LOTOS”. International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 5, Issue. 2, 1-21, April-June 2014. doi:10.4018/ijertcs.2014040102, http://www.igi-global.com/article/formalizing-timed-bpel-lotos/121726
3. Nabil Belala, Djamel Eddine Saïdouni, Radja Boukharrou, Ahmed Chaouki Chaouche, Adel Seraoui, Asma Chachoua, “Time Petri Nets with Action Duration: A True Concurrency Real-Time Model”. International Journal of Embedded and Real-Time Communication Systems (IJERTCS), 4(2):62-83, Print ISSN: 1947-3176, eISSN: 1947-3184, April-June 2013. IGI Publishing. DOI: 10.4018/jertcs.2013040104. http://www.igi-global.com
4. Nabil Belala, Djamel Eddine Saïdouni, Messaouda Bouneb, and Jean-Michel Ilié, “Maximality Semantics and Petri Nets”, International Journal of Computer Science and Technology (IJCST), 3(3):687-694, Print ISSN: 2229-4333. July – September 2012. http://www.ijcst.com
5. Djamel Eddine Saïdouni, Nabil Belala, and Messaouda Bouneb, “Using maximality-based labeled transition system as a model for Petri nets”. The International Arab Journal of Information Technology (IAJIT), 6(5):440-446, Print ISSN: 1683-3198. November 2009. http://www.iajit.org
6. Djamel-Eddine Saïdouni and Nabil Belala, “Using maximality-based labeled transition system model for concurrency logic verification”, The International Arab Journal of Information Technology (IAJIT), 2(3):199-205, July 2005. Print ISSN: 1683-3198. http://www.iajit.org

Communication internationales
Communications internationales éditées
1. Imed Eddine Chama, Nabil Belala and Djamel Eddine Saïdouni, “Formalization and Analysis of Timed BPEL”, In Proceedings of the 2nd IEEE International Workshop on Formal Methods Integration (FMi 2014 ), 15th International Conference on Information Reuse and Integration (IRI 2014), August 13-15, 2014, San Francisco, California, USA, IEEE IRI 2014, pp. 483-491, 978-1-4799-5880-1/14.
2. Imed Eddine Chama, Nabil Belala and Djamel Eddine Saïdouni, “FMEBP: A Formal Modeling Environment of Business Process”, In Proceedings of the 20th International Conference on Information and Software Technologies (ICIST 2014 ), Druskininkai, Lithuania, October 9-10, 2014. G. Dregvaite and R. Damasevicius (Eds.): ICIST 2014, CCIS 465, pp. 211-223. Springer International Publishing Switzerland 2014.
3. Djamel-Eddine Saïdouni, Nabil Belala and Messaouda Bouneb, “Maximality-based structural operational semantics for Petri nets”, In Proceedings of INTELLIGENT SYSTEMS AND AUTOMATION: 2nd Mediterranean Conference on Intelligent Systems and Automation (CISA’09 ), Zarzis, Tunisia, March 23-25th, 2009, Volume 1107 (Issue 1) of American Institute of Physics Conference Proceedings, Melville, New York, pp. 269-274, ISBN: 978-0-7354-0642-1.
4. Djamel-Eddine Saïdouni, Adel Benamira, Nabil Belala and Farid Arfi, “FOCOVE: Formal Concurrency Verification Environment for Complex Systems”, In Proceedings of INTELLIGENT SYSTEMS AND AUTOMATION: 1st Mediterranean Conference on Intelligent Systems and Automation (CISA’08 ), Annaba, Algeria, June 30th-July 2nd, 2008, Volume 1019 (Issue 1) of American Institute of Physics Conference Proceedings, Melville, New York, pp. 375-380, ISBN: 978-0-7354-0540-0.
5. Djamel-Eddine Saïdouni, Nabil Belala and Messaouda Bouneb, “Aggregation of transitions in marking graph generation based on maximality semantics for Petri nets”. In Proceedings of the Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS’2008), Leeds, UK, July 2-3th, 2008. eWiC Series, The British Computer Society (BCS), ISSN: 1477-9358.

Communications internationales avec comité programme et comité de lecture internationaux
1. Djamel-Eddine Saïdouni, Messaouda Bouneb and Nabil Belala. “On-the-fly Generation Algorithm of alpha-Reduced Maximality-Based Labeled Transition Systems for Petri Nets”. In Proceedings of International Arab Conference on Information Technology (ACIT’2009 ), University of Science and Technology (UST), Sanaa, Yemen. December 15-17th, 2009.
2. Djamel Eddine Saïdouni, Nabil Belala, Messaouda Bouneb, Abdeldjalil Boudjadar, and Boularès Ouchène, “Using maximality-based labeled transition system as a model for Petri nets”. In Proceedings of International Arab Conference on Information Technology (ACIT’08 ), University of Sfax, Hammamet, Tunisia, December 16-18th, 2008.
3. Djamel-Eddine Saïdouni and Nabil Belala, “Actions duration in timed models”, In Proceedings of International Arab Conference on Information Technology (ACIT’2006), Yarmouk University, Irbid, Jordan, December 19-21st, 2006.
4. Nabil Belala and Djamel-Eddine Saïdouni, “Non-atomicity in timed models”, In Proceedings of International Arab Conference on Information Technology (ACIT’2005 ), Al-Isra Private University, Jordan, December 6-8th, 2005.
5. Nabil Belala and Djamel-Eddine Saïdouni, « Non atomicité dans les modèles temporisés », In Conférence Internationale sur la Productique (CIP’2005 ), CDTA et Université Aboubakr Belkaïd de Tlemcen, Algeria, December 3-4th, 2005.
6. Djamel-Eddine Saïdouni and Nabil Belala, “Adaptation of interleaving-based solutions for true concurrency-based logic verification approaches”, In Proceedings of International Conference on Complex Systems (CISC’2004 ), University of Jijel, Algeria, September 6-8th, 2004.
7. Djamel-Eddine Saïdouni and Nabil Belala, « Vérification de propriétés exprimées en CTL sur le modèle des Systèmes de Transitions Étiquetées Maximales », In Proceedings of Conférence Internationale sur la Productique (CIP’2003 ), Alger, Algeria, October 2003. CDTA.

Communications nationales
1. Mohamed Zaki Chellali, Bachir Djoudi, Nabil Belala and Djamel-Eddine Saïdouni, « Approche et algorithme de transformation des DATA* en automates temporisés ». In Proceedings of Premières Journées Nationales sur l’Informatique et ses Applications (JNIAK’2012), pp. 137-145, Khenchela, Algeria, April 29-30th, 2012.
2. Djamel-Eddine Saïdouni, Nabil Belala and Messaouda Bouneb, « Réseaux de Petri et sémantique de maximalité ». In Proceedings of 6e Séminaire National en Informatique de Biskra (SNIB’2008 ), pp. 37-44, Biskra, Algeria, May 6-8th, 2008.

Projets de recherche:
=====================

Depuis Janvier 2013 Chef du Projet National CNEPRU numéro B*00920120131 intitulé : « Vérification Formelle des Systèmes dans un Environnement Dynamique » (durée prévue : 4 ans)
De Janvier 2009 à Décembre 2012 Membre du Projet National CNEPRU numéro B*00920080096 intitulé : « Vérification Distribuée des Systèmes Critiques » (durée : 4 ans)
De Janvier 2006 à Décembre 2008 Membre du Projet National CNEPRU numéro B2501/51/06 intitulé : « Systèmes Temps-Réel Multimédias » (durée : 3 ans)

Animation scientifique:
=======================

Membre du Comité Programme
– MISC 2016 : 4th International Symposium on Modelling and Implementation of Complex Systems, May 7-8, 2016, Constantine, Algeria
– JDMISC 2013 : Deuxièmes Journées Doctorales du Laboratoire MISC, Université Constantine 2, Algérie. 15-16 mai 2013.
– JDMISC 2011 : Premières Journées Doctorales du Laboratoire MISC, Université Mentouri de Constantine. Algérie. 29 septembre 2011.

Membre du Comité de Lecture et Comité d’Organisation
– MISC 2012 : Second International Symposium on Modelling and Implementation of Complex Systems, University of Mentouri, Constantine, Algeria. May 20-21, 2012.
– MISC 2010 : First International Symposium on Modelling and Implementation of Complex Systems, University of Mentouri, Constantine, Algeria. May 30-31, 2010.

Membre du Comité de Lecture
– Special Issue of Advances in Intelligent Systems and Computing published by Springer including best papers from the 15th International Conference on Information Reuse and Integration (IRI 2014), and the 2nd IEEE International Workshop on Formal Methods Integration (FMi 2014).

Membre du Comité de Publication
– MISC 2016 : 4th International Symposium on Modelling and Implementation of Complex Systems, May 7-8, 2016, Constantine, Algeria

Thèses:
=======

Juin 2005 : Magistère de l’Université Mentouri de Constantine, Algérie
– Spécialité : Informatique
– Option : Information and Computation
– Titre : « Formalisation des Systèmes Temps-Réel avec Durées d’Actions »
– Directeur de thèse : Djamel Eddine Saïdouni
– Lieu : Laboratoire LIRE, Université Mentouri, Constantine
– Mention : Bien

Octobre 2010 : Doctorat en Sciences de l’Université Mentouri de Constantine, Algérie
– Spécialité : Informatique
– Titre : « Modèles de Temps et leur Intérêt à la Vérification Formelle des Systèmes Temps-Réel »
– Directeur de thèse : Djamel Eddine Saïdouni
– Lieu : Laboratoire MISC, Université Mentouri, Constantine
– Mention : Très Honorable

CV-Publications