The SCEAS System
| |||||||

## Search the dblp DataBase
Matthieu Martel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - Matthieu Martel
**Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach.**[Citation Graph (0, 0)][DBLP] ESOP, 2002, pp:194-208 [Conf] - Matthieu Martel, Marc Gengler
**Partial Evaluation of Concurrent Programs.**[Citation Graph (0, 0)][DBLP] Euro-Par, 2001, pp:504-513 [Conf] - Matthieu Martel
**Validation of assembler programs for DSPs: a static analyzer.**[Citation Graph (0, 0)][DBLP] PASTE, 2004, pp:8-13 [Conf] - Marc Gengler, Matthieu Martel
**Self-Applicable Partial Evaluation for the pi-Calculus.**[Citation Graph (0, 0)][DBLP] PEPM, 1997, pp:36-46 [Conf] - Matthieu Martel
**Static Analysis of the Numerical Stability of Loops.**[Citation Graph (0, 0)][DBLP] SAS, 2002, pp:133-150 [Conf] - Matthieu Martel
**Improving the Static Analysis of Loops by Dynamic Partitioning Techniques.**[Citation Graph (0, 0)][DBLP] SCAM, 2003, pp:13-21 [Conf] - Matthieu Martel, Marc Gengler
**Communication Topology Analysis for Concurrent Programs.**[Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:265-286 [Conf] - Matthieu Martel
**An Overview of Semantics for the Validation of Numerical Programs.**[Citation Graph (0, 0)][DBLP] VMCAI, 2005, pp:59-77 [Conf] - 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] - Matthieu Martel
**Semantics-Based Transformation of Arithmetic Expressions.**[Citation Graph (0, 0)][DBLP] SAS, 2007, pp:298-314 [Conf] **A Hybrid Denotational Semantics for Hybrid Systems.**[Citation Graph (, )][DBLP]**Program transformation for numerical precision.**[Citation Graph (, )][DBLP]**Abstract Interpretation of the Physical Inputs of Embedded Programs.**[Citation Graph (, )][DBLP]
Search in 0.026secs, Finished in 0.028secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |