Nabil Hameurlain

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.

[BibT_eX]

[DOI]

Akram Seghiri

Int. J. Syst. Serv. Oriented Eng., 2022

A Strategy-Based Formal Approach for Fog Systems Analysis.

[BibT_eX]

[DOI]

Souad Marir

Future Internet, 2022

A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation.

[BibT_eX]

[DOI]

Charaf Eddine Dridi

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022

Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems.

[BibT_eX]

[DOI]

Akram Seghiri

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

2020

A MaxSAT based approach for QoS cloud services.

[BibT_eX]

[DOI]

Abderrahim Ait Wakrime

Saïd Jabbour

Int. J. Parallel Emergent Distributed Syst., 2020

A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration.

[BibT_eX]

[DOI]

Mohammed Nassim Lacheheub

J. Syst. Archit., 2020

Resources consumption analysis of business process services in cloud computing using Petri Net.

[BibT_eX]

[DOI]

Ramdane Maamri

J. King Saud Univ. Comput. Inf. Sci., 2020

Formalizing and simulating cross-layer elasticity strategies in Cloud systems.

[BibT_eX]

[DOI]

Clust. Comput., 2020

Formal Modeling IoT Systems on the Basis of BiAgents* and Maude.

[BibT_eX]

[DOI]

Souad Marir

Proceedings of the 4th International Conference on Advanced Aspects of Software Engineering, 2020

2019

Formal modelling and verifying elasticity strategies in cloud systems.

[BibT_eX]

[DOI]

IET Softw., 2019

Formal Modeling and Verification of Cloud Elasticity with Maude and LTL.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Model and Data Engineering, 2019

2018

A Maude based Specification for SoS Architecture.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

A Formal Model for Interaction Specification and Analysis in IoT Applications.

[BibT_eX]

[DOI]

Souad Marir

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems.

[BibT_eX]

[DOI]

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

2017

A bigraphical model for specifying cloud-based elastic systems and their behaviour.

[BibT_eX]

[DOI]

Hamza Sahli

Int. J. Parallel Emergent Distributed Syst., 2017

A BRS Based Approach for Modeling Elastic Cloud Systems.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

2016

A theoretical approach for modelling Cloud Services Composition.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2014

Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Asia-Pacific Services Computing Conference, 2012

2009

MOCAS: A State-Based Component Model for Self-Adaptation.

[BibT_eX]

[DOI]

Cyril Ballagny

Franck Barbier

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.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2009

2008

Ambiguity and structural properties of basic sequence diagrams.

[BibT_eX]

[DOI]

Omar Tahir

Innov. Syst. Softw. Eng., 2008

Dynamic adaptive software components: the MOCAS approach.

[BibT_eX]

[DOI]

Cyril Ballagny

Franck Barbier

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World VIII, 2007

Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications V, 2007

2006

An Argumentation-based Approach for Dialog Move Selection.

[BibT_eX]

[DOI]

Leila Amgoud

Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

An Argumentation-Based Framework for Designing Dialogue Strategies.

[BibT_eX]

Leila Amgoud

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

A formal model for designing dialogue strategies.

[BibT_eX]

[DOI]

Leila Amgoud

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.

[BibT_eX]

[DOI]

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

2005

On Compatibility and Behavioural Substitutability of Component Protocols.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications IV, 2005

2004

Specification of Role-Based Interactions Components in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

Participation Components for Holding Roles in Multiagent Systems Protocols.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications III, 2003

2002

Behavioural Subtyping and Property Preservation for Active Objects.

[BibT_eX]

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.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

1999

Behavioural Types in CoOperative Objects.

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Mobile Agents Behaviours: From Declarative Specifications to Implementation.

[BibT_eX]

[DOI]

Chihab Hanachi

Proceedings of the Cooperative Information Agents III, Third International Workshop, 1999

1997

Finite Symbolic Reachability Graphs for High-Level Petri Nets.

[BibT_eX]

[DOI]