Author

Riad Helal

Institutions: Université de Pau et des Pays de l'Adour, Université Constantine 2, Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour

Observed institutions: Université de Pau et des Pays de l'Adour, Université Constantine 2, Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour

ORCID: 0000-0003-2689-5036

Observed ORCID: 0000-0003-2689-5036

OpenAlex ID: A5098944680

A Formal Modeling Framework for Time-Aware Cyber–Physical Systems of Systems

2026 · Riad Helal, Faiza Belala, et al. · Systems · 1

Towards Specification and Analysis of Dependable Cyber-Physical Systems

2025 · Riad Helal, Kamel Boukhelfa, et al. · Lecture notes in computer science · 1

FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems

2024 · Riad Helal, Akram Seghiri, et al. · International Conference on Advanced Aspects of Software Engineering (ICAASE) · 1

Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements

2024 · Riad Helal, Akram Seghiri, et al. · International Conference on Software and Computer Applications (ICSCA) · 1

Works count: 4

Citation count: 4

H-index: 1

I10-index: