Elias Khalife

According to our database, Elias Khalife authored at least 5 papers between 2022 and 2026.

Collaborative distances:

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

2026

Quadratic Characterizations for Reachability Analysis of Neural Networks.

Elias Khalife, Mazen Farhood, Pierre-Loïc Garoche

CoRR, May, 2026

2025

Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints.

Elias Khalife, Pierre-Loïc Garoche, Mazen Farhood

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

Primitive-Based State Invariants for Nonstationary LPV Systems.

Elias Khalife, Sourav Sinha, Mazen Farhood

Proceedings of the 64th IEEE Conference on Decision and Control, 2025

2023

Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems.

Elias Khalife, Pierre-Loïc Garoche, Mazen Farhood

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Construction of Worst-Case Input Signals for Discrete-Time Linear Time-Varying Systems.

Elias Khalife, Dany Abou Jaoude, Mazen Farhood

Proceedings of the 61st IEEE Conference on Decision and Control, 2022