Thibault Hilaire

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 13

Top Venues

ARITH

IEEE Trans. Computers

SiPS

EUSIPCO

University of Nantes, France (PHD)

Education History

University of Nantes, France

PHD

Publications

Thibault Hilaire, David Ilcinkas, Jérôme Leroux
A State-of-the-Art Karp-Miller Algorithm Certified in Coq. TACAS (1) (2024)
Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel
Performance of precision auto-tuned neural networks. MCSoC (2023)
Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel, Basile Lewandowski
Neural Network Precision Tuning Using Stochastic Arithmetic. NSV/FoMLAS@CAV (2022)
Fabienne Jézéquel, Sara Sadat Hoseininasab, Thibault Hilaire
Numerical Validation of Half Precision Simulations. WorldCIST (4) (2021)
Sylvie Boldo, Diane Gallois-Wong, Thibault Hilaire
A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm. ARITH (2020)
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter
Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters. IEEE Trans. Computers 69 (4) (2020)
Thibault Hilaire, Hacene Ouzia, Benoit Lopez
Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers. ARITH (2019)
Anastasia Volkova, Matei Istoan, Florent de Dinechin, Thibault Hilaire
Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study. IEEE Trans. Computers 68 (4) (2019)
Diane Gallois-Wong, Sylvie Boldo, Thibault Hilaire
A Coq Formalization of Digital Filters. CICM (2018)
Thibault Hilaire, Anastasia Volkova
Error analysis methods for the fixed-point implementation of linear systems. SiPS (2017)
Anastasia Volkova, Christoph Quirin Lauter, Thibault Hilaire
Reliable Verification of Digital Implemented Filters Against Frequency Specifications. ARITH (2017)
Fahad Qureshi, Jarmo Takala, Anastasia Volkova, Thibault Hilaire
Multiplierless unified architecture for mixed radix-2/3/4 FFTs. EUSIPCO (2017)
Thibault Hilaire, Anastasia Volkova, Maminionja Ravoson
Reliable Fixed-Point Implementation of Linear Data-Flows. SiPS (2016)
Anastasia Volkova, Thibault Hilaire
Fixed-point implementation of Lattice Wave Digital Filter: Comparison and error analysis. EUSIPCO (2015)
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter
Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision. ARITH (2015)
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter
Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure. ACSSC (2015)
Benoit Lopez, Thibault Hilaire, Laurent-Stéphane Didier
Formatting Bits to Better Implement Signal Processing Algorithms. PECCS (2014)
Thibault Hilaire, Benoit Lopez
Reliable implementation of linear filters with fixed-point arithmetic. SiPS (2013)
Benoit Lopez, Thibault Hilaire, Laurent-Stéphane Didier
Sum-of-products evaluation schemes with fixed-point arithmetic, and their application to IIR filter implementation. DASIP (2012)
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, L. Fangain, Christian Samoyeau, Fabrice Lemonnier, Christophe Clienti
Design of fixed-point embedded systems (DEFIS) French ANR project. DASIP (2012)
Yu Feng, Philippe Chevrel, Thibault Hilaire
Generalised modal realisation as a practical and efficient tool for FWL implementation. Int. J. Control 84 (1) (2011)
Thibault Hilaire, Philippe Chevrel
Sensitivity-Based Pole and Input-Output Errors of Linear Filters as Indicators of the Implementation Deterioration in Fixed-Point Context. EURASIP J. Adv. Signal Process. 2011 (2011)
Carolina Reyes, Thibault Hilaire, Steffen Paul, Christoph F. Mecklenbräuker
Evaluation of the root mean square error performance of the PAST-Consensus algorithm. WSA (2010)
Thibault Hilaire, Philippe Chevrel, James F. Whidborne
Finite wordlength controller realisations using the specialised implicit form. Int. J. Control 83 (2) (2010)
Ondrej Sluciak, Thibault Hilaire, Markus Rupp
A general formalism for the analysis of distributed algorithms. ICASSP (2010)
Thibault Hilaire
New L2-dynamic-range-scaling constraints for lowparametric sensitivity realizations. EUSIPCO (2009)
Thibault Hilaire
On the Transfer Function Error of State-Space Filters in Fixed-Point Context. IEEE Trans. Circuits Syst. II Express Briefs (12) (2009)
Thibault Hilaire
-Dynamic-Range-Scaling Constraints. IEEE Trans. Circuits Syst. II Express Briefs (7) (2009)
Yu Feng, Philippe Chevrel, Thibault Hilaire
A practical strategy of an efficient and sparse FWL implementation of LTI filters. ECC (2009)
Thibault Hilaire, Daniel Ménard, Olivier Sentieys
Bit accurate roundoff noise analysis of fixed-point linear controllers. CACSD (2008)
Thibault Hilaire, Philippe Chevrel, James F. Whidborne
A Unifying Framework for Finite Wordlength Realizations. IEEE Trans. Circuits Syst. I Regul. Pap. (8) (2007)
Thibault Hilaire, Daniel Ménard, Olivier Sentieys
Roundoff noise analysis of finite wordlength realizations with the implicit state-space framework. EUSIPCO (2007)
Thibault Hilaire, Philippe Chevrel, Yvon Trinquet
Designing Low Parametric Sensitivity FWL Realizations of LTI Controllers/Filters within the Implicit State-Space Framework. CDC/ECC (2005)

Thibault Hilaire.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thibault Hilaire