Search the dblp DataBase

Publications of Author

1. Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot
   A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:462-475 [Conf]
   
2. Sylvie Putot, Eric Goubault, Matthieu Martel
   Static Analysis-Based Validation of Floating-Point Computations. [Citation Graph (0, 0)][DBLP]
   Numerical Software with Result Verification, 2003, pp:306-313 [Conf]
   
3. Eric Goubault, Matthieu Martel, Sylvie Putot
   Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. [Citation Graph (0, 0)][DBLP]
   ESOP, 2002, pp:209-212 [Conf]
   
4. Matthieu Martel
   Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. [Citation Graph (0, 0)][DBLP]
   ESOP, 2002, pp:194-208 [Conf]
   
5. Matthieu Martel, Marc Gengler
   Partial Evaluation of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 2001, pp:504-513 [Conf]
   
6. Matthieu Martel
   Validation of assembler programs for DSPs: a static analyzer. [Citation Graph (0, 0)][DBLP]
   PASTE, 2004, pp:8-13 [Conf]
   
7. Marc Gengler, Matthieu Martel
   Self-Applicable Partial Evaluation for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
   PEPM, 1997, pp:36-46 [Conf]
   
8. Matthieu Martel
   Static Analysis of the Numerical Stability of Loops. [Citation Graph (0, 0)][DBLP]
   SAS, 2002, pp:133-150 [Conf]
   
9. Matthieu Martel
   Improving the Static Analysis of Loops by Dynamic Partitioning Techniques. [Citation Graph (0, 0)][DBLP]
   SCAM, 2003, pp:13-21 [Conf]
   
10. Matthieu Martel, Marc Gengler
    Communication Topology Analysis for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:265-286 [Conf]
    
11. Matthieu Martel
    An Overview of Semantics for the Validation of Numerical Programs. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:59-77 [Conf]
    
12. Matthieu Martel
    Semantics of roundoff error propagation in finite precision calculations. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2006, v:19, n:1, pp:7-30 [Journal]
    
13. Matthieu Martel
    Semantics-Based Transformation of Arithmetic Expressions. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:298-314 [Conf]
    
14. 
    A Hybrid Denotational Semantics for Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
15. 
    Program transformation for numerical precision. [Citation Graph (, )][DBLP]
    
    
16. 
    Abstract Interpretation of the Physical Inputs of Embedded Programs. [Citation Graph (, )][DBLP]