Swarat Chaudhuri
Sumit Gulwani
Roberto Lublinerman
2010
Continuity analysis of programs
Manuel V. Hermenegildo
Jens Palsberg
POPL
ACM
57–70
10.1145/1706299.1706308
Swarat Chaudhuri
Sumit Gulwani
Roberto Lublinerman
Sara NavidPour
2011
Proving programs robust
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
102–112
10.1145/2025113.2025131
E. W. Dijkstra
1959
A Note on Two Problems in Connexion with Graphs
Numer. Math.
1
269–271
Ivan Gazeau
Dale Miller
Catuscia Palamidessi
2012
A non-local method for robustness analysis of floating point programs
Technical Report
INRIA
http://hal.inria.fr/hal-00665995
D. Goldberg
1991
What every computer scientist should know about floating-point arithmetic
ACM Computing Surveys
23
1
5–47
Eric Goubault
2001
Static Analyses of the Precision of Floating-Point Operations
Patrick Cousot
Static Analysis, 8th International Symposium
Lecture Notes in Computer Science
2126
Springer Verlag
234–259
Eric Goubault
Sylvie Putot
2011
Static Analysis of Finite Precision Computations
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
232–247
10.1007/978-3-642-18275-4
IEEE Task P754
2008
IEEE 754-2008, Standard for Floating-Point Arithmetic
IEEE
pub-IEEE-STD:adr
10.1109/IEEESTD.2008.4610935
Rupak Majumdar
Indranil Saha
2009
Symbolic Robustness Analysis
Theodore P. Baker
IEEE Real-Time Systems Symposium
IEEE Computer Society
355–363
10.1109/RTSS.2009.17
Rupak Majumdar
Indranil Saha
Zilong Wang
2010
Systematic testing for control applications
MEMOCODE
1–10
10.1109/MEMCOD.2010.5558629
The Parsec benchmark suite
http://parsec.cs.princeton.edu/
Stefan Pettersson
Bengt Lennartson
1996
Stability And Robustness For Hybrid Systems
Proceedings of the 35th edition of Decision and Control
1202–1207
Jack E. Volder
1959
The CORDIC Trigonometric Computing Technique
IRE Transactions on Electronic Computers
EC-8
330–334