Matthieu Martel (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

11 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

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

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

Selection of 3 from 16 records - Matthieu Martel has 6 coauthors

11		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
8		Sylvie Putot, Eric Goubault, Matthieu Martel: Static Analysis-Based Validation of Floating-Point Computations. Numerical Software with Result Verification 2003: 306-313
5		Eric Goubault, Matthieu Martel, Sylvie Putot: Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. ESOP 2002: 209-212