Publications de : Lazhar HAMEL

FILTRES :   Uniquement les publications issues de la collection du département
Mot du titre : Année :
Type de publications :
(tous par défaut)

Nombre de documents trouvés : 8

2017

Article dans une revue

ref_biblio
Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata. A verification and deployment approach for elastic component-based applications. Formal aspects of computing, 2017, 29 (6), pp.987 - 1011. ⟨10.1007/s00165-017-0425-3⟩. ⟨hal-01692537⟩
Accès au bibtex
BibTex

2016

Communication dans un congrès

ref_biblio
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul. A global SLA-aware approach for aggregating services in the cloud. OTM 2016 : Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2016, Rhodes, Greece. pp.363 - 380, ⟨10.1007/978-3-319-48472-3_21⟩. ⟨hal-01455652⟩
Accès au bibtex
BibTex

2015

Communication dans un congrès

ref_biblio
Mohamed Graiet, Imed Abbassi, Rawdha Maroui, Jlassi Sindyana, Lazhar Hamel. A formal approach for ensuring a correct reconfigurable composite service. SCC 2015 : 12th IEEE International Conference on Services Computing, Jun 2015, New York, United States. pp.411 - 418, ⟨10.1109/SCC.2015.63⟩. ⟨hal-01263189⟩
Accès au bibtex
BibTex
ref_biblio
Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech. Formal behavioral modeling for verifying SCA composition with Event-B. ICWS 2015 : 22nd IEEE International Conference on Web Services, Jun 2015, New York, United States. pp.17 - 24, ⟨10.1109/ICWS.2015.13⟩. ⟨hal-01263176⟩
Accès au bibtex
BibTex
ref_biblio
Aida Lahouij, Lazhar Hamel, Mohamed Graiet. Formal modeling for verifying SCA dynamic composition with Event-B. WETICE 2015 : 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2015, Larnaca, Cyprus. pp.29 - 34, ⟨10.1109/WETICE.2015.50⟩. ⟨hal-01263173⟩
Accès au bibtex
BibTex
ref_biblio
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech. Formal modeling for verifying SCA composition. RCIS 2015 : IEEE 9th International Conference on Research Challenges in Information Science, May 2015, Athènes, Greece. pp.193 - 204 ⟨10.1109/RCIS.2015.7128880⟩. ⟨hal-01263174⟩
Accès au bibtex
BibTex

2013

Communication dans un congrès

ref_biblio
Mohamed Graiet, Imed Abassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, et al.. Event-B based approach for verifying dynamic composite service transactional behavior. ICWS 2013 : 20th International Conference on Web Services, Jun 2013, Santa Clara, United States. pp.251 - 259, ⟨10.1109/ICWS.2013.42⟩. ⟨hal-00967037⟩
Accès au bibtex
BibTex

2011

Communication dans un congrès

ref_biblio
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. Verifying composite service transactional behavior with EVENT-B. ECSA 2011 : 5th European Conference on Software Architecture, Sep 2011, Essen, Germany. pp.67 - 74, ⟨10.1007/978-3-642-23798-0_7⟩. ⟨hal-01354674⟩
Accès au bibtex
BibTex