Software
Sireum/Kiasan for Java v0.0.20090524
A JML contract-based automatic verification
and test case generation tool-set for Java
Upcoming Events and Travels
Dagstuhl Seminar on The Java Modeling Language, Saarbrücken, Germany, July 13 - 17, 2009 (Co-organizer)
7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2009), Amsterdam, the Netherlands, August 24 - 28, 2009 (Participant)
Dagstuhl Seminar on Interaction versus Automation: The Two Faces of Deduction, Saarbrücken, Germany, October 4 - 9, 2009 (Participant)
2009 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2009), Orlando, Florida, October 25 - 29, 2009 (Research PC Member, JML Tutorial Co-presenter)
Recent Papers
Scott Harmon, Scott A. DeLoach, Robby. Abstract Requirement Analysis in Multiagent System Design. Accepted at the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Techology (IAT 2009).
Robby, Patrice Chalin. Preliminary Design of a Unified JML Representation and Software Infrastructure. Technical Report SAnToS-TR2009-04-01, SAnToS Laboratory, Department of Computing and Information Sciences, Kansas State University, April, 2009 (accepted at FTfJP 2009).
Jason Belt, Robby, Xianghua Deng. Sireum/Topi LDP: A Lightweight Semi-Decision Procedure for Optimizing Symbolic Execution-based Analysis. Technical Report SAnToS-TR2009-03-16, SAnToS Laboratory, Department of Computing and Information Sciences, Kansas State University, March, 2009 (accepted at ESEC/FSE 2009).
Juan Carlos Garcia-Ojeda, Scott A. DeLoach, Robby. agentTool III: From Process Definition to Code Generation. AAMAS (2) 2009: 1393-1394.
Scott Harmon, Scott A. DeLoach, Robby. From Abstract Qualities to Concrete Specification using Guidance Policies. AAMAS (2) 2009: 1343-1344.
Juan C. Garcia-Ojeda, Scott A. DeLoach, Robby. agentTool Process Editor: Supporting The Design of Tailored Agent-based Processes. ACM SAC - AOMP 2009: 707-714.
Scott Harmon, Scott A. DeLoach, Robby, Doina Caragea. Leveraging Organizational Guidance Policies with Learning to Self-tune Multiagent Systems. SASO 2008: 223-232.
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.









