Formal verification of neural network controlled autonomous systems. - Xiaowu Sun; Haitham Khedr; Yasser Shoukry (HSCC, 2019)

Effective Formal Verification of Neural Networks using the Geometry of Linear Regions. - Haitham Khedr; James Ferlez; Yasser Shoukry (CoRR, 2020)

PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier. - Haitham Khedr; James Ferlez; Yasser Shoukry (CAV (1), 2021)

Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. - James Ferlez; Haitham Khedr; Yasser Shoukry (HSCC, 2022)

CertiFair: A Framework for Certified Global Fairness of Neural Networks. - Haitham Khedr; Yasser Shoukry (AAAI, 2023)

BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. - Wael Fatnassi; Haitham Khedr; Valen Yamamoto; Yasser Shoukry (HSCC, 2023)

Formal Verification of Neural Networks: Algorithms and Applications - Haitham Khedr (2023)

DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation. - Haitham Khedr; Yasser Shoukry (AAAI, 2024)

SAM 2: Segment Anything in Images and Videos. - Nikhila Ravi; Valentin Gabeur; Yuan-Ting Hu; Ronghang Hu; Chaitanya Ryali; Tengyu Ma 005; Haitham Khedr; Roman Rädle; Chloé Rolland; Laura Gustafson; Eric Mintun; Junting Pan; et al. (ICLR, 2025)