We stand with Ukraine  

Riad Helal

Orcid: 0000-0003-2689-5036

According to our database1, Riad Helal authored at least 2 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements.
[BibTeX]
[DOI]
Riad Helal
,
Akram Seghiri
,
Faiza Belala
,
Nabil Hameurlain
Proceedings of the 13th International Conference on Software and Computer Applications, 2024

2022
An Integrated Approach to Formal Analyze Cyber Physical Systems.
[BibTeX]
[DOI]
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


  Loading...