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
- 1
- 1
- 1
- 1
- 2
- 1
- 1
|
Ordered Functional Decision Diagrams[Research Report] RR-9333, Inria. 2020
Rapport
hal-02512117v1
|
|
Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams[Research Report] RR-9306, INRIA Rennes - Bretagne Atlantique and University of Rennes 1, France. 2019
Rapport
hal-02369112v3
|