| 2025 | MFCS | On the Reachability Problem for Two-Dimensional Branching VASS. | Clotilde Bizire, Thibault Hilaire, Jrme Leroux, Grgoire Sutre |
| 2024 | TACAS | A State-of-the-Art Karp-Miller Algorithm Certified in Coq. | Thibault Hilaire, David Ilcinkas, Jrme Leroux |
| 2022 | CAV | Neural Network Precision Tuning Using Stochastic Arithmetic. | Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jzquel, Basile Lewandowski |
| 2021 | WorldCIST | Numerical Validation of Half Precision Simulations. | Fabienne Jzquel, Sara Sadat Hoseininasab, Thibault Hilaire |
| 2020 | ARITH | A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm. | Sylvie Boldo, Diane Gallois-Wong, Thibault Hilaire |
| 2019 | ARITH | Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers. | Thibault Hilaire, Hacne Ouzia, Benoit Lopez |
| 2017 | ARITH | Reliable Verification of Digital Implemented Filters Against Frequency Specifications. | Anastasia Volkova, Christoph Quirin Lauter, Thibault Hilaire |
| 2015 | ACSSC | Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure. | Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter |
| 2015 | ARITH | Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision. | Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter |
| 2010 | ICASSP | A general formalism for the analysis of distributed algorithms. | Ondrej Sluciak, Thibault Hilaire, Markus Rupp |