Haitham Khedr

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 12

Top Topics

Formal Verification

Interval Arithmetic

Uncertain Environments

Top Venues

Publications

Haitham Khedr, Yasser Shoukry
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation. AAAI (2024)
Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. HSCC (2023)
Haitham Khedr, Yasser Shoukry
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation. CoRR (2023)
Haitham Khedr, Yasser Shoukry
CertiFair: A Framework for Certified Global Fairness of Neural Networks. AAAI (2023)
Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. CoRR (2022)
James Ferlez, Haitham Khedr, Yasser Shoukry
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. HSCC (2022)
Haitham Khedr, Yasser Shoukry
CertiFair: A Framework for Certified Global Fairness of Neural Networks. CoRR (2022)
Haitham Khedr, James Ferlez, Yasser Shoukry
PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier. CAV (1) (2021)
James Ferlez, Haitham Khedr, Yasser Shoukry
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. CoRR (2021)
Haitham Khedr, James Ferlez, Yasser Shoukry
Effective Formal Verification of Neural Networks using the Geometry of Linear Regions. CoRR (2020)
Xiaowu Sun, Haitham Khedr, Yasser Shoukry
Formal verification of neural network controlled autonomous systems. HSCC (2019)
Xiaowu Sun, Haitham Khedr, Yasser Shoukry
Formal Verification of Neural Network Controlled Autonomous Systems. CoRR (2018)