Papers of Eric Goubault
- Benchmark source files for SAS: Poly.c, Inv.c, GC4.c, GC10.c
- Benchmark source files for ESOP (C source code): test1.c, test1b.c, test2.c, test3.c, test4.c, ex3.c, ex5.c
- Benchmark source files for ESOP (A. Miné's octagon analyzer format): test1mine.c, test1bmine.c, test2mine.c, test3mine.c, test4mine.c, ex3mine.c, ex5mine.c
- Benchmark source files for ESOP (LPInv format): test1.in, test1b.in, test2.in, test3.in, test4.in, ex3.in, ex5.in
- Recent Papers and Reports on "Geometry for Concurrency"
- Covering Space Theory for Directed Topology
with Emmanuel Haucourt and Sanjeevi Krishnan
Theory and Applications of Categories, 2009, to appear
- Components of the Fundamental Category II with Emmanuel Haucourt
Journal of Applied Categorical Structures, 2007
- A practical application of geometric semantics to the static analysis of concurrent programs with Emmanuel Haucourt
Proceeding of CONCUR'05, presented in San Francisco, august 2005
- Components of the Fundamental Category with L. Fajstrup, E. Haucourt, M. Raussen
published in Applied Categorical Structures (2004). Also Report R-2003-02 from Aalborg University
- Dihomotopy as a tool in state space analysis with M. Raussen
presented at LATIN'02, Cancun (tutorial)
- On the Geometry of Intuitionistic S4 Proofs
with J. Goubault-Larrecq
published in "Homomogy, Homotopy and Applications" (2003)
- Some Geometric Perspectives in
Concurrency Theory
published in "Homology, Homotopy and Applications" (2003)
-
Cubical Sets are Generalized Transition
Systems
Presented at CMCIM'02 (associated with Concur, Brno, Cech Republic)
-
My Habilitation Thesis
(french)
-
Topological Deformation of Higher Dimensional
Automata with P. Gaucher
published in "Homology, Homotopy and Applications" (2003), also in arXiv:math.AT/010760
-
Geometry and Concurrency: A User's Guide
(also in html form)
Mathematical Structures in Computer Science, Volume 10, Number 4, August 2000
-
Algebraic Topology and Concurrency,
with Lisbeth Fajstrup and Martin Raussen,
Report RR-98-2008 of the Department of Mathematical Sciences, Aalborg University;
presented at Mathematical Foundations of Computer Science'98 (London);
also Theoretical Computer Science (to appear in 2005)
-
Detecting Deadlocks in Concurrent Systems,
with Lisbeth Fajstrup and Martin Raussen,
(long version, CEA report)
Presented at CONCUR'98 (Nice)
-
Some other papers
- Mathematical Models for Concurrency
-
Application to Program Analysis
- Space Software Validation using Abstract
Interpretation with
Olivier Bouissou, Eric Conquet,
Patrick Cousot,
Radhia Cousot,
Khalil Ghorbal,
David Lesens,
Sylvie Putot and
Michel Turin
Proceedings of DASIA'09, to be presented in Istambul, may 2009
- The Zonotope Abstract Domain Taylor1+ with Khalil Ghorbal and Sylvie Putot
Proceedings of CAV'09, to be presented in Grenoble, july 2009
- HybridFluctuat: a static analyzer of numerical programs within a continuous environment
with Olivier Bouissou, Sylvie Putot, Karim Tekkal and Franck Védrine
Proceedings of CAV'09, to be presented in Grenoble, july 2009
- Perturbed affine arithmetic for invariant computation in numerical program analysis
with Sylvie Putot
Arxiv:0807.2961
- Computing the smallest fixpoint of nonexpansive mappings arising in game theory and static analysis of programs with Assalé Adé and Stéphane Gaubert
Proceedings of MTNS'08, to be presented at Virginia Tech, july 2008
- Inferring Min and Max Invariants Using Maxplus Polyhedra with Xavier Allamigeon and Stéphane Gaubert
Proceedings of SAS'08, to be presented in Valencia, july 2008
- Under-approximations of computations in real numbers based on generalized affine arithmetic
with Sylvie Putot
Proceedings of SAS'07, to be presented in Copenhagen, august 2007
- Static Analysis by Policy Iteration on Relational Domains
with Stéphane Gaubert, Sarah Zennou and Ankur Taly
Proceedings of ESOP'07, presented at Braga, Portugal
- Static Analysis of the Accuracy in Control Systems: Principles and Experiments
with Sylvie Putot, Philippe Baufreton and Jean Gassino
to appear in FMICS 2007 associated with CAV (Berlin)
- Static Analysis of Numerical Algorithms
with Sylvie Putot
Proceedings of SAS'06, presented in Seoul, august 2006
- Some future challenges in the validation of
control systems with Sylvie Putot and Matthieu Martel
Proceedings of ERTS'06, presented in Toulouse, january 2006
- A policy iteration algorithm for computing fixed points in static analysis of programs with Alexandru Costan, Stephane Gaubert, Matthieu Martel and Sylvie Putot
Proceedings of CAV'05, presented in Edimborough, july 2005
-
Weakly relational domains for floating-point computation analysis with Sylvie Putot
Presented at NSAD'05, Paris, january 2005
-
Static Analysis-Based
Validation of Floating-Point Computations, pdf, with Sylvie Putot
(first author) and Matthieu Martel,
presented by S. Putot in Dagstuhl, january 2003.
-
Asserting the Precision of
Floating-Point Computations: a Simple Abstract Interpreter, with
Matthieu Martel and Sylvie Putot,
presented by S. Putot at ETAPS'02 (Grenoble)
-
Static Analyses of Floating-Foint Operations
presented at SAS'01 (La Sorbonne)
-
A Simple Abstract Interpreter for Threat Detection and Test Case
Generation
, with Dominique Guilbaud, Anne Pacalet, Basile Starynkévitch
and Franck Védrine
presented at WAPATV'01 (associated with ICSE'01, Toronto)
-
Schedulers as Abstract Interpretations of Higher-Dimensional Automata
presented at PEPM'95 (La Jolla)
-
Semantics and Analyses of Linda-based Languages
, with Regis Cridlig,
presented at WSA'93 (Padova).
-
A Lattice for the Abstract Interpretation of Term Graph Rewriting Systems
, with Chris Hankin,
presented at SemaGraph'91 (Nijmegen), also Chapter 10
of "Term Graph Rewriting", Wiley, 1993
-
Abstract Reduction: Towards a Theory via Abstract Interpretation
, with Marko van Eekelen, Chris Hankin, Eric Nocker,
presented at SemaGraph'91 (Nijmegen), also as Chapter 9
of "Term Graph Rewriting", Wiley, 1993
-
Application to Protocols of Distributed Systems
- Logics
-
Pure Mathematics
-
Signal Processing
-
Popularisation
-
Patents
- Software Prototypes and Images
-
Some current projects
-
IST Project
DAEDALUS
-
IST Project TWO
-
to be completed...
-
Links to some other Geometry & Theoretical Computer Science papers
-
Links to other interesting sites