Nabil Hameurlain

49 papers A 2B 4C 8Journal 11Unranked 24

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