, Symbolic execution of floating-point computations. Software Testing, Verification and Reliability, vol.16, pp.97-121, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00540299
Improving the numerical accuracy of programs by automatic transformation, STTT, vol.19, issue.4, pp.427-448, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01373666
Sound compilation of reals, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.235-248, 2014. ,
Sound compilation of reals, p.14, 2014. ,
A logical product approach to zonotope intersection, Computer Aided Verification, 22nd International Conference, CAV 2010, vol.6174, pp.212-226, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01660910
Static analysis of numerical algorithms, Static Analysis, 13th International Symposium, vol.4134, pp.18-34, 2006. ,
Handling floating-point exceptions in numeric programs, ACM Trans. Program. Lang. Syst, vol.18, issue.2, pp.139-174, 1996. ,
The objective-cp optimization system, 19th International Conference on Principles and Practice of Constraint Programming, pp.8-29, 2013. ,
, IEEE: 754-2008-IEEE Standard for floating point arithmethic, 2008.
Improving the floating point addition and subtraction constraints, Proceedings of the 16th international conference on Principles and practice of constraint programming (CP'10), vol.6308, pp.6-10, 2010. ,
Exact projection functions for floating point number constraints, Seventh international symposium on Artificial Intelligence and Mathematics (7th ISAIM). Fort Lauderdale, 2002. ,
Solving constraints over floating-point numbers, 7th International Conference on Principles and Practice of Constraint Programming, pp.524-538, 2001. ,
Automatic estimation of verified floating-point round-off errors via static analysis, Computer Safety, Reliability, and Security-36th International Conference, pp.213-229, 2017. ,
Verifying floating-point programs with constraint programming and abstract interpretation techniques, Automated Software Engineering, vol.23, issue.2, pp.191-217, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-00860681
Algorithms for verified inclusions: Theory and practice, Reliability in Computing: The Role of Interval Methods in Scientific Computing, pp.109-126, 1988. ,
Floating Point Computation, 1974. ,
An abstract interpretation framework for the round-off error analysis of floating-point programs, Verification, Model Checking, and Abstract Interpretation-19th International Conference, pp.516-537, 2018. ,
Search strategies for floating point constraint systems, 23rd International Conference on Principles and Practice of Constraint Programming, pp.707-722, 2017. ,