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.
