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 | 205 | 2009 |
Static analysis of numerical algorithms E Goubault, S Putot International Static Analysis Symposium, 18-34, 2006 | 172 | 2006 |
Static analysis of finite precision computations E Goubault, S Putot International Workshop on Verification, Model Checking, and Abstract …, 2011 | 164 | 2011 |
The zonotope abstract domain taylor1+ K Ghorbal, E Goubault, S Putot Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 130 | 2009 |
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 | 130 | 2005 |
Asserting the precision of floating-point computations: A simple abstract interpreter E Goubault, M Martel, S Putot European Symposium on Programming, 209-212, 2002 | 92 | 2002 |
Neural networks with physics-informed architectures and constraints for dynamical systems modeling F Djeumou, C Neary, E Goubault, S Putot, U Topcu Learning for Dynamics and Control Conference, 263-277, 2022 | 82 | 2022 |
A logical product approach to zonotope intersection K Ghorbal, E Goubault, S Putot Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 73 | 2010 |
Static analysis-based validation of floating-point computations S Putot, E Goubault, M Martel Numerical Software with Result Verification: International Dagstuhl Seminar …, 2004 | 68 | 2004 |
Robustness analysis of finite precision implementations E Goubault, S Putot Asian Symposium on Programming Languages and Systems, 50-57, 2013 | 59 | 2013 |
Static analysis of the accuracy in control systems: Principles and experiments E Goubault, S Putot, P Baufreton, J Gassino Formal Methods for Industrial Critical Systems: 12th International Workshop …, 2008 | 59 | 2008 |
A generalization of p-boxes to affine arithmetic O Bouissou, E Goubault, J Goubault-Larrecq, S Putot Computing 94, 189-201, 2012 | 54 | 2012 |
Inner approximated reachability analysis E Goubault, O Mullier, S Putot, M Kieffer Proceedings of the 17th international conference on Hybrid systems …, 2014 | 53 | 2014 |
A zonotopic framework for functional abstractions E Goubault, S Putot Formal Methods in System Design 47, 302-360, 2015 | 52 | 2015 |
Forward inner-approximated reachability of non-linear continuous systems E Goubault, S Putot Proceedings of the 20th international conference on hybrid systems …, 2017 | 49 | 2017 |
HybridFluctuat: A static analyzer of numerical programs within a continuous environment O Bouissou, E Goubault, S Putot, K Tekkal, F Védrine Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 45 | 2009 |
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 | 44 | 2009 |
Inner and outer reachability for the verification of control systems E Goubault, S Putot Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 43 | 2019 |
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 | 42 | 2014 |
Modular static analysis with zonotopes E Goubault, S Putot, F Védrine Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 42 | 2012 |