Riad Helal

According to our database, Riad Helal authored at least 6 papers between 2022 and 2026.

Collaborative distances:

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

2026

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

Riad Helal, Faiza Belala, Nabil Hameurlain, Akram Seghiri

Syst., 2026

2024

Deep Learning Formal Models: A Bibliometric Exploration.

Angham Boukhari, Aïcha Choutri, Faiza Belala, Ahmed Hadj Kacem, Riad Helal

Proceedings of the 4th Tunisian-Algerian Joint Conference on Applied Computing (TACC 2024), 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