List of publications about the formal verification of dynamical and hybrid systems
Search Results –> Url version détaillée , Url version formatée
Criteria : Author : “Khalil,Ghorbal”
Number of occurrences founded : 29.
Criteria : Author : “Khalil,Ghorbal”
Number of occurrences founded : 29.
- titre
- On Covering Euclidean Spaces with Q-arrangements of Cones
- auteur
- Khalil Ghorbal, Christelle Kozaily
- article
- 2024
- titre
- Characterizing Positively Invariant Sets: Inductive and Topological Methods
- auteur
- Khalil Ghorbal, Andrew Sogokon
- article
- Journal of Symbolic Computation, 2022
- titre
- On Covering Smooth Manifolds with a Q-arrangement of Simplicies: An inductive Characterization of Q-matrices
- auteur
- Khalil Ghorbal, Christelle Kozaily
- article
- 2022
- titre
- Ordered Functional Decision Diagrams
- auteur
- Joan Thibault, Khalil Ghorbal
- article
- [Research Report] RR-9333, Inria. 2020
- titre
- Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams
- auteur
- Joan Thibault, Khalil Ghorbal
- article
- [Research Report] RR-9306, INRIA Rennes – Bretagne Atlantique and University of Rennes 1, France. 2019
- titre
- Multi-Mode DAE Models – Challenges, Theory and Implementation
- auteur
- Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
- article
- 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⟩
- titre
- Vector Barrier Certificates and Comparison Systems
- auteur
- Andrew T Sogokon, Khalil Ghorbal, Yong Kiam Tan, André Platzer
- article
- FM 2018 – 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.418-437, ⟨10.1007/978-3-319-95582-7_25⟩
- titre
- A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System
- auteur
- Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora Schmidt, Ryan Gardner, Stefan Mitsch, André Platzer
- article
- International Journal on Software Tools for Technology Transfer, 2017, 19 (6), pp.717-741. ⟨10.1007/s10009-016-0434-1⟩
- titre
- Operational Models for Piecewise-Smooth Systems
- auteur
- Andrew Sogokon, Khalil Ghorbal, Taylor T Johnson
- article
- ACM Transactions on Embedded Computing Systems (TECS), 2017, 16 (5s), pp.185:1–185:19. ⟨10.1145/3126506⟩
- titre
- Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
- auteur
- Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot
- article
- FVAV 2017 – 1st Formal Verification of Autonomous Vehicles Workshop, Sep 2017, Turin, Italy. pp.91–104, ⟨10.4204/EPTCS.257.9⟩
- titre
- Structural Analysis of Multi-Mode DAE Systems
- auteur
- Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
- article
- Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Apr 2017, Pittsburgh, PA, United States. ⟨10.1145/3049797.3049806⟩
- titre
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
- auteur
- Khalil Ghorbal, Andrew Sogokon, André Platzer
- article
- 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⟩
- titre
- Structural Analysis of Multi-Mode DAE Systems
- auteur
- Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
- article
- [Research Report] RR-8933, Inria. 2017, pp.1-23
- titre
- Formal verification of obstacle avoidance and navigation of ground robots
- auteur
- Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer
- article
- The International Journal of Robotics Research, 2017, 36 (12), pp.1312–1340. ⟨10.1177/0278364917733549⟩
- titre
- Decoupling Abstractions of Non-linear Ordinary Differential Equations
- auteur
- Andrew T Sogokon, Khalil Ghorbal, Taylor T Johnson
- article
- FM 2016 – 21st International Symposium of Formal Methods, Nov 2016, Limassol, Cyprus. pp.628-644, ⟨10.1007/978-3-319-48989-6_38⟩
- titre
- Non-linear Continuous Systems for Safety Verification (Benchmark Proposal)
- auteur
- Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson
- article
- ARCH@CPSWeek 2016 – 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Apr 2016, Vienna, Austria. pp.42-51
- titre
- A Method for Invariant Generation for Polynomial Continuous Systems
- auteur
- Andrew Sogokon, Khalil Ghorbal, Paul B Jackson, André Platzer
- article
- 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⟩
- titre
- A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets
- auteur
- Khalil Ghorbal, Andrew Sogokon, André Platzer
- article
- 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⟩
- titre
- A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System
- auteur
- Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki, André Platzer
- article
- 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⟩
- titre
- Formal verification of ACAS X, an industrial airborne collision avoidance system
- auteur
- Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki, André Platzer
- article
- 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⟩
- titre
- Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges
- auteur
- Khalil Ghorbal, Jean-Baptiste Jeannin, Erik Zawadzki, André Platzer, Geoffrey J. Gordon, Peter Capell
- article
- J. Aerospace Inf. Sys., 2014, 11 (10), pp.702–713. ⟨10.2514/1.I010178⟩
- titre
- Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations
- auteur
- Khalil Ghorbal, Andrew Sogokon, André Platzer
- article
- 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⟩
- titre
- Characterizing Algebraic Invariants by Differential Radical Invariants
- auteur
- Khalil Ghorbal, André Platzer
- article
- 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⟩
- titre
- On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles
- auteur
- Stefan Mitsch, Khalil Ghorbal, André Platzer
- article
- Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24 – June 28, 2013, 2013, Berlin, Germany
- titre
- Efficient Probabilistic Model Checking of Systems with Ranged Probabilities
- auteur
- Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta
- article
- RP 2012 – Reachability Problems – 6th International Workshop, Sep 2012, Bordeaux, France. pp.107–120, ⟨10.1007/978-3-642-33512-9_10⟩
- titre
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation
- auteur
- Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
- article
- 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⟩
- titre
- Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain
- auteur
- Khalil Ghorbal
- article
- Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
- titre
- A Logical Product Approach to Zonotope Intersection
- auteur
- Khalil Ghorbal, Eric Goubault, Sylvie Putot
- article
- 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⟩
- titre
- Space Software Validation using Abstract Interpretation
- auteur
- Olivier Bouissou, Eric Conquet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Khalil Ghorbal, Eric Goubault, David Lesens, Laurent Mauborgne, Antoine Miné, Sylvie Putot, Xavier Rival, Michel Turin
- article
- The International Space System Engineering Conference : Data Systems in Aerospace – DASIA 2009, EUROSPACE, May 2009, Istambul, Turkey. pp.1-7
