SAnToS Laboratory
    Department of Computer Science
    College of Engineering, Kansas State University
    2181 Engineering Hall
    1701D Platt Street, Manhattan, KS 66506
    Phone/Fax: (785) 532-6350/7353
    E-mail: robby@k-state.edu

    Bib   Citations   Code   Honors   Sireum Logika Logika

Recent Papers

Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu: Focused Certification of an Industrial Compilation and Static Verification Toolchain. SEFM 2017: 17-34. [Coq proofs and experiment data].

Yu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby: Ecosphere Principles for Medical Application Platforms. ICHI 2015: 193-198.

Venkatesh-Prasad Ranganath, Yu Jin Kim, John Hatcliff, Robby: Communication Patterns for Interconnecting and Composing Medical Systems. EMBC 2015: 1711-1716.

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).

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]

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

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].

John Hatcliff, Robby, Patrice Chalin, Jason Belt: Explicating Symbolic Execution (xSymExe): An Evidence-Based Verification Framework. ICSE 2013: 222-231.

Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury: Past Expression: Encapsulating Pre-states at Post-conditions by Means of AOP. AOSD 2013: 133-144.

Other publications can be found at DBLP or Google Scholar.