Thibault Hilaire

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