Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel Eddine Saidouni Forward Analysis of Timed Automata with Action Durations: Theory and Implementation. 6th Int. Conf. on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC'14): 269-276 (2014)
	Riadh Matmat; Ilham Kitouni; Souad Guellati; Djamel Eddine Saidouni Maximality-based Region Graph: A Novel Alternative. 1st Int. Conf. on Advanced Aspects of Software Engineering (ICAASE'14): 125-132 (2014)
	Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel Eddine Saidouni Timed Automata with Action Durations: From Theory to Implementation. 20th Int. Conf. Information and Software Technologies (ICIST'14): 94-109 (2014)
	Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni FMEBP: A Formal Modeling Environment of Business Process. 20th Int. Conf. Information and Software Technologies (ICIST'14): 211-223 (2014)
	Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni Formalization and analysis of timed BPEL. 15th IEEE Int. Conf. on Information Reuse and Integration (IRI'14): 483-491 (2014)
	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)