Eventual linear ranking functions, Principles and Practice of Declarative Programming, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01451694
Boosting local consistency algorithms over floating-point numbers, Principles and Practice of Constraint Programming, 2012. ,
Combining Coq and Gappa for certifying floating-point programs, Intelligent Computer Mathematics, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00432726
Hardware-independent proofs of numerical programs, NASA Formal Methods, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00534410
Proofs of numerical programs when the compiler optimizes, Innovations in Systems and Software Engineering, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00777639
The polyranking principle, Automata, Languages and Programming, 2005. ,
Termination proofs for linear simple loops, Static Analysis, 2012. ,
Unrestricted termination and non-termination arguments for bit-vector programs, European Symposium on Programming, 2015. ,
DOI : 10.1007/978-3-662-46669-8_8
URL : http://arxiv.org/pdf/1410.5089
Towards an industrial use of Fluctuat on safety-critical avionics software, Formal Methods for Industrial Critical Systems, 2009. ,
DOI : 10.1007/978-3-642-04570-7_6
URL : http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/Publications/fmics09.pdf
What every computer scientist should know about floating-point arithmetic, 1991. ,
DOI : 10.1145/103162.103163
Accuracy and Stability of Numerical Algorithms, Society for Industrial and Applied Mathematics, 2002. ,
On relative errors of floating-point operations: optimal bounds and applications, 2014. ,
DOI : 10.1090/mcom/3234
URL : https://hal.archives-ouvertes.fr/hal-00934443
Computability of global solutions to factorable nonconvex programs: Part I-Convex underestimating problems, Mathematical Programming, 1976. ,
Relational abstract domains for the detection of floating-point run-time errors, European Symposium on Programming, 2004. ,
A complete method for the synthesis of linear ranking functions, Verification, model checking, and abstract interpretation, 2004. ,
Termination of floating-point computations, Journal of Automated Reasoning, 2005. ,
DOI : 10.1007/s10817-005-6546-z
URL : http://www.cs.kuleuven.be/~dtai/publications/files/41544.pdf