| 2025 | ENASE | Maude Strategies-Based SoSs Workflow Modeling. | Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala |
| 2024 | MEDI | Towards Specification and Analysis of Dependable Cyber-Physical Systems. | Riad Helal, Kamel Boukhelfa, Akram Seghiri, Nabil Hameurlain, Faiza Belala |
| 2023 | WETICE | A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems. | Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala |
| 2022 | ENASE | Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems. | Akram Seghiri, Faiza Belala, Nabil Hameurlain |
| 2022 | MEDI | A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation. | Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala |
| 2019 | MEDI | Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. | Khaled Khebbeb, Nabil Hameurlain, Faiza Belala |
| 2018 | MEDI | Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. | Khaled Khebbeb, Nabil Hameurlain, Faiza Belala |
| 2018 | MEDI | A Formal Model for Interaction Specification and Analysis in IoT Applications. | Souad Marir, Faiza Belala, Nabil Hameurlain |
| 2017 | ICSOC | A BRS Based Approach for Modeling Elastic Cloud Systems. | Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala |
| 2012 | APSCC | Controllability Preservation and Behavioural Refinement for Service Protocols. | Nabil Hameurlain |
| 2007 | SEFM | Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification. | Nabil Hameurlain |
| 2006 | APSEC | A Formal Framework for Component Pr otocols Behavioural Compatibility. | Nabil Hameurlain |
| 2006 | ECAI | An Argumentation-Based Framework for Designing Dialogue Strategies. | Leila Amgoud, Nabil Hameurlain |
| 2006 | EUMAS | An Argumentation-based Approach for Dialog Move Selection. | Leila Amgoud, Nabil Hameurlain |
| 2005 | SEFM | On Compatibility and Behavioural Substitutability of Component Protocols. | Nabil Hameurlain |
| 1997 | APSEC | Finite Symbolic Reachability Graphs for High-Level Petri Nets. | Nabil Hameurlain, Christophe Sibertin-Blanc |