( en | de | ru )

 

Disambiguation of "Hameurlain, Nabil"

Author of the publication

copydeleteadd this publication to your clipboard
Finite Symbolic Reachability Graphs for High-Level Petri Nets.

, and . APSEC, page 150-159. IEEE Computer Society, (1997)

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 Saymé

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)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)Finite Symbolic Reachability Graphs for High-Level Petri Nets., and . APSEC, page 150-159. IEEE Computer Society, (1997)A MaxSAT based approach for QoS cloud services., , and . Int. J. Parallel Emergent Distributed Syst., 35 (6): 641-651 (2020)A compositional framework to the specification of service protocols controllability and substitutability.. Int. J. Comput. Math., 91 (6): 1137-1155 (2014)A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration., , and . J. Syst. Archit., (2020)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)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)