Nabil Hameurlain

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 18

Top Topics

Dynamic Reconfiguration

Top Venues

Int. J. Parallel Emergent Distributed Syst.

Publications

Riad Helal, Akram Seghiri, Faiza Belala, Nabil Hameurlain
Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements. ICSCA (2024)
Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala
A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems. WETICE (2023)
Souad Marir, Faiza Belala, Nabil Hameurlain
A Strategy-Based Formal Approach for Fog Systems Analysis. Future Internet 14 (2) (2022)
Akram Seghiri, Faiza Belala, Nabil Hameurlain
A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures. Int. J. Syst. Serv. Oriented Eng. 12 (1) (2022)
Akram Seghiri, Faiza Belala, Nabil Hameurlain
Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems. ENASE (2022)
Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala
A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation. MEDI Workshops (2022)
Abderrahim Ait Wakrime, Saïd Jabbour, Nabil Hameurlain
A MaxSAT based approach for QoS cloud services. Int. J. Parallel Emergent Distributed Syst. 35 (6) (2020)
Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
Formalizing and simulating cross-layer elasticity strategies in Cloud systems. Clust. Comput. 23 (3) (2020)
Mohammed Nassim Lacheheub, Nabil Hameurlain, Ramdane Maamri
Resources consumption analysis of business process services in cloud computing using Petri Net. J. King Saud Univ. Comput. Inf. Sci. 32 (4) (2020)
Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration. J. Syst. Archit. 110 (2020)
Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. MEDI Workshops (2019)
Khaled Khebbeb, Nabil Hameurlain, Faiza Belala, Hamza Sahli
Formal modelling and verifying elasticity strategies in cloud systems. IET Softw. 13 (1) (2019)
Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. MEDI (2018)
Souad Marir, Faiza Belala, Nabil Hameurlain
A Formal Model for Interaction Specification and Analysis in IoT Applications. MEDI (2018)
Akram Seghiri, Faïza Belala, Zakaria Benzadri, Nabil Hameurlain
A Maude based Specification for SoS Architecture. SoSE (2018)
Hamza Sahli, Nabil Hameurlain, Faiza Belala
A bigraphical model for specifying cloud-based elastic systems and their behaviour. Int. J. Parallel Emergent Distributed Syst. 32 (6) (2017)
Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala
A BRS Based Approach for Modeling Elastic Cloud Systems. ICSOC Workshops (2017)
Zakaria Benzadri, Nabil Hameurlain, Faiza Belala, Chafia Bouanaka
A theoretical approach for modelling Cloud Services Composition. ICAASE (2016)
Fernando Wanderley, Nicolas Belloir, Jean-Michel Bruel, Nabil Hameurlain, João Araújo
Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur. INFORSID (2014)
Nabil Hameurlain
A compositional framework to the specification of service protocols controllability and substitutability. Int. J. Comput. Math. 91 (6) (2014)
Nabil Hameurlain
Controllability Preservation and Behavioural Refinement for Service Protocols. APSCC (2012)
Nabil Hameurlain
Compatibility and Conformance of Role-Based Interaction Components in MAS. KES-AMSTA (2009)
Cyril Ballagny, Nabil Hameurlain, Franck Barbier
MOCAS: A State-Based Component Model for Self-Adaptation. SASO (2009)
Christophe Sibertin-Blanc, Nabil Hameurlain, Omar Tahir
Ambiguity and structural properties of basic sequence diagrams. Innov. Syst. Softw. Eng. 4 (3) (2008)
Cyril Ballagny, Nabil Hameurlain, Franck Barbier
Dynamic adaptive software components: the MOCAS approach. CSTST (2008)
Nabil Hameurlain
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS. ESAW (2007)
Nabil Hameurlain
Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification. SEFM (2007)
Nabil Hameurlain
Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS. CEEMAS (2007)
Nabil Hameurlain
A Formal Framework for Component Pr otocols Behavioural Compatibility. APSEC (2006)
Leila Amgoud, Nabil Hameurlain
An Argumentation-Based Approach for Dialog Move Selection. ArgMAS (2006)
Leila Amgoud, Nabil Hameurlain
An Argumentation-based Approach for Dialog Move Selection. EUMAS (2006)
Leila Amgoud, Nabil Hameurlain
A formal model for designing dialogue strategies. AAMAS (2006)
Leila Amgoud, Nabil Hameurlain
An Argumentation-Based Framework for Designing Dialogue Strategies. ECAI (2006)
Nabil Hameurlain
On Compatibility and Behavioural Substitutability of Component Protocols. SEFM (2005)
Nabil Hameurlain
Formalizing Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems. CEEMAS (2005)
Nabil Hameurlain, Christophe Sibertin-Blanc
Specification of Role-Based Interactions Components in Multi-agent Systems. SELMAS (2004)
Christophe Sibertin-Blanc, Nabil Hameurlain
Participation Components for Holding Roles in Multiagent Systems Protocols. ESAW (2004)
Nabil Hameurlain
Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems. CEEMAS (2003)
Nabil Hameurlain
Behavioural Subtyping and Property Preservation for Active Objects. FMOODS (2002)
Nabil Hameurlain
Composition et substitution d'agents : sémantique et préservation de propriétés. JFIADSMA (2001)
Nabil Hameurlain
Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols. CEEMAS (2001)
Chihab Hanachi, Nabil Hameurlain, Christophe Sibertin-Blanc
Mobile Agents Behaviours: From Declarative Specifications to Implementation. CIA (1999)
Nabil Hameurlain, Christophe Sibertin-Blanc
Behavioural Types in CoOperative Objects. ECOOP Workshops (1999)
Nabil Hameurlain, Christophe Sibertin-Blanc
Finite Symbolic Reachability Graphs for High-Level Petri Nets. APSEC (1997)