2009 |
32 | EE | 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 |
31 | EE | 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 |
2007 |
30 | EE | 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 |
29 | EE | Scott J. Harmon,
Scott A. DeLoach,
Robby:
Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems.
ESAW 2007: 333-349 |
28 | EE | Matthew B. Dwyer,
John Hatcliff,
Robby,
Corina S. Pasareanu,
Willem Visser:
Formal Software Analysis Emerging Trends in Software Model Checking.
FOSE 2007: 120-136 |
27 | EE | 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 |
26 | EE | Xianghua Deng,
Jooyong Lee,
Robby:
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.
ASE 2006: 157-166 |
25 | EE | Robby,
Matthew B. Dwyer,
John Hatcliff:
Domain-specific Model Checking Using The Bogor Framework.
ASE 2006: 369-370 |
24 | EE | Robby,
Scott A. DeLoach,
Valeriy A. Kolesnikov:
Using Design Metrics for Predicting System Flexibility.
FASE 2006: 184-198 |
23 | EE | 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 | EE | Robby,
Matthew B. Dwyer,
John Hatcliff:
Bogor: A Flexible Framework for Creating Software Model Checkers.
TAIC PART 2006: 3-22 |
21 | EE | 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 | EE | 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 | EE | 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 | EE | Matthew B. Dwyer,
Robby,
Oksana Tkachuk,
Willem Visser:
Analyzing Interaction Orderings with Model Checking.
ASE 2004: 154-163 |
17 | EE | 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 | EE | 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 | EE | Robby,
Edwin Rodríguez,
Matthew B. Dwyer,
John Hatcliff:
Checking Strong Specifications Using an Extensible Software Model Checking Framework.
TACAS 2004: 404-420 |
13 | EE | John Hatcliff,
Robby,
Matthew B. Dwyer:
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking.
VMCAI 2004: 175-190 |
12 | EE | 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 | EE | Matthew B. Dwyer,
Robby,
Xianghua Deng,
John Hatcliff:
Space Reductions for Model Checking Quasi-Cyclic Systems.
EMSOFT 2003: 173-189 |
10 | EE | Robby,
Matthew B. Dwyer,
John Hatcliff:
Bogor: an extensible and highly-modular software model checking framework.
ESEC / SIGSOFT FSE 2003: 267-276 |
9 | EE | 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 | EE | 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 | EE | 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 | EE | John Hatcliff,
Matthew B. Dwyer,
Corina S. Pasareanu,
Robby:
Foundations of the Bandera Abstraction Tools.
The Essence of Computation 2002: 172-203 |
5 | EE | 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 | EE | 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 | EE | 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 |