Riad Helal

According to our database, Riad Helal authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Towards Specification and Analysis of Dependable Cyber-Physical Systems.

Riad Helal, Kamel Boukhelfa, Akram Seghiri, Nabil Hameurlain, Faiza Belala

Proceedings of the Model and Data Engineering - 13th International Conference, 2024

Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements.

Riad Helal, Akram Seghiri, Faiza Belala, Nabil Hameurlain

Proceedings of the 13th International Conference on Software and Computer Applications, 2024

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

Riad Helal, Akram Seghiri, Kamel Boukhelfa, Faiza Belala, Nabil Hameurlain

Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2024

2022

An Integrated Approach to Formal Analyze Cyber Physical Systems.

Riad Helal, Akram Seghiri, Faiza Belala

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Algérien, 2022