الرئيسية › دليل الباحثين › Ayoub Bouheroum

Ayoub Bouheroum

الانتماء : Abbès Laghrour University of Khenchela

• 6منشورات (انتماء جزائري)
• 6مجموع المنشورات
• 20الاستشهادات
• 3مؤشر h

ORCIDOpenAlex

مجالات البحث

• Formal Methods in Verification
• Model-Driven Software Engineering Techniques
• Business Process Modeling and Analysis
• IoT and Edge/Fog Computing
• Access Control and Trust

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

• A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical Systems
  2025 · Engineering Technology & Applied Science Research · استُشهد به 1 مرة
• A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical Systems
  2024 · Research Square · استُشهد به 1 مرة
• A BRS-based Modeling Approach for Secure Medical Cyber-Physical Systems
  2023 · استُشهد به 2 مرة
• A Formal Integrated Approach for Cyber Physical Systems
  2022 · International Conference on Pattern Analysis and Intelligent Systems (PAIS) · استُشهد به 4 مرة
• A Formal Framework for Secure Fog Architectures
  2021 · International Journal of Organizational and Collective Intelligence · استُشهد به 7 مرة
• Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant
  2019 · International Conference on Future Internet of Things and Cloud (FiCloud) · استُشهد به 5 مرة

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

• Faïza Belala
• Djamel Benmerzoug
• Sofiane Mounine Hemam
• Zakaria Benzadri
• Aya Lehamdi
• Radhia Aouissate

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