Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni Formal Modeling and Analysis of Business Process Timed Constraints. 2nd Workshop on Formal Methods Integration (FMI'14): 149-172 (2014)
	Zakaria Abdelmoiz Dahi; Mezioud Chaker Towards a Dynamic Based Agents Architecture for Cellular Networks Optimisation: Cell Breathing. 7th Int. Conf. on Intelligent Robotics and Applications (ICIRA'14): 522-534 (2014)
	Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni A Formal Approach for Contextual Planning Management: Application to Smart Campus Environment. 14th Ibero-American Conf. on Artificial Intelligence (IBERAMIA'14): 791-803 (2014)
	Radja Boukharrou; Ahmed-Chawki Chaouche; Jean-Michel Ilié; Djamel Eddine Saïdouni Contextual-Timed Planning Management for Ambient Systems. 26th IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI'14): 107-114 (2014)
	Amir Djenna; Mohamed Batouche Security problems in cloud infrastructure. Int. Symp. on Networks, Computers and Communications (ISNCC'14): 1-6 (2014)
	Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel Eddine Saïdouni A Dynamical Plan Revising for Ambient Systems. 5th Int. Conf. on Ambient Systems, Networks and Technologies (ANT'14): 37-44 (2014)
	Laid Kahloul; Allaoua Chaoui; Karim Djouani; Samir Bourekkache; Okba Kazar Using High Level Nets for the Design of Reconfigurable Manufacturing Systems. Int. Workshop on Petri Nets for Adaptive Discrete-Event Control Systems (ADECS'14) (2014)
	Ahmed-Chawki Chaouche; Amal El Fallah-Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni Dealing with Dynamicity in Ambient Systems: A Formal Planning Approach. 10th NII-LIP6 WorkShops on Multi-agent and Distributed Systems (2014)

	Mohamed Elkamel Hamdane; A. Chaoui; M. Strecker Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models. J. of Software Engineering and Applications 6(3): 147-155 (2013)
	Mohamed Elkamel Hamdane; Allaoui Chaoui; Martin Strecker From AADL to timed automaton- A verification approach. Int. J. of Software Engineering and its Applications (IJSEIA) 7(4): 115-126 (2013)
	Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui; Raida Elmansouri On the Verification of G-Nets Models Using Graph Transformations. Int. journal of innovative computing, information and control (IJCIC) 9(11): 4285-4302 (2013)
	Mohamed Gharzouli Reuse of Legacy Softwares in SOA, A Case Study of the "Next Version" Technique. Int. J. of Web Applications (IJWA) 5(4): 168-175 (2013)
	Saloua Chettibi; Salim Chikhi FEA-OLSR: An Adaptive Energy Aware Routing Protocol for MANETs Using Zero-Order Sugeno Fuzzy System. Int. J. of Computer Science Issues (IJCSI) 10(2): 136-141 (2013)
	Nousseiba Guidoum; Meriem Bensouyad; Djamel Eddine Saidouni The Strict Strong Coloring Based Graph Distribution Algorithm. Int. J. of Applied Metaheuristic Computing (IJAMC) 4(1): 50-66 (2013)
	Sofia Kouah; Djamel Eddine Saidouni; Jean Michel Ilié Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems. J. of Software (JSW) 8(3): 587-602 (2013)
	Maâmar Kef; Leila Chergui; Salim Chikhi A new large Arabic database for offline handwriting recognition. Int. J. of Applied Pattern Recognition (IJAPR) 1(1): 81-98 (2013)
	Nassira Chekkai; Salim Chikhi; Hamamache Kheddouci Weighted graph-based methods for identifying the most influential actors in trust social networks. Int. J. of Networking and Virtual Organisations (IJNVO) 13(2): 101-128 (2013)
	Nabil Belala; Djamel Eddine Saïdouni; Radja Boukharrou; Ahmed-Chawki Chaouche; Adel Seraoui; Asma Chachoua Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 4(2): 62-83 (2013)
	Abdesslem Layeb; Meryem Ammi; Salim Chikhi A GRASP Algorithm Based on New Randomized Heuristic for Vehicle Routing Problem. J. of Computing and Information Technology (CIT) 21(1): 37-48 (2013)
	Abdesslem Layeb; Amira Boudra; Wissem Korichi; Salim Chikhi A new greedy randomized adaptive search procedure for multiobjective RNA structural alignment. Int. J. in Foundations of Computer Science and Technology (IJFCST) 3(1): 9-24 (2013)