Suivre
Lazhar Hamel
Lazhar Hamel
Maître-Assistant, www.isimm.rnu.tn, informatique
Adresse e-mail validée de isimm.rnu.tn - Page d'accueil
Titre
Citée par
Citée par
Année
Verifying composite service transactional behavior with event-b
L Hamel, M Graiet, M Kmimech, MT Bhiri, W Gaaloul
2011 Seventh International Conference on Semantics, Knowledge and Grids, 99-106, 2011
212011
Event-b based approach for verifying dynamic composite service transactional behavior
M Graiet, I Abbassi, L Hamel, MT Bhiri, M Kmimech, W Gaaloul
2013 IEEE 20th International Conference on Web Services, 251-259, 2013
192013
A verification and deployment approach for elastic component-based applications
M Graiet, L Hamel, A Mammar, S Tata
Formal Aspects of Computing 29, 987-1011, 2017
132017
Event-b formalisation of web services for dynamic composition
L Hamel, M Graiet, W Gaaloul
2012 Eighth International Conference on Semantics, Knowledge and Grids, 150-156, 2012
112012
An Event-B based approach for cloud composite services verification
A Lahouij, L Hamel, M Graiet, B el Ayeb
Formal Aspects of Computing 32 (4), 361-393, 2020
92020
An event-b driven approach for ensuring reliable and flexible service composition
I Abbassi, M Graiet, L Hamel, Z Jaoua
International Journal of Services Computing 2 (1), 45-57, 2014
82014
Formal verification of SCA assembly model with event-b
A Lahouij, L Hamel, M Graiet
2013 Ninth International Conference on Semantics, Knowledge and Grids, 44-51, 2013
82013
A formal approach for cloud composite services verification
A Lahouij, L Hamel, M Graiet, M El Malki
2018 IEEE 11th Conference on Service-Oriented Computing and Applications …, 2018
72018
Deadlock-freeness verification of cloud composite services using event-b
A Lahouij, L Hamel, M Graiet
On the Move to Meaningful Internet Systems. OTM 2018 Conferences …, 2018
62018
A global sla-aware approach for aggregating services in the cloud
A Lahouij, L Hamel, M Graiet, A Elkhalfa, W Gaaloul
On the Move to Meaningful Internet Systems: OTM 2016 Conferences …, 2016
62016
Formal behavioral modeling for verifying SCA composition with Event-B
M Graiet, A Lahouij, I Abbassi, L Hamel, M Kmimech
2015 IEEE International Conference on Web Services, 17-24, 2015
62015
Formal modeling for verifying SCA dynamic composition with Event-B
A Lahouij, L Hamel, M Graiet
2015 IEEE 24th International Conference on Enabling Technologies …, 2015
52015
Formal verification for security and attacks in IoT physical layer
ZH Toman, L Hamel, SH Toman, M Graiet, DCG Valadares
Journal of Reliable Intelligent Environments, 1-19, 2023
42023
A proof-based approach for verifying composite service transactional behavior
L Hamel, M Graiet, M Kmimech, MT Bhiri, W Gaaloul
ICSEA, 386-392, 2011
42011
Dynamic reconfiguration of cloud composite services using event-b
A Lahouij, L Hamel, M Graiet
International Conference on Software and Software Reuse, 69-84, 2020
32020
Formal reconfiguration model for cloud resources
A Lahouij, L Hamel, M Graiet
Software and Systems Modeling 22 (1), 225-245, 2023
22023
Formal modeling for verifying SCA composition
L Hamel, M Graiet, M Kmimech
2015 IEEE 9th International Conference on Research Challenges in Information …, 2015
22015
Towards an approach of formal verification of web service composition
M Graiet, L Hamel, R Maraoui, M Kmimech
International Journal on advances in intelligent systems, 2011
22011
Formal modelling and verification of scalable service composition in IoT environment
SH Toman, L Hamel, ZH Toman, M Graiet, S Ouchani
Service Oriented Computing and Applications 17 (3), 213-231, 2023
12023
An event-b-based approach to model and verify behaviors for component-based applications
A Mammar, L Hamel, M Graiet
The Computer Journal 65 (10), 2780-2800, 2022
12022
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20