We stand with Ukraine  

Noah Abou El Wafa

Orcid: 0000-0002-3987-9919

According to our database1, Noah Abou El Wafa authored at least 6 papers between 2022 and 2026.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Complete Robust Hybrid Systems Reachability.
[BibTeX]
[DOI]
Noah Abou El Wafa
,
André Platzer
CoRR, February, 2026

2025
Complete First-Order Game Logic.
[BibTeX]
[DOI]
Noah Abou El Wafa
,
André Platzer
CoRR, April, 2025

Safe Temperature Regulation: Formally Verified and Real-World Validated.
[BibTeX]
[DOI]
Carlos Isasa
,
Noah Abou El Wafa
,
Cláudio Gomes
,
Peter Gorm Larsen
,
André Platzer
Proceedings of the Integrated Formal Methods - 20th International Conference, 2025

2024
Complete Game Logic with Sabotage.
[BibTeX]
[DOI]
Noah Abou El Wafa
,
André Platzer
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041).
[BibTeX]
[DOI]
Erika Ábrahám
,
Stefan Hallerstede
,
John Hatcliff
,
Danielle Stewart
,
Noah Abou El Wafa
Dagstuhl Reports, January, 2023

2022
First-Order Game Logic and Modal Mu-Calculus.
[BibTeX]
[DOI]
Noah Abou El Wafa
,
André Platzer
CoRR, 2022


  Loading...