Self-Applicable Partial Evaluation for the pi-Calculus. - Marc Gengler; Matthieu Martel (PEPM, 1997)

Communication Topology Analysis for Concurrent Programs. - Matthieu Martel; Marc Gengler (SPIN, 2000)

Partial Evaluation of Concurrent Programs. - Matthieu Martel; Marc Gengler (Euro-Par, 2001)

Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. - Eric Goubault; Matthieu Martel; Sylvie Putot (ESOP, 2002)

Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. - Matthieu Martel (ESOP, 2002)

Static Analysis of the Numerical Stability of Loops. - Matthieu Martel (SAS, 2002)

Static Analysis-Based Validation of Floating-Point Computations. - Sylvie Putot; Eric Goubault; Matthieu Martel (Numerical Software with Result Verification, 2003)

Improving the Static Analysis of Loops by Dynamic Partitioning Techniques. - Matthieu Martel (SCAM, 2003)

Validation of assembler programs for DSPs: a static analyzer. - Matthieu Martel (PASTE, 2004)

A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. - Alexandru Costan; Stephane Gaubert; Eric Goubault; Matthieu Martel; Sylvie Putot (CAV, 2005)

An Overview of Semantics for the Validation of Numerical Programs. - Matthieu Martel (VMCAI, 2005)

Semantics of roundoff error propagation in finite precision calculations. - Matthieu Martel (High. Order Symb. Comput., 2006)

Semantics-Based Transformation of Arithmetic Expressions. - Matthieu Martel (SAS, 2007)

A Hybrid Denotational Semantics for Hybrid Systems. - Olivier Bouissou; Matthieu Martel (ESOP, 2008)

Abstract Interpretation of the Physical Inputs of Embedded Programs. - Olivier Bouissou; Matthieu Martel (VMCAI, 2008)

Abstract Simulation: A Static Analysis of Simulink Models. - Alexandre Chapoutot; Matthieu Martel (ICESS, 2009)

In Pursuit of Real Answers. - Angela Yun Zhu; Walid Taha; Robert Cartwright; Matthieu Martel; Jeremy G. Siek (ICESS, 2009)

Program transformation for numerical precision. - Matthieu Martel (PEPM, 2009)

Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics. - Matthieu Martel (Formal Methods Syst. Des., 2009)

Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. - Alexandre Chapoutot; Matthieu Martel (Tech. Sci. Informatiques, 2009)

Accuracy versus time: a case study with summation algorithms. - Philippe Langlois; Matthieu Martel; Laurent Thévenoux (PASCO, 2010)

RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations. - Matthieu Martel (SYNASC, 2011)

Synthesis of arithmetic expressions for the fixed-point arithmetic: The Sardana approach. - Arnault Ioualalen; Matthieu Martel (DASIP, 2012)

A New Abstract Domain for the Representation of Mathematically Equivalent Expressions. - Arnault Ioualalen; Matthieu Martel (SAS, 2012)

Accurate Evaluation of Arithmetic Expressions (Invited Talk). - Matthieu Martel (NSAD@SAS, 2012)

Synthesizing accurate floating-point formulas. - Arnault Ioualalen; Matthieu Martel (ASAP, 2013)

Automatic Repair of Overflowing Expressions with Abstract Interpretation. - Francesco Logozzo; Matthieu Martel (Festschrift for Dave Schmidt, 2013)

Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition. - Matthieu Martel; Amine Najahi; Guillaume Revy (DASIP, 2014)

Code Size and Accuracy-aware Synthesis of Fixed-point Programs for Matrix Multiplication. - Matthieu Martel; Amine Najahi; Guillaume Revy (PECCS, 2014)

Optimizing the accuracy of a rocket trajectory simulation by program transformation. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (Conf. Computing Frontiers, 2015)

Automatic Source-to-Source Error Compensation of Floating-Point Programs. - Laurent Thévenoux; Philippe Langlois; Matthieu Martel (CSE, 2015)

Intra-procedural Optimization of the Numerical Accuracy of Programs. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (FMICS, 2015)

Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (LOPSTR, 2015)

Preface. - Sergiy Bogomolov; Matthieu Martel (NSV, 2015)

Transformation of a PID Controller for Numerical Accuracy. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (NSV, 2015)

Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. - Nasrine Damouche; Matthieu Martel; Pavel Panchekha; Chen Qiu; Alexander Sanchez-Stern; Zachary Tatlock (NSV@CAV, 2016)

Data-types optimization for floating-point formats by program transformation. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (CoDIT, 2016)

An Overview of Numalis Software Suite for Reliable Numerical Computation. - Arnault Ioualalen; Matthieu Martel; Nicolas Normand (ISSRE Workshops, 2017)

Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs. - Nasrine Damouche; Matthieu Martel (AFM@NFM, 2017)

Floating-Point Format Inference in Mixed-Precision. - Matthieu Martel (NFM, 2017)

Numerical Accuracy Improvement by Interprocedural Program Transformation. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (SCOPES, 2017)

Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time. - Laurent Thévenoux; Philippe Langlois; Matthieu Martel (Concurr. Comput. Pract. Exp., 2017)

Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks. - Matthieu Martel; Amine Najahi; Guillaume Revy (J. Syst. Archit., 2017)

