Home


Robby
    Robby
    Professor
    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
    STRESS'18

Recent Papers


Fengguo Wei, Sankardas Roy, Xinming Ou, Robby: Amandroid: A Precise and General Inter-component Data Flow Analysis Framework for Security Vetting of Android Apps. TOPS 21 (3): 14:1-14:32, 2018. [Download]


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. FHIES/SEHC 2014: 26-43.


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.