Accéder directement au contenu

Khalil Ghorbal

2
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

"joan-thibault"
Image document

Ordered Functional Decision Diagrams

Joan Thibault , Khalil Ghorbal
[Research Report] RR-9333, Inria. 2020
Rapport hal-02512117v1
Image document

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