Sylvie Putot
Sylvie Putot
Email verificata su polytechnique.edu - Home page
Titolo
Citata da
Citata da
Anno
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
1782009
Static analysis of numerical algorithms
E Goubault, S Putot
International Static Analysis Symposium, 18-34, 2006
1532006
Static analysis of finite precision computations
E Goubault, S Putot
International Workshop on Verification, Model Checking, and Abstract …, 2011
1372011
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
1242005
The zonotope abstract domain taylor1+
K Ghorbal, E Goubault, S Putot
International Conference on Computer Aided Verification, 627-633, 2009
892009
Asserting the precision of floating-point computations: A simple abstract interpreter
E Goubault, M Martel, S Putot
European Symposium on Programming, 209-212, 2002
842002
Static analysis-based validation of floating-point computations
S Putot, E Goubault, M Martel
Numerical software with result verification, 306-313, 2004
632004
A logical product approach to zonotope intersection
K Ghorbal, E Goubault, S Putot
International Conference on Computer Aided Verification, 212-226, 2010
572010
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
552007
Robustness analysis of finite precision implementations
E Goubault, S Putot
Asian Symposium on Programming Languages and Systems, 50-57, 2013
502013
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
422009
A generalization of p-boxes to affine arithmetic
O Bouissou, E Goubault, J Goubault-Larrecq, S Putot
Computing 94 (2), 189-201, 2012
412012
Some future challenges in the validation of control systems
E Goubault, M Martel, S Putot
Conference ERTS'06, 2006
392006
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
372009
Under-approximations of computations in real numbers based on generalized affine arithmetic
E Goubault, S Putot
International Static Analysis Symposium, 137-152, 2007
352007
Inner approximated reachability analysis
E Goubault, O Mullier, S Putot, M Kieffer
Proceedings of the 17th international conference on Hybrid systems …, 2014
342014
Modular static analysis with zonotopes
E Goubault, S Putot, F Védrine
International Static Analysis Symposium, 24-40, 2012
342012
A zonotopic framework for functional abstractions
E Goubault, S Putot
arXiv preprint arXiv:0910.1763, 2009
282009
Forward inner-approximated reachability of non-linear continuous systems
E Goubault, S Putot
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
272017
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
242014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20