Khalil Ghorbal

Présentation

Publications

Article dans une revue (6)

Characterizing Positively Invariant Sets: Inductive and Topological Methods Khalil Ghorbal,Andrew Sogokon Journal of Symbolic Computation, 2022 Article dans une revue hal-03540862v1
Operational Models for Piecewise-Smooth Systems Andrew Sogokon,Khalil Ghorbal,Taylor T Johnson ACM Transactions on Embedded Computing Systems (TECS), 2017, 16 (5s), pp.185:1--185:19. ⟨10.1145/3126506⟩ Article dans une revue hal-01658196v1
A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System Jean-Baptiste Jeannin,Khalil Ghorbal,Yanni Kouskoulas,Aurora Schmidt,Ryan Gardneret al. International Journal on Software Tools for Technology Transfer, 2017, 19 (6), pp.717-741. ⟨10.1007/s10009-016-0434-1⟩ Article dans une revue hal-01232365v1
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets Khalil Ghorbal,Andrew Sogokon,André Platzer Computer Languages, Systems and Structures, 2017, Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), 47 (1), pp.19-43. ⟨10.1016/j.cl.2015.11.003⟩ Article dans une revue hal-01232288v1
Formal verification of obstacle avoidance and navigation of ground robots Stefan Mitsch,Khalil Ghorbal,David Vogelbacher,André Platzer The International Journal of Robotics Research, 2017, 36 (12), pp.1312--1340. ⟨10.1177/0278364917733549⟩ Article dans une revue hal-01658197v1
Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges Khalil Ghorbal,Jean-Baptiste Jeannin,Erik Zawadzki,André Platzer,Geoffrey J. Gordonet al. J. Aerospace Inf. Sys., 2014, 11 (10), pp.702--713. ⟨10.2514/1.I010178⟩ Article dans une revue hal-01660905v1

Communication dans un congrès (17)

Automated Reasoning For The Existence Of Darboux Polynomials Khalil Ghorbal,Maxime Bridoux ISSAC 2024 - International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.324-333, ⟨10.1145/3666000.3669705⟩ Communication dans un congrès hal-04818240v1
Vector Barrier Certificates and Comparison Systems Andrew T Sogokon,Khalil Ghorbal,Yong Kiam Tan,André Platzer FM 2018 - 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.418-437, ⟨10.1007/978-3-319-95582-7_25⟩ Communication dans un congrès hal-01969800v1
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System Benjamin Martin,Khalil Ghorbal,Eric Goubault,Sylvie Putot FVAV 2017 - 1st Formal Verification of Autonomous Vehicles Workshop, Sep 2017, Turin, Italy. pp.91--104, ⟨10.4204/EPTCS.257.9⟩ Communication dans un congrès hal-01657848v1
Structural Analysis of Multi-Mode DAE Systems Albert Benveniste,Benoît Caillaud,Hilding Elmqvist,Khalil Ghorbal,Martin Otteret al. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Apr 2017, Pittsburgh, PA, United States. ⟨10.1145/3049797.3049806⟩ Communication dans un congrès hal-01521918v1
Non-linear Continuous Systems for Safety Verification (Benchmark Proposal) Andrew Sogokon,Khalil Ghorbal,Taylor T. Johnson ARCH@CPSWeek 2016 - 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Apr 2016, Vienna, Austria. pp.42-51 Communication dans un congrès hal-01660900v1
A Method for Invariant Generation for Polynomial Continuous Systems Andrew Sogokon,Khalil Ghorbal,Paul B Jackson,André Platzer VMCAI 2016 - 17th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2016, St. Petersburg, Florida, United States. pp.268-288, ⟨10.1007/978-3-662-49122-5_13⟩ Communication dans un congrès hal-01374902v1
Decoupling Abstractions of Non-linear Ordinary Differential Equations Andrew T Sogokon,Khalil Ghorbal,Taylor T Johnson FM 2016 - 21st International Symposium of Formal Methods, Nov 2016, Limassol, Cyprus. pp.628-644, ⟨10.1007/978-3-319-48989-6_38⟩ Communication dans un congrès hal-01374899v2
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System Jean-Baptiste Jeannin,Khalil Ghorbal,Yanni Kouskoulas,Ryan Gardner,Aurora Schmidtet al. Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, 2015, London, United Kingdom. pp.21--36, ⟨10.1007/978-3-662-46681-0_2⟩ Communication dans un congrès hal-01660903v1
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets Khalil Ghorbal,Andrew Sogokon,André Platzer Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings, 2015, Mumbai, India. pp.431--448, ⟨10.1007/978-3-662-46081-8_24⟩ Communication dans un congrès hal-01660901v1
Formal verification of ACAS X, an industrial airborne collision avoidance system Jean-Baptiste Jeannin,Khalil Ghorbal,Yanni Kouskoulas,Ryan Gardner,Aurora Schmidtet al. 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015, 2015, Amsterdam, Netherlands. pp.127--136, ⟨10.1109/EMSOFT.2015.7318268⟩ Communication dans un congrès hal-01660902v1
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations Khalil Ghorbal,Andrew Sogokon,André Platzer Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings, 2014, Munich, Germany. pp.151--167, ⟨10.1007/978-3-319-10936-7_10⟩ Communication dans un congrès hal-01660906v1
Characterizing Algebraic Invariants by Differential Radical Invariants Khalil Ghorbal,André Platzer Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, 2014, Grenoble, France. pp.279--294, ⟨10.1007/978-3-642-54862-8_19⟩ Communication dans un congrès hal-01660904v1
On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles Stefan Mitsch,Khalil Ghorbal,André Platzer Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24 - June 28, 2013, 2013, Berlin, Germany Communication dans un congrès hal-01660907v1
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities Khalil Ghorbal,Parasara Sridhar Duggirala,Vineet Kahlon,Franjo Ivancic,Aarti Gupta RP 2012 - Reachability Problems - 6th International Workshop, Sep 2012, Bordeaux, France. pp.107--120, ⟨10.1007/978-3-642-33512-9_10⟩ Communication dans un congrès hal-01660909v1
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation Khalil Ghorbal,Franjo Ivancic,Gogul Balakrishnan,Naoto Maeda,Aarti Gupta VMCAI 2012 - Verification, Model Checking, and Abstract Interpretation - 13th International Conference, Jan 2012, Philadelphia, United States. pp.235--250, ⟨10.1007/978-3-642-27940-9_16⟩ Communication dans un congrès hal-01660908v1
A Logical Product Approach to Zonotope Intersection Khalil Ghorbal,Eric Goubault,Sylvie Putot Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, 2010, Edinburgh, United Kingdom. pp.212--226, ⟨10.1007/978-3-642-14295-6_22⟩ Communication dans un congrès hal-01660910v1
Space Software Validation using Abstract Interpretation Olivier Bouissou,Eric Conquet,Patrick Cousot,Radhia Cousot,Jérôme Feretet al. The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, EUROSPACE, May 2009, Istambul, Turkey. pp.1-7 Communication dans un congrès inria-00528590v1

