Robby     Robby, Ph.D.
    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

    CV   Bib   Citations   Code   Honors   Sireum  MDCF  Compilers

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 (to appear).

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. NASA Formal Methods 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.