BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Denmark
1 × Estonia
1 × Italy
1 × Japan
1 × Korea
1 × Portugal
1 × Spain
1 × Sweden
2 × United Kingdom
3 × USA
4 × France
Collaborated with:
S.Putot S.Gaubert J.Dubut J.Goubault-Larrecq K.Ghorbal F.Védrine M.Martel R.Cridlig A.Adjé X.Allamigeon L.Sahlmann A.Taly S.Zennou L.Fajstrup E.Haucourt S.Mimram M.Raußen O.Bouissou K.Tekkal A.Costan
Talks about:
static (9) analysi (8) comput (5) abstract (4) numer (4) interpret (3) zonotop (3) program (3) precis (3) polici (3)

Person: Eric Goubault

DBLP DBLP: Goubault:Eric

Contributed to:

ICALP (2) 20152015
SAS 20132013
ESOP 20122012
SAS 20122012
VMCAI 20112011
CAV 20102010
ESOP 20102010
CAV 20092009
SAS 20082008
ESOP 20072007
SAS 20072007
SAS 20062006
CAV 20052005
ESOP 20022002
SAS 20012001
ESOP 19961996
PEPM 19951995
WSA 19931993
CSL 20162016
CAV (2) 20182018

Wrote 22 papers:

Natural Homology (JD, EG, JGL), pp. 171–183.
SAS-2013-Goubault #abstract interpretation #source code #static analysis
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT (EG), pp. 1–3.
ESOP-2012-FajstrupGHMR #performance #reduction
Trace Spaces: An Efficient New Technique for State-Space Reduction (LF, EG, EH, SM, MR), pp. 274–294.
SAS-2012-GoubaultPV #composition #static analysis
Modular Static Analysis with Zonotopes (EG, SP, FV), pp. 24–40.
VMCAI-2011-GoubaultP #finite #precise #static analysis
Static Analysis of Finite Precision Computations (EG, SP), pp. 232–247.
CAV-2010-GhorbalGP #approach #logic
A Logical Product Approach to Zonotope Intersection (KG, EG, SP), pp. 212–226.
ESOP-2010-AdjeGG #invariant #policy #static analysis
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (AA, SG, EG), pp. 23–42.
CAV-2009-BouissouGPTV #named #source code
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment (OB, EG, SP, KT, FV), pp. 620–626.
CAV-2009-GhorbalGP #abstract domain
The Zonotope Abstract Domain Taylor1+ (KG, EG, SP), pp. 627–633.
SAS-2008-AllamigeonGG #invariant #using
Inferring Min and Max Invariants Using Max-Plus Polyhedra (XA, SG, EG), pp. 189–204.
ESOP-2007-GaubertGTZ #policy #relational #static analysis
Static Analysis by Policy Iteration on Relational Domains (SG, EG, AT, SZ), pp. 237–252.
SAS-2007-GoubaultP #approximate
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic (EG, SP), pp. 137–152.
SAS-2006-GoubaultP #algorithm #static analysis
Static Analysis of Numerical Algorithms (EG, SP), pp. 18–34.
CAV-2005-CostanGGMP #algorithm #fixpoint #policy #source code #static analysis
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs (AC, SG, EG, MM, SP), pp. 462–475.
ESOP-2002-GoubaultMP #float #interpreter #precise
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter (EG, MM, SP), pp. 209–212.
SAS-2001-Goubault #analysis #float #precise
Static Analyses of the Precision of Floating-Point Operations (EG), pp. 234–259.
ESOP-1996-Goubault #concurrent
Durations for Truly-Concurrent Transitions (EG), pp. 173–187.
PEPM-1995-Goubault #automaton #higher-order #interpreter
Schedulers as Abstract Interpreter of Higher Dimensional Automata (EG), pp. 134–145.
WSA-1993-CridligG #analysis #semantics
Semantics and Analysis of Linda-Based Languages (RC, EG), pp. 72–86.
TAPSOFT-1997-Goubault #implementation
Optimal Implementation of Wait-Free Binary Relations (EG), pp. 225–236.
The Directed Homotopy Hypothesis (JD, EG, JGL), p. 16.
CAV-2018-GoubaultPS #approximate #difference #equation
Inner and Outer Approximating Flowpipes for Delay Differential Equations (EG, SP, LS), pp. 523–541.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.