@inproceedings(chaudhuri10popl,
 author       = "Swarat Chaudhuri and Sumit Gulwani and Roberto Lublinerman",
 year         = "2010",
 title        = "Continuity analysis of programs",
 editor       = "Manuel V. Hermenegildo and Jens Palsberg",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "57--70",
 doi          = "10.1145/1706299.1706308",
)
@inproceedings(chaudhuri11sigsoft,
 author       = "Swarat Chaudhuri and Sumit Gulwani and Roberto Lublinerman and Sara NavidPour",
 year         = "2011",
 title        = "Proving programs robust",
 editor       = "Tibor Gyim{\'o}thy and Andreas Zeller",
 booktitle    = "{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",
 publisher    = "ACM",
 pages        = "102--112",
 doi          = "10.1145/2025113.2025131",
)
@article(dijkstra59,
 author       = "E. W. Dijkstra",
 year         = "1959",
 title        = "A Note on Two Problems in Connexion with Graphs",
 journal      = "Numer. Math.",
 volume       = "1",
 pages        = "269--271",
)
@techreport(gazeau12hal,
 author       = "Ivan Gazeau and Dale Miller and Catuscia Palamidessi",
 year         = "2012",
 title        = "{A non-local method for robustness analysis of floating point programs}",
 type         = "Technical Report",
 institution  = "INRIA",
 url          = "http://hal.inria.fr/hal-00665995",
)
@article(goldberg91surveys,
 author       = "D. Goldberg",
 year         = "1991",
 title        = "What every computer scientist should know about floating-point arithmetic",
 journal      = "ACM Computing Surveys",
 volume       = "23",
 number       = "1",
 pages        = "5--47",
)
@inproceedings(goubault01sas,
 author       = "Eric Goubault",
 year         = "2001",
 title        = "Static Analyses of the Precision of Floating-Point Operations",
 editor       = "Patrick Cousot",
 booktitle    = "Static Analysis, 8th International Symposium",
 series       = "Lecture Notes in Computer Science",
 volume       = "2126",
 publisher    = "Springer Verlag",
 pages        = "234--259",
)
@inproceedings(goubault11vmcai,
 author       = "Eric Goubault and Sylvie Putot",
 year         = "2011",
 title        = "Static Analysis of Finite Precision Computations",
 editor       = "Ranjit Jhala and David A. Schmidt",
 booktitle    = "Verification, Model Checking, and Abstract Interpretation - 12th International Conference, {VMCAI} 2011, Austin, {TX}, {USA}, January 23-25, 2011. Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "6538",
 publisher    = "Springer",
 pages        = "232--247",
 doi          = "10.1007/978-3-642-18275-4",
)
@book(ieee08,
 author       = "{IEEE Task P754}",
 year         = "2008",
 title        = "{IEEE} 754-2008, Standard for Floating-Point Arithmetic",
 publisher    = "IEEE",
 address      = "pub-IEEE-STD:adr",
 doi          = "10.1109/IEEESTD.2008.4610935",
)
@inproceedings(majumdar09rtss,
 author       = "Rupak Majumdar and Indranil Saha",
 year         = "2009",
 title        = "Symbolic Robustness Analysis",
 editor       = "Theodore P. Baker",
 booktitle    = "IEEE Real-Time Systems Symposium",
 publisher    = "IEEE Computer Society",
 pages        = "355--363",
 doi          = "10.1109/RTSS.2009.17",
)
@inproceedings(majumdar10memocode,
 author       = "Rupak Majumdar and Indranil Saha and Zilong Wang",
 year         = "2010",
 title        = "Systematic testing for control applications",
 booktitle    = "MEMOCODE",
 pages        = "1--10",
 doi          = "10.1109/MEMCOD.2010.5558629",
)
@misc(parsec09,
 title        = "The Parsec benchmark suite",
 url          = "http://parsec.cs.princeton.edu/",
)
@inproceedings(pettersson96dc,
 author       = "Stefan Pettersson and Bengt Lennartson",
 year         = "1996",
 title        = "Stability And Robustness For Hybrid Systems",
 booktitle    = "Proceedings of the 35th edition of Decision and Control",
 pages        = "1202--1207",
)
@article(volder59,
 author       = "Jack E. Volder",
 year         = "1959",
 title        = "The {CORDIC} Trigonometric Computing Technique",
 journal      = "IRE Transactions on Electronic Computers",
 volume       = "EC-8",
 pages        = "330--334",
)