| 2009 |
|---|
| 16 | EE | Matthieu Martel:
Program transformation for numerical precision.
PEPM 2009: 101-110 |
| 2008 |
|---|
| 15 | EE | Olivier Bouissou,
Matthieu Martel:
A Hybrid Denotational Semantics for Hybrid Systems.
ESOP 2008: 63-77 |
| 14 | EE | Olivier Bouissou,
Matthieu Martel:
Abstract Interpretation of the Physical Inputs of Embedded Programs.
VMCAI 2008: 37-51 |
| 2007 |
|---|
| 13 | EE | Matthieu Martel:
Semantics-Based Transformation of Arithmetic Expressions.
SAS 2007: 298-314 |
| 2006 |
|---|
| 12 | EE | Matthieu Martel:
Semantics of roundoff error propagation in finite precision calculations.
Higher-Order and Symbolic Computation 19(1): 7-30 (2006) |
| 2005 |
|---|
| 11 | EE | 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 |
| 10 | EE | Matthieu Martel:
An Overview of Semantics for the Validation of Numerical Programs.
VMCAI 2005: 59-77 |
| 2004 |
|---|
| 9 | EE | Matthieu Martel:
Validation of assembler programs for DSPs: a static analyzer.
PASTE 2004: 8-13 |
| 2003 |
|---|
| 8 | EE | Sylvie Putot,
Eric Goubault,
Matthieu Martel:
Static Analysis-Based Validation of Floating-Point Computations.
Numerical Software with Result Verification 2003: 306-313 |
| 7 | EE | Matthieu Martel:
Improving the Static Analysis of Loops by Dynamic Partitioning Techniques.
SCAM 2003: 13-21 |
| 2002 |
|---|
| 6 | EE | Matthieu Martel:
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach.
ESOP 2002: 194-208 |
| 5 | EE | Eric Goubault,
Matthieu Martel,
Sylvie Putot:
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.
ESOP 2002: 209-212 |
| 4 | EE | Matthieu Martel:
Static Analysis of the Numerical Stability of Loops.
SAS 2002: 133-150 |
| 2001 |
|---|
| 3 | EE | Matthieu Martel,
Marc Gengler:
Partial Evaluation of Concurrent Programs.
Euro-Par 2001: 504-513 |
| 2000 |
|---|
| 2 | | Matthieu Martel,
Marc Gengler:
Communication Topology Analysis for Concurrent Programs.
SPIN 2000: 265-286 |
| 1997 |
|---|
| 1 | EE | Marc Gengler,
Matthieu Martel:
Self-Applicable Partial Evaluation for the pi-Calculus.
PEPM 1997: 36-46 |
