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: Goubault:Eric
Contributed to:
2015
2013
20122012
2011
20102010200920082007200720062005200220011996
19951993
1997
20162018Wrote 22 papers:
- ICALP-v2-2015-DubutGG
- 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.
- CSL-2016-DubutGG
- 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.