Matthieu Martel

Matthieu Martel: Accurate Evaluation of Arithmetic Expressions (Invited Talk). Electr. Notes Theor. Comput. Sci. 287: 3-16 (2012)

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

Arnault Ioualalen, Matthieu Martel: A New Abstract Domain for the Representation of Mathematically Equivalent Expressions. SAS 2012: 75-93

Matthieu Martel: RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations. SYNASC 2011: 118-122

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

Radhia Cousot, Matthieu Martel (Eds.): Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings. Lecture Notes in Computer Science 6337, Springer 2010, isbn 978-3-642-15768-4

Matthieu Martel: Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics. Formal Methods in System Design 35(3): 265-278 (2009)

Alexandre Chapoutot, Matthieu Martel: Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Technique et Science Informatiques 28(4): 503-531 (2009)

Alexandre Chapoutot, Matthieu Martel: Abstract Simulation: A Static Analysis of Simulink Models. ICESS 2009: 83-92

Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek: In Pursuit of Real Answers. ICESS 2009: 115-122

Matthieu Martel: Program transformation for numerical precision. PEPM 2009: 101-110

Olivier Bouissou, Matthieu Martel: A Hybrid Denotational Semantics for Hybrid Systems. ESOP 2008: 63-77

Olivier Bouissou, Matthieu Martel: Abstract Interpretation of the Physical Inputs of Embedded Programs. VMCAI 2008: 37-51

Matthieu Martel: Semantics-Based Transformation of Arithmetic Expressions. SAS 2007: 298-314

Matthieu Martel: Semantics of roundoff error propagation in finite precision calculations. Higher-Order and Symbolic Computation 19(1): 7-30 (2006)

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

Matthieu Martel: An Overview of Semantics for the Validation of Numerical Programs. VMCAI 2005: 59-77

Matthieu Martel: Validation of assembler programs for DSPs: a static analyzer. PASTE 2004: 8-13

Sylvie Putot, Eric Goubault, Matthieu Martel: Static Analysis-Based Validation of Floating-Point Computations. Numerical Software with Result Verification 2003: 306-313

Matthieu Martel: Improving the Static Analysis of Loops by Dynamic Partitioning Techniques. SCAM 2003: 13-21

Matthieu Martel: Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. ESOP 2002: 194-208

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

Matthieu Martel: Static Analysis of the Numerical Stability of Loops. SAS 2002: 133-150

Matthieu Martel, Marc Gengler: Partial Evaluation of Concurrent Programs. Euro-Par 2001: 504-513

Matthieu Martel, Marc Gengler: Communication Topology Analysis for Concurrent Programs. SPIN 2000: 265-286

Marc Gengler, Matthieu Martel: Self-Applicable Partial Evaluation for the pi-Calculus. PEPM 1997: 36-46