Documentation
Français (FR)

Anglais (EN)

Khalil Ghorbal

29

Documents

Présentation

Publications

	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
	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
	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 Gardner 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
	Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges Khalil Ghorbal , Jean-Baptiste Jeannin , Erik Zawadzki , André Platzer , Geoffrey J. Gordon J. Aerospace Inf. Sys., 2014, 11 (10), pp.702--713. ⟨10.2514/1.I010178⟩ Article dans une revue hal-01660905v1

	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 Otter 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
	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 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
	A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System Jean-Baptiste Jeannin , Khalil Ghorbal , Yanni Kouskoulas , Ryan Gardner , Aurora Schmidt 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 Schmidt 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
	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
	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
	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 Feret 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

	Multi-Mode DAE Models - Challenges, Theory and Implementation Albert Benveniste , Benoît Caillaud , Hilding Elmqvist , Khalil Ghorbal , Martin Otter 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

	On Covering Euclidean Spaces with Q-arrangements of Cones Khalil Ghorbal , Christelle Kozaily 2024 Pré-publication, Document de travail hal-04444572v1
	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 hal-03897633v1

	Ordered Functional Decision Diagrams Joan Thibault , Khalil Ghorbal [Research Report] RR-9333, Inria. 2020 Rapport 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 hal-02369112v3
	Structural Analysis of Multi-Mode DAE Systems Albert Benveniste , Benoît Caillaud , Hilding Elmqvist , Khalil Ghorbal , Martin Otter [Research Report] RR-8933, Inria. 2017, pp.1-23 Rapport hal-01343967v3

	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