Venkatesh-Prasad Ranganath, Pradip Vallathol, Pankaj Gupta: Compatibility testing using patterns-based trace comparison. ASE 2014: 469-478.
Christian Bird, Venkatesh-Prasad Ranganath, Thomas Zimmermann, Nachiappan Nagappan, Andreas Zeller: Extrinsic influence factors in software reliability: a study of 200,000 windows machines. ICSE SEIP 2014: 205-214.
Brian Larson, John Hatcliff, Kim Fowler, Julien Delange: Illustrating the AADL error modeling annex (v. 2) using a simple safety-critical medical device. HILT 2013: 65-84.
Pierre Courtieu, Maria Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jerome Guitton, Trevor Jennings: Towards The Formalization of SPARK 2014 Semantics With Explicit Run-time Checks Using Coq. HILT 2013: 21-22. [Coq doc and source].
Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff: Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday. EPTCS 129, 2013.
John Hatcliff, Robby, Patrice Chalin, Jason Belt: Explicating Symbolic Execution (xSymExe): An Evidence-Based Verification Framework. ICSE 2013: 222-231.
Brian Larson, John Hatcliff, Patrice Chalin: Open source patient-controlled analgesic pump requirements documentation SEHC 2013: 28-34.
Brian Larson, Patrice Chalin, John Hatcliff: BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software. NFM 2013: 276-290.
Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury: Past Expression: Encapsulating Pre-states at Post-conditions by Means of AOP. AOSD 2013: 133-144.
Darren Cofer, John Hatcliff, Michaela Huhn, Mark Lawford: Software Certification: Methods and Tools (Dagstuhl Seminar 13051). Dagstuhl Reports 3(1), 2013: 111-148.
Other publications can be found at each of SAnToS faculty DBLP or Google Scholar pages: