|
|
| |
FLUCTUAT
: Bibliographie |
| |
| |
 |
|
- Alexandru Costan, Stephane Gaubert, Eric Goubault,
Matthieu Martel, Sylvie Putot, A policy iteration algorithm for
computing fixed points in static analysis of programs,
soumis à International Conference on Computer Aided Verification (CAV'05)
- Eric Goubault, Sylvie Putot, Weakly Relational
Abstract Domains for the Analysis of Floating-Point Computations,
présenté à International Workshop on Numerical & Symbolic
Abstract Domains (NSAD'05)
- Matthieu Martel, An Overview of Semantics
for the Validation of Numerical Programs, Verification,
Model-Checking and Abstract Interpretation,
VMCAI'05, LNCS 3385, 2005
- Matthieu Martel, Validation of Assembler
Programs for DSPs: A Static Analyzer, ACM
SIGPLAN-SIGSOFT Workshop on Program Analysis
for Software Tools and Engineering (PASTE'04),
2004
- Sylvie Putot, Eric Goubault and Matthieu
Martel, Static Analysis-Based Validation
of Floating-Point Computations, follow-up
of the seminary on Numerical Software with
Result Verification, at Dagstuhl, Germany,
LNCS 2991, 2004
- Matthieu Martel, Static Analysis of the
Numerical Stability of Loops, Static
Analysis Symposium, SAS'02, LNCS 2477, 2002
- Matthieu Martel, Propagation of Roundoff
Errors in Finite Precision Computations:
a Semantics Approach , European Symposium
on Programming, ESOP'02, LNCS 2305, 2002
- Eric Goubault, Matthieu Martel and Sylvie
Putot, Asserting the Precision of Floating-Point
Computations: a Simple Abstract Interpreter, European Symposium on Programming, ESOP'02,
LNCS2305, 2002
- Eric Goubault, Static Analyses of the
Precision of Floating-Point Operations, Static
Analysis Symposium, SAS'01, LNCS number 2126,
2001
|
|
|
| |
|
|
