Matthew Hoosier (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

6		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		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)
4		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
3		Matthew B. Dwyer, John Hatcliff, Matthew Hoosier: Supporting model checking education using BOGOR/Eclipse. ETX 2004: 88-92
2		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

Selection of 6 from 6 records - Matthew Hoosier has 8 coauthors