Skip to main content
Thibault Hilaire
- ATER
- Bordeaux INP
- Department
- M2F
- Team
- Modèles et Technologies pour la Vérification
- E-mail address
- thibault.hilaire
labri.fr - Office
- 257
- Tel
- +33 (0)5 40 00 37 96
Excerpt from publications
- Clotilde Bizière, Thibault Hilaire, Jérôme Leroux, Grégoire Sutre. On the Reachability Problem for Two-Dimensional Branching VASS. 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), Aug 2025, Varsovie, Poland.
- Thibault Hilaire, David Ilcinkas, Jérôme Leroux. A State-of-the-Art Karp-Miller Algorithm Certified in Coq. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024), Apr 2024, Luxembourg, Luxembourg. pp.370 - 389,