| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot |
A generalization of p-boxes to affine arithmetic.  |
Computing  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen |
Trace Spaces: an Efficient New Technique for State-Space Reduction |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Assalé Adjé, Stéphane Gaubert, Eric Goubault |
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen |
Trace Spaces: An Efficient New Technique for State-Space Reduction. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios E. Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan |
Foreword. |
Mathematics in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault |
Policy Iteration within Logico-Numerical Abstract Domains. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram |
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Sylvie Putot |
Static Analysis of Finite Precision Computations. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti, Fabrizio Marinelli |
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan |
Future Path-components in Directed Topology. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Allamigeon, Stéphane Gaubert, Eric Goubault |
The tropical double description method |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Khalil Ghorbal, Eric Goubault, Sylvie Putot |
A Logical Product Approach to Zonotope Intersection |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Eric Goubault, Samuel Mimram |
Formal Relationships Between Geometrical and Classical Models for Concurrency |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Xavier Allamigeon, Stéphane Gaubert, Eric Goubault |
The Tropical Double Description Method. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Khalil Ghorbal, Eric Goubault, Sylvie Putot |
A Logical Product Approach to Zonotope Intersection. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Assalé Adjé, Stéphane Gaubert, Eric Goubault |
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Sylvie Putot |
A zonotopic framework for functional abstractions |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Khalil Ghorbal, Eric Goubault, Sylvie Putot |
The Zonotope Abstract Domain Taylor1+. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine |
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Sylvie Putot |
Perturbed affine arithmetic for invariant computation in numerical program analysis |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Xavier Allamigeon, Stephane Gaubert, Eric Goubault |
Inferring Min and Max Invariants Using Max-Plus Polyhedra. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Emmanuel Haucourt |
Components of the Fundamental Category II. |
Applied Categorical Structures |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A20, 18A22, 18A32, 18A40 |
| 1 | Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino |
Static Analysis of the Accuracy in Control Systems: Principles and Experiments. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
Static analysis, control systems, floating-point computations |
| 1 | Eric Goubault, Sylvie Putot |
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou |
Static Analysis by Policy Iteration on Relational Domains. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisbeth Fajstrup, Martin Raußen, Eric Goubault |
Algebraic topology and concurrency. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Sylvie Putot |
Static Analysis of Numerical Algorithms. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Emmanuel Haucourt |
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Ulrich Fahrenberg |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt |
Components of the Fundamental Category. |
Applied Categorical Structures |
2004 |
DBLP DOI BibTeX RDF |
po-space, dihomotopy, fundamental category, category of fractions, invertible morphism, lr-system, pure system, weakly invertible morphism, component |
| 1 | Eric Goubault |
Foreword. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvie Putot, Eric Goubault, Matthieu Martel |
Static Analysis-Based Validation of Floating-Point Computations. |
Numerical Software with Result Verification |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Martin Raußen |
Dihomotopy as a Tool in State Space Analysis. |
LATIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Matthieu Martel, Sylvie Putot |
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault |
Static Analyses of the Precision of Floating-Point Operations. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault |
Geometry and concurrency: a user's guide. |
Mathematical Structures in Computer Science |
2000 |
DBLP BibTeX RDF |
|
| 1 | Eric Goubault |
Foreword. |
Mathematical Structures in Computer Science |
2000 |
DBLP BibTeX RDF |
|
| 1 | Lisbeth Fajstrup, Eric Goubault, Martin Raußen |
Detecting Deadlocks in Concurrent Systems. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault |
Optimal Implementation of Wait-Free Binary Relations. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault |
Durations for Truly-Concurrent Transitions. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault |
Schedulers as Abstract Interpreter of Higher Dimensional Automata. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault |
Domains of Higher-Dimensional Automata. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Régis Cridlig, Eric Goubault |
Semantics and Analysis of Linda-Based Languages. |
WSA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Thomas P. Jensen |
Homology of Higher Dimensional Automata. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")