SAIDOUNI Djamel Eddine - Université Abdelhamid Mehri

CURRICULUM VITAE
DE
Pr. SAIDOUNI Djamel-Eddine
Biography: Djamel Eddine Saïdouni obtained his BEng degree from the University of Mentouri
Constantine, Algeria (1990). After that, he joined the LAAS/CNRS Laboratory, Toulouse, France
where he prepared his DEA (Diplôme des études approfondies) in communicating systems. He
obtained his PhD in theoretical computer science and concurrency from the University of
PaulSabatier, Toulouse, France (1996). He is currently a Full Professor and a permanent
researcher at MISC Laboratory -Computer Science Dept. at University Abdelhamid Mehri
Constantine 2, Algeria. His main research interest is in the formal speciﬁcation and veriﬁcation of
complex distributed and real time systems.
Structure de rattachement : Université Abdelhamid M ehri, Constantine 2,
Faculté des nouvelles technologies de l’information et de la
communication
Département d’informatique fondamentale et ses applications
Laboratoire M ISC
PREMI ERE PARTI E : INFORMATIONS PERSONNELLES
Nom : SAIDOUNI
Prénom : Djamel Eddine
Date et lieu de naissance : 17 mai 1968 à Constantine
Adresse personnelle : UV5, Lotissement AADL, Numéro 352, Ali M endjeli, Elkhroub
Constantine, Algérie
N° de téléphone : 05 59 08 24 25
e-mail : [email protected]
[email protected]
Adresse professionnelle :
Département d’Informatique fondamentale et ses applications,
Faculté des nouvelles technologies de l’information et de la
communication,
Université Abdelhamid M ehri, Constantine 2, Nouvelle ville Ali
M endjeli, 25000, Constantine, Algérie
Fonction actuelle : Enseignant chercheur
Grade universitaire : Professeur
Laboratoire de rattachement : Laboratoire M ISC, Université Constantine 2
DEUXIEME PARTI E: CONTRIBUTIONS PEDAGOGIQUES
Encadrement : Mémoires de Master
1. Mahfud al-la Alamin, « Distribution des graphes dirigée par les applications », projet de
master, Juin 2014, Université Constantine 2.
2. S ara Djeniba and Marwa Tolba, « Génération symbolique des automates temporisés avec
durée d’action : Approche centralisée et distribuée », projet de master, Juin 2014, Université
Constantine 2.
3. Adama Modibo Diawara, « Formalisation du langage WS-BPEL par le langage D-LOTOS :
application à la composition des services Web », projet de master, Juin 2013, Université
Constantine 2.
4. Ahmed Chaouki Chaouche. « Distribution adaptative d’un espace d’états, Application aux
STEM s et Réseaux de Petri ». Université M entouri Constantine, Juin 2011.
5. Asma Chachoua et Radja Boukharrou. « M ise en œuvre distribuée de la sémantique
opérationnelle des réseaux de Pétri temporellement temporisés : Approche Orientée Objet ».
Université M entouri Constantine, Juin 2011.
6. Fatima Bourbia et S ara Boukerzaza. « Application de l’approche de transformation de graphes
pour la génération de l’automate de région minimal à partir de DATA* ». Université M entouri
Constantine, Juin 2011.
7. Ramla Benhamlaoui et Manel Mâamar.« M ise en œuvre centralisée de la sémantique
opérationnelle des réseaux de Pétri temporellement temporisés alpha-réduite : Approche Orientée
Objet ». Université Mentouri Constantine, Juin 2011.
8. Amine Rihane. « Approche Fonctionnelle pour la M ise en œuvre distribuée de la sémantique
opérationnelle du langage temps-réel D-LOTOS ». Université M entouri Constantine, Juin 2011.
9. Karima Sedrati et Abla Segueni, Vérification des systèmes temps réel exprimés en DATA*
(Durational Action Timed Automata) par UPPAAL et KRONOS. Université M entouri
Constantine, Juin 2010.
10. Asma Benmehdi et Seifeddine Belbel, Transformation d’un micro-ordinateur Linux en un
routeur avancé. Université M entouri Constantine, Juin 2010.
11. Mohamed S aleh Ouaheb et Abderrahim Kaidi, Utilisation des approches d’optimisation
combinatoire pour la vérification des applications concurrentes. Université M entouri Constantine,
Juin 2010.
12. Seif Elislam Bourouissa et Charaf Eddine Benameur, Génération distribuée de stems pour les
réseaux de Petri. Université M entouri Constantine, Juin 2010.
13. S ofia Bekrar et Mouna Bouarioua, Application de l’approche de transformation de graphes
pour la génération de graphes de refus mixtes à partir de systèmes de transitions étiquetées
maximales. Université Mentouri Constantine, Juin 2009.
Encadrement : Mémoires d’ingénieur
1. Ahlem BOUNEB : Définition d’une sémantique de maximalité pour les réseaux de Petri
récursifs. Université M entouri Constantine, Juin 2010.
2. Amina Nouicer, Imene Baiben et S ara Zerizer, Implémentation de l’algorithme de
déterminisation des automates temporisés avec durées d’actions, Université M entouri de
Constantine, Juin 2009.
3. Mohamed S andli et Khalid Tafer, Interprétation des structures d’évènements stables par
des systèmes de transitions étiquetées maximales, Université M entouri de Constantine, Juin
2008.
4. Abou d Chetibi et Said Layadi, Interprétation des structures d’évènements à bundle par
des systèmes de transitions étiquetées maximales, Université M entouri de Constantine, Juin
2008.
5. Ammar Meziadi et Hocine Redjem, Définition d’une sémantique de maximalité pour les
structures d’évènement à flux, Université M entouri de Constantine, Juin 2008.
6. Adel S éraoui et Imad Eddine Rais, Définition des réseaux de Petri temporellement
temporisés et l’utilisation des DATA* comme modèle sémantique pour ces réseaux,
Université M entouri de Constantine, Juin 2008.
7. Baghdad lounis et Hamza Guersal, Utilisation des DATA’s comme modèle sémantique
des réseaux de Petri temporisés, Université M entouri de Constantine, Juin 2008.
8. Messaouda Bouneb et Maria Yahyaoui, Etude formelle des protocoles de transport
multicast fiables : DyRAM et AMRHy. Université M entouri de Constantine, Juin 2005.
9. S ara Bensalem, Azzouz Bouamama et Hamza Laib, M ise en œuvre du protocole AM RHy
sur un réseau local, Université M entouri de Constantine, Juin 2004.
10. Abdelghani Alidra, Conception formelle en D-LOTOS de systèmes temps réel :
Application au protocole AM RHy, Université M entouri de Constantine, Juin 2004.
11. Walid Belkhir & al., Conception et implantation des STEM s Temporels) Juin 2003
12. Mokdad Arous & al., Utilisation de la technique formelle temps réel D-LOTOS pour la
spécification du flux vidéo M PEG, Juin 2003
13. Conception et implantation d’une plate-forme pour les calculs distribués, Juin 2003
14. Meriem Belguidoum, Conception et implémentation d’un outil pour la vérification
formelle des relations de bissimulation entrelacées, Juin 2002
15. Nabil Belala & al., Développement d’un environnement de vérification formelle basée sur
la sémantique de maximalité : Approche logique, Juin 2002
16. Afifa Ghanaµï & al., Développement d’un environnement de vérification formelle basée
sur la sémantique d’entrelacement : Approche test, Juin 2002
17. Wassila Labani, Conception et implémentation d’un environnement de vérification
symbolique basée sur la sémantique de maximalité, Juin 2002
18. Ali Bourkaïb & al., Conception et implémentation d’un environnement de vérification
pour Basic LOTOS : Approche d’entrelacement, Juin 2001
19. Nabil Belala & al., Conception et l’implémentation d’un environnement de vérification
pour Basic CCS : Approche d’entrelacement, Juin 2001
MATIERES ENS EIGN EES
1.
2.
3.
4.
5.
Systèmes d’exploitation des ordinateurs
Sémantiques formelles des langages de programmation
Paradigmes de programmation
Algorithmes distribués
M odèles formels du parallélisme (Réseaux de Petri, LOTOS, CCS, Réseaux de Petri
temporel, RT-LOTOS, D-LOTOS, ... ..)
6. M odèles sémantiques pour le parallélisme (STE, Structures d’évènement, STEM , Automates
temporisés, M odèle des DATA, ...).
7. M éthodes de vérification formelle (Approche logique, Approche par bissimulation,
Approche test).
8. Environnements pour la vérification formelle (FOCOVE, TINA).
PRODUCTIONS PEDAGOGIQUES
Polycopié « M odèles du parallélisme » (75 pages)
TROISIEME PARTI E – CONTRIBUTIONS SCIENTIFIQUES
Thèses de doctorat dirigées et soutenues :
1. Kenza Bouarroudj, Formal Testing of Stochastic Real Time Systems. Université
Abdelhamid M ehri – Constantine 2, Décembre 2014.
2. Adel Benamira, Vérification comportementale des systèmes temporisés : Approche de
maximalité. Université Constantine 2, Avril 2013.
3. Ilhem Kitouni, M odèles et algorithmes pour le test des systèmes temps réel. Université
Constantine 2, Mars 2013.
4. Hiba Hachichi, Test formel des systèmes temps réel : Approche de transformation de
graphes. Université Constantine 2, Mars 2013.
5. Toufik Messaoud Maarouk, Modèles formels pour la conception des systèmes temps réel,
Université M entouri Constantine, Juin 2012.
6. Zine Elabidine Bouneb, Vérification symbolique des systèmes critiques : Approche
distribuée. Université Mentouri Constantine, Mars 2011.
7. Nabil Belala, M odèles de temps et leur intérêt à la vérification formelle des systèmes temps
réel. Université M entouri Constantine, Octobre 2010.
8. Abdesslem Layeb, Utilisation des approches d’optimisation combinatoire pour la
vérification des applications temps réel. M entouri Constantine, Mai 2010.
Thèses de magister dirigées et soutenues :
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
Abd Elouahab Khiar. « Génération du code java à partir de spécifications D-LOTOS
étendu », Centre universitaire de Khenchla, Année 2011.
Amel Boumaza, Algorithmes de model checker opérant sur les DATA* (Durational Action
Timed Automata). Université M entouri Constantine, Novembre 2010.
Mohamed Khergag, Interprétation de spécifications D-LOTOS étendu en terme d’automates
temporisés avec durées d’actions, Centre universitaire de Khenchla, Année 2010.
Khaled Djaber, Vérification formelle des systèmes temps réel. Centre universitaire El Oued,
Année 2010.
Nadjoua S aidane, Un système d’aide au diagnostic médical dans un environnement temps
réel et critique. Université M entouri Constantine, Année 2010.
Messaouda Bouneb, Vérification comportementale des réseaux de Petri sous une
sémantique de maximalité. Université Oum El-Bouaghi, Algérie., Février 2009.
Hamza Ghougha, M éthode évolutionnaire quantique pour la vérification des systèmes
concurrents. Université de Tébessa, Algérie. Jan vier 2009.
Ilhem Kitouni, Déterminisation des automates temporisés avec durées d'actions pour le
test formel. Université M entouri Constantine, Algérie. Décembre 2008.
Abdelghani Alidra, Approche de maximalité pour le test formel des applications
atemporelles et temporelles. Université M entouri Constantine, Algérie. Décembre 2007.
Farid Arfi, De la vérification symbolique entrelacée à la vérification symbolique basée
sur la sémantique de maximalité. Université M entouri Constantine, Algérie. Juin 2007.
Mokdad Arous, Etude de la complexité de modèles de spécification et de méthodes de
vérification des systèmes complexes. Université M entouri Constantine, Algérie.
Juin
2007.
Toufik Messaoud Maarouk, Spécification formelle des systèmes mobiles temps réel.
Université de Batna, Algérie. Juin 2006.
Adel Benamira, Vérification des équivalences de comportements des systèmes
concurrents. Université M entouri Constantine, Algérie. Juin 2006.
Nabil Belala, Formalisation des systèmes temps réel avec durées d’actions. Université
M entouri Constantine, Algérie. Juin 2005.
Afifa Ghanai, Approche Test pour la Vérification Formelle de comportements basée sur
la Sémantique de M aximalité. Centre universitaire d’Oum Elbouaghi, Algérie. Juin 2005.
Ammar Merazga, Approche multi-agents pour la supervision des systèmes industriels
distribués. Centre universitaire d’Oum Elbouaghi, Algérie. Octobre 2004.
S alim Benayoun, Algorithmes pour la vérification par des relations de bissimulation
basées sur la sémantique de maximalité. Université M entouri Constantine, Algérie. Juin
2003.
PUBLICATIONS ET COMMUNICATIONS
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
Kenza Bouaroudj, Djamel Eddine Saidouni & Ilhem Kitouni, “Formal testing theory of
stochastic systems under maximality semantics”, accepted for publication in “International
Journal
of
Computer
Aided
Engineering
and
Technology,
www.inderscience.com/jhome.php?jcode=IJCAET”
A.-C. Chaouche, A. El Fallah-Seghrouchni, J.-M . Ilié and D.-E. Saïdouni,
A Higher-order Agent M odel with Contextual M anagement for Ambient Systems, In
Transactions on Computational Collective Intelligence, vol. 16, pp. 146-169 Springer (2014).
URL:http://link.springer.com/chapter/10.1007/978-3-662-44871-7_6.
Souad Guellati, Ilhem Kitouni, Riadh M atmat and Djamel-Eddine Saidouni. True
Concurrency Semantics : Towards a Verification of Timed Systems. IGI Global-International
Journal of Embedded and Real-Time Communication Systems (IJERTCS). V5 Issue 2 Article
3, IGI Global. ( à paraître), http://www.igi-global.com/journal/international-journalembedded-real-time
Sofia Kouah and Djamel Eddine Saidouni, Fuzzy Labeled Transition Refinement
Tree:Application to Stepwise Designing M ultiAgentSystems, International Journal of A gent
Technologies and Systems (IJATS), Volume 6, Issue 3. IGI Global. (à
paraître),http://www.igi-global.com/journal/international-journal-agent-technologies-systems
M eriem Bensouyed, Nousseiba Guidoum and Djamel Eddine Saidouni, An efficient
evolutionary algorithm for strict strong graph coloring problem, http://www.igiglobal.com/article/an-efficient-evolutionary-algorithm-for-strict-strong-graph-coloringproblem/114215
Abdesslem Layeb and Djamel Eddine Saidouni, A Hybrid Quantum Genetic Algorithm and
Local Search based DPLL for M ax 3-SAT Problems, Applied M athematics & Information
Sciences An International Journal, Volume 8, No. 1, 77-87 (2014) 77,
http://dx.doi.org/10.12785/amis/080109.
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
M ethods Integration (FM i 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.
Imed Eddine Chama, Nabil Belala, and Djamel Eddine Saïdouni, "FM EBP: A Formal
M odeling 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. ISBN: ISBN
978-3-319-11957-1, DOI 10.1007/978-3-319-11958-8_17.
A.-C. Chaouche, A. El Fallah-Seghrouchni, J.-M . Ilié and D.-E. Saïdouni. A Dynamical Plan
Revising for Ambient Systems. In Elsevier Procedia : 5th Int. Conf. on Ambient Systems,
Networks
and
Technologies
(ANT'14)
,
2014.
URL:
http://www.sciencedirect.com/science/article/pii/S187705091400595X.
A.-C. Chaouche, A. El Fallah-Seghrouchni, J.-M . Ilié and D.-E. Saïdouni. From Intentions to
Plans : A Contextual Planning Guidance. In Springer : 8th Int. Symp. on Intelligent
Distributed
Computing
(IDC'14),
2014.
URL:
http://link.springer.com/chapter/10.1007%2F978-3-319-10422-5_42.
A.-C. Chaouche, A. El Fallah-Seghrouchni, J.-M . Ilié and D.-E. Saïdouni. A Formal
Approach for Contextual Planning M anagement : Application to Smart Campus Environment.
13.
14.
15.
16.
In Springer : 14th Ibero-American Conf.on Articial Intelligence (IBERAM IA'14), 2014. ( à
paraitre )
R. Boukharrou, A.-C. Chaouche, J.-M . Ilié and D.-E. Saïdouni. Contextual-Timed Planning
M anagement for Ambient Systems. In IEEE : 26th IEEE International Conference on Tools
with
Articial
Intelligence
(ICTAI'14),
2014.
http://ictai2014.cs.ucy.ac.cy/index.php?p=Program
Souad Guellati, Ilhem Kitouni, Riadh M atmat and Djamel-Eddine Saidouni. Timed Automata
with Action Durations - From Theory to Implementation. In the 20 th International
Conference on Information and Software Technologies (ICIST 2014), Kaunas, Lithuania, G.
Dregvaite and R. Damasevicius (Eds.): ICIST 2014, CCIS 465, pp. 94-109, 2014. Springer
International Publishing Switzerland 2014.
Souad Guellati, Ilhem Kitouni, Riadh M atmat and Djamel-Eddine Saidouni. Forward
Analysis of Timed Automata with Action Durations: Theory and Implementation. In the 6 th
International Conference on Cyber-Enabled Distributed Computing and Knowledge
Discovery (CyberC 2014), Shanghai, China.
Riadh M atmat, Ilhem Kitouni, Souad Guellati and Djamel-Eddine Saidouni. M aximalitybased Region Graph : a Novel Alternative. International Conference on Advanced Aspects of
Software Engineering (ICAASE'14), Constantine, Algéria. URL: http://www.univconstantine2.dz/icaase/schedule/index.html
17. Sofia Kouah, Djamel Eddine Saïdouni, Jean M ichel Ilié, Synchronized Petri Net: A Formal
Specification M odel for M ulti Agent Systems, Journal of Software, Vol 8, No 3 (2013), 587602, M ars 2013, doi:10.4304/jsw.8.3.587-602.
www.academypublisher.com/jsw
18. Guidoum, N., Bensouyad, M ., & Saïdouni, D. (2013). The Strict Strong Coloring Based
Graph Distribution Algorithm. [IJAM C].International Journal of Applied M etaheuristic Computing, 4(1), 50-66. DOI: 10.4018/jamc.2013010104.
www.igi-global.com/j ournal/international-j ournal-app
19. 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 M odel”.International Journal of Embedded and Real-Time Communication Systems
(IJERTCS), Print ISSN: 1947-3176, eISSN: 1947-3184, IGI Publishing. Volume 4, Issue 3,
PP62-83
http://www.igi-global.com/journal/international-journal-embedded-real-time
20. A.-C. Chaouche, A. El Fallah-Seghrouchni, J.-M . Ilié, D.-E. Saidouni, A Higher-OrderA gent
M odel
for
AmbientSystems,
The
4th
International
Conference
on
EmergingUbiquitousSystems and Pervasive Networks (EUS PN'13). Niagara Falls, Ontario,
Canada, October 21-24, 2013, Elsevier Procedia.
21. Djamel Eddine Saidouni, M essaouda Bouneb & Jean M ichel Ilié. M aximality semantics for
recursive Petri nets. European Conference on M odeling and Simulation, ECMS 2013HiPMo, M ay 27th - 30th, 2013, Alesund Norway.
22. Bouaroudj. k, Saidouni. D.E, and Kitouni. H, Testing stochastic systems using M oVoS tool:
Case studies, ICIST 2013 (The 19th International Conference on Information and Software
Technologies. ICIST 2013 October 10th - 11th, 2013, Kaunas, Lithuania), S pringer-Verlag
Berlin Heidelberg 2013.
23. Djamel Eddine S aïdouni, Farid Arfi et Jean-Michel Ilié, « Hétérogénéité dans les modèles
temps-réel ». In Proceedings of INFORMATION SYSTEM S AND TECHNOLOGIES: 1st
International Conference on Information Systems and Technologies (ICIST'11), Tebessa,
Algeria, 24,25 and 26 April. pp. 553-561, ISBN: 978-9931-9004-0-5.
24. Djamel Eddine S aïdouni, Amel Boumaza, Souad Guellati, «Prise en compte des durées
d’actions dans la vérification des automates temporisés ». In Proceedings of INFORM ATION
25.
26.
27.
28.
29.
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
SYSTEM S AND TECHNOLOGIES: 1st International Conference on Information Systems
and Technologies (ICIST'11), Tebessa, Algeria, 24,25 and 26 April. pp. , ISBN: 978-99319004-0-5.
Hiba Hachichi, Ilham Djamel Eddine S aïdouni, « Calcul des automates de regions pour les
automates temporisées avec durées d’actions ». In proceedings of Première journée doctorales
du laboratoire d’informatique d’Oron, JDLIO’2011, 31 M ai et 1 Juin 2011, Oron, Algeria.
Hiba Hachichi, Ilham Djamel Eddine Saïdouni, « A graph grammar approach for
calculation of aggregate regions automata ». To appear in Proceedings of the international
Arab Conference on Information Technology, ACIT2011
Abdesslem Layeb and Djamel Eddine Saïdouni, A new quantum evolutionary algorithm with
sifting strategy for binary decision diagram ordering problem. International journal of
cognitive informatics and natural intelligence. IGI Global vol. 4 N°4, December 2010, Pages
47-61.
Djamel Eddine Saïdouni and Zine El Abidine Bouneb, Distributed maximality based CTL
model checking. International Journal of Computer Science Issues, Vol 7, Issue 3, N°1, M ay
2010.
Djamel Eddine Saidouni, Ilhem Kitouni and Hiba Hachichi, A Graph Grammar Approach for
Durational Action Timed Automata Determinization. To appear in the proceedings of
ACIT’2010 Conference – December 2010 Benghazi - Liby.
Allaoua Chaoui, Djamel Eddine Saïdouni, M ouna Bouarioua, Safia Bekrar and Elhilali
Kerkouche, From a model of concurrency to a test model: A graph transformation based
approach. In the proceedings of the International Symposium on M odelling and
Implementation of Complex Systems M ISC’2010, Constantine Algeria M ay 30-31, 2010,
Pages 129-137.
Djamel Eddine Saidouni, Ilhem Kitouni, Hiba Hachichi, Application de l’approche de
transformation de graphes pour la déterminisation des automates temporisés avec durées
d’actions. Sera publié dans les actes de la conférence nationale d’informatique de Biskra
(SNIB’2010), Novembre 2010.
Arous M okdad and Saidouni DjamelEddine. Algèbre de Processus à base de sémantique de
maximalité avec distributions générales pour l'évaluation des performances. Sera publié dans
les actes de la conférence nationale d’informatique de Biskra (SNIB’2010), Novembre 2010.
Djamel Eddine Saïdouni, Nabil Belala and M essaouda Bouneb, Using maximality based
labeled transition system as a model for Petri nets. Intenational Arabic Journal of Information
Technology (IAJIT). Vol 6 No 5, November 2009, PP 440-446.
Djamel Eddine Saïdouni, Nabil Belala and M essaouda Bouneb, M aximality-Based Structural
Operational Semantics for Petri Nets. In the proceedings of the Intelligent Systems and
Automation conference, Tunis 23 – 25 M arch 2009, Pages 269 – 274, Edited by AIP
Conference proceedings 1107, M elville, New York 2009.
Zine El-Abidine Bouneb and Djamel Eddine Saïdouni, Parallel State Space Construction for a
M odel Checking Based on M aximality Semantics, In the proceedings of the Intelligent
Systems and Automation conference, Tunis 23 – 25 M arch 2009, Pages 7 – 12, Edited by AIP
Conference proceedings 1107, M elville, New York 2009.
Toufik M essaoud M aarouk and Djamel Eddine Saïdouni, Prise en charge de la mobilité dans
les algèbres de processus temps reel, International Confernce on Applied Informatics, Bordj
Bouarréridj, November 15-17 2009.
Abdesslem Layeb and Djamel Eddine Saïdouni, Hill Climbing and Quantum Genetic
Algorithms for M AX 3-SAT Problems. Journal of Theoretical and Applied Information
Technology, Vol4. No11.pp.1033-1039, November 2008. ISSN 1992-8645, November 2008
Zine El Abidine Bouneb and Djamel Eddine Saïdouni Parallel M LTS construction preserving
the alpha equivalence reduction, International Review on Computer and Software (IRECOS),
Vol 3, No 6, November 2008, PP. 625 – 633.
Abdesslem Layeb and Djamel Eddine Saïdouni, Quantum differential evolution Algorithms
Based on Hill Climbing for Solving BDD Ordering Problem. In the proc. of international
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
workshop of Complexity and Intelligence of the Artificial and Natural Complex Systems.
CANS08, Petru M aior University Press, ISSN 2065-0426, pp.121-124. Romania November
2008
Abdesslem Layeb and Djamel Eddine Saïdouni, A New Quantum Scatter Search Algorithm
for M AX 3-SAT Problem. In the proceedings of the international workshop of Complexity
and Intelligence of the Artificial and Natural Complex Systems. CANS08, Petru M aior
University Press, ISSN 2065-0426, pp.115-120. Romania November 2008
Djamel Eddine Saïdouni, Adel Benamira, Nabil Belala and Farid Arfi. FOCOVE : Formal
Concurrency Verification Environment for Complex Systems. In the proceedings of the
Intelligent Systems and Automation conference,. Annaba Algeria June 30-July 02, 2008, pp.
375-379, Edited by AIP Conference proceedings 978, M elville, New York 2008
Djamel Eddine Saïdouni, Nabil Belala and M essaouda Bouneb, Aggregation of Transitions in
M arking Graph Generation based on M aximality Semantics for Petri Nets, (VECoS’2008)
2nd International Workshop on Verification and Evaluation of Computer and Communication
Systems, Edited by BCS, Leeds, UK, July, 2-3, 2008
Abdesslem Layeb and Djamel Eddine Saïdouni, Quantum Differential Evolution Algorithm
for Variable Ordering Problem of Binary Decision Diagram. In the Proceedings of the 13th
International CSI Computer Conference CSICC'08, Springer: Communications in Computer
and Information Science , CCIS Vol. 6, pp. 942–945, Iran M ars 2008
Abdesslem Layeb and Djamel Eddine Saïdouni: A New Quantum Evolutionary Local Search
Algorithm for M ax 3-SAT Problem. In the 3rd International Workshop on Hybrid Artificial
Intelligence Systems. LNCS/LNAI 5271, ISSN: 0302-9743, ISBN: 978-3-540-87655-7. pp.
172–179, 2008. Spain. September 2008
Djamel Eddine Saïdouni, Nabil Belala, M essaouda Bouneb, Abdeldjalil Boudjadar and
Boulares Ouchene, Using maximality based labeled transition system as a model for Petri
nets. in the proceeding of the International Arabic Conference on Information Technology
ACIT’2008, Hammamet, Tunis December 16th – 18th 2008.
Djamel Eddine Saïdouni and Toufik M essaoud M aarouk, MD-LOTOS : Langage de
spécification formelle des systèmes mobiles temps-réel. in proceedings of Séminaire National
d’Informatique de Biskra (SNIB’2008), 6-8 M ay 2008. Biskra, Algeria.
Djamel Eddine Saïdouni, Nabil Belala and M essaouda Bouneb, Réseaux de Petri et
sémantique de maximalité. in proceedings of Séminaire National d’Informatique de Biskra
(SNIB’2008), 6-8 M ay 2008. Biskra, Algeria.
Abdesslem Layeb and Djamel Eddine Saïdouni, Quantum Genetic Algorithm for Binary
Decision Diagram Ordering Problem. International Journal of Computer Science and Network
Security, Vol.7, No 9, pp. 130-135, ISSN 1738-7906, September 2007, URL : www.ijcsns.org
Abdesslem LAYEB and Djamel Eddine Saïdouni, Algorithme Evolutionnaire Quantique Pour
la Recherche d'Ordre de Variables dans les Diagrammes de Décision Binaire. Colloque
international sur l'Optimisation et les Systèmes d'Information, COSI2007, pp.499-508, Oran,
Algeria, June 2007.
Djamel Eddine Saïdouni and Afifa Ghenaï, Intégration des refus temporaires dans les graphes
de refus, In proceeding of NOTERE conference, ENSICA, Toulouse, France june 6-9, 2006,
Edited by Hermes – Lavoisier
Djamel Eddine Saïdouni and Nabil Belala, Actions duration in timed models, in proceedings
of ACIT’2006, Al yarmuk University, Jordan, 19 – 21 december 2006.
Adel Benamira and Djamel Eddine Saïdouni, Consideration of the covering steps in the
maximality-based labeled transitions systems, in proceedings of ACIT’2006, Al yarmuk
University, Jordan, 19 – 21 december 2006.
Lakhdar derdouri, Djamel Eddine Saidouni et M ohammed Benmohammed, Reliable multicast
th
transport in an active environment, in the proceedings of the 4 international multiconference
on computer science and information technology, Amman, Jordan 2006.
54. Djamel Eddine Saïdouni and Nabil Belala, Using maximality-based labeled transition system
model for concurrent logic verification. International Arab Journal of Information Technology
(IAJIT). Vol. 2, No. 2, July 2005. PP 199 – 205.
55. Nabil Belala and Djamel Eddine Saïdouni, Non-Atomocity in Timed M odels, In proceeding
of ACIT conference, Al-Isra Universit, Jordan, 6 – 8 december 2005.
56. Nabil Belala and Djamel Eddine Saïdouni, Non-Atomocité dans les modèles temporisés, In
proceeding of CIP conference (Conférence Internationale de Productic), Abou bakr Belkaïd
University and CDTA, Tlemcen 3 - 4 december 2005;
57. Djamel Eddine Saïdouni and Nabil Belala, Straightforward adaptation of interleaving-based
solutions for true concurrency-based verification approaches. Conférence internationale sur
les systèmes complexes, Jijel 2004.
58. Lakhdar Derdouri, Djamel Eddine Saïdouni and M ohamed Benmohammed, Protocole
Hybride de Transport Actif M ulticast Fiable. Conférence internationale sur les systèmes
complexes, Jijel 2004.
59. Djamel Eddine Saïdouni and Ouassila Labbani, M aximality-based symbolic model checking,
In AICCSA 2003, IEEE international conference on computer systems ans applications, Tunis
2003. IEEE Catalog Number:03EX722, ISBN:0-7803-7983-7
60. Djamel Eddine Saïdouni and Jean Pierre Courtiat, Prise en compte des durées d'action dans
les algèbres de processus par l'utilisation de la sémantique de maximalité In editors, Colloque
Francophone sur l’Ingénierie des Protocoles (CFIP’2003), Hermes, Paris 2003, ISBN :27462-0798-2.
61. 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 CIP 2003 Conférence
internationale sur la productique, Algiers 2003.
62. Djamel Eddine Saïdouni and Jean Pierre Courtiat, Une comparaison des sémantiques de
maximalité et de causalité de basic LOTOS. In editors, Colloque Francophone sur
l’Ingénierie des Protocoles (CFIP’96), pages 99-113, Ensias, 1996. ISBN 9981-129-00-3
63. Djamel Eddine Saïdouni and Jean Pierre Courtiat, Sémantique de maximalité. In P. Azema,
J.L. Durieux and P. M ichel, editors, Formalisation d’applications Concourrentes (FAC’96),
pages 153-166, Toulouse, France 1996
64. Djamel Eddine Saïdouni and Jean Pierre Courtiat, Arbres maximaux, (6 pages) RenPar’96
Bordeaux, France.
65. Jean Pierre Courtiat and Djamel Eddine Saïdouni, Relating maximality-based semantics to
action refinement in process algebras, in D. Hogrefe and S. Leue, editors, Formal Description
Techniques (FORTE’94), pages 293-308, Chapman & Hall, 1995. ISBN:0 412 64450 9
66. Djamel Eddine Saïdouni and Jean Pierre Courtiat, Syntactic action refinement in presence of
multiway synchronization, in D.J. Andrews, J.F. Groote and C.A. M iddelburg, editors,
Semantics of Specification Languages (SoSL’93), pages 289-303, Workshops in Computing
series, Springer-Verlag, 1994. ISBN:3-540-19854-7.
67. Jean Pierre Courtiat and Djamel Eddine Saïdouni, Action refinement in LOTOS, in A.
Danthine, G. Leduc and P. Wolper, editors, Protocol Specification Testing and Validation
(PSTV’93), pages 341-354, North-Holland, 1994. ISSN:0926-549X
68. Jean Pierre Courtiat, Murilo S. Camargo and Djamel Eddine Saïdouni, RT-LOTOS : LOTOS
temporisé pour la spécification des systèmes temps réel, In R. Dssouli, G.V. Bochmann and
L. Lévesque, editors, Colloque Francophone sur l’Ingénierie des Protocoles (CFIP’93), pages
427-441, Hermes, 1993. ISBN :2-86601-378-6
69. Jean Pierre Courtiat and Djamel Eddine Saïdouni, A Case study in protocle design, in T.
Bolognesi, J.V.D. Lagemaat and C. Vissers, editors, Third Lotosphere Workshop, Pise, Italy,
September 1992.
PROJETS DE RECHERCHE
1. Projet européen :
1.1. Titre : Lotosphere
1.2. Période : 1990 – 1995
1.3. Qualité : M embre
1.4. Affiliation: LAAS-CNRS, Toulouse, France
2. Projet national :
2.1. Titre : Architectures et systèmes
2.2. Code : B2501/01/02
2.3. Période:2002 – 2005
2.4. Qualité : M embre
2.5. Affiliation: Université M entouri de Constantine, Algerie
3. Projet national :
3.1. Titre : Systèmes temps réel multimédias
3.2. Code : B2501/51/06
3.3. Période: 2006 - 2008
3.4. Qualité : Chef du projet
3.5. Affiliation: Université M entouri de Constantine, Algerie
4. Projet national :
4.1. Titre : Vérification distribuée des systèmes critiques
4.2. Code : B*00920080096
4.3. Période: 2009 - 2011
4.4. Qualité : Chef du projet
4.5. Affiliation: Université M entouri de Constantine, Algerie
5. Projet national :
5.1. Titre : M odèles formels pour les systèmes dynamiques
5.2. Code : B*00920120117
5.3. Période: 2013 - 2015
5.4. Qualité : Chef du projet
5.5. Affiliation: Université Constantine 2, Algérie

Download Report