Thibault Hilaire

According to our database, Thibault Hilaire authored at least 34 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A State-of-the-Art Karp-Miller Algorithm Certified in Coq.

Thibault Hilaire, David Ilcinkas, Jérôme Leroux

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Performance of precision auto-tuned neural networks.

Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel

Proceedings of the 16th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2023

2022

Neural Network Precision Tuning Using Stochastic Arithmetic.

Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel, Basile Lewandowski

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021

Numerical Validation of Half Precision Simulations.

Fabienne Jézéquel, Sara Sadat Hoseininasab, Thibault Hilaire

Proceedings of the Trends and Applications in Information Systems and Technologies, 2021

2020

Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters.

Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter

IEEE Trans. Computers, 2020

A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm.

Sylvie Boldo, Diane Gallois-Wong, Thibault Hilaire

Proceedings of the 27th IEEE Symposium on Computer Arithmetic, 2020

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

Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers.

Thibault Hilaire, Hacene Ouzia, Benoit Lopez

Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019

2018

A Coq Formalization of Digital Filters.

Diane Gallois-Wong, Sylvie Boldo, Thibault Hilaire

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

2017

Error analysis methods for the fixed-point implementation of linear systems.

Thibault Hilaire, Anastasia Volkova

Proceedings of the 2017 IEEE International Workshop on Signal Processing Systems, 2017

Multiplierless unified architecture for mixed radix-2/3/4 FFTs.

Fahad Qureshi, Jarmo Takala, Anastasia Volkova, Thibault Hilaire

Proceedings of the 25th European Signal Processing Conference, 2017

Reliable Verification of Digital Implemented Filters Against Frequency Specifications.

Anastasia Volkova, Christoph Quirin Lauter, Thibault Hilaire

Proceedings of the 24th IEEE Symposium on Computer Arithmetic, 2017

2016

Reliable Fixed-Point Implementation of Linear Data-Flows.

Thibault Hilaire, Anastasia Volkova, Maminionja Ravoson

Proceedings of the 2016 IEEE International Workshop on Signal Processing Systems, 2016

2015

Fixed-point implementation of Lattice Wave Digital Filter: Comparison and error analysis.

Anastasia Volkova, Thibault Hilaire

Proceedings of the 23rd European Signal Processing Conference, 2015

Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision.

Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter

Proceedings of the 22nd IEEE Symposium on Computer Arithmetic, 2015

Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure.

Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter

Proceedings of the 49th Asilomar Conference on Signals, Systems and Computers, 2015

2014

Formatting Bits to Better Implement Signal Processing Algorithms.

Benoit Lopez, Thibault Hilaire, Laurent-Stéphane Didier

Proceedings of the PECCS 2014, 2014

2013

Reliable implementation of linear filters with fixed-point arithmetic.

Thibault Hilaire, Benoit Lopez

Proceedings of the IEEE Workshop on Signal Processing Systems, 2013

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, L. Fangain, Christian Samoyeau, Fabrice Lemonnier, Christophe Clienti

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

Sum-of-products evaluation schemes with fixed-point arithmetic, and their application to IIR filter implementation.

Benoit Lopez, Thibault Hilaire, Laurent-Stéphane Didier

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

2011

Generalised modal realisation as a practical and efficient tool for FWL implementation.

Yu Feng, Philippe Chevrel, Thibault Hilaire

Int. J. Control, 2011

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

2010

Finite wordlength controller realisations using the specialised implicit form.

Thibault Hilaire, Philippe Chevrel, James F. Whidborne

Int. J. Control, 2010

Evaluation of the root mean square error performance of the PAST-Consensus algorithm.

Carolina Reyes, Thibault Hilaire, Steffen Paul, Christoph F. Mecklenbräuker

Proceedings of the 2010 International ITG Workshop on Smart Antennas, 2010

A general formalism for the analysis of distributed algorithms.

Ondrej Sluciak, Thibault Hilaire, Markus Rupp

Proceedings of the IEEE International Conference on Acoustics, 2010

2009

On the Transfer Function Error of State-Space Filters in Fixed-Point Context.

Thibault Hilaire

IEEE Trans. Circuits Syst. II Express Briefs, 2009

Low-Parametric-Sensitivity Realizations With Relaxed L₂-Dynamic-Range-Scaling Constraints.

Thibault Hilaire

IEEE Trans. Circuits Syst. II Express Briefs, 2009

New L2-dynamic-range-scaling constraints for lowparametric sensitivity realizations.

Thibault Hilaire

Proceedings of the 17th European Signal Processing Conference, 2009

A practical strategy of an efficient and sparse FWL implementation of LTI filters.

Yu Feng, Philippe Chevrel, Thibault Hilaire

Proceedings of the 10th European Control Conference, 2009

2008

Bit accurate roundoff noise analysis of fixed-point linear controllers.

Thibault Hilaire, Daniel Ménard, Olivier Sentieys

Proceedings of the IEEE International Conference on Computer-Aided Control Systems, 2008

2007

A Unifying Framework for Finite Wordlength Realizations.

Thibault Hilaire, Philippe Chevrel, James F. Whidborne

IEEE Trans. Circuits Syst. I Regul. Pap., 2007

Roundoff noise analysis of finite wordlength realizations with the implicit state-space framework.

Thibault Hilaire, Daniel Ménard, Olivier Sentieys

Proceedings of the 15th European Signal Processing Conference, 2007

2006

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

PhD thesis, 2006

2005

Designing Low Parametric Sensitivity FWL Realizations of LTI Controllers/Filters within the Implicit State-Space Framework.

Thibault Hilaire, Philippe Chevrel, Yvon Trinquet

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005