Chapitre d'ouvrage (1)

Multi-Mode DAE Models - Challenges, Theory and Implementation Albert Benveniste,Benoît Caillaud,Hilding Elmqvist,Khalil Ghorbal,Martin Otteret al. Computing and Software Science: State of the Art and Perspectives, LNCS-10000, Springer, pp.283-310, 2019, Lecture Notes in Computer Science, 978-3-319-91907-2. ⟨10.1007/978-3-319-91908-9_16⟩ Chapitre d'ouvrage hal-02333603v1

Pré-publication, Document de travail (4)

On Covering Euclidean Space with Q-arrangements of Cones Khalil Ghorbal,Christelle Kozaily 2025 Pré-publication, Document de travail hal-04444572v2
Characterizing Cyclic Endomorphisms With A Universal Darboux Polynomial David Bourqui,Khalil Ghorbal 2025 Pré-publication, Document de travail hal-05112804v1
A Mathematica Package for Certifying the Nonexistence of Darboux Polynomials Maxime Bridoux,Khalil Ghorbal 2025 Pré-publication, Document de travail hal-04818282v1
On Covering Smooth Manifolds with a Q-arrangement of Simplicies: An inductive Characterization of Q-matrices Khalil Ghorbal,Christelle Kozaily 2022 Pré-publication, Document de travail (preprint/prepublication) hal-03897633v1

Rapport (4)

Structural Methods for handling mode changes in multimode DAE systems Albert Benveniste,Benoit Caillaud,Yahao Chen,Khalil Ghorbal,Mathias Malandain RR-9603, Inria. 2026, pp.61 Rapport hal-05385651v2
Ordered Functional Decision Diagrams Joan Thibault,Khalil Ghorbal [Research Report] RR-9333, Inria. 2020 Rapport (rapport de recherche) hal-02512117v1
Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams Joan Thibault,Khalil Ghorbal [Research Report] RR-9306, INRIA Rennes - Bretagne Atlantique and University of Rennes 1, France. 2019 Rapport (rapport de recherche) hal-02369112v3
Structural Analysis of Multi-Mode DAE Systems Albert Benveniste,Benoît Caillaud,Hilding Elmqvist,Khalil Ghorbal,Martin Otteret al. [Research Report] RR-8933, Inria. 2017, pp.1-23 Rapport (rapport de recherche) hal-01343967v3

Thèse (1)

Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain Khalil Ghorbal Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩ Thèse pastel-00643442v1