Ahmad Hafez

According to our database, Ahmad Hafez authored at least 8 papers between 2017 and 2026.

Collaborative distances:

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

2026

Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data.

Zhen Zhang, Ahmad Hafez, Peng Xie, Yanliang Huang, Wenyuan Wu, Amr Al-Anwar

CoRR, April, 2026

Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings.

Alireza Naderi Akhormeh, Ahmad Hafez, Abdulla Fawzy, Amr Al-Anwar

CoRR, April, 2026

2025

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis.

Ahmad Hafez, Alireza Naderi Akhormeh, Amr Hegazy, Amr Al-Anwar

CoRR, March, 2025

2024

Reachability Analysis Using Constrained Polynomial Logical Zonotopes.

Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Al-Anwar

IEEE Control. Syst. Lett., 2024

Global Context Enhanced Anomaly Detection of Cyber Attacks via Decoupled Graph Neural Networks.

Ahmad Hafez

CoRR, 2024

Formal Verification with Constrained Polynomial Logical Zonotope.

Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Alanwar

CoRR, 2024

2021

ConvDySAT: Deep Neural Representation Learning on Dynamic Graphs via Self-Attention and Convolutional Neural Networks.

Ahmad Hafez, Atulya Praphul, Yousef Jaradt, Ezani Godwin

CoRR, 2021

2017

Towards Automatic Skill Evaluation in Microsurgery.

Shahram Eivazi, Michael Slupina, Wolfgang Fuhl, Hoorieh Afkari, Ahmad Hafez, Enkelejda Kasneci

Proceedings of the Companion Publication of the 22nd International Conference on Intelligent User Interfaces, 2017