Construction of Worst-Case Input Signals for Discrete-Time Linear Time-Varying Systems. - Elias Khalife; Dany Abou Jaoude; Mazen Farhood (CDC, 2022)

Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems. - Elias Khalife; Pierre-Loïc Garoche; Mazen Farhood (NFM, 2023)

Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints. - Elias Khalife; Pierre-Loïc Garoche; Mazen Farhood (NFM, 2025)