Continuity analysis of programs, pp.57-70, 2010. ,
Proving programs robust, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, pp.102-11210, 1145. ,
DOI : 10.1145/2025113.2025131
A note on two problems in connexion with graphs, Numerische Mathematik, vol.4, issue.1, pp.269-271, 1959. ,
DOI : 10.1007/BF01386390
A non-local method for robustness analysis of floating point programs, Electronic Proceedings in Theoretical Computer Science, vol.85, 2012. ,
DOI : 10.4204/EPTCS.85.5
URL : https://hal.archives-ouvertes.fr/hal-00665995
What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-47, 1991. ,
DOI : 10.1145/103162.103163
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.7712
Static Analyses of the Precision of Floating-Point Operations, Static Analysis, 8th International Symposium, pp.234-259, 2001. ,
DOI : 10.1007/3-540-47764-0_14
Static Analysis of Finite Precision Computations, Verification, Model Checking, and Abstract Interpretation -12th International Conference, pp.232-24710, 2011. ,
DOI : 10.1007/978-3-540-24738-8_18
Standard for Floating-Point Arithmetic, pp.754-2008, 2008. ,
Symbolic Robustness Analysis, 2009 30th IEEE Real-Time Systems Symposium, pp.355-363, 2009. ,
DOI : 10.1109/RTSS.2009.17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.8983
Stability and robustness for hybrid systems, Proceedings of 35th IEEE Conference on Decision and Control, pp.1202-1207, 1996. ,
DOI : 10.1109/CDC.1996.572653
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.6116
The CORDIC Trigonometric Computing Technique, IRE Transactions on Electronic Computers EC, issue.8, pp.330-334, 1959. ,