Djamel Eddine Saidouni; Messaouda Bouneb; Jean Michel Ilié Maximality Semantic For Recursive Petri Nets. 27th European Conf. on Modelling and Simulation (ECMS'13): 544-550 (2013)
	Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni A Higher-order Agent Model for Ambient Systems. 4th Int. Conf. on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN'13): 156-163 (2013)
	Ahmed-Chawki Chaouche; Amal El Fallah-Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni Towards a MAS Approach to Model Ambient Systems. 8th NII-LIP6 WorkShops on Multi-agent and Distributed Systems (2013)

	Kenza Bouaroudj; Ilham Kitouni; Hiba Hachichi; Djamel Eddine Saidouni Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems. Int. J. of Computer Science Issues (IJCSI) 9(5) (2012)
	Hiba Hachichi; Ilham Kitouni; Kenza Bouaroudj; Djamel Eddine Saidouni A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars. Int. J. of Computer Science Issues (IJCSI) 9(4) (2012)
	Toufik Messaoud Maarouk; Djamel Eddine Saidouni; Mohamed Khergag Towards a Calculus for Distributed, Real-Time and Mobile Systems. J. of Software (JSW) 7(3): 564-574 (2012)
	Mourad Bouzenada; Meriem Bensouyad; Nousseiba Guidoum; Ahmed Reghioua; Djamel Eddine Saidouni A Generalized Graph Strict Strong Coloring Algorithm. Int. J. of Applied Metaheuristic Computing (IJAMC) 3(1): 24-33 (2012)
	Hiba Hachichi; Ilham Kitouni; Kenza Bouaroudj; Djamel Eddine Saidouni A Graph Transformation Approach for Testing Timed Systems. 18th Int. Conf. on Information and Software Technologies (ICIST'12): 123-137 (2012)
	Djamel Eddine Saïdouni; Ahmed-Chawki Chaouche; Jean-Michel Ilié On the Fly PSO Inspired Algorithm For Graph Distribution. 2nd Int. Symp. on Modelling and Implementation of Complex Systems (MISC'12): 103-110 (2012)

	Djamel Eddine Saidouni; Riadh Matmat; Nacer Tabib A Distributed Algorithm for MLTS Generation with Aggregation of Transitions. 3th Int. Conf. on Computer Science and its Applications (CIIA'11) (2011)
	Adel Benamira; Djamel Eddine Saidouni Graphe de pas maximaux : Une solution pour la reduction des systemes de transitions étiquetées maximales. 3th Int. Conf. on Computer Science and its Applications (CIIA'11) (2011)

Abdesslem Layeb; Djamel Eddine Saidouni A New Quantum Evolutionary Algorithm with Sifting Strategy for Binary Decision Diagram Ordering Problem. Int. J. of Cognitive Informatics and Natural Intelligence (IJCINI) 4(4): 47-61 (2010)

Djamel Eddine Saidouni; Nabil Belala; Messaouda Bouneb Using maximality-based labelled transition system as a model for petri nets. Int. Arab J. of Information Technology (IAJIT) 6(5): 441-447 (2009)

	Djamel Eddine Saidouni; Adel Benamira; Nabil Belala; Farid Arfi FOCOVE: Formal Concurrency Verification Environment for Complex Systems. 1st Mediterranean Conf. on Intelligent Systems and Automation (CISA’08): 375-380 (2008)
	Abdesslem Layeb; Djamel Eddine Saidouni A New Quantum Evolutionary Local Search Algorithm for MAX 3-SAT Problem. 3th Int. Workshop on Hybrid Artificial Intelligence Systems (HAIS'08): 172-179 (2008)

Djamel Eddine Saidouni; Nabil Belala Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification. Int. Arab J. of Information Technology (IAJIT) 2(3): 199-205 (2005)

Jean Pierre Courtiat; Djamel Eddine Saidouni Relating maximality-based semantics to action refinement in process algebras. 7th Int. Conf. on Formal Description Techniques: 293-308 (1995)

Djamel Eddine Saidouni; Jean Pierre Courtiat Syntactic Action Refinement in Presence of Multiway Synchronisation. Int. Workshop on Semantics of Specification Languages (SoSL): 289-303 (1994)

Jean Pierre Courtiat; Djamel Eddine Saidouni Action Refinement in LOTOS. 13th IFIP Int. Symp. on Protocol Specification, Testing and Verification (PSTV'93): 341-354 (1993)