| Towards an industrial use of FLUCTUAT on safety-critical avionics software D Delmas, E Goubault, S Putot, J Souyris, K Tekkal, F Védrine International Workshop on Formal Methods for Industrial Critical Systems, 53-69, 2009 | 175 | 2009 |
| Static analysis of numerical algorithms E Goubault, S Putot International Static Analysis Symposium, 18-34, 2006 | 152 | 2006 |
| Static analysis of finite precision computations E Goubault, S Putot International Workshop on Verification, Model Checking, and Abstract …, 2011 | 134 | 2011 |
| A policy iteration algorithm for computing fixed points in static analysis of programs A Costan, S Gaubert, E Goubault, M Martel, S Putot International Conference on Computer Aided Verification, 462-475, 2005 | 122 | 2005 |
| The zonotope abstract domain taylor1+ K Ghorbal, E Goubault, S Putot International Conference on Computer Aided Verification, 627-633, 2009 | 88 | 2009 |
| Asserting the precision of floating-point computations: A simple abstract interpreter E Goubault, M Martel, S Putot European Symposium on Programming, 209-212, 2002 | 84 | 2002 |
| Static analysis-based validation of floating-point computations S Putot, E Goubault, M Martel Numerical software with result verification, 306-313, 2004 | 63 | 2004 |
| A logical product approach to zonotope intersection K Ghorbal, E Goubault, S Putot International Conference on Computer Aided Verification, 212-226, 2010 | 57 | 2010 |
| Static analysis of the accuracy in control systems: Principles and experiments E Goubault, S Putot, P Baufreton, J Gassino International Workshop on Formal Methods for Industrial Critical Systems, 3-20, 2007 | 55 | 2007 |
| Robustness analysis of finite precision implementations E Goubault, S Putot Asian Symposium on Programming Languages and Systems, 50-57, 2013 | 46 | 2013 |
| HybridFluctuat: A static analyzer of numerical programs within a continuous environment O Bouissou, E Goubault, S Putot, K Tekkal, F Vedrine International Conference on Computer Aided Verification, 620-626, 2009 | 42 | 2009 |
| A generalization of p-boxes to affine arithmetic O Bouissou, E Goubault, J Goubault-Larrecq, S Putot Computing 94 (2), 189-201, 2012 | 41 | 2012 |
| Some future challenges in the validation of control systems E Goubault, M Martel, S Putot Conference ERTS'06, 2006 | 39 | 2006 |
| Space software validation using abstract interpretation O Bouissou, E Conquet, P Cousot, R Cousot, J Feret, K Ghorbal, ... The International Space System Engineering Conference: Data Systems in …, 2009 | 37 | 2009 |
| Under-approximations of computations in real numbers based on generalized affine arithmetic E Goubault, S Putot International Static Analysis Symposium, 137-152, 2007 | 35 | 2007 |
| Modular static analysis with zonotopes E Goubault, S Putot, F Védrine International Static Analysis Symposium, 24-40, 2012 | 34 | 2012 |
| Inner approximated reachability analysis E Goubault, O Mullier, S Putot, M Kieffer Proceedings of the 17th international conference on Hybrid systems …, 2014 | 32 | 2014 |
| A zonotopic framework for functional abstractions E Goubault, S Putot arXiv preprint arXiv:0910.1763, 2009 | 28 | 2009 |
| Forward inner-approximated reachability of non-linear continuous systems E Goubault, S Putot Proceedings of the 20th International Conference on Hybrid Systems …, 2017 | 27 | 2017 |
| Finding non-polynomial positive invariants and Lyapunov functions for polynomial systems through Darboux polynomials E Goubault, JH Jourdan, S Putot, S Sankaranarayanan 2014 American Control Conference, 3571-3578, 2014 | 24 | 2014 |
