| 2009 | ||
|---|---|---|
| 38 | Scott J. Harmon, Scott A. DeLoach, Robby: From abstract qualities to concrete specification using guidance policies. AAMAS (2) 2009: 1343-1344 | |
| 37 | Juan C. García-Ojeda, Scott A. DeLoach, Robby: agentTool III: from process definition to code generation. AAMAS (2) 2009: 1393-1394 | |
| 36 | Jason Belt, Robby, Xianghua Deng: Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. ESEC/SIGSOFT FSE 2009: 355-364 | |
| 35 | Scott J. Harmon, Scott A. DeLoach, Robby: Abstract Requirement Analysis in Multiagent System Design. IAT 2009: 86-91 | |
| 34 | Juan C. García-Ojeda, Scott A. DeLoach, Robby: agentTool process editor: supporting the design of tailored agent-based processes. SAC 2009: 707-714 | |
| 2008 | ||
| 33 | Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve: Specification and Checking of Software Contracts for Conditional Information Flow. FM 2008: 229-245 | |
| 32 | Scott J. Harmon, Scott A. DeLoach, Robby, Doina Caragea: Leveraging Organizational Guidance Policies with Learning to Self-Tune Multiagent Systems. SASO 2008: 223-232 | |
| 2007 | ||
| 31 | Juan C. García-Ojeda, Scott A. DeLoach, Robby, Walamitien H. Oyenan, Jorge Valenzuela: O-MaSE: A Customizable Approach to Developing Multiagent Development Processes. AOSE 2007: 1-15 | |
| 30 | Scott J. Harmon, Scott A. DeLoach, Robby: Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems. ESAW 2007: 333-349 | |
| 29 | Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser: Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136 | |
| 28 | Xianghua Deng, Robby, John Hatcliff: Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. SEFM 2007: 273-282 | |
| 2006 | ||
| 27 | Xianghua Deng, Jooyong Lee, Robby: Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. ASE 2006: 157-166 | |
| 26 | Robby, Matthew B. Dwyer, John Hatcliff: Domain-specific Model Checking Using The Bogor Framework. ASE 2006: 369-370 | |
| 25 | Robby, Scott A. DeLoach, Valeriy A. Kolesnikov: Using Design Metrics for Predicting System Flexibility. FASE 2006: 184-198 | |
| 24 | Xianghua Deng, Robby, John Hatcliff: Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. ISoLA 2006: 137 | |
| 23 | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine: Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. TACAS 2006: 73-89 | |
| 22 | Robby, Matthew B. Dwyer, John Hatcliff: Bogor: A Flexible Framework for Creating Software Model Checkers. TAIC PART 2006: 3-22 | |
| 21 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff: Checking JML specifications using an extensible software model checking framework. STTT 8(3): 280-299 (2006) | |
| 2005 | ||
| 20 | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby: Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. CAV 2005: 148-152 | |
| 19 | Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby: Extending JML for Modular Specification and Verification of Multi-threaded Programs. ECOOP 2005: 551-576 | |
| 2004 | ||
| 18 | Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser: Analyzing Interaction Orderings with Model Checking. ASE 2004: 154-163 | |
| 17 | Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby: A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. CASSIS 2004: 210-228 | |
| 16 | Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff: A Case Study in Domain-Customized Model Checking for Real-Time Component Software. ISoLA 2004: 161-180 | |
| 15 | Matthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer: A Case Study in Domain-customized Model Checking for Real-time Component Software. ISoLA (Preliminary proceedings) 2004: 261-267 | |
| 14 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff: Checking Strong Specifications Using an Extensible Software Model Checking Framework. TACAS 2004: 404-420 | |
| 13 | John Hatcliff, Robby, Matthew B. Dwyer: Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. VMCAI 2004: 175-190 | |
| 12 | Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath: Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods in System Design 25(2-3): 199-240 (2004) | |
| 2003 | ||
| 11 | Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff: Space Reductions for Model Checking Quasi-Cyclic Systems. EMSOFT 2003: 173-189 | |
| 10 | Robby, Matthew B. Dwyer, John Hatcliff: Bogor: an extensible and highly-modular software model checking framework. ESEC / SIGSOFT FSE 2003: 267-276 | |
| 9 | John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby: Slicing and partial evaluation of CORBA component model designs for avionics system. PEPM 2003: 1-2 | |
| 8 | Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif: Space-Reduction Strategies for Model Checking Dynamic Software. Electr. Notes Theor. Comput. Sci. 89(3): (2003) | |
| 2002 | ||
| 7 | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh: Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. FMCO 2002: 154-181 | |
| 6 | John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby: Foundations of the Bandera Abstraction Tools. The Essence of Computation 2002: 172-203 | |
| 5 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: Expressing checkable properties of dynamic systems: the Bandera Specification Language. STTT 4(1): 34-56 (2002) | |
| 2001 | ||
| 4 | Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser: Tool-Supported Program Abstraction for Finite-State Verification. ICSE 2001: 177-187 | |
| 2000 | ||
| 3 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng: Bandera: extracting finite-state models from Java source code. ICSE 2000: 439-448 | |
| 2 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: Bandera: a source-level interface for model checking Java programs. ICSE 2000: 762-765 | |
| 1 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: A Language Framework for Expressing Checkable Properties of Dynamic Software. SPIN 2000: 205-223 | |