The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Eric Goubault: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot
    A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:462-475 [Conf]
  2. Lisbeth Fajstrup, Eric Goubault, Martin Raußen
    Detecting Deadlocks in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:332-347 [Conf]
  3. Eric Goubault
    Domains of Higher-Dimensional Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:293-307 [Conf]
  4. Eric Goubault, Emmanuel Haucourt
    A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:503-517 [Conf]
  5. Eric Goubault, Thomas P. Jensen
    Homology of Higher Dimensional Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:254-268 [Conf]
  6. Sylvie Putot, Eric Goubault, Matthieu Martel
    Static Analysis-Based Validation of Floating-Point Computations. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:306-313 [Conf]
  7. Eric Goubault
    Durations for Truly-Concurrent Transitions. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:173-187 [Conf]
  8. Eric Goubault, Matthieu Martel, Sylvie Putot
    Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:209-212 [Conf]
  9. Eric Goubault, Martin Raußen
    Dihomotopy as a Tool in State Space Analysis. [Citation Graph (0, 0)][DBLP]
    LATIN, 2002, pp:16-37 [Conf]
  10. Eric Goubault
    Schedulers as Abstract Interpreter of Higher Dimensional Automata. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:134-145 [Conf]
  11. Régis Cridlig, Eric Goubault
    Semantics and Analysis of Linda-Based Languages. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:72-86 [Conf]
  12. Eric Goubault
    Static Analyses of the Precision of Floating-Point Operations. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:234-259 [Conf]
  13. Eric Goubault, Sylvie Putot
    Static Analysis of Numerical Algorithms. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:18-34 [Conf]
  14. Eric Goubault
    Optimal Implementation of Wait-Free Binary Relations. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:225-236 [Conf]
  15. Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt
    Components of the Fundamental Category. [Citation Graph (0, 0)][DBLP]
    Applied Categorical Structures, 2004, v:12, n:1, pp:81-108 [Journal]
  16. Eric Goubault
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:52, n:2, pp:- [Journal]
  17. Eric Goubault
    Foreword. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:39, n:2, pp:- [Journal]
  18. Eric Goubault
    Foreword. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:81, n:, pp:- [Journal]
  19. Eric Goubault, Ulrich Fahrenberg
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:100, n:, pp:47-48 [Journal]
  20. Eric Goubault
    Foreword. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:4, pp:409- [Journal]
  21. Eric Goubault
    Geometry and concurrency: a user's guide. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:4, pp:411-425 [Journal]
  22. Lisbeth Fajstrup, Martin Raußen, Eric Goubault
    Algebraic topology and concurrency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:357, n:1-3, pp:241-278 [Journal]
  23. Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou
    Static Analysis by Policy Iteration on Relational Domains. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:237-252 [Conf]
  24. Eric Goubault, Sylvie Putot
    Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:137-152 [Conf]

  25. HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. [Citation Graph (, )][DBLP]


  26. The Zonotope Abstract Domain Taylor1+. [Citation Graph (, )][DBLP]


  27. A Logical Product Approach to Zonotope Intersection. [Citation Graph (, )][DBLP]


  28. Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. [Citation Graph (, )][DBLP]


  29. Inferring Min and Max Invariants Using Max-Plus Polyhedra. [Citation Graph (, )][DBLP]


  30. The Tropical Double Description Method. [Citation Graph (, )][DBLP]


  31. Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. [Citation Graph (, )][DBLP]


  32. Static Analysis of the Accuracy in Control Systems: Principles and Experiments. [Citation Graph (, )][DBLP]


  33. Components of the Fundamental Category II. [Citation Graph (, )][DBLP]


  34. Perturbed affine arithmetic for invariant computation in numerical program analysis [Citation Graph (, )][DBLP]


  35. A zonotopic framework for functional abstractions [Citation Graph (, )][DBLP]


  36. The tropical double description method [Citation Graph (, )][DBLP]


  37. A Logical Product Approach to Zonotope Intersection [Citation Graph (, )][DBLP]


  38. Formal Relationships Between Geometrical and Classical Models for Concurrency [Citation Graph (, )][DBLP]


  39. Preface. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.345secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002