Dr. Nabil Hameurlain
University of Pau, France
Email: [email protected]
Qualifications
1998 Ph.D., Université of Toulouse
1993 M.Sc., INPT- ENSEEIHT – Toulouse
Publications (Selected)
-
Khebbeb, K., Hameurlain, N., & Belala, F. (2020). A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration. Journal of Systems Architecture, 110, Article 101821.
-
Lacheheub, M.N., Hameurlain, N., & Maamri, R. (2020). Resources consumption analysis of business process services in cloud computing using Petri Net. Journal of King Saud University-Computer and Information Sciences, 32(4), 408–418.
-
Khebbeb, K., Hameurlain, N., & Belala, F. (2020). Formalizing and simulating cross-layer elasticity strategies in Cloud systems. Cluster Computing-The Journal of Networks Software Tools and Applications, 23(3), 1603–1631.
-
Khebbeb, K., Hameurlain, N., Belala, F., et al. (2019). Formal modelling and verifying elasticity strategies in cloud systems. IET Software, 13(1), 25–35.
-
Hameurlain, N. (2014). A compositional framework to the specification of service protocols controllability and substitutability. International Journal of Computer Mathematics, 91(6), 1137–1155.
-
-
C. Ballagny, N. Hameurlain, F. Barbier. MOCAS: a state-Based components Model for Self-Adaptation The third IEEE International Conference on Self-Adaptive and Self-Organizing systems, SASO 2009, IEEE Computer Society Press, pp 206-215, 2009. (rate = 32%)
-
C. Sibertin-Blanc, N. Hameurlain, O. Tahir. Ambiguity and Structural Property of Basic Sequence Diagrams. Innovations in Systems and Software Engineering, ISSE: A NASA Journal, Special issue on UML and Formal Methods, Volume 4, Number 3, Springer, pp 517-524, 2008
-
N. Hameurlain. Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification. The 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007, IEEE Computer Society Press, pp 391-400, 2007. (rate = 30%)
-
L. Amgoud, N. Hameurlain. An Argumentation-Based Approach for Dialogue Move Selection. Argumentation in Multi-Agent Systems. Argumentation in Multi-Agent Systems, Lecture Notes in Computer Science, LNCS, Springer-Verlag, Vol 4766, pp 128-141, 2007
-
N. Hameurlain, C. Sibertin-Blanc. Chapter: Specification of Role-based Interactions Components in Multi-Agent Systems. Software Engineering for Multi-Agents System III: Research Issues and Practical Applications. Lecture Notes in Computer Science, LNAI/LNCS, Springer-Verlag, Vol 3390, pp 180-197, 2005.
-
C. Sibertin-Blanc, N. Hameurlain. Participation Components for Holding Roles in MAS Protocols. Engineering Societies in the Agents World, Lecture Notes in Computer Science, LNAI/LNCS, Springer-Verlag, Vol. 3451, pp 60-73, 2005.
-
N. Hameurlain. Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS. The 5th International Central and Eastern European Conference on Multi-Agent
-
Systems, CEEMAS 2007, Lecture Notes in Computer Science, LNAI/LNCS, Springer-Verlag, Vol 4696, pp 153-162, 2007.(rate = 34%)
-
N. Hameurlain. A Formal Framework for Component Protocols Behavioural Compatibility. The 13th Asia Pacific Software Engineering Conference, APSEC 2006, IEEE Computer Society, pp 87-94, 2006. (rate= 20%)
-
L.Amgoud, N. Hameurlain. A Formal Model for Designing Dialogue Strategies. The 5th International Joint Conference on Autonomous Agents & Multi-Agent Systems, AAMAS 2006, ACM Press, pp 414-416, 2006
-
N. Hameurlain. On Compatibility and Behavioural Substitutability of Component Protocols. The 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, IEEE CS Press, pp 393-403, 2005. (rate = 30%)
-
N. Hameurlain. Behavioural Subtyping and Property Preservation for Active Objects. Fifth IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2002, Kluwer Academic Publishers, pp 95-110. 2002.
Profile Details:
https://hameur.perso.univ-pau.fr/
https://liuppa.univ-pau.fr/en/scientific-activities/focuses-of-research-1/movies.html
https://www.researchgate.net/scientific-contributions/Nabil-Hameurlain-9303136
WOS ResearchID: CSY-4580-2022