BELALA Nabil

Curriculum Vitæ détaillé
Nabil Belala
Dernière modification : 29 novembre 2016
Table des matières
1 Informations personnelles
1.1 Itinéraire universitaire . .
1.2 Compétences linguistiques
1.3 Parcours professionnel . .
1.3.1 Postes actuels . . .
1.3.2 Anciens postes . .
1.4 Formations effectuées . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2
2
3
3
3
3
4
2 Contributions pédagogiques
2.1 Enseignement en graduation . . . . . . . . . . . . . . . . . . . .
2.1.1 Responsable de la matière ou du module . . . . . . . . .
2.1.2 Chargé de TD . . . . . . . . . . . . . . . . . . . . . . . .
2.1.3 Chargé de TP . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Encadrement de thèses de doctorat du 3ème cycle (LMD) . . .
2.3 Encadrement de thèses de Doctorat en Sciences . . . . . . . . .
2.4 Encadrement dans le Master . . . . . . . . . . . . . . . . . . . .
2.5 Encadrement dans la formation d’Ingénieur d’Etat (cycle long)
2.6 Encadrement dans la licence . . . . . . . . . . . . . . . . . . . .
2.7 Co-encadrement de thèses de doctorat . . . . . . . . . . . . . .
2.8 Co-encadrement de thèses de Magistère . . . . . . . . . . . . .
2.9 Responsabilités et tâches administratives . . . . . . . . . . . . .
2.10 Polycopiés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4
4
4
4
5
5
5
5
6
6
7
7
7
7
3 Contributions scientifiques
3.1 Publications internationales . . . . . . . . . . . . . . . . . . . .
3.2 Communication internationales . . . . . . . . . . . . . . . . . .
3.2.1 Communications internationales éditées . . . . . . . . .
3.2.2 Communications internationales avec comité programme
internationaux . . . . . . . . . . . . . . . . . . . . . . .
. . . . . .
. . . . . .
. . . . . .
et comité
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . .
. . . . . .
. . . . . .
de lecture
. . . . . .
8
8
9
9
9
3.3
3.4
3.5
3.6
3.7
3.8
1
Communications nationales . . . . . . . . . .
Rapports de recherche (sélection) . . . . . . .
Projets de recherche . . . . . . . . . . . . . .
Animation scientifique . . . . . . . . . . . . .
Stages effectués . . . . . . . . . . . . . . . . .
Activités de recherche . . . . . . . . . . . . .
3.8.1 Dans la thèse de Magistère . . . . . .
3.8.2 Dans la thèse de Doctorat en Sciences
3.8.3 Phase postdoctorale . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
10
10
10
11
11
11
11
12
12
Informations personnelles
Nom Nabil
Prénom Belala
Date de naissance 9 juin 1979
Lieu de naissance Constantine, Algérie
Nationalité Algérienne
Situation familiale marié, trois enfants
Adresse personnelle Cité 500 logts SOREPIM, BT 14, No 6, 25100 El-Khroub, Constantine,
Algérie
Adresse professionnelle Département d’Informatique Fondamentale et ses Applications, Faculté des Nouvelles Technologies de l’Information et de la Communication, Université Constantine 2 – Abdelhamid Mehri, Ali Mendjeli, BP : 67A, Constantine, Algérie
Numéro de téléphone (domicile) 031 76 90 42
Numéro de téléphone (mobile) 06 61 66 60 62
Adresse email [email protected]
Fonction actuelle Enseignant-chercheur
Spécialité Informatique
Grade universitaire Maitre de Conférences classe A
Grade de recherche Chargé de Recherche
Laboratoire de rattachement Laboratoire MISC (Laboratoire de Modélisation et d’Implémentation des Systèmes Complexes), Université Constantine 2 – Abdelhamid Mehri
1.1
Itinéraire universitaire
Juin 1997 : Baccalauréat, Lycée Massinissa El-Khroub, Constantine, Algérie
— Option : Sciences Exactes
— Mention : Assez Bien
Juin 2002 : Ingénieur d’Etat de l’Université Mentouri de Constantine, Algérie
— Spécialité : Informatique
— Option : Systèmes Parallèles et Distribués
— Titre : « Vérification Formelle Basée sur la Sémantique de Maximalité : Approche Logique »
— Encadreur : Djamel Eddine Saïdouni
— Mention : Bien
Juin 2005 : Magistère de l’Université Mentouri de Constantine, Algérie
2
—
—
—
—
—
—
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 TempsRéel »
— Directeur de thèse : Djamel Eddine Saïdouni
— Lieu : Laboratoire MISC, Université Mentouri, Constantine
— Mention : Très Honorable
Juin 2015 : Habilitation Universitaire de l’Université Constantine 2, Algérie
— Spécialité : Informatique
— Lieu : Département d’Informatique Fondamentale et ses Applications, Faculté des Nouvelles Technologies de l’Information et de la Communication, Université Constantine 2 –
Abdelhamid Mehri
1.2
Compétences linguistiques
— Arabe : langue natale
— Français : capacité professionnelle complète
— Anglais : compétence professionnelle
1.3
1.3.1
Parcours professionnel
Postes actuels
Depuis Juin 2015
Maitre de Conférences classe A à l’Université Constantine 2 – Abdelhamid Mehri.
Depuis Janvier 2012
Chargé de Recherche au Laboratoire MISC (Laboratoire de Modélisation et d’Implémentation des Systèmes Complexes) de l’Université Mentouri de Constantine puis à l’Université
Constantine 2 depuis Novembre 2012.
1.3.2
Anciens postes
De Octobre 2010 à Mai 2015
Maitre de Conférences classe B à l’Université Mentouri de Constantine puis à l’Université
Constantine 2 depuis Novemebre 2012.
De Janvier 2010 à Décembre 2011
Attaché de Recherche au Laboratoire MISC (Laboratoire de Modélisation et d’Implémentation
des Systèmes Complexes) de l’Université Mentouri de Constantine.
De Septembre 2006 à Septembre 2010
Enseignant titulaire (Maitre Assistant) à Université Mentouri de Constantine.
3
De Janvier 2006 à Décembre 2009
Attaché de Recherche au Laboratoire LIRE (Laboratoire d’Informatique Répartie) de l’Université Mentouri de Constantine.
Année universitaire 2004-2005
Enseignant vacataire au Département du Tronc-Commun des Sciences Exactes, Technologies
et Informatique de Université Mentouri de Constantine.
Année universitaire 2003-2004 à 2005-2006
Enseignant vacataire au Département de Français à l’Ecole Normale Supérieure de Constantine.
Année universitaire 2004-2005
Enseignant vacataire au Département des Sciences Sociales de Université Mentouri de Constantine.
Année universitaire 2003-2004
Enseignant vacataire au Département des Sciences de l’Information et de la Communication
de Université Mentouri de Constantine.
1.4
Formations effectuées
Décembre 2008 Formation de 2 jours sur la Programmation et la Technologie .NET effectuée
à CoGitar, El Biar, Alger. Sponsorisée par Microsoft Algérie.
2
Contributions pédagogiques
2.1
Enseignement en graduation
2.1.1
Responsable de la matière ou du module
1. Introduction à l’Administration de Bases de Données (L3 Sciences de l’Informatique).
2. Réseaux de Communication (2e année licence Informatique). En cours.
3. Réseaux (3e année licence Systèmes Informatiques).
4. Développement d’Applications Réparties (Master 1 Réseaux et Systèmes Distribués). En
cours.
5. Ateliers de licence (3e année licence Systèmes Informatiques).
6. Protocoles de Communication (Master 1 Systèmes Distribués).
7. Réseaux (3e année licence Informatique Académique).
8. Ateliers de licence (3e année licence Informatique Académique).
9. Calcul Formel (Tronc-Commun Mathématiques et Informatique).
10. Informatique (3e et 4e année Français).
11. Informatique (2e et 3e année licence en Sciences de l’Information et de la Communication).
12. Informatique (2e et 3e année licence en Sciences Sociales).
2.1.2
Chargé de TD
1. Compilation (4e année Ingénieur d’Etat en Informatique).
2. Systèmes d’Exploitation 2 (3e année licence Informatique Académique).
4
2.1.3
Chargé de TP
1. Sécurité de l’Information (Master 1 Réseaux et Systèmes Distribués).
2. Protocoles de Communication (Master 1 Systèmes Distribués).
3. Protocoles de Communication et Systèmes Distribués (Master Informatique Académique).
4. Systèmes d’Exploitation 2 (3e année licence Systèmes Informatiques).
5. Systèmes d’Exploitation 2 (3e année licence Informatique Académique).
6. Systèmes d’Exploitation 1 (2e année licence Informatique Académique).
7. Gestion du Processus Logiciel (2e année licence Génie Logiciel).
2.2
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.
Encadrement depuis octobre 2015 (en cours)
2.3
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. Encadrement
depuis octobre 2015 (en cours)
2.4
Encadrement dans le Master
1. Issam Benderradji et Mohamed Nadir Benlatrache, « Répartition dynamique de charge : Application aux problèmes d’optimisation ». Université Constantine 2 – Abdelhamid Mehri, Juin
2016.
2. Oulaya Malki et Zineb Hafsaoui, « Proposition d’une architecture d’un système de détection
d’intrusions (IDS) basée sur le calcul organique ». Université Constantine 2 – Abdelhamid
Mehri, Juin 2016.
3. Mohamed Amine Boufelfel et Hicham Bouhedja, « Génération distribué d’un espace d’état
dans un environnement dynamique ». Université Constantine 2 – Abdelhamid Mehri, Juin
2016.
4. Mohamed Saïd Chemaâ et Hamza Boudjebir, « Plateforme de partage dynamique de tâches ».
Université Constantine 2 – Abdelhamid Mehri, Juin 2015.
5. 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.
6. 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)
7. 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.
8. Wassila Slougui et Yasmina Abid Charef, « Spécification formelle et vérification du protocole
SSH ». Université Mentouri de Constantine, Juin 2011.
9. Mohamed Zaki Chellali et Bachir Djoudi, « Passage DATA* vers automates temporisés : Mise
en œuvre et application ». Université Mentouri de Constantine, Juin 2011.
5
10. Khaoula Guessasma et Khadidja Benouareth, « Approches pour le calcul distribué : Application au Data Mining ». Université Mentouri de Constantine, Juin 2011.
11. Asma Mezari et Dounia Benamira, « Système de détection de feu : Conception formelle et
simulation ». Université Mentouri de Constantine, Juin 2011.
12. Amira Mordjana et Fatima Zohra Saih, « Protocole RTSP : Conception formelle et simulation ». Université Mentouri de Constantine, Juin 2010.
13. Amina Belala et Samira Messaoudi, « Protocole PPP : Conception formelle et simulation ».
Université Mentouri de Constantine, Juin 2010.
14. Asma Lakroune et Wafa Kifouche, « Protocole SIP : Conception formelle et simulation ».
Université Mentouri de Constantine, Juin 2010.
15. Aboubakeur Mérabti, « Protocole DCCP : Conception formelle et simulation ». Université
Mentouri de Constantine, Juin 2010.
16. Imène Zédairi et Billel Mezhoud, « DNS : Conception formelle et simulation ». Université
Mentouri de Constantine, Juin 2010.
2.5
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.
2.6
Encadrement dans la licence
Année universitaire 2012-2013 à 2015-2016 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)
6
—
—
—
—
Application de gestion d’un cabinet médical. (2013–2014)
Développement d’un site Web 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 :
—
—
—
—
2.7
Développement
Développement
Développement
Développement
(2008–2009)
d’une application client/serveur de messagerie électronique. (2011–2012)
d’une application de messagerie électronique. (2010–2011)
d’une application simple de calcul distant. (2009–2010)
d’une application de messagerie instantanée et de partage de fichiers.
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)
2.8
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)
2.9
Responsabilités et tâches administratives
Depuis Avril 2016
Président du Comité Scientifique du Département d’Informatique Fondamentale et ses Applications, Faculté des Nouvelles Technologies de l’Information et de la Communication, Université Constantine 2 – Abdelhamid Mehri.
De Septembre 2015 à Novembre 2016
Responsable de l’équipe de la spécialité licence en Sciences de l’Informatique (SCI) (Domaine :
Mathématiques et Informatique, filière : Informatique) à l’Université Constantine 2 – Abdelhamid Mehri.
De Décembre 2010 à Juin 2015
Responsable de l’équipe de la spécialité licence académique en Systèmes Informatiques (Domaine : Mathématiques et Informatique, filière : Informatique) à l’Université Mentouri de
Constantine puis à l’Université Constantine 2 depuis Novemebre 2012.
De Février 2010 à Novembre 2010
Responsable « non titulaire » de l’équipe de la spécialité licence académique en Informatique
(Domaine : Mathématiques et Informatique, filière : Informatique), Université Mentouri de
Constantine.
2.10
Polycopiés
— « 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éparte7
ment 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)
3
3.1
Contributions scientifiques
Publications internationales
1. Imed Eddine Chama, Nabil Belala, and Djamel Eddine Saïdouni, “A timed semantics for web
services composition”, International Journal of Business Process Integration and Management
(IJBPIM). Inderscience Publishers. ISSN online: 1741-8771, ISSN print: 1741-8763. (in press)
2. Saïd Layadi, Ilham Kitouni, Nabil Belala, and Djamel-Eddine Saïdouni, “Relative Time
Rates in Dynamic Timed Automata”, International Journal of Communication Networks and
Distributed Systems (IJCNDS), Vol. 17, No. 4, pp. 412-432, 2016, Inderscience Publishers.
ISSN online: 1754-3924, ISSN print: 1754-3916.
3. 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-165776,
Series
ISSN
2194-5357,
Springer
International
Publishing
Switzerland,
http://link.springer.com/chapter/10.1007%2F978-3-319-16577-6_7
4. 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
5. Nabil Belala, Djamel Eddine Saïdouni, Radja Boukharrou, Ahmed Chaouki Chaouche, Adel
Seraoui, Asma Chachoua, “Time Petri Nets with Action Duration: A True Concurrency RealTime 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
6. 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
7. 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
8. 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
8
3.2
Communication internationales
3.2.1
Communications internationales éditées
1. Khalil Mecheraoui, Nabil Belala, and Djamel Eddine Saïdouni, “Towards a Comprehensive
Formal Model for Business Processes”, In Proceedings of the 22nd International Conference
on Information and Software Technologies (ICIST 2016 ), Druskininkai, Lithuania, October
13-15, 2016. G. Dregvaite and R. Damasevicius (Eds.): ICIST 2016, CCIS 639, pp. 174-186.
Springer International Publishing 2016. DOI: 10.1007/978-3-319-46254-7_14.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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.
3.2.2
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.
9
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.
3.3
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.
3.4
Rapports de recherche (sélection)
1. Nabil Belala and Djamel-Eddine Saïdouni, « Non atomicité dans les modèles temporisés »,
Research Report IPG05-001, Laboratoire LIRE, Université Mentouri, 25000 Constantine, Algérie, Feb. 2005.
2. Djamel-Eddine Saïdouni and Nabil Belala, « Impact des durées d’actions sur les modèles
temps-réel ». Research Report, Laboratoire LIRE, Université Mentouri, 25000 Constantine,
Algérie, Apr. 2005.
3. Djamel-Eddine Saïdouni, Nabil Belala, and Abdelghani Alidra, « Formalismes de spécification des systèmes temps-réel ». Technical Report, Laboratoire LIRE, Université Mentouri,
25000 Constantine, Algérie, Juin 2004.
4. Djamel-Eddine Saïdouni, Lakhdar Derdouri, Abdelghani Alidra, and Nabil Belala. « Conception formelle du protocole AMRHy ». Technical Report, Laboratoire LIRE, Université Mentouri, 25000 Constantine, Algérie, Juin 2004.
5. 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 (version étendue) ». Research
Report, Laboratoire LIRE, Université Mentouri, 25000 Constantine, Algérie, 2003.
3.5
Projets de recherche
De Janvier 2013 à Décembre 2016 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)
10
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)
3.6
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
— Journal of King Saud University - Computer and Information Sciences, Elsevier,
http://ees.elsevier.com/jksu-cis/
— ICIST 2016 : 22nd International Conference on Information and Software Technologies,
Druskininkai, Lithuania, October 13-15, 2016.
— 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).
— 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 Publication
— MISC 2016 : 4th International Symposium on Modelling and Implementation of Complex
Systems, May 7-8, 2016, Constantine, Algeria
Membre du 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.
3.7
Stages effectués
Du 19 Juin 2009 au 18 Juillet 2009
Stage de courte durée effectué au laboratoire LE2I (Laboratoire d’Electronique, Informatique
et Image), Université de Bourgogne, Dijon, France.
3.8
3.8.1
Activités de recherche
Dans la thèse de Magistère
Mon travail s’inscrivait dans le contexte de spécification et vérification formelle des systèmes
temps-réel, et consiste à définir un modèle sémantique temps-réel basé sur la sémantique de maximalité. Ce dernier exprimant les comportements parallèles et supportant à la fois contraintes temporelles,
11
durées explicites des actions, non-atomicité structurelle et temporelle des actions et notion d’urgence.
Par ailleurs, j’ai proposé des règles de génération de manière opérationnelle de ce nouveau modèle
(que j’ai appelé DATA*’s, pour Durational Action Timed Automata) à partir de spécifications écrite
dans l’extension temps-réel de LOTOS appelée D-LOTOS. Enfin, j’ai montré comment utiliser ce
nouveau modèle dans le model checking, qui est une technique de vérification formelle.
3.8.2
Dans la thèse de Doctorat en Sciences
Dans mon travail de thèse, je me suis intéressé à l’attribution à quelques modèles temporels et/ou
temporisés une sémantique dite de vrai parallélisme, à savoir la sémantique de maximalité. Cette
dernière peut être utilisée de manière rationnelle avec l’hypothèse que les actions du système ne sont
pas nécessairement atomiques et n’ont pas nécessairement des durées nulles. Des travaux antérieurs,
dans lesquels j’ai participé, ont montré l’aptitude de modèles basés sur la maximalité, comme les
systèmes de transitions étiquetées maximales, à supporter l’expression de comportements parallèles
de manière naturelle. Pour tirer profit des avantages offerts par la sémantique de maximalité, j’ai
appliqué cette dernière au langage de spécification Basic LOTOS, à son extension temps-réel DLOTOS, et aux réseaux de Petri place/transitions.
3.8.3
Phase postdoctorale
Mon expérience dans le domaine de la spécification et la vérification des systèmes critiques en
général, et les systèmes temps-réel plus particulièrement, m’a poussé à continuer dans ce domaine.
Je travaille actuellement sur plusieurs sujets. Ces derniers varient de la vérification formelle des
DATA* au positionnement théorique de ces derniers par rapport à d’autres modèles, en passant par
la spécification formelle des processus métiers et la composition des services Web et l’extension du
modèle des réseaux de Petri pour qu’il soit en même temps temporel et temporisé.
12