 | 2009 |
|---|
| 33 |       | 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 |
| 32 | | Khalil Ghorbal,
Eric Goubault,
Sylvie Putot:
The Zonotope Abstract Domain Taylor1+.
CAV 2009: 627-633 |
| 31 | | 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 |
| 30 | | Eric Goubault,
Sylvie Putot:
A zonotopic framework for functional abstractions
CoRR abs/0910.1763: (2009) |
| 29 | | Eric Goubault:
Preface.
Electr. Notes Theor. Comput. Sci. 230: 1-2 (2009) |
| 2008 |
|---|
| 28 | | Xavier Allamigeon,
Stephane Gaubert,
Eric Goubault:
Inferring Min and Max Invariants Using Max-Plus Polyhedra.
SAS 2008: 189-204 |
| 27 | | Eric Goubault,
Sylvie Putot:
Perturbed affine arithmetic for invariant computation in numerical program analysis
CoRR abs/0807.2961: (2008) |
| 2007 |
|---|
| 26 | | Stephane Gaubert,
Eric Goubault,
Ankur Taly,
Sarah Zennou:
Static Analysis by Policy Iteration on Relational Domains.
ESOP 2007: 237-252 |
| 25 | | Eric Goubault,
Sylvie Putot,
Philippe Baufreton,
Jean Gassino:
Static Analysis of the Accuracy in Control Systems: Principles and Experiments.
FMICS 2007: 3-20 |
| 24 | | Eric Goubault,
Sylvie Putot:
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic.
SAS 2007: 137-152 |
| 23 | | Eric Goubault,
Emmanuel Haucourt:
Components of the Fundamental Category II.
Applied Categorical Structures 15(4): 387-414 (2007) |
| 2006 |
|---|
| 22 | | Eric Goubault,
Sylvie Putot:
Static Analysis of Numerical Algorithms.
SAS 2006: 18-34 |
| 21 | | Lisbeth Fajstrup,
Martin Raußen,
Eric Goubault:
Algebraic topology and concurrency.
Theor. Comput. Sci. 357(1-3): 241-278 (2006) |
| 2005 |
|---|
| 20 | | 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 |
| 19 | | Eric Goubault,
Emmanuel Haucourt:
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs.
CONCUR 2005: 503-517 |
| 2004 |
|---|
| 18 | | Lisbeth Fajstrup,
Martin Raußen,
Eric Goubault,
Emmanuel Haucourt:
Components of the Fundamental Category.
Applied Categorical Structures 12(1): 81-108 (2004) |
| 17 | | Eric Goubault,
Ulrich Fahrenberg:
Preface.
Electr. Notes Theor. Comput. Sci. 100: 47-48 (2004) |
| 2003 |
|---|
| 16 | | Sylvie Putot,
Eric Goubault,
Matthieu Martel:
Static Analysis-Based Validation of Floating-Point Computations.
Numerical Software with Result Verification 2003: 306-313 |
| 15 | | Eric Goubault:
Foreword.
Electr. Notes Theor. Comput. Sci. 81: (2003) |
| 2002 |
|---|
| 14 | | Eric Goubault,
Matthieu Martel,
Sylvie Putot:
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.
ESOP 2002: 209-212 |
| 13 | | Eric Goubault,
Martin Raußen:
Dihomotopy as a Tool in State Space Analysis.
LATIN 2002: 16-37 |
| 2001 |
|---|
| 12 | | Eric Goubault:
Static Analyses of the Precision of Floating-Point Operations.
SAS 2001: 234-259 |
| 11 | | Eric Goubault:
Foreword.
Electr. Notes Theor. Comput. Sci. 39(2): (2001) |
| 10 | | Eric Goubault:
Preface.
Electr. Notes Theor. Comput. Sci. 52(2): (2001) |
| 2000 |
|---|
| 9 |  | Eric Goubault:
Foreword.
Mathematical Structures in Computer Science 10(4): 409 (2000) |
| 8 | | Eric Goubault:
Geometry and concurrency: a user's guide.
Mathematical Structures in Computer Science 10(4): 411-425 (2000) |
| 1998 |
|---|
| 7 | | Lisbeth Fajstrup,
Eric Goubault,
Martin Raußen:
Detecting Deadlocks in Concurrent Systems.
CONCUR 1998: 332-347 |
| 1997 |
|---|
| 6 | | Eric Goubault:
Optimal Implementation of Wait-Free Binary Relations.
TAPSOFT 1997: 225-236 |
| 1996 |
|---|
| 5 | | Eric Goubault:
Durations for Truly-Concurrent Transitions.
ESOP 1996: 173-187 |
| 1995 |
|---|
| 4 | | Eric Goubault:
Schedulers as Abstract Interpreter of Higher Dimensional Automata.
PEPM 1995: 134-145 |
| 1993 |
|---|
| 3 | | Eric Goubault:
Domains of Higher-Dimensional Automata.
CONCUR 1993: 293-307 |
| 2 | | Régis Cridlig,
Eric Goubault:
Semantics and Analysis of Linda-Based Languages.
WSA 1993: 72-86 |
| 1992 |
|---|
| 1 | | Eric Goubault,
Thomas P. Jensen:
Homology of Higher Dimensional Automata.
CONCUR 1992: 254-268 |
