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)
	Kenza Bouaroudj; Djamel Eddine Saidouni; Ilham Kitouni Testing Stochastic Systems Using MoVoS Tool: Case Studies. 19th Int. Conf. on Information and Software Technologies (ICIST'13): 310-321 (2013)
	Farid Arfi; Jean Michel Ilie; Djamel Eddine Saidouni Pruning Search Spaces of RATA Model for the Job-Shop Scheduling. 9th Int. Conf. on Quality, Reliability, Security and Robustness in Heterogeneous Networks (QShine'13): 387-401 (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)

	Hammadi Bennoui; Allaoua Chaoui; Kamel Barkaoui On Structural Analysis Of Interacting Behavioral Petri Nets For Distributed Causal Model-Based Diagnosis. Int. J. Of Foundations Of Computer Science 23(7): 1523-1541 (2012)
	Fayçal Bachtarzi; Allaoua Chaoui; Elhillali Kerkouche WS-mcv: An Efficient Model Driven Methodology for Web Services Composition. J. of SoftWare (JSW) 7(12): 2874-2885 (2012)
	Khaled Khalfaoui; Allaoua Chaoui; Cherif Foudil; Elhillali Kerkouche Formal Specification of Software Product Lines: A Graph Transformation Based Approach. J. of SoftWare (JSW) 7(11): 2518-2532 (2012)
	Said Labed; Amer Draa; Salim Chikhi A multi-Agent Approach for Edge Detection Using a Genetic Algorithm for Parameters’ Space Exploration. Courrier du Savoir (14): 37-43 (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)
	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)
	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)
	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)
	Zakaria Laboudi; Salim Chikhi Comparison of genetic algorithm and quantum genetic algorithm. Int. Arab J. of Information Technologies (IAJIT) 9(3): 243-249 (2012)
	Amer Draa; Souham Meshoul; Salim Chikhi A Fertile Quantum-Inspired Differential Evolution Algorithm for Combinatorial Optimization. Communications of the Arab Computer Society 5(1): 31-46 (2012)
	Amira Gherboudj; Abdesslem Layeb; Salim Chikhi Solving 0-1 knapsack problems by a discrete binary version of cuckoo search algorithm. Int. J. of Bio-Inspired Computation (IJBIC) 4(4): 229-236 (2012)
	Ahmed Tlili; Salim Chikhi Modeling Complex Adaptive Systems using Learning Fuzzy Cognitive Maps. Int. J. of Computer Applications 57(3): 28-32 (2012)
	Said Labed; Amira Gherboudj; Salim Chikhi A Modified hybrid particle swarm optimization algorithm for solving the traveling salesman problem. J. of Theoretical and Applied Information Technology (JATIT) 39(2): 132-138 (2012)
	Leila Chergui; Maâmar Kef; Salim Chikhi Combining Neural Networks for Arabic Handwriting Recognition. Int. Arab J. of Information Technologies (IAJIT) 9(6): 588-595 (2012)
	Sofiane Chemaa; Faycal Bachtarzi; Allaoua Chaoui A High-level Petri Net Based Approach for Modeling and Composition of Web Services. Int. Conf. on Computational Science (ICCS'12): 469-478 (2012)