Home¶
|
Robby Professor Peggy and Gary Edwards - Carl and Mary Ice Keystone Research Scholar SAnToS Lab, Department of Computer Science, Kansas State University 2181 Engineering Hall, 1701D Platt Street, Manhattan, KS 66506, USA Phone/Fax: +1 (785) 532-6350/7353 E-mail: robby@k-state.edu Bib Citations Code Honors Sireum  Logika
Currently on sabbatical leave hosted by Collins Aerospace |
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]
John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang: A Unified Approach for Modeling, Developing, and Assuring Critical Systems. ISoLA (1) 2018: 225-245.
Robby, John Hatcliff, Jason Belt: Model-Based Development for High-Assurance Embedded Systems. ISoLA (1) 2018: 539-545.
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.
Other publications can be found at DBLP or Google Scholar.