Abdelrahman Hekal

According to our database, Abdelrahman Hekal authored at least 6 papers between 2022 and 2026.

Collaborative distances:

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

2026

A Robust Out-of-Distribution Detection Framework via Synergistic Smoothing.

Maria Stoica, Abdelrahman Hekal, Alessio Lomuscio

CoRR, May, 2026

2024

Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations.

Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Veena Krish, Andrew Mata, Amir Rahmati

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Falsification using Reachability of Surrogate Koopman Models.

Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights.

Stanley Bak, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati

Proceedings of the Automated Technology for Verification and Analysis, 2024

2023

AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization.

Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Runtime Assurance for Autonomous Driving with Neural Reachability.

Sergiy Bogomolov, Abdelrahman Hekal, Bardh Hoxha, Tomoya Yamaguchi

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022