Get started
Author

Khaled Khebbeb

A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration
2020 · Khaled Khebbeb, Nabil Hameurlain, et al. · Journal of Systems Architecture · 23
PDF
Formal modelling and verifying elasticity strategies in cloud systems
2018 · Khaled Khebbeb, Nabil Hameurlain, et al. · IET Software · 14
PDF
Formalizing and simulating cross-layer elasticity strategies in Cloud systems
2020 · Khaled Khebbeb, Nabil Hameurlain, et al. · Cluster Computing · 13
PDF
Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach
2020 · Samir Ouchani, Khaled Khebbeb, et al. · IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) · 7
Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems
2018 · Khaled Khebbeb, Nabil Hameurlain, et al. · Lecture notes in computer science · 6
PDF
Formal Modeling and Verification of Cloud Elasticity with Maude and LTL
2019 · Khaled Khebbeb, Nabil Hameurlain, et al. · Communications in computer and information science · 2
A BRS Based Approach for Modeling Elastic Cloud Systems
2018 · Khaled Khebbeb, Hamza Sahli, et al. · Lecture notes in computer science · 2
Formalisation et évaluation de stratégies d’élasticité multi-couches dans le Cloud
2019 · Khaled Khebbeb · theses.fr (ABES)
PDF
Works count: 8
Citation count: 67
H-index: 5
I10-index: 3
Year
Topic
Type