Æȷοì
Sylvie Putot
Sylvie Putot
polytechnique.eduÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
2062009
Static analysis of numerical algorithms
E Goubault, S Putot
International Static Analysis Symposium, 18-34, 2006
1732006
Static analysis of finite precision computations
E Goubault, S Putot
International Workshop on Verification, Model Checking, and Abstract ¡¦, 2011
1652011
The zonotope abstract domain taylor1+
K Ghorbal, E Goubault, S Putot
Computer Aided Verification: 21st International Conference, CAV 2009 ¡¦, 2009
1302009
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
1302005
Asserting the precision of floating-point computations: A simple abstract interpreter
E Goubault, M Martel, S Putot
European Symposium on Programming, 209-212, 2002
922002
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
822022
A logical product approach to zonotope intersection
K Ghorbal, E Goubault, S Putot
Computer Aided Verification: 22nd International Conference, CAV 2010 ¡¦, 2010
742010
Static analysis-based validation of floating-point computations
S Putot, E Goubault, M Martel
Numerical Software with Result Verification: International Dagstuhl Seminar ¡¦, 2004
682004
Robustness analysis of finite precision implementations
E Goubault, S Putot
Asian Symposium on Programming Languages and Systems, 50-57, 2013
602013
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
592008
A generalization of p-boxes to affine arithmetic
O Bouissou, E Goubault, J Goubault-Larrecq, S Putot
Computing 94, 189-201, 2012
552012
Inner approximated reachability analysis
E Goubault, O Mullier, S Putot, M Kieffer
Proceedings of the 17th international conference on Hybrid systems ¡¦, 2014
542014
A zonotopic framework for functional abstractions
E Goubault, S Putot
Formal Methods in System Design 47, 302-360, 2015
522015
Forward inner-approximated reachability of non-linear continuous systems
E Goubault, S Putot
Proceedings of the 20th international conference on hybrid systems ¡¦, 2017
492017
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
452009
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
442009
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
432019
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
432014
Modular static analysis with zonotopes
E Goubault, S Putot, F Védrine
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France ¡¦, 2012
422012
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20