 | 2009 |
|---|
| 11 |       | Olivier Bouissou,
Eric Goubault,
Sylvie Putot,
Karim Tekkal,
Franck Védrine:
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.
CAV 2009: 620-626 |
| 10 | | Khalil Ghorbal,
Eric Goubault,
Sylvie Putot:
The Zonotope Abstract Domain Taylor1+.
CAV 2009: 627-633 |
| 9 | | David Delmas,
Eric Goubault,
Sylvie Putot,
Jean Souyris,
Karim Tekkal,
Franck Védrine:
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.
FMICS 2009: 53-69 |
| 8 | | Eric Goubault,
Sylvie Putot:
A zonotopic framework for functional abstractions
CoRR abs/0910.1763: (2009) |
| 2008 |
|---|
| 7 | | Eric Goubault,
Sylvie Putot:
Perturbed affine arithmetic for invariant computation in numerical program analysis
CoRR abs/0807.2961: (2008) |
| 2007 |
|---|
| 6 | | Eric Goubault,
Sylvie Putot,
Philippe Baufreton,
Jean Gassino:
Static Analysis of the Accuracy in Control Systems: Principles and Experiments.
FMICS 2007: 3-20 |
| 5 | | Eric Goubault,
Sylvie Putot:
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic.
SAS 2007: 137-152 |
| 2006 |
|---|
| 4 | | Eric Goubault,
Sylvie Putot:
Static Analysis of Numerical Algorithms.
SAS 2006: 18-34 |
| 2005 |
|---|
| 3 | | 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 |
| 2003 |
|---|
| 2 | | Sylvie Putot,
Eric Goubault,
Matthieu Martel:
Static Analysis-Based Validation of Floating-Point Computations.
Numerical Software with Result Verification 2003: 306-313 |
| 2002 |
|---|
| 1 | | Eric Goubault,
Matthieu Martel,
Sylvie Putot:
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.
ESOP 2002: 209-212 |
