Finite Symbolic Reachability Graphs for High-Level Petri Nets. - Nabil Hameurlain; Christophe Sibertin-Blanc (APSEC, 1997)

Mobile Agents Behaviours: From Declarative Specifications to Implementation. - Chihab Hanachi; Nabil Hameurlain; Christophe Sibertin-Blanc (CIA, 1999)

Behavioural Types in CoOperative Objects. - Nabil Hameurlain; Christophe Sibertin-Blanc (ECOOP Workshops, 1999)

Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols. - Nabil Hameurlain (CEEMAS, 2001)

Composition et substitution d'agents : sémantique et préservation de propriétés. - Nabil Hameurlain (JFIADSMA, 2001)

Behavioural Subtyping and Property Preservation for Active Objects. - Nabil Hameurlain (FMOODS, 2002)

Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems. - Nabil Hameurlain (CEEMAS, 2003)

Participation Components for Holding Roles in Multiagent Systems Protocols. - Christophe Sibertin-Blanc; Nabil Hameurlain (ESAW, 2004)

Specification of Role-Based Interactions Components in Multi-agent Systems. - Nabil Hameurlain; Christophe Sibertin-Blanc (SELMAS, 2004)

Formalizing Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems. - Nabil Hameurlain (CEEMAS, 2005)

On Compatibility and Behavioural Substitutability of Component Protocols. - Nabil Hameurlain (SEFM, 2005)

A Formal Framework for Component Pr otocols Behavioural Compatibility. - Nabil Hameurlain (APSEC, 2006)

An Argumentation-Based Approach for Dialog Move Selection. - Leila Amgoud; Nabil Hameurlain (ArgMAS, 2006)

A formal model for designing dialogue strategies. - Leila Amgoud; Nabil Hameurlain (AAMAS, 2006)

An Argumentation-Based Framework for Designing Dialogue Strategies. - Leila Amgoud; Nabil Hameurlain (ECAI, 2006)

Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS. - Nabil Hameurlain (CEEMAS, 2007)

Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS. - Nabil Hameurlain (ESAW, 2007)

Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification. - Nabil Hameurlain (SEFM, 2007)

Dynamic adaptive software components: the MOCAS approach. - Cyril Ballagny; Nabil Hameurlain; Franck Barbier (CSTST, 2008)

Ambiguity and structural properties of basic sequence diagrams. - Christophe Sibertin-Blanc; Nabil Hameurlain; Omar Tahir (Innov. Syst. Softw. Eng., 2008)

Compatibility and Conformance of Role-Based Interaction Components in MAS. - Nabil Hameurlain (KES-AMSTA, 2009)

MOCAS: A State-Based Component Model for Self-Adaptation. - Cyril Ballagny; Nabil Hameurlain; Franck Barbier (SASO, 2009)

Controllability Preservation and Behavioural Refinement for Service Protocols. - Nabil Hameurlain (APSCC, 2012)

Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur. - Fernando Wanderley; Nicolas Belloir; Jean-Michel Bruel; Nabil Hameurlain; João Araújo 001 (INFORSID, 2014)

A compositional framework to the specification of service protocols controllability and substitutability. - Nabil Hameurlain (Int. J. Comput. Math., 2014)

A theoretical approach for modelling Cloud Services Composition. - Zakaria Benzadri; Nabil Hameurlain; Faiza Belala; Chafia Bouanaka (ICAASE, 2016)

A BRS Based Approach for Modeling Elastic Cloud Systems. - Khaled Khebbeb; Hamza Sahli; Nabil Hameurlain; Faiza Belala (ICSOC Workshops, 2017)

A bigraphical model for specifying cloud-based elastic systems and their behaviour. - Hamza Sahli; Nabil Hameurlain; Faiza Belala (Int. J. Parallel Emergent Distributed Syst., 2017)

Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala (MEDI, 2018)

A Formal Model for Interaction Specification and Analysis in IoT Applications. - Souad Marir; Faiza Belala; Nabil Hameurlain (MEDI, 2018)

A Maude based Specification for SoS Architecture. - Akram Seghiri; Faïza Belala; Zakaria Benzadri; Nabil Hameurlain (SoSE, 2018)

Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala (MEDI Workshops, 2019)

Formal modelling and verifying elasticity strategies in cloud systems. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala; Hamza Sahli (IET Softw., 2019)

Formal Modeling IoT Systems on the Basis of BiAgents* and Maude. - Souad Marir; Faiza Belala; Nabil Hameurlain (ICAASE, 2020)

Formalizing and simulating cross-layer elasticity strategies in Cloud systems. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala (Clust. Comput., 2020)

Resources consumption analysis of business process services in cloud computing using Petri Net. - Mohammed Nassim Lacheheub; Nabil Hameurlain; Ramdane Maamri (J. King Saud Univ. Comput. Inf. Sci., 2020)

A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala (J. Syst. Archit., 2020)

A MaxSAT based approach for QoS cloud services. - Abderrahim Ait Wakrime; Saïd Jabbour; Nabil Hameurlain (Int. J. Parallel Emergent Distributed Syst., 2020)

Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems. - Akram Seghiri; Faiza Belala; Nabil Hameurlain (ENASE, 2022)

A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation. - Charaf Eddine Dridi; Nabil Hameurlain; Faiza Belala (MEDI Workshops, 2022)

A Strategy-Based Formal Approach for Fog Systems Analysis. - Souad Marir; Faiza Belala; Nabil Hameurlain (Future Internet, 2022)

A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures. - Akram Seghiri; Faiza Belala; Nabil Hameurlain (Int. J. Syst. Serv. Oriented Eng., 2022)

A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems. - Charaf Eddine Dridi; Nabil Hameurlain; Faiza Belala (WETICE, 2023)

FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems. - Riad Helal; Akram Seghiri; Kamel Boukhelfa; Faiza Belala; Nabil Hameurlain (ICAASE, 2024)

Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements. - Riad Helal; Akram Seghiri; Faiza Belala; Nabil Hameurlain (ICSCA, 2024)

Towards Specification and Analysis of Dependable Cyber-Physical Systems. - Riad Helal; Kamel Boukhelfa; Akram Seghiri; Nabil Hameurlain; Faiza Belala (MEDI, 2024)

Maude Strategies-Based SoSs Workflow Modeling. - Charaf Eddine Dridi; Nabil Hameurlain; Faiza Belala (ENASE, 2025)