Khaled Khebbeb

According to our database, Khaled Khebbeb authored at least 8 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration.

Khaled Khebbeb, Nabil Hameurlain, Faiza Belala

J. Syst. Archit., 2020

Formalizing and simulating cross-layer elasticity strategies in Cloud systems.

Khaled Khebbeb, Nabil Hameurlain, Faiza Belala

Clust. Comput., 2020

Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach.

Samir Ouchani, Khaled Khebbeb, Meriem Hafsi

Proceedings of the 17th IEEE/ACS International Conference on Computer Systems and Applications, 2020

2019

Formalisation et Évaluation de Stratégies d'Élasticité Multi-couches dans le Cloud. (Formalizing and Evaluating Cross-Layer Elasticity Strategies in the Cloud).

Khaled Khebbeb

PhD thesis, 2019

Formal modelling and verifying elasticity strategies in cloud systems.

Khaled Khebbeb, Nabil Hameurlain, Faiza Belala, Hamza Sahli

IET Softw., 2019

Formal Modeling and Verification of Cloud Elasticity with Maude and LTL.

Khaled Khebbeb, Nabil Hameurlain, Faiza Belala

Proceedings of the New Trends in Model and Data Engineering, 2019

2018

Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems.

Khaled Khebbeb, Nabil Hameurlain, Faiza Belala

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

2017

A BRS Based Approach for Modeling Elastic Cloud Systems.

Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017