Improving the numerical accuracy of programs by automatic transformation. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (Int. J. Softw. Tools Technol. Transf., 2017)

On the Impact of Numerical Accuracy Optimization on General Performances of Programs. - Nasrine Damouche; Matthieu Martel (CoDIT, 2018)

Strongly Typed Numerical Computations. - Matthieu Martel (ICFEM, 2018)

Mixed Precision Tuning with Salsa. - Nasrine Damouche; Matthieu Martel (PECCS, 2018)

Numerical program optimisation by automatic improvement of the accuracy of computations. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (Int. J. Intell. Eng. Informatics, 2018)

Fixed Point Computation by Exponentiating Linear Operators. - Asma Mansouri; Matthieu Martel; Oana-Silvia Serea (CoDIT, 2019)

POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations. - Dorra Ben Khalifa; Matthieu Martel; Assalé Adjé (FTSCS, 2019)

Precision Tuning and Internet of Things. - Dorra Ben Khalifa; Matthieu Martel (IINTEC, 2019)

Neural Network Precision Tuning. - Arnault Ioualalen; Matthieu Martel (QEST, 2019)

Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics. - Mikaël Barboteu; Nacera Djehaf; Matthieu Martel (Comput. Math. Appl., 2019)

Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices. - Dorra Ben Khalifa; Matthieu Martel (IoTaIS, 2020)

A Study of the Floating-Point Tuning Behaviour on the N-body Problem. - Dorra Ben Khalifa; Matthieu Martel (ICCSA (5), 2021)

An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic. - Dorra Ben Khalifa; Matthieu Martel (ICICT, 2021)

Parallel Accurate and Reproducible Summation. - Farah Benmouhoub; Pierre-Loïc Garoche; Matthieu Martel (SAI (1), 2021)

Fast and Efficient Bit-Level Precision Tuning. - Assalé Adjé; Dorra Ben Khalifa; Matthieu Martel (SAS, 2021)

An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods. - Farah Benmouhoub; Pierre-Loïc Garoche; Matthieu Martel (VSTTE, 2021)

Compressed Matrix Computations. - Matthieu Martel (BDCAT, 2022)

Constrained Precision Tuning. - Dorra Ben Khalifa; Matthieu Martel (CoDIT, 2022)

Fixed-Point Code Synthesis Based on Constraint Generation. - Sofiane Bessaï; Dorra Ben Khalifa; Hanane Benmaghnia; Matthieu Martel (DASIP, 2022)

Efficient Neural Network Validation with Affine Forms. - Asma Soualah; Matthieu Martel (ICSRS, 2022)

Toward Increasing Trust in Exascale Simulations. - Dorra Ben Khalifa; Xinyi Li; Ignacio Laguna; Matthieu Martel; Ganesh Gopalakrishnan (XLOOP@SC, 2022)

Fixed-Point Code Synthesis For Neural Networks. - Hanane Benmaghnia; Matthieu Martel; Yassamine Seladji (CoRR, 2022)

On the Functional Properties of Automatically Generated Fixed-Point Controllers. - Dorra Ben Khalifa; Matthieu Martel (CoDIT, 2023)

What Operations can be Performed Directly on Compressed Arrays, and with What Error? - Tripti Agarwal; Harvey Dam; Ponnuswamy Sadayappan; Ganesh Gopalakrishnan; Dorra Ben Khalifa; Matthieu Martel (SC Workshops, 2023)

Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach1. - Asma Soualah; Matthieu Martel; Stéphane Abide (SYNASC, 2023)

Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers. - Céline Bellanger; Pierre-Loïc Garoche; Matthieu Martel; Célia Picard (FMAS@iFM, 2023)

Floating to Fixed-Point Conversion of Deep Neural Networks with Guaranteed Error Bounds. - Dorra Ben Khalifa; Matthieu Martel (CCIA, 2024)

Compile-Time Optimization of the Energy Consumption of Numerical Computations. - Dorra Ben Khalifa; Matthieu Martel (CF (Companion), 2024)

Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers. - Dorra Ben Khalifa; Matthieu Martel (CoDIT, 2024)

Energy Efficient Matrix Computations Through Homomorphic Compression. - Matthieu Martel; Célia Picard; Abdelmouhaimen Sarhane (ICT4S, 2024)

Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures. - Dorra Ben Khalifa; Matthieu Martel (LCTES, 2024)

Code Generation for Neural Networks Based on Fixed-point Arithmetic. - Hanane Benmaghnia; Matthieu Martel; Yassamine Seladji (ACM Trans. Embed. Comput. Syst., 2024)

Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values. - Guillaume Berthelot; Arnault Ioualalen; Matthieu Martel (ARRAY@PLDI, 2025)

Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers. - Dorra Ben Khalifa; Matthieu Martel (SOAP@PLDI, 2025)

Automated Fixed-Point Precision Optimization for FPGA Synthesis. - Inès Winandy; Arnaud Dion; Florent Manni; Pierre-Loïc Garoche; Dorra Ben Khalifa; Matthieu Martel (IEEE Open J. Circuits Syst., 2025)

Formally proved specification of non-nested STL formulas as synchronous observers. - Céline Bellanger; Pierre-Loïc Garoche; Matthieu Martel; Célia Picard (Sci. Comput. Program., 2025)