dblp.uni-trier.dewww.uni-trier.de

Eric Goubault Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Xavier Allamigeon [28]
2Philippe Baufreton [25]
3Olivier Bouissou [32]
4Alexandru Costan [20]
5Régis Cridlig [2]
6Ulrich Fahrenberg [17]
7Lisbeth Fajstrup [7] [18] [21]
8Jean Gassino [25]
9Stephane Gaubert [20] [26] [28]
10Khalil Ghorbal [31]
11Emmanuel Haucourt [18] [19] [23]
12Thomas P. Jensen [1]
13Matthieu Martel [14] [16] [20]
14Sylvie Putot [14] [16] [20] [22] [24] [25] [27] [30] [31] [32]
15Martin Raußen [7] [13] [18] [21]
16Ankur Taly [26]
17Karim Tekkal [32]
18Franck Védrine [32]
19Sarah Zennou [26]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)