Elias Khalife

According to our database, Elias Khalife authored at least 3 papers between 2022 and 2025.

Collaborative distances:

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

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

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