Παρακολούθηση
Eric Goubault
Eric Goubault
Ecole Polytechnique
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cea.fr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Algebraic topology and concurrency
L Fajstrup, M Raußen, E Goubault
Theoretical Computer Science 357 (1-3), 241-278, 2006
208*2006
Towards an industrial use of FLUCTUAT on safety-critical avionics software
D Delmas, E Goubault, S Putot, J Souyris, K Tekkal, F Védrine
Formal Methods for Industrial Critical Systems: 14th International Workshop …, 2009
1962009
Static analysis of numerical algorithms
E Goubault, S Putot
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea …, 2006
1642006
Static analyses of the precision of floating-point operations
E Goubault
Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July …, 2001
1552001
Static analysis of finite precision computations
E Goubault, S Putot
Verification, Model Checking, and Abstract Interpretation: 12th …, 2011
1472011
A policy iteration algorithm for computing fixed points in static analysis of programs
A Costan, S Gaubert, E Goubault, M Martel, S Putot
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
1322005
Homology of higher dimensional automata
E Goubault, TP Jensen
CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992
1291992
Some geometric perspectives in concurrency theory
E Goubault
1242003
The geometry of concurrency
E Goubault
Ph. D. thesis, Ecole Normale Superieure, Paris, 1995
1191995
Detecting deadlocks in concurrent systems
L Fajstrup, E Goubault, M Raußen
CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998
1151998
Geometry and concurrency: a user's guide
E Goubault
Mathematical structures in computer science 10 (4), 411-425, 2000
1132000
The zonotope abstract domain taylor1+
K Ghorbal, E Goubault, S Putot
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
1122009
Directed algebraic topology and concurrency
L Fajstrup, E Goubault, E Haucourt, S Mimram, M Raussen
Springer, 2016
1002016
Static analysis by policy iteration on relational domains
S Gaubert, E Goubault, A Taly, S Zennou
Programming Languages and Systems: 16th European Symposium on Programming …, 2007
992007
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
E Goubault, S Gaubert, A Adjé
Logical methods in computer science 8, 2012
972012
Asserting the precision of floating-point computations: A simple abstract interpreter
E Goubault, M Martel, S Putot
Programming Languages and Systems: 11th European Symposium on Programming …, 2002
902002
Inferring min and max invariants using max-plus polyhedra
X Allamigeon, S Gaubert, E Goubault
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 2008
882008
Topological deformation of higher dimensional automata
P Gaucher, E Goubault
762003
Dihomotopy as a tool in state space analysis tutorial
E Goubault, M Raussen
LATIN 2002: Theoretical Informatics: 5th Latin American Symposium Cancun …, 2002
702002
A logical product approach to zonotope intersection
K Ghorbal, E Goubault, S Putot
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
692010
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20