The Zonotope Abstract Domain Taylor1+. - Khalil Ghorbal; Eric Goubault; Sylvie Putot (CAV, 2009)

A Logical Product Approach to Zonotope Intersection. - Khalil Ghorbal; Eric Goubault; Sylvie Putot (CAV, 2010)

Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain. (Analyse Statique de Programmes Numériques: Ensembles Affines Contraints). - Khalil Ghorbal (2011)

Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. - Khalil Ghorbal; Parasara Sridhar Duggirala; Vineet Kahlon; Franjo Ivancic; Aarti Gupta (RP, 2012)

Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. - Khalil Ghorbal; Franjo Ivancic; Gogul Balakrishnan; Naoto Maeda; Aarti Gupta (VMCAI, 2012)

On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles. - Stefan Mitsch; Khalil Ghorbal; André Platzer (Robotics: Science and Systems, 2013)

Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations. - Khalil Ghorbal; Andrew Sogokon; André Platzer (SAS, 2014)

Characterizing Algebraic Invariants by Differential Radical Invariants. - Khalil Ghorbal; André Platzer (TACAS, 2014)

Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges. - Khalil Ghorbal; Jean-Baptiste Jeannin; Erik Zawadzki; André Platzer; Geoffrey J. Gordon; Peter Capell (J. Aerosp. Inf. Syst., 2014)

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 (EMSOFT, 2015)

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 (TACAS, 2015)

A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets. - Khalil Ghorbal; Andrew Sogokon; André Platzer (VMCAI, 2015)

Non-linear Continuous Systems for Safety Verification. - Andrew Sogokon; Khalil Ghorbal; Taylor T. Johnson (ARCH@CPSWeek, 2016)

Decoupling Abstractions of Non-linear Ordinary Differential Equations. - Andrew Sogokon; Khalil Ghorbal; Taylor T. Johnson (FM, 2016)

A Method for Invariant Generation for Polynomial Continuous Systems. - Andrew Sogokon; Khalil Ghorbal; Paul B. Jackson; André Platzer (VMCAI, 2016)

Structural Analysis of Multi-Mode DAE Systems. - Albert Benveniste; Benoît Caillaud; Hilding Elmqvist; Khalil Ghorbal; Martin Otter; Marc Pouzet (HSCC, 2017)

A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. - Khalil Ghorbal; Andrew Sogokon; André Platzer (Comput. Lang. Syst. Struct., 2017)

Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. - Benjamin Martin 003; Khalil Ghorbal; Eric Goubault; Sylvie Putot (FVAV@iFM, 2017)

Formal verification of obstacle avoidance and navigation of ground robots. - Stefan Mitsch; Khalil Ghorbal; David Vogelbacher; André Platzer (Int. J. Robotics Res., 2017)

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. - Jean-Baptiste Jeannin; Khalil Ghorbal; Yanni Kouskoulas; Aurora C. Schmidt; Ryan W. Gardner; Stefan Mitsch; André Platzer (Int. J. Softw. Tools Technol. Transf., 2017)

Operational Models for Piecewise-Smooth Systems. - Andrew Sogokon; Khalil Ghorbal; Taylor T. Johnson (ACM Trans. Embed. Comput. Syst., 2017)

Vector Barrier Certificates and Comparison Systems. - Andrew Sogokon; Khalil Ghorbal; Yong Kiam Tan; André Platzer (FM, 2018)

Multi-Mode DAE Models - Challenges, Theory and Implementation. - Albert Benveniste; Benoît Caillaud; Hilding Elmqvist; Khalil Ghorbal; Martin Otter; Marc Pouzet (Computing and Software Science, 2019)

Ordered Functional Decision Diagrams. - Joan Thibault; Khalil Ghorbal (CoRR, 2020)

Characterizing positively invariant sets: Inductive and topological methods. - Khalil Ghorbal; Andrew Sogokon (J. Symb. Comput., 2022)

Automated Reasoning For The Existence Of Darboux Polynomials. - Khalil Ghorbal; Maxime Bridoux (ISSAC, 2024)

A Mathematica Package for Certifying the Nonexistence of Darboux Polynomials. - Maxime Bridoux; Khalil Ghorbal (ACM Commun. Comput. Algebra, 2024)