Home¶
|
Associate Professor SAnToS Laboratory Department of Computing and Information Sciences Kansas State University 324B Nichols Hall, Manhattan, KS 66506 Phone/Fax: (785) 532-6350/7353 E-mail: robby@k-state.edu Bib Citations Code Honors |
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. 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.
Xianghua Deng, Jooyong Lee, Robby: Efficient and Formal Generalized Symbolic Execution. Autom. Softw. Eng. 19(3): 233-301 (2012).
Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng: Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. NFM 2012: 295-309.
Hariharan Thiagarajan, John Hatcliff, Jason Belt, Robby: Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK. SCAM 2012: 132-137.
Other publications can be found at DBLP or Google Scholar.