Nabil Hameurlain

Orcid: 0000-0003-3311-4146

According to our database1, Nabil Hameurlain authored at least 44 papers between 1997 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements.
Proceedings of the 13th International Conference on Software and Computer Applications, 2024

2023
A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems.
Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023

2022
A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures.
Int. J. Syst. Serv. Oriented Eng., 2022

A Strategy-Based Formal Approach for Fog Systems Analysis.
Future Internet, 2022

A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation.
Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022

Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems.
Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

2020
A MaxSAT based approach for QoS cloud services.
Int. J. Parallel Emergent Distributed Syst., 2020

A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration.
J. Syst. Archit., 2020

Resources consumption analysis of business process services in cloud computing using Petri Net.
J. King Saud Univ. Comput. Inf. Sci., 2020

Formalizing and simulating cross-layer elasticity strategies in Cloud systems.
Clust. Comput., 2020

Formal Modeling IoT Systems on the Basis of BiAgents* and Maude.
Proceedings of the 4th International Conference on Advanced Aspects of Software Engineering, 2020

2019
Formal modelling and verifying elasticity strategies in cloud systems.
IET Softw., 2019

Formal Modeling and Verification of Cloud Elasticity with Maude and LTL.
Proceedings of the New Trends in Model and Data Engineering, 2019

2018
A Maude based Specification for SoS Architecture.
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

A Formal Model for Interaction Specification and Analysis in IoT Applications.
Proceedings of the Model and Data Engineering - 8th International Conference, 2018

Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems.
Proceedings of the Model and Data Engineering - 8th International Conference, 2018

2017
A bigraphical model for specifying cloud-based elastic systems and their behaviour.
Int. J. Parallel Emergent Distributed Syst., 2017

A BRS Based Approach for Modeling Elastic Cloud Systems.
Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

2016
A theoretical approach for modelling Cloud Services Composition.
Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016

2014
A compositional framework to the specification of service protocols controllability and substitutability.
Int. J. Comput. Math., 2014

Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur.
Proceedings of the Actes du XXXIIème Congrès INFORSID, Lyon, France, 20-23 Mai 2014., 2014

2012
Controllability Preservation and Behavioural Refinement for Service Protocols.
Proceedings of the 2012 IEEE Asia-Pacific Services Computing Conference, 2012

2009
MOCAS: A State-Based Component Model for Self-Adaptation.
Proceedings of the Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2009

Compatibility and Conformance of Role-Based Interaction Components in MAS.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2009

2008
Ambiguity and structural properties of basic sequence diagrams.
Innov. Syst. Softw. Eng., 2008

Dynamic adaptive software components: the MOCAS approach.
Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008

2007
Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS.
Proceedings of the Engineering Societies in the Agents World VIII, 2007

Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS.
Proceedings of the Multi-Agent Systems and Applications V, 2007

2006
An Argumentation-based Approach for Dialog Move Selection.
Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

An Argumentation-Based Framework for Designing Dialogue Strategies.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

A formal model for designing dialogue strategies.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

A Formal Framework for Component Pr otocols Behavioural Compatibility.
Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005
On Compatibility and Behavioural Substitutability of Component Protocols.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Formalizing Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems.
Proceedings of the Multi-Agent Systems and Applications IV, 2005

2004
Specification of Role-Based Interactions Components in Multi-agent Systems.
Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

Participation Components for Holding Roles in Multiagent Systems Protocols.
Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004

2003
Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems.
Proceedings of the Multi-Agent Systems and Applications III, 2003

2002
Behavioural Subtyping and Property Preservation for Active Objects.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

2001
Composition et substitution d'agents : sémantique et préservation de propriétés.
Proceedings of the Fondements des systèmes multi-agents : modèles, spécifications formelles et vérification - JFIADSMA 01, 2001

Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols.
Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

1999
Behavioural Types in CoOperative Objects.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Mobile Agents Behaviours: From Declarative Specifications to Implementation.
Proceedings of the Cooperative Information Agents III, Third International Workshop, 1999

1997
Finite Symbolic Reachability Graphs for High-Level Petri Nets.
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997


  Loading...