| 2024 | ISSAC | Automated Reasoning For The Existence Of Darboux Polynomials. | Khalil Ghorbal, Maxime Bridoux |
| 2018 | FM | Vector Barrier Certificates and Comparison Systems. | Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, Andr Platzer |
| 2016 | FM | Decoupling Abstractions of Non-linear Ordinary Differential Equations. | Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson |
| 2016 | VMCAI | A Method for Invariant Generation for Polynomial Continuous Systems. | Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, Andr Platzer |
| 2015 | EMSOFT | Formal verification of ACAS X, an industrial airborne collision avoidance system. | Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, Andr Platzer |
| 2015 | TACAS | A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. | Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, Andr Platzer |
| 2015 | VMCAI | A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets. | Khalil Ghorbal, Andrew Sogokon, Andr Platzer |
| 2014 | SAS | Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations. | Khalil Ghorbal, Andrew Sogokon, Andr Platzer |
| 2014 | TACAS | Characterizing Algebraic Invariants by Differential Radical Invariants. | Khalil Ghorbal, Andr Platzer |
| 2012 | VMCAI | Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. | Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta |
| 2010 | CAV | A Logical Product Approach to Zonotope Intersection. | Khalil Ghorbal, Eric Goubault, Sylvie Putot |
| 2009 | CAV | The Zonotope Abstract Domain Taylor1+. | Khalil Ghorbal, Eric Goubault, Sylvie Putot |