Upcoming Events and Travels

23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), L'Aquila, Italy, September 15 - 19, 2008 (Expert-Review Panel Member)

2008 Workshop on Experiments in Verified Software (VS-EXPERIMENTS) - a part of the 2nd IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2008), Toronto, Canada, October 10, 2008 (PC Member)

7th Specification and Verification of Component-Based Systems (SAVCBS) Workshop at SIGSOFT 2008/FSE 16, Atlanta, Georgia, November 9 - 10, 2008 (PC Chair)


Recent Papers

Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve. Specification and Checking of Software Contracts for Conditional Information Flow (extended version). FM 2008: 229-245; Examples.

Scott Harmon, Scott A. DeLoach, Robby. Trace-based Specification of Law and Guidance Policies for Multiagent Systems. ESAW 2007 (to appear).

Xianghua Deng, Robby, John Hatcliff. Kiasan/KUnit: Automatic Test Case Generation and Analysis Feedback for Open Object-oriented Systems (extended version). TAIC PART 2007.
Experiment Data:
lazy, lazier#.

Xianghua Deng, Robby, John Hatcliff. Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs (extended version). SEFM 2007: 273-282.
Experiment Data:
lazy, lazier, lazier#.

Venkatesh P. Ranganath, John Hatcliff, Robby. Enabling Efficient Partial Order Reductions for Model Checking Object-Oriented Programs Using Static Calculation of Program Dependences (extended version). Technical Report SAnToS-TR2007-2.

Juan C. Garcia-Ojeda, Scott A. DeLoach, Robby, Walamitien H. Oyenan, Jorge Valenzuela. O-MaSE: A Customizable Approach to Developing Multiagent Processes. AOSE 2007: 1-15.

Matthew B. Dwyer, John Hatcliff, Robby, Corina Pasareanu, Willem Visser. Formal Software Analysis: Emerging Trends in Software Model Checking. ICSE FoSE 2007: 120-136.

Robby

Assistant Professor


SAnToS and MACR Laboratories

Department of Computing and Information Sciences, Kansas State University

316A Nichols Hall, Manhattan, KS 66506

Phone: (785) 532-6350/7904 (direct)

Fax: (785) 532-7353

E-mail: robby@cis.ksu.edu


CV  DBLP