Recent Papers

Venkatesh-Prasad Ranganath, Yu Jin Kim, John Hatcliff, Robby: Communication Patterns for Interconnecting and Composing Medical Systems. EMBC 2015 (invited, to appear).

Yu Jin Kim, John Hatcliff, Venkatesh-Prasad Ranganath, Robby, Sandy Weininger: Integrated Clinical Environment Device Model: Stakeholders and High Level Requirements. MedCPS 2015 (to appear).

Sam Procter, John Hatcliff: An architecturally-integrated, systems-based hazard analysis for medical applications. MEMOCODE 2014: 124-133.

Fengguo Wei, Sankardas Roy, Xinming Ou, Robby: Amandroid: A Precise and General Inter-component Data Flow Analysis Framework for Security Vetting of Android Apps. CCS 2014: 1329-1341. [Download]

Venkatesh-Prasad Ranganath, Pradip Vallathol, Pankaj Gupta: Compatibility testing using patterns-based trace comparison. ASE 2014: 469-478.

John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones Certifiably safe software-dependent systems: challenges and directions. ICSE FOSE 2014: 182-200.

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.

Sam Procter, John Hatcliff, Robby: Towards an AADL-Based Definition of App Architectures for Medical Application Platforms. SEHC 2014 (to appear).

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.

Eugene Vasserman, John Hatcliff: Foundational Security Principles for Medical Application Platforms - (Extended Abstract). WISA 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: