Accéder directement au contenu

Khalil Ghorbal

3
Documents

Présentation

I am currently a researcher at [INRIA](https://www.inria.fr/en/) (Rennes, France), in the [Hycomes](https://team.inria.fr/hycomes/) group. My research focuses on advancing and promoting the use of `formal methods` to design and analyze industrial-scale complex systems.

Publications

sylvie-putot
Image document

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
Image document

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
Image document

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