Papers


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: