A BRS Based Approach for Modeling Elastic Cloud Systems. - Khaled Khebbeb; Hamza Sahli; Nabil Hameurlain; Faiza Belala (ICSOC Workshops, 2017)

Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala (MEDI, 2018)

Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala (MEDI Workshops, 2019)

Formal modelling and verifying elasticity strategies in cloud systems. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala; Hamza Sahli (IET Softw., 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 (2019)

Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach. - Samir Ouchani; Khaled Khebbeb; Meriem Hafsi (AICCSA, 2020)

Formalizing and simulating cross-layer elasticity strategies in Cloud systems. - Khaled Khebbeb; Nabil Hameurlain; Faiza Belala (Clust. Comput., 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)