Khalil Ghorbal

According to our database, Khalil Ghorbal authored at least 25 papers between 2009 and 2022.

Collaborative distances:

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

2022

Characterizing positively invariant sets: Inductive and topological methods.

Khalil Ghorbal, Andrew Sogokon

J. Symb. Comput., 2022

2020

Ordered Functional Decision Diagrams.

Joan Thibault, Khalil Ghorbal

CoRR, 2020

2019

Multi-Mode DAE Models - Challenges, Theory and Implementation.

Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

2018

Vector Barrier Certificates and Comparison Systems.

Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Operational Models for Piecewise-Smooth Systems.

Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson

ACM Trans. Embed. Comput. Syst., 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

Formal verification of obstacle avoidance and navigation of ground robots.

Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer

Int. J. Robotics Res., 2017

Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System.

Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot

Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 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

Structural Analysis of Multi-Mode DAE Systems.

Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

2016

A Method for Invariant Generation for Polynomial Continuous Systems.

Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Decoupling Abstractions of Non-linear Ordinary Differential Equations.

Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson

Proceedings of the FM 2016: Formal Methods, 2016

Non-linear Continuous Systems for Safety Verification.

Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson

Proceedings of the ARCH@CPSWeek 2016, 2016

2015

A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets.

Khalil Ghorbal, Andrew Sogokon, André Platzer

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

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

Proceedings of the 2015 International Conference on Embedded Software, 2015

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

Characterizing Algebraic Invariants by Differential Radical Invariants.

Khalil Ghorbal, André Platzer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations.

Khalil Ghorbal, Andrew Sogokon, André Platzer

Proceedings of the Static Analysis - 21st International Symposium, 2014

2013

On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles.

Stefan Mitsch, Khalil Ghorbal, André Platzer

Proceedings of the Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24, 2013

2012

Donut Domains: Efficient Non-convex Domains for Abstract Interpretation.

Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Efficient Probabilistic Model Checking of Systems with Ranged Probabilities.

Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta

Proceedings of the Reachability Problems - 6th International Workshop, 2012

2011

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

Khalil Ghorbal

PhD thesis, 2011

2010

A Logical Product Approach to Zonotope Intersection.

Khalil Ghorbal, Eric Goubault, Sylvie Putot

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

The Zonotope Abstract Domain Taylor1+.

Khalil Ghorbal, Eric Goubault, Sylvie Putot

Proceedings of the Computer Aided Verification, 21st International Conference, 2009