Matthieu Martel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Neural Network Precision Tuning	2024-03-14	Paper
Fast and efficient bit-level precision tuning (available as arXiv preprint)	2022-06-17	Paper
Automatic repair of overflowing expressions with abstract interpretation	2021-06-21	Paper
Automatic repair of overflowing expressions with abstract interpretation (available as arXiv preprint)	2021-06-21	Paper
Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics Computers & Mathematics with Applications	2020-10-02	Paper
Transformation of a PID controller for numerical accuracy	2016-12-16	Paper
Impact of accuracy optimization on the convergence of numerical iterative methods Logic-Based Program Synthesis and Transformation	2016-02-05	Paper
Accurate evaluation of arithmetic expressions (invited talk) Electronic Notes in Theoretical Computer Science	2014-07-22	Paper
Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics Formal Methods in System Design	2010-02-05	Paper
Semantics-Based Transformation of Arithmetic Expressions Static Analysis	2009-03-03	Paper
A Hybrid Denotational Semantics for Hybrid Systems Programming Languages and Systems	2008-04-11	Paper
Abstract Interpretation of the Physical Inputs of Embedded Programs Lecture Notes in Computer Science	2008-04-04	Paper
Numerical Software with Result Verification Lecture Notes in Computer Science	2007-09-28	Paper
Semantics of roundoff error propagation in finite precision calculations Higher-Order and Symbolic Computation	2006-11-17	Paper
Computer Aided Verification Lecture Notes in Computer Science	2006-01-10	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2005-12-06	Paper
scientific article; zbMATH DE number 2087547 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2087546 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1948393 (Why is no real title available?)	2003-07-13	Paper
scientific article; zbMATH DE number 1863305 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 1670564 (Why is no real title available?)	2001-11-11	Paper

Research outcomes over time

This page was built for person: Matthieu Martel