Publications:
K. Berramla, E. Deba, M. E. Hamdane, A. E. Benyamina (2019 ) Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata Proceedings of the 2nd International Conference on Networking, Information Systems & Security (NISS19) Rabat, Morocco — March 27 - 29, 2019 Publisher ACM Digital Library New York, NY, USA ©2019.
Available Online : https://dl.acm.org/citation.cfm?id=3320373
Hamdane M.E., Berramla K., Chaoui A., Benyamina A.E.H. (2019) A Semantic Framework to Improve Model-to-Model Transformations. In : Rocha Á., Serrhini M. (eds) Information Systems and Technologies to Support Learning. EMENA-ISTL 2018. Smart Innovation, Systems and Technologies, vol 111. Publisher Springer, Cham.
Available Online https://link.springer.com/chapter/10.1007%2F978-3-030-03577-8_32
M. E. Hamdane, K. Berramla and A. Chaoui, Using MDA With Model Checking to Ensure the Development of Consistent AADL Models, In : the 1st IEEE international conference on Embedded & Distributed Systems (EDiS’2017), Oran, Algeria, 17th and 18th December 2017, DOI : https://rgdoi.net/10.13140/RG.2.2.34944.61447
M.E Hamdane, A. Chaoui, M. Strecker, From AADL to Timed Automaton - A Verification Approach, IJSEIA (International Journal of Software Engineering and Its Applications ISSN : 1738-9984) volume 7, No 4, (2013), pp. 115-126,
Available Online http://www.sersc.org/journals/IJSEIA/vol7_no4_2013.php
Paper citation: 3 , in IEEE Conference 2014, in Elsevier Conference 2016 , In SpringerLink 2017
M.E Hamdane, A. Chaoui, M. Strecker, Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models, Publication à JSEA (Journal of Software Engineering and Applications, Volume 6, No 3,(2013), pp. 147-155.
Available Online: http://www.scirp.org/journal/PaperInformation.aspx?PaperID=29542
Paper citation: 1, in IEEE Conference 2014
M.E Hamdane , A. Chaoui, Specification and verification of timed automaton using meta-modeling and graph grammars, in The Fourth IEEE Inter- national Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2011), Wisconsin, USA, August, (2011), pp. 137-134.
Available Online : http://ieeexplore.ieee.org/document/6041415/
Seif eddine Mili, F. Lezzar,M.E Hamdane, C. Boufenar, Multi-agent System and Their application in E-Marketplace: Toward a New Architecture, ICMOSS’10, 2010, Université Ibn Khaldoun de Tiaret, Algérie.
M.E Hamdane , Lezzar Fouzi, Boufenar Chaouki, Mili Seif Eddine , Implementation of Multi-Agents System to Control Adaptability in Workflow Environment ,CIIA’09, Saida, (2009), Algérie.
Available Online: http://dblp.org/rec/html/conf/ciia/El-KamelFCE09
Lezzar Fouzi, M.E Hamdane, Boufenar Chawki GPlanif : Un environnement collaboratif distribué pour l’ordonnancement, ESC’09, École Militaire Polytechnique, Alger, Algérie.(2009)
Mili Seif Eddine, M.E Hamdane, Boufenar Chawki, Lezzar Fouzi, “Vers une architecture générique à base d’agents pour la création d’un marché virtuel“, ICSIP’09, (2009), Université de Guelma, Algérie.
M.E Hamdane, Toward an strategy based agents for managing Adaptability in Workflow Environment, JCI’08, Université de Guelma, (Mars 2008).