Karima Berramla; El Abbassia Deba; Mohamed Elkamel Hamdane; Abou El Hassen Benyamina Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata. 2nd Int. Conf. on Networking, Information Systems & Security (NISS'19): 1-7 (2019)

Mohamed Elkamel Hamdane; Karima Berramla; Allaoua Chaoui; Abou El Hasan Benyamina A Semantic Framework to Improve Model-to-Model Transformations. Int. Conf. Europe Middle East & North Africa Information Systems and Technologies to Support Learning (EMENA-ISTL'18): 290-300 (2018)

Mohamed Elkamel Hamdane; Karima Berramla; Allaoua Chaoui Using MDA With Model Checking to Ensure the Development of Consistent AADL Models. Int. Conf. on Embedded & Distributed Systems (EDiS’17) (2017)

	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)

Mohamed Elkamel Hamdane; Allaoua Chaoui Specification and Verification of Timed Automaton using Meta-Modeling and Graph Grammars. 4th Int. Conf. on the Applications of Digital Information and Web Technologies (ICADIWT'11): 137-142 (2011)

Hamdane Mohamed Elkamel; F. Lezzar; B. Chaouki; Mili Seif Eddine Implementation of Multi-Agents System to Control Adaptability in Workflow Environment. 2nd Conférence internationale sur l'informatique et ses applications (CIIA'09) (2009)