| 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 | 198 | 2009 |
| Static analysis of numerical algorithms E Goubault, S Putot Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea …, 2006 | 166 | 2006 |
| Static analyses of the precision of floating-point operations E Goubault Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July …, 2001 | 155 | 2001 |
| Static analysis of finite precision computations E Goubault, S Putot Verification, Model Checking, and Abstract Interpretation: 12th …, 2011 | 147 | 2011 |
| 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 | 132 | 2005 |
| Homology of higher dimensional automata E Goubault, TP Jensen CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992 | 130 | 1992 |
| Some geometric perspectives in concurrency theory E Goubault | 125 | 2003 |
| The geometry of concurrency E Goubault Ph. D. thesis, Ecole Normale Superieure, Paris, 1995 | 119 | 1995 |
| Detecting deadlocks in concurrent systems L Fajstrup, E Goubault, M Raußen CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998 | 116 | 1998 |
| The zonotope abstract domain taylor1+ K Ghorbal, E Goubault, S Putot Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 115 | 2009 |
| Geometry and concurrency: a user's guide E Goubault Mathematical structures in computer science 10 (4), 411-425, 2000 | 115 | 2000 |
| Directed algebraic topology and concurrency L Fajstrup, E Goubault, E Haucourt, S Mimram, M Raussen Springer, 2016 | 101 | 2016 |
| 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 | 99 | 2007 |
| Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis A Adjé, S Gaubert, E Goubault Logical methods in computer science 8, 2012 | 97 | 2012 |
| 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 | 90 | 2002 |
| 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 | 88 | 2008 |
| Topological deformation of higher dimensional automata P Gaucher, E Goubault | 76 | 2003 |
| A logical product approach to zonotope intersection K Ghorbal, E Goubault, S Putot Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 71 | 2010 |
| Dihomotopy as a tool in state space analysis tutorial E Goubault, M Raussen LATIN 2002: Theoretical Informatics: 5th Latin American Symposium Cancun …, 2002 | 70 | 2002 |
Sylvie PutotLIX, Ecole PolytechniqueEmail verificata su polytechnique.edu
