![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Nabil Hameurlain
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c35]Riad Helal
, Akram Seghiri
, Faiza Belala
, Nabil Hameurlain
:
Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements. ICSCA 2024: 298-309 - 2023
- [c34]Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala:
A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems. WETICE 2023: 1-6 - 2022
- [j10]Souad Marir
, Faiza Belala
, Nabil Hameurlain
:
A Strategy-Based Formal Approach for Fog Systems Analysis. Future Internet 14(2): 52 (2022) - [j9]Akram Seghiri
, Faiza Belala
, Nabil Hameurlain:
A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures. Int. J. Syst. Serv. Oriented Eng. 12(1): 1-17 (2022) - [c33]Akram Seghiri
, Faiza Belala, Nabil Hameurlain:
Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems. ENASE 2022: 162-173 - [c32]Charaf Eddine Dridi
, Nabil Hameurlain
, Faiza Belala
:
A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation. MEDI Workshops 2022: 207-221 - 2020
- [j8]Khaled Khebbeb, Nabil Hameurlain, Faiza Belala:
Formalizing and simulating cross-layer elasticity strategies in Cloud systems. Clust. Comput. 23(3): 1603-1631 (2020) - [j7]Mohammed Nassim Lacheheub, Nabil Hameurlain, Ramdane Maamri
:
Resources consumption analysis of business process services in cloud computing using Petri Net. J. King Saud Univ. Comput. Inf. Sci. 32(4): 408-418 (2020) - [j6]Khaled Khebbeb, Nabil Hameurlain, Faiza Belala:
A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration. J. Syst. Archit. 110: 101821 (2020) - [j5]Abderrahim Ait Wakrime
, Saïd Jabbour, Nabil Hameurlain:
A MaxSAT based approach for QoS cloud services. Int. J. Parallel Emergent Distributed Syst. 35(6): 641-651 (2020) - [c31]Souad Marir
, Faiza Belala, Nabil Hameurlain:
Formal Modeling IoT Systems on the Basis of BiAgents* and Maude. ICAASE 2020: 1-7
2010 – 2019
- 2019
- [j4]Khaled Khebbeb, Nabil Hameurlain, Faiza Belala, Hamza Sahli:
Formal modelling and verifying elasticity strategies in cloud systems. IET Softw. 13(1): 25-35 (2019) - [c30]Khaled Khebbeb, Nabil Hameurlain, Faiza Belala:
Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. MEDI Workshops 2019: 64-77 - 2018
- [c29]Khaled Khebbeb, Nabil Hameurlain, Faiza Belala:
Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. MEDI 2018: 168-183 - [c28]Souad Marir
, Faiza Belala, Nabil Hameurlain:
A Formal Model for Interaction Specification and Analysis in IoT Applications. MEDI 2018: 371-384 - [c27]Akram Seghiri
, Faïza Belala, Zakaria Benzadri, Nabil Hameurlain:
A Maude based Specification for SoS Architecture. SoSE 2018: 45-52 - 2017
- [j3]Hamza Sahli, Nabil Hameurlain, Faiza Belala:
A bigraphical model for specifying cloud-based elastic systems and their behaviour. Int. J. Parallel Emergent Distributed Syst. 32(6): 593-616 (2017) - [c26]Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala:
A BRS Based Approach for Modeling Elastic Cloud Systems. ICSOC Workshops 2017: 5-17 - 2016
- [c25]Zakaria Benzadri, Nabil Hameurlain, Faiza Belala, Chafia Bouanaka
:
A theoretical approach for modelling Cloud Services Composition. ICAASE 2016: 1-8 - 2014
- [j2]Nabil Hameurlain:
A compositional framework to the specification of service protocols controllability and substitutability. Int. J. Comput. Math. 91(6): 1137-1155 (2014) - [c24]Fernando Wanderley, Nicolas Belloir, Jean-Michel Bruel, Nabil Hameurlain, João Araújo:
Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur. INFORSID 2014: 113-129 - 2012
- [c23]Nabil Hameurlain:
Controllability Preservation and Behavioural Refinement for Service Protocols. APSCC 2012: 203-210
2000 – 2009
- 2009
- [c22]Nabil Hameurlain:
Compatibility and Conformance of Role-Based Interaction Components in MAS. KES-AMSTA 2009: 579-588 - [c21]Cyril Ballagny, Nabil Hameurlain, Franck Barbier:
MOCAS: A State-Based Component Model for Self-Adaptation. SASO 2009: 206-215 - 2008
- [j1]Christophe Sibertin-Blanc, Nabil Hameurlain, Omar Tahir:
Ambiguity and structural properties of basic sequence diagrams. Innov. Syst. Softw. Eng. 4(3): 275-284 (2008) - [c20]Cyril Ballagny, Nabil Hameurlain, Franck Barbier:
Dynamic adaptive software components: the MOCAS approach. CSTST 2008: 517-524 - 2007
- [c19]Nabil Hameurlain:
Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS. CEEMAS 2007: 153-162 - [c18]Nabil Hameurlain:
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS. ESAW 2007: 193-207 - [c17]Nabil Hameurlain:
Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification. SEFM 2007: 391-400 - 2006
- [c16]Nabil Hameurlain:
A Formal Framework for Component Pr otocols Behavioural Compatibility. APSEC 2006: 87-94 - [c15]Leila Amgoud, Nabil Hameurlain:
An Argumentation-Based Approach for Dialog Move Selection. ArgMAS 2006: 128-141 - [c14]Leila Amgoud, Nabil Hameurlain:
A formal model for designing dialogue strategies. AAMAS 2006: 414-416 - [c13]Leila Amgoud, Nabil Hameurlain:
An Argumentation-Based Framework for Designing Dialogue Strategies. ECAI 2006: 713-714 - [c12]Leila Amgoud, Nabil Hameurlain:
An Argumentation-based Approach for Dialog Move Selection. EUMAS 2006 - 2005
- [c11]Nabil Hameurlain:
Formalizing Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems. CEEMAS 2005: 153-162 - [c10]Nabil Hameurlain:
On Compatibility and Behavioural Substitutability of Component Protocols. SEFM 2005: 394-403 - 2004
- [c9]Christophe Sibertin-Blanc, Nabil Hameurlain:
Participation Components for Holding Roles in Multiagent Systems Protocols. ESAW 2004: 60-73 - [c8]Nabil Hameurlain, Christophe Sibertin-Blanc:
Specification of Role-Based Interactions Components in Multi-agent Systems. SELMAS 2004: 180-197 - 2003
- [c7]Nabil Hameurlain:
Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems. CEEMAS 2003: 423-434 - 2002
- [c6]Nabil Hameurlain:
Behavioural Subtyping and Property Preservation for Active Objects. FMOODS 2002: 95-110 - 2001
- [c5]Nabil Hameurlain:
Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols. CEEMAS 2001: 131-140 - [c4]Nabil Hameurlain:
Composition et substitution d'agents : sémantique et préservation de propriétés. JFIADSMA 2001: 135-147
1990 – 1999
- 1999
- [c3]Chihab Hanachi, Nabil Hameurlain, Christophe Sibertin-Blanc:
Mobile Agents Behaviours: From Declarative Specifications to Implementation. CIA 1999: 196-207 - [c2]Nabil Hameurlain, Christophe Sibertin-Blanc:
Behavioural Types in CoOperative Objects. ECOOP Workshops 1999: 320-321 - 1997
- [c1]Nabil Hameurlain, Christophe Sibertin-Blanc:
Finite Symbolic Reachability Graphs for High-Level Petri Nets. APSEC 1997: 150-159
Coauthor Index
aka: Faïza Belala
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-19 21:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint