Publications

The following table summarizes and categorizes the published papers into three categories: Journal articles, International conference papers and National conference papers. The published and submitted publications are then detailed in the rest of the page.

Publication nature	Number
Journal articles	3
International conference papers	5
National conference papers	2
Ph.D. thesis	1
Total	11

Automatically updated academic databases

• DBLP
• Google Scholar Citations
• Research Gate
• HAL open archives

Journal papers

Published

2020 Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
"A Maude-based rewriting approach to model and verify Cloud/Fog
self-adaptation and orchestration"
In Journal of Systems Architecture (Elsevier).
DOI: https://doi.org/10.1016/j.sysarc.2020.101821
cite pdf

2020 Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
"Formalizing and simulating cross-layer elasticity strategies in Cloud systems"
In Cluster Computing (Springer), 23(3), pp. 1603-1631.
DOI: https://doi.org/10.1007/s10586-020-03080-8
cite pdf

2019 Khaled Khebbeb, Nabil Hameurlain, Faiza Belala, Hamza Sahli
"Formal modelling and verifying elasticity strategies in Cloud systems"
In IET Software, 13(1), pp. 25-35.
DOI: http://dx.doi.org/10.1049/iet-sen.2018.5030
cite pdf

Theses

2019 Khaled Khebbeb
"Formalisation et évaluation de stratégies d'élasticité multi-couches dans le Cloud"
Ph.D. thesis, 29 June 2019.
data cite pdf

International Conference papers

2020 Samir Ouchani, Khaled Khebbeb, Meriem Hafsi
"Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach"
In IEEE CPS'CAPP 2020 (IEEE International Symposium on Cyber Physical Systems
Concerns and Applications)
@ 17th ACS/IEEE International Conference on Computer Systems and Applications
(AICCSA 2020)
2-5 November 2020, Antalya, Turkey.
Publisher: IEEE
DOI: https://doi.org/10.1109/AICCSA50499.2020.9316535
cite pdf


2019 Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
"Formal modeling and verification of Cloud elasticity with Maude and LTL"
In DETECT (Modeling, Verification and Testing of Dependable Critical Systems)
@ 9th International Conference on Model and Data Engineering (MEDI 2019)
28-31 October 2019, Toulouse, France.
Published in: Communications in Computer and Information Science (CCIS),
vol 1085, pp. 64-77.
Publisher: Springer, Cham
DOI: https://doi.org/10.1007/978-3-030-32213-7_5
cite pdf


2018 Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
"Modeling and evaluating cross-layer elasticity strategies in Cloud systems"
In 8th International Conference on Model and Data Engineering (MEDI 2018).
24 - 26 October 2018, Marrakesh, Morocco.
Published in: Lecture Notes in Computer Science (LNCS), vol 11163, pp. 168-183.
Publisher: Springer, Cham
DOI: https://doi.org/10.1007/978-3-030-32213-7_5
cite pdf


2017 Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala
"A BRS Based Approach for Modeling Elastic Cloud Systems"
In ASOCA (Adaptive Service-Oriented and Cloud Applications)
@ 15th International Conference on Service-Oriented Computing (ICSOC 2017)
13 - 16 November 2017, Malaga, Spain.
Published in: Lecture Notes in Computer Science (LNCS), vol 10797, pp. 5-17.
Publisher: Springer, Cham
DOI: https://doi.org/10.1007/978-3-319-91764-1_1
cite pdf


2015 Hamza Sahli, Billel Seghir, Khaled Khebbeb, Faiza Belala
"Modeling Elastic Cloud Systems with Bigraphs and Agents"
In 4th International Conference on Software Engineering and New Technologies (ICSENT)
20 - 24 December 2015, Istanbul, Turkey.
Published in: proceedings of ICSENT 2015, pp. 145-156.
Publisher: CreateSpace Independent Publishing Platform.

National conference papers

2019 Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
"Formalisation, vérification et évaluation de stratégies d’élasticité dans le Cloud"
In 18èmes journées de AFADL @ Journées nationales du GDR-GPL 2019
12-14 June 2019, Toulouse, France.
Published in: proceedings of AFADL 2019, pp. 89-92.


2016 Khaled Khebbeb, Billel Seghir, Meriem Belguidoum, Faiza Belala
"AgBig: Un modèle basé Bigraphe pour la spéc. des Services Elastiques du Cloud"
In 5ème Conférence en Ingénierie du Logiciel (CIEL)
@ Journées nationales du GDR-GPL 2016.
7 June 2016, Besançon, France.