1. Swarat Chaudhuri, Sumit Gulwani & Roberto Lublinerman (2010): Continuity analysis of programs. In: Manuel V. Hermenegildo & Jens Palsberg: POPL. ACM, pp. 57–70, doi:10.1145/1706299.1706308.
  2. Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman & Sara NavidPour (2011): Proving programs robust. In: Tibor Gyimóthy & Andreas Zeller: SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011. ACM, pp. 102–112, doi:10.1145/2025113.2025131.
  3. E. W. Dijkstra (1959): A Note on Two Problems in Connexion with Graphs. Numer. Math. 1, pp. 269–271.
  4. Ivan Gazeau, Dale Miller & Catuscia Palamidessi (2012): A non-local method for robustness analysis of floating point programs. Technical Report. INRIA. Available at
  5. D. Goldberg (1991): What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys 23(1), pp. 5–47.
  6. Eric Goubault (2001): Static Analyses of the Precision of Floating-Point Operations. In: Patrick Cousot: Static Analysis, 8th International Symposium, Lecture Notes in Computer Science 2126. Springer Verlag, pp. 234–259.
  7. Eric Goubault & Sylvie Putot (2011): Static Analysis of Finite Precision Computations. In: Ranjit Jhala & David A. Schmidt: Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings, Lecture Notes in Computer Science 6538. Springer, pp. 232–247, doi:10.1007/978-3-642-18275-4.
  8. IEEE Task P754 (2008): IEEE 754-2008, Standard for Floating-Point Arithmetic. IEEE, pub-IEEE-STD:adr, doi:10.1109/IEEESTD.2008.4610935.
  9. Rupak Majumdar & Indranil Saha (2009): Symbolic Robustness Analysis. In: Theodore P. Baker: IEEE Real-Time Systems Symposium. IEEE Computer Society, pp. 355–363, doi:10.1109/RTSS.2009.17.
  10. Rupak Majumdar, Indranil Saha & Zilong Wang (2010): Systematic testing for control applications. In: MEMOCODE, pp. 1–10, doi:10.1109/MEMCOD.2010.5558629.
  11. The Parsec benchmark suite. Available at
  12. Stefan Pettersson & Bengt Lennartson (1996): Stability And Robustness For Hybrid Systems. In: Proceedings of the 35th edition of Decision and Control, pp. 1202–1207.
  13. Jack E. Volder (1959): The CORDIC Trigonometric Computing Technique. IRE Transactions on Electronic Computers EC-8, pp. 330–334.

Comments and questions to:
For website issues: