Khalil Ghorbal

32 papers A* 2A 2B 7Misc 1Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Structural Methods for handling mode changes in multimode DAE systems.
CoRR
Albert Benveniste, Benoît Caillaud, Yahao Chen, Khalil Ghorbal, Mathias Malandain
2024 J jnl
A Mathematica Package for Certifying the Nonexistence of Darboux Polynomials.
ACM Commun. Comput. Algebra
Maxime Bridoux, Khalil Ghorbal
2024 B conf
Automated Reasoning For The Existence Of Darboux Polynomials.
ISSAC
Khalil Ghorbal, Maxime Bridoux
2022 J jnl
Characterizing positively invariant sets: Inductive and topological methods.
J. Symb. Comput.
Khalil Ghorbal, Andrew Sogokon
2020 J jnl
Characterizing Positively Invariant Sets: Inductive and Topological Methods.
CoRR
Khalil Ghorbal, Andrew Sogokon
2020 J jnl
Ordered Functional Decision Diagrams.
CoRR
Joan Thibault, Khalil Ghorbal
2020 — ed.
Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2020, Virtual, USA, 17 November 2020
NSAD@SAS
Liqian Chen, Khalil Ghorbal
2019 — ch.
Multi-Mode DAE Models - Challenges, Theory and Implementation.
Computing and Software Science
Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
2018 B conf
Vector Barrier Certificates and Comparison Systems.
FM
Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
2017 J jnl
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system.
Int. J. Softw. Tools Technol. Transf.
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer
2017 J jnl
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets.
Comput. Lang. Syst. Struct.
Khalil Ghorbal, Andrew Sogokon, André Platzer
2017 — conf
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System.
FVAV@iFM
Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot
2017 J jnl
Formal verification of obstacle avoidance and navigation of ground robots.
Int. J. Robotics Res.
Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer
2017 J jnl
Operational Models for Piecewise-Smooth Systems.
ACM Trans. Embed. Comput. Syst.
Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
2017 — conf
Structural Analysis of Multi-Mode DAE Systems.
HSCC
Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
2016 B conf
A Method for Invariant Generation for Polynomial Continuous Systems.
VMCAI
Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer
2016 B conf
Decoupling Abstractions of Non-linear Ordinary Differential Equations.
FM
Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
2016 J jnl
Formal Verification of Obstacle Avoidance and Navigation of Ground Robots.
CoRR
Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer
2016 — conf
Non-linear Continuous Systems for Safety Verification.
ARCH@CPSWeek
Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
2015 A conf
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System.
TACAS
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
2015 B conf
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets.
VMCAI
Khalil Ghorbal, Andrew Sogokon, André Platzer
2015 Misc conf
Formal verification of ACAS X, an industrial airborne collision avoidance system.
EMSOFT
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
2014 A conf
Characterizing Algebraic Invariants by Differential Radical Invariants.
TACAS
Khalil Ghorbal, André Platzer
2014 J jnl
Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges.
J. Aerosp. Inf. Syst.
Khalil Ghorbal, Jean-Baptiste Jeannin, Erik Zawadzki, André Platzer, Geoffrey J. Gordon, Peter Capell
2014 B conf
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations.
SAS
Khalil Ghorbal, Andrew Sogokon, André Platzer
2013 — conf
On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles.
Robotics: Science and Systems
Stefan Mitsch, Khalil Ghorbal, André Platzer
2012 B conf
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation.
VMCAI
Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
2012 — conf
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities.
RP
Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta
2011 — —
Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain. (Analyse Statique de Programmes Numériques: Ensembles Affines Contraints).
Khalil Ghorbal
2010 J jnl
A Logical Product Approach to Zonotope Intersection
CoRR
Khalil Ghorbal, Eric Goubault, Sylvie Putot
2010 A* conf
A Logical Product Approach to Zonotope Intersection.
CAV
Khalil Ghorbal, Eric Goubault, Sylvie Putot
2009 A* conf
The Zonotope Abstract Domain Taylor1+.
CAV
Khalil Ghorbal, Eric Goubault, Sylvie Putot