Designing Low Parametric Sensitivity FWL Realizations of LTI Controllers/Filters within the Implicit State-Space Framework. - Thibault Hilaire; Philippe Chevrel; Yvon Trinquet (CDC/ECC, 2005)

Analyse et synthèse de l'implémentation de lois de contrôle-commande en précision finie- Étude dans le cadre des applications automobiles sur calculateur embarquée -. (Analysis and Synthesis of the Finite Word Length Implementation of linear controllers or filters.- Application to embedded automotive control -). - Thibault Hilaire (2006)

Roundoff noise analysis of finite wordlength realizations with the implicit state-space framework. - Thibault Hilaire; Daniel Ménard; Olivier Sentieys (EUSIPCO, 2007)

A Unifying Framework for Finite Wordlength Realizations. - Thibault Hilaire; Philippe Chevrel; James F. Whidborne (IEEE Trans. Circuits Syst. I Regul. Pap., 2007)

Bit accurate roundoff noise analysis of fixed-point linear controllers. - Thibault Hilaire; Daniel Ménard; Olivier Sentieys (CACSD, 2008)

A practical strategy of an efficient and sparse FWL implementation of LTI filters. - Yu Feng 002; Philippe Chevrel; Thibault Hilaire (ECC, 2009)

New L2-dynamic-range-scaling constraints for lowparametric sensitivity realizations. - Thibault Hilaire (EUSIPCO, 2009)

Low-Parametric-Sensitivity Realizations With Relaxed L2-Dynamic-Range-Scaling Constraints. - Thibault Hilaire (IEEE Trans. Circuits Syst. II Express Briefs, 2009)

On the Transfer Function Error of State-Space Filters in Fixed-Point Context. - Thibault Hilaire (IEEE Trans. Circuits Syst. II Express Briefs, 2009)

A general formalism for the analysis of distributed algorithms. - Ondrej Sluciak; Thibault Hilaire; Markus Rupp (ICASSP, 2010)

Evaluation of the root mean square error performance of the PAST-Consensus algorithm. - Carolina Reyes; Thibault Hilaire; Steffen Paul; Christoph F. Mecklenbräuker (WSA, 2010)

Finite wordlength controller realisations using the specialised implicit form. - Thibault Hilaire; Philippe Chevrel; James F. Whidborne (Int. J. Control, 2010)

Sensitivity-Based Pole and Input-Output Errors of Linear Filters as Indicators of the Implementation Deterioration in Fixed-Point Context. - Thibault Hilaire; Philippe Chevrel (EURASIP J. Adv. Signal Process., 2011)

Generalised modal realisation as a practical and efficient tool for FWL implementation. - Yu Feng 002; Philippe Chevrel; Thibault Hilaire (Int. J. Control, 2011)

Sum-of-products evaluation schemes with fixed-point arithmetic, and their application to IIR filter implementation. - Benoit Lopez; Thibault Hilaire; Laurent-Stéphane Didier (DASIP, 2012)

Design of fixed-point embedded systems (DEFIS) French ANR project. - Daniel Ménard; Romuald Rocher; Olivier Sentieys; Nicolas Simon; Laurent-Stéphane Didier; Thibault Hilaire; Benoit Lopez; Eric Goubault; Sylvie Putot; Franck Védrine; Amine Najahi; Guillaume Revy; et al. (DASIP, 2012)

Reliable implementation of linear filters with fixed-point arithmetic. - Thibault Hilaire; Benoit Lopez (SiPS, 2013)

Formatting Bits to Better Implement Signal Processing Algorithms. - Benoit Lopez; Thibault Hilaire; Laurent-Stéphane Didier (PECCS, 2014)

Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure. - Anastasia Volkova; Thibault Hilaire; Christoph Quirin Lauter (ACSSC, 2015)

Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision. - Anastasia Volkova; Thibault Hilaire; Christoph Quirin Lauter (ARITH, 2015)

Fixed-point implementation of Lattice Wave Digital Filter: Comparison and error analysis. - Anastasia Volkova; Thibault Hilaire (EUSIPCO, 2015)

Reliable Fixed-Point Implementation of Linear Data-Flows. - Thibault Hilaire; Anastasia Volkova; Maminionja Ravoson (SiPS, 2016)

Reliable Verification of Digital Implemented Filters Against Frequency Specifications. - Anastasia Volkova; Christoph Quirin Lauter; Thibault Hilaire (ARITH, 2017)

Multiplierless unified architecture for mixed radix-2/3/4 FFTs. - Fahad Qureshi; Jarmo Takala; Anastasia Volkova; Thibault Hilaire (EUSIPCO, 2017)

Error analysis methods for the fixed-point implementation of linear systems. - Thibault Hilaire; Anastasia Volkova (SiPS, 2017)

A Coq Formalization of Digital Filters. - Diane Gallois-Wong; Sylvie Boldo; Thibault Hilaire (CICM, 2018)

Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers. - Thibault Hilaire; Hacene Ouzia; Benoit Lopez (ARITH, 2019)

Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study. - Anastasia Volkova; Matei Istoan; Florent de Dinechin; Thibault Hilaire (IEEE Trans. Computers, 2019)

A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm. - Sylvie Boldo; Diane Gallois-Wong; Thibault Hilaire (ARITH, 2020)

Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters. - Anastasia Volkova; Thibault Hilaire; Christoph Quirin Lauter (IEEE Trans. Computers, 2020)

Numerical Validation of Half Precision Simulations. - Fabienne Jézéquel; Sara Sadat Hoseininasab; Thibault Hilaire (WorldCIST (4), 2021)

Neural Network Precision Tuning Using Stochastic Arithmetic. - Quentin Ferro; Stef Graillat; Thibault Hilaire; Fabienne Jézéquel; Basile Lewandowski (NSV/FoMLAS@CAV, 2022)

Performance of precision auto-tuned neural networks. - Quentin Ferro; Stef Graillat; Thibault Hilaire; Fabienne Jézéquel (MCSoC, 2023)

A State-of-the-Art Karp-Miller Algorithm Certified in Coq. - Thibault Hilaire; David Ilcinkas; Jérôme Leroux (TACAS (1), 2024)

Algorithmes de couverture pour les réseaux de Petri certifiés en Coq. (Coverability algorithms for Petri nets certified in Coq). - Thibault Hilaire (2024)

On the Reachability Problem for Two-Dimensional Branching VASS. - Clotilde Bizière; Thibault Hilaire; Jérôme Leroux; Grégoire Sutre (MFCS, 2025)