[PDF] Curriculum Vitæ détaillé 29 nov. 2016 Lieu de

View - Download Curriculum Vitæ détaillé

Previous PDF

Next PDF

Curriculum Vitae détaillé

NabilBelala

Dernière modification : 29 novembre 2016

Table des matières

1 Informations personnelles 2

1.1 Itinéraire universitaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

1.2 Compétences linguistiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

1.3 Parcours professionnel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

1.3.1 Postes actuels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

1.3.2 Anciens postes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

1.4 Formations effectuées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2 Contributions pédagogiques 4

2.1 Enseignement en graduation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2.1.1 Responsable de la matière ou du module . . . . . . . . . . . . . . . . . . . . . 4

2.1.2 Chargé de TD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2.1.3 Chargé de TP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2.2 Encadrement de thèses de doctorat du 3ème cycle (LMD) . . . . . . . . . . . . . . . 5

2.3 Encadrement de thèses de Doctorat en Sciences . . . . . . . . . . . . . . . . . . . . . 5

2.4 Encadrement dans le Master . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2.5 Encadrement dans la formation d"Ingénieur d"Etat (cycle long) . . . . . . . . . . . . 6

2.6 Encadrement dans la licence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2.7 Co-encadrement de thèses de doctorat . . . . . . . . . . . . . . . . . . . . . . . . . . 7

2.8 Co-encadrement de thèses de Magistère . . . . . . . . . . . . . . . . . . . . . . . . . 7

2.9 Responsabilités et tâches administratives . . . . . . . . . . . . . . . . . . . . . . . . . 7

2.10 Polycopiés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

3 Contributions scientifiques 8

3.1 Publications internationales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

3.2 Communication internationales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

3.2.1 Communications internationales éditées . . . . . . . . . . . . . . . . . . . . . 9

3.2.2 Communications internationales avec comité programme et comité de lecture

internationaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1

3.3 Communications nationales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

3.4 Rapports de recherche (sélection) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

3.5 Projets de recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

3.6 Animation scientifique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

3.7 Stages effectués . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

3.8 Activités de recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

3.8.1 Dans la thèse de Magistère . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

3.8.2 Dans la thèse de Doctorat en Sciences . . . . . . . . . . . . . . . . . . . . . . 12

3.8.3 Phase postdoctorale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1 Informations personnelles

NomNabil

PrénomBelala

Date de naissance9 juin 1979

Lieu de naissanceConstantine, Algérie

NationalitéAlgérienne

Situation familialemarié, trois enfants

Adresse personnelleCité 500 logts SOREPIM, BT 14, No6, 25100 El-Khroub, Constantine,

Algérie

Adresse professionnelleDépartement d"Informatique Fondamentale et ses Applications, Fa- culté des Nouvelles Technologies de l"Information et de la Communication, Université Constan- tine 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 emailnabil.belala@univ-constantine2.dz

Fonction actuelleEnseignant-chercheur

SpécialitéInformatique

Grade universitaireMaitre de Conférences classe A

Grade de rechercheChargé de Recherche

Laboratoire de rattachementLaboratoire 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 Temps-

Ré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 Nou- velles 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 Parcours professionnel

1.3.1 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émenta- tion 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"Uni- versité 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 Constan- tine.

Année universitaire 2004-2005

Enseignant vacataire au Département des Sciences Sociales de Université Mentouri de Constan- tine.

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 2008Formation 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 (2

eannée licence Informatique). En cours.

