الرئيسية › دليل الباحثين › Khaled Khebbeb

Khaled Khebbeb

الانتماء : Université de Pau et des Pays de l'Adour · Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour

• 6منشورات (انتماء فرنسي)
• 9مجموع المنشورات
• 61الاستشهادات
• 5مؤشر h

OpenAlex

مجالات البحث

• Cloud Computing and Resource Management
• Distributed systems and fault tolerance
• Advanced Software Engineering Methodologies
• Formal Methods in Verification
• Logic, programming, and type systems

المنشورات (6)

• A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration
  2020 · Journal of Systems Architecture · استُشهد به 20 مرة
• Formalizing and simulating cross-layer elasticity strategies in Cloud systems
  2020 · Cluster Computing · استُشهد به 12 مرة
• Formal Modeling and Verification of Cloud Elasticity with Maude and LTL
  2019 · Communications in computer and information science · استُشهد به 2 مرة
• Formal modelling and verifying elasticity strategies in cloud systems
  2018 · IET Software · استُشهد به 13 مرة
• Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems
  2018 · Lecture notes in computer science · استُشهد به 6 مرة
• A BRS Based Approach for Modeling Elastic Cloud Systems
  2018 · Lecture notes in computer science · استُشهد به 2 مرة

مجلات النشر

• Lecture notes in computer science × 2
• Journal of Systems Architecture × 1
• Cluster Computing × 1
• Communications in computer and information science × 1
• IET Software × 1

المنشورات حسب السنة

• 20202
• 20191
• 20183

التعاون العلمي

المؤسسات الشريكة : Université Constantine 2

بلدان المؤلفين المشاركين : الجزائر

المؤلفون المشاركون

• Nabil Hameurlain

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).