Department of Computing & Information Sciences
College of Engineering, Kansas State University
2181 Engineering Hall
1701D Platt Street, Manhattan, KS 66506
Phone/Fax: (785) 532-6350/7353
Bib Citations Code Honors
Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu: Who Checks The Checkers? You Won’t Believe The Answer To This One. Technical Report SAnToS-TR2016-03-11, SAnToS Laboratory, Department of Computing and Information Sciences, Kansas State University, March 2016. [Coq proofs and experiment data] (submitted for publication).
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.