Noah Abou El Wafa Research Teaching Contact

Publications

ORCID: https://orcid.org/0000-0002-3987-9919
dblp: https://dblp.org/pid/312/4781.html

Conference Papers

• Noah Abou El Wafa and André Platzer.
  Complete Robust Hybrid Systems Reachability.
  In International Joint Conference on Automated Reasoning, IJCAR 2026, Proceedings, Lecture Notes in Computer Science, volume 16689, pages 342-358. Springer, 2026.
  DOI: 10.1007/978-3-032-32592-1_20.
• Carlos Isasa, Noah Abou El Wafa, Cláudio Gomes, Peter Gorm Larsen, and André Platzer.
  Safe Temperature Regulation: Formally Verified and Real-World Validated.
  In Integrated Formal Methods - 20th International Conference, iFM 2025, Lecture Notes in Computer Science, volume 16194, pages 143-161. Springer, 2025.
  DOI: 10.1007/978-3-032-10794-7_8.
• Noah Abou El Wafa and André Platzer.
  Complete Game Logic with Sabotage.
  In Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, pages 1:1–1:15. ACM, 2024.
  DOI: 10.1145/3661814.3662121.

Preprints

• Noah Abou El Wafa and André Platzer.
  Differential equations as fixpoints and games.
  Accepted with minor revision at J. ACM. DOI: 10.48550/arXiv.2504.03495.