Khalil Ghorbal

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 18

Top Venues

CoRR

VMCAI

TACAS

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Khalil Ghorbal, Maxime Bridoux
Automated Reasoning For The Existence Of Darboux Polynomials. ISSAC (2024)
Khalil Ghorbal, Andrew Sogokon
Characterizing positively invariant sets: Inductive and topological methods. J. Symb. Comput. 113 (2022)
Joan Thibault, Khalil Ghorbal
Ordered Functional Decision Diagrams. CoRR (2020)
Khalil Ghorbal, Andrew Sogokon
Characterizing Positively Invariant Sets: Inductive and Topological Methods. CoRR (2020)
Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
Vector Barrier Certificates and Comparison Systems. FM (2018)
Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
Structural Analysis of Multi-Mode DAE Systems. HSCC (2017)
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. FVAV@iFM (2017)
Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer
Formal verification of obstacle avoidance and navigation of ground robots. Int. J. Robotics Res. 36 (12) (2017)
Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
Operational Models for Piecewise-Smooth Systems. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Khalil Ghorbal, Andrew Sogokon, André Platzer
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Comput. Lang. Syst. Struct. 47 (2017)
Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
Non-linear Continuous Systems for Safety Verification. ARCH@CPSWeek (2016)
Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer
Formal Verification of Obstacle Avoidance and Navigation of Ground Robots. CoRR (2016)
Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
Decoupling Abstractions of Non-linear Ordinary Differential Equations. FM (2016)
Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer
A Method for Invariant Generation for Polynomial Continuous Systems. VMCAI (2016)
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
Formal verification of ACAS X, an industrial airborne collision avoidance system. EMSOFT (2015)
Khalil Ghorbal, Andrew Sogokon, André Platzer
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets. VMCAI (2015)
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. TACAS (2015)
Khalil Ghorbal, Andrew Sogokon, André Platzer
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations. SAS (2014)
Khalil Ghorbal, André Platzer
Characterizing Algebraic Invariants by Differential Radical Invariants. TACAS (2014)
Khalil Ghorbal, Jean-Baptiste Jeannin, Erik Zawadzki, André Platzer, Geoffrey J. Gordon, Peter Capell
Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges. J. Aerosp. Inf. Syst. 11 (10) (2014)
Stefan Mitsch, Khalil Ghorbal, André Platzer
On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles. Robotics: Science and Systems (2013)
Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. RP (2012)
Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. VMCAI (2012)
Khalil Ghorbal, Eric Goubault, Sylvie Putot
A Logical Product Approach to Zonotope Intersection. CAV (2010)
Khalil Ghorbal, Eric Goubault, Sylvie Putot
A Logical Product Approach to Zonotope Intersection CoRR (2010)
Khalil Ghorbal, Eric Goubault, Sylvie Putot
The Zonotope Abstract Domain Taylor1+. CAV (2009)

Khalil Ghorbal.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Khalil Ghorbal