Supporting model checking education using BOGOR/Eclipse. - Matthew B. Dwyer; John Hatcliff; Matthew Hoosier (eTX, 2004)

A Case Study in Domain-customized Model Checking for Real-time Component Software. - Matthew Hoosier; John Hatcliff; Robby; Matthew B. Dwyer (ISoLA (Preliminary proceedings), 2004)

Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. - Matthew B. Dwyer; John Hatcliff; Matthew Hoosier; Robby (CAV, 2005)

Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. - Matthew B. Dwyer; John Hatcliff; Matthew Hoosier; Venkatesh Prasad Ranganath; Robby; Todd Wallentine (TACAS, 2006)

CALM and Cadena: Metamodeling for Component-Based Product-Line Development. - Adam Childs; Jesse Greenwald; Georg Jung; Matthew Hoosier; John Hatcliff (Computer, 2006)