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.
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.
E. W. Dijkstra (1959):
A Note on Two Problems in Connexion with Graphs.
Numer. Math. 1,
pp. 269–271.
Ivan Gazeau, Dale Miller & Catuscia Palamidessi (2012):
A non-local method for robustness analysis of floating point programs.
Technical Report.
INRIA.
Available at http://hal.inria.fr/hal-00665995.
D. Goldberg (1991):
What every computer scientist should know about floating-point arithmetic.
ACM Computing Surveys 23(1),
pp. 5–47.
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.
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.
IEEE Task P754 (2008):
IEEE 754-2008, Standard for Floating-Point Arithmetic.
IEEE,
pub-IEEE-STD:adr,
doi:10.1109/IEEESTD.2008.4610935.
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.
Rupak Majumdar, Indranil Saha & Zilong Wang (2010):
Systematic testing for control applications.
In: MEMOCODE,
pp. 1–10,
doi:10.1109/MEMCOD.2010.5558629.
Stefan Pettersson & Bengt Lennartson (1996):
Stability And Robustness For Hybrid Systems.
In: Proceedings of the 35th edition of Decision and Control,
pp. 1202–1207.
Jack E. Volder (1959):
The CORDIC Trigonometric Computing Technique.
IRE Transactions on Electronic Computers EC-8,
pp. 330–334.
eptcs@eptcs.org