| 2006 |
|---|
| 6 | 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 |
| 5 | EE | Adam Childs,
Jesse Greenwald,
Georg Jung,
Matthew Hoosier,
John Hatcliff:
CALM and Cadena: Metamodeling for Component-Based Product-Line Development.
IEEE Computer 39(2): 42-50 (2006) |
| 2005 |
|---|
| 4 | 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 |
| 2004 |
|---|
| 3 | EE | Matthew B. Dwyer,
John Hatcliff,
Matthew Hoosier:
Supporting model checking education using BOGOR/Eclipse.
ETX 2004: 88-92 |
| 2 | 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 |
| 1 | | 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 |
