( en | de | ru )

 

Disambiguation of "Hameurlain, Nabil"

Author of the publication

copydeleteadd this publication to your clipboard
A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems.

, , and . WETICE, page 1-6. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nabil Allam

Nabil Aboulkhair

Nabil Motosh

Nabil Sayed

Nabil Irshaid

 

Other publications of authors with the same name

A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures., , and . Int. J. Syst. Serv. Oriented Eng., 12 (1): 1-17 (2022)Formal modelling and verifying elasticity strategies in cloud systems., , , and . IET Softw., 13 (1): 25-35 (2019)Finite Symbolic Reachability Graphs for High-Level Petri Nets., and . APSEC, page 150-159. IEEE Computer Society, (1997)Formal Modeling and Verification of Cloud Elasticity with Maude and LTL., , and . MEDI Workshops, volume 1085 of Communications in Computer and Information Science, page 64-77. Springer, (2019)A compositional framework to the specification of service protocols controllability and substitutability.. Int. J. Comput. Math., 91 (6): 1137-1155 (2014)An Argumentation-Based Framework for Designing Dialogue Strategies., and . ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 713-714. IOS Press, (2006)A MaxSAT based approach for QoS cloud services., , and . Int. J. Parallel Emergent Distributed Syst., 35 (6): 641-651 (2020)A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration., , and . J. Syst. Archit., (2020)Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur., , , , and . INFORSID, page 113-129. (2014)Controllability Preservation and Behavioural Refinement for Service Protocols.. APSCC, page 203-210. IEEE Computer Society, (2012)