Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. 18th IEEE Int. Conf. on Information Reuse and Integration (IRI'17): 419-426 (2017)
	Haoua Cheribi; Noureddine Amraoui; Abdelkrim Bouramoul; Mohamed Khireddine Kholladi Context-awareness Security Model Based on Multi-agents System Operating in Complex Environment. 2th Int. Conf. on Internet of Things and Cloud Computing: 139:1-8 (2017)
	Oussama Kamel; Allaoua Chaoui; Mohamed Gharzouli Cloud Service Composition Modeling Using Bigraphical Reactive Systems. 21st Int. Database Engineering & Applications Symp. (IDEAS'17): 40-48 (2017)
	Hichem Baitiche; Mourad Bouzenada; Djamel Eddine Saidouni Towards A Generic Predictive-Based Plan Selection Approach for BDI Agents. 8th Int. Conf. on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN'17): 41-48 (2017)
	Ahmed-Chawki Chaouche Smart cities et emergence de l’internet des objets. 1st Scientific Day in Information Technologies (2017)

	Mohamed Gharzouli Reuse and Improvement of Peersim Open Source Packages: A Case Study with Chord and Cloudcast. Int. J. of Open Source Software and Processes (IJOSSP) 7(3): 39-55 (2016)
	Siham Amrouch; Sihem Mostefai; Muhammad Fahad Decision trees in automatic ontology matching. Int. J. of Metadata, Semantics and Ontologies (IJMSO) 11(3): 180-190 (2016)
	Meryem Ammi; Salim Chikhi Cooperative Parallel Metaheuristics based Penguin Optimization Search for Solving the Vehicle Routing Problem. Int. J. of Applied Metaheuristic Computing (IJAMC) 7(1): 1-18 (2016)
	Sofia Kouah; Djamel Eddine Saidouni; Ilham Kitouni Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems. Int. J. of Intelligent Information Technologies (IJIIT) 12(1): 63-94 (2016)
	Farid Arfi; Jean Michel Ilié; Djamel Eddine Saidouni Solving preemptive job-shop scheduling problems using a true concurrency model. Int. J. of Simulation and Process Modelling (IJSPM) 11(3): 292-304 (2016)
	Zakaria Abdelmoiz Dahi; Chaker Mezioud; Amer Draa On the efficiency of the binary flower pollination algorithm: Application on the antenna positioning problem. J. of Applied Soft Computing 47: 395-414 (2016)
	Zakaria Abdelmoiz Dahi; Chaker Mezioud; Amer Draa A quantum-inspired genetic algorithm for solving the antenna positioning problem. Swarm and Evolutionary Computation 31: 24-63 (2016)
	Samiha Brahimi; Mohamed-Khireddine Kholladi A genetic approach for materialised skyline views selection problem. Int. J. of Data Mining, Modelling and Management (IJDMMM) 8(3): 223-243 (2016)
	Aissam Belghiat; Elhillali Kerkouche; Allaoua Chaoui; Mokhtar Beldjehem Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study. J. of Computing and Information Technology (CIT) 24(2): 149-163 (2016)
	Redouane Nouara; Allaoua Chaoui A Checking Service Composition Approach based on Model Transformation. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 7(1): 30-47 (2016)
	Aissam Belghiat; Allaoua Chaoui Mapping Mobile Statechart Diagrams to the pi-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems. Int. J. of Intelligent Information Technologies (IJIIT) 12(4): 1-20 (2016)
	Serial Rayene Boussalia; Allaoua Chaoui; Aurélie Hurault; Meriem Ouederni; Philippe Quéinnec Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem. Int. J. of Intelligent Systems Technologies and Applications (IJISTA) 15(2): 95-126 (2016)
	Nacer Tabib; Djamel Eddine Saidouni Newton's Law of Universal Gravitation Based Genetic Algorithm for Graph Distribution. Int. J. of Computational Intelligence and Applications 15(4): 1-17 (2016)
	Said Layadi; Ilham Kitouni; Nabil Belala; Djamel Eddine Saidouni Relative time rates in dynamic timed automata. Int. J. of Communication Networks and Distributed Systems (IJCNDS) 17(4): 412-432 (2016)
	Riadh Matmat; Ilham Kitouni; Djamel Eddine Saidouni Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution. Int. J. of Distributed Systems and Technologies (IJDST) 7(3): 21-41 (2016)