Aller au contenu principal
Thibault Hilaire
- ATER
- Bordeaux INP
- Département
- M2F
- Équipe
- Modèles et Technologies pour la Vérification
- Adresse E-mail
- thibault.hilaire
labri.fr - Bureau
- 257
- Tel
- +33 (0)5 40 00 37 96
Extrait de 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,