الرئيسية › دليل الباحثين › Riad Helal

Riad Helal

الانتماء : Université Constantine 2

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

ORCIDOpenAlex

مجالات البحث

• Model-Driven Software Engineering Techniques
• Formal Methods in Verification
• Systems Engineering Methodologies and Applications
• Advanced Software Engineering Methodologies
• Modeling and Simulation Systems

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

• A Formal Modeling Framework for Time-Aware Cyber–Physical Systems of Systems
  2026 · Systems · استُشهد به 1 مرة
• Towards Specification and Analysis of Dependable Cyber-Physical Systems
  2025 · Lecture notes in computer science
• Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements
  2024 · International Conference on Software and Computer Applications (ICSCA)
• FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems
  2024 · International Conference on Advanced Aspects of Software Engineering (ICAASE)

مجلات النشر

• Systems × 1
• Lecture notes in computer science × 1
• International Conference on Software and Computer Applications (ICSCA) × 1
• International Conference on Advanced Aspects of Software Engineering (ICAASE) × 1

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

• 20261
• 20251
• 20242

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

المؤسسات الشريكة : Université de Pau et des Pays de l'Adour · Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour

بلدان المؤلفين المشاركين : فرنسا

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

• Akram Seghiri
• Faïza Belala
• Kamel Boukhelfa

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