3. Réseaux (3

eanné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 (3

eannée licence Systèmes Informatiques).

6. Protocoles de Communication (Master 1 Systèmes Distribués).

7. Réseaux (3

eannée licence Informatique Académique).

8. Ateliers de licence (3

eannée licence Informatique Académique).

9. Calcul Formel (Tronc-Commun Mathématiques et Informatique).

10. Informatique (3

eet 4eannée Français).

11. Informatique (2

eet 3eannée licence en Sciences de l"Information et de la Communication).

12. Informatique (2

eet 3eannée licence en Sciences Sociales).

2.1.2 Chargé de TD

1. Compilation (4

eannée Ingénieur d"Etat en Informatique).

2. Systèmes d"Exploitation 2 (3

eanné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 (3

eannée licence Systèmes Informatiques).

5. Systèmes d"Exploitation 2 (3

eannée licence Informatique Académique).

6. Systèmes d"Exploitation 1 (2

eannée licence Informatique Académique).

7. Gestion du Processus Logiciel (2

eanné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 : Ap-

plication 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, Juin2016.

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, Juin2015.

5. Sofiane Cherouana et Djalel Eddine Boukabache, " Dessin interactif : aide à la spécification

des systèmes temps-réel ». Université Constantine 2 - Abdelhamid Mehri, Juin2015.

6. Adama Diawara Modibo, " Formalisation du langage WS-BPEL par le langage D-LOTOS :

application à la composition des services Web ». Université Constantine 2, Juin2013. (co- encadrement 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, Juin2013.

8. Wassila Slougui et Yasmina Abid Charef, " Spécification formelle et vérification du protocole

SSH ». Université Mentouri de Constantine, Juin2011.

9. Mohamed Zaki Chellali et Bachir Djoudi, " Passage DATA* vers automates temporisés : Mise

en oeuvre et application ». Université Mentouri de Constantine, Juin2011. 5

10. Khaoula Guessasma et Khadidja Benouareth, " Approches pour le calcul distribué : Applica-

tion au Data Mining ». Université Mentouri de Constantine, Juin2011.

11. Asma Mezari et Dounia Benamira, " Système de détection de feu : Conception formelle et

simulation ». Université Mentouri de Constantine, Juin2011.

12. Amira Mordjana et Fatima Zohra Saih, " Protocole RTSP : Conception formelle et simula-

tion ». Université Mentouri de Constantine, Juin2010.

13. Amina Belala et Samira Messaoudi, " Protocole PPP : Conception formelle et simulation ».

Université Mentouri de Constantine, Juin2010.

14. Asma Lakroune et Wafa Kifouche, " Protocole SIP : Conception formelle et simulation ».

Université Mentouri de Constantine, Juin2010.

15. Aboubakeur Mérabti, " Protocole DCCP : Conception formelle et simulation ». Université

Mentouri de Constantine, Juin2010.

16. Imène Zédairi et Billel Mezhoud, " DNS : Conception formelle et simulation ». Université

Mentouri de Constantine, Juin2010.

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, Juin2009.

2. Bilel Medjdoub, Mehdi Mouhoubi et Lakhdar Laidi, "Site web de gestion d"offres immobilières

pour la FNAI », Université Mentouri de Constantine, Juin2009.

3. Moussa Nia et Benmaamar Imene, " Automatisation d"abonnement ADSL au sein d"Easy

ADSL », Université Mentouri de Constantine, Juin2009.

4. Adel Seraoui et Imadeddine Raïs, " Définition de réseaux de Petri temporellement tempo-

risés et l"utilisation des DATA*"s comme modèle sémantique pour ces réseaux », Université

Mentouri de Constantine, Juin2008. (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, Juin2008. (co- encadrement 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, Juin2008.

7. Abdeldjalil Boudjadar et Boularès Ouchène, " Sémantique de maximalité pour les réseaux de

Petri », Université Mentouri de Constantine, Juin2007. (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, Juin2007.

2.6 Encadrement dans la licence

Année universitaire 2012-2013 à 2015-2016Responsable des projets de licence en Systèmes Informatiques : organisation et suivi des ateliers de licence y compris l"encadrement de plu- sieurs é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-2012Responsable des projets de licence en Informa- tique 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)

2.7 Co-encadrement de thèses de doctorat

- Imed Eddine Chama, " Formalisation des Processus d"Entreprise par l"Utilisation des Mo-

dè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 Appli- cations, Faculté des Nouvelles Technologies de l"Information et de la Communication, Univer- sité 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 - Abdel-

hamid Mehri.

De Décembre 2010 à Juin 2015

Responsable de l"équipe de la spécialité licence académique en Systèmes Informatiques (Do-

maine : 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 3 eannée licence.

Dernière mise à jour : 27 janvier 2014. Polycopié validé par le Comité Scientifique du Départe-

7 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 5

eannée Ingénieur en Informatique et Master 2 Systèmes Distribués. Première version tirée en 2004. (coauteur)

3 Contributions scientifiques

3.1 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 Inte- gration, 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,

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,

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 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 Pu- blishing. DOI: 10.4018/jertcs.2013040104.http://www.igi-global.com

6.Nabil Belala, Djamel Eddine Saïdouni, Messaouda Bouneb, and Jean-Michel Ilié, "Maxi-

mality 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 la-

beled transition system as a model for Petri nets".The International Arab Journal of Informa- tion Technology(IAJIT), 6(5):440-446, Print ISSN: 1683-3198. November 2009. http://www.iajit.org

8. Djamel-Eddine Saïdouni andNabil Belala, "Using maximality-based labeled transition sys-

tem 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 Belalaand 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 Belalaand Djamel Eddine Saïdouni, "FMEBP: A Formal Mo-

deling 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 Belalaand Messaouda Bouneb, "Maximality-based structu-

ral operational semantics for Petri nets",In Proceedings of INTELLIGENT SYSTEMS AND AUTOMATION: 2nd Mediterranean Conference on Intelligent Systems and Automation(CI- SA"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 Belalaand Farid Arfi, "FOCOVE: Formal

Concurrency Verification Environment for Complex Systems",In Proceedings of INTELLI- GENT SYSTEMS AND AUTOMATION: 1st Mediterranean Conference on Intelligent Sys- tems 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 Belalaand 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 Com- munication 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 andNabil Belala. "On-the-fly Generation Al-

gorithm of alpha-Reduced Maximality-Based Labeled Transition Systems for Petri Nets".In Proceedings of International Arab Conference on Information Technology(ACIT"2009), Uni- versity 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 andNabil Belala, "Actions duration in timed models",In Procee-

dings of International Arab Conference on Information Technology(ACIT"2006), Yarmouk University, Irbid, Jordan, December 19-21st, 2006.

4.Nabil Belalaand 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 Belalaand 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 andNabil Belala, "Adaptation of interleaving-based solutions for

true concurrency-based logic verification approaches",In Proceedings of International Confe- rence on Complex Systems(CISC"2004), University of Jijel, Algeria, September 6-8th, 2004.

7. Djamel-Eddine Saïdouni andNabil 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 Belalaand Djamel-Eddine Saïdouni, " Ap-

proche 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 Belalaand Messaouda Bouneb, " Réseaux de Petri et sé-

mantique de maximalité ».In Proceedings of 6eSé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 Belalaand Djamel-Eddine Saïdouni, " Non atomicité dans les modèles temporisés »,

Research Report IPG05-001, Laboratoire LIRE, Université Mentouri, 25000 Constantine, Al- gérie, Feb. 2005.

2. Djamel-Eddine Saïdouni andNabil 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écifi-

cation 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, andNabil Belala. "Concep-

tion formelle du protocole AMRHy ». Technical Report, Laboratoire LIRE, Université Men- touri, 25000 Constantine, Algérie, Juin 2004.

5. Djamel-Eddine Saïdouni andNabil 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 2016Chef 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 2012Membre 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 2008Membre 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é Constan- tine 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 ofAdvances in Intelligent Systems and Computingpublished 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 Com- plex 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 Com- plex 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 Activités de recherche

3.8.1 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 maxima-

lité. 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

quotesdbs_dbs1.pdfusesText_1

[PDF] exemple de cv pdf gratuit

[PDF] exemple de cv pdf maroc

[PDF] exemple de cv pour stage bac pro gestion administration

[PDF] exemple de cv technicien en electricité de maintenance industrielle

[PDF] exemple de demande d'achat de fournitures

[PDF] exemple de demande d'achat de fournitures excel

[PDF] exemple de demande d'ajout de module

[PDF] exemple de demande d'attestation ofii

[PDF] exemple de demande d'obtention de diplôme

[PDF] exemple de demande de conservation de note de tp

[PDF] exemple de demande de recrutement au gendarme manuscrit

[PDF] exemple de demande de retrait de diplome

[PDF] exemple de demande de transfert d'une université ? une autre

[PDF] exemple de demande de transfert de filiere

[PDF] exemple de demande de transfert universitaire maroc