Matthew Hoosier

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

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)
Adam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff
CALM and Cadena: Metamodeling for Component-Based Product-Line Development. Computer 39 (2) (2006)
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. CAV (2005)
Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff
A Case Study in Domain-Customized Model Checking for Real-Time Component Software. ISoLA (2004)
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)
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier
Supporting model checking education using BOGOR/Eclipse. eTX (2004)