Khaled Khebbeb

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 7

Top Topics

Linear Time Temporal Logic

Colored Petri Nets

Top Venues

ICSOC Workshops

J. Syst. Archit.

Publications

Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
Formalizing and simulating cross-layer elasticity strategies in Cloud systems. Clust. Comput. 23 (3) (2020)
Samir Ouchani, Khaled Khebbeb, Meriem Hafsi
Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach. AICCSA (2020)
Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration. J. Syst. Archit. 110 (2020)
Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. MEDI Workshops (2019)
Khaled Khebbeb, Nabil Hameurlain, Faiza Belala, Hamza Sahli
Formal modelling and verifying elasticity strategies in cloud systems. IET Softw. 13 (1) (2019)
Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems. MEDI (2018)
Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala
A BRS Based Approach for Modeling Elastic Cloud Systems. ICSOC Workshops (2017)