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

benoit-caillaud
Image document

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

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

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