Searching for authors named "Matthew Hoosier" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

A case study in domain-customized model checking for real-time component software
by Matthew Hoosier, John Hatcliff, Matthew B. Dwyer — 2004 — in Proceedings of the 1st International Symposium on Leveraging Applications of Formal Method
…A Case Study in Domain-customized Model Checking for Real-time Component Software Matthew Hoosier…
Cited by 1 (1 self) – Add To MetaCart

Component-Based Product-Line Development
by Metamodeling For, Adam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff
… Adam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, and John Hatcliff Kansas State University…
Add To MetaCart

Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs
by Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Ranganath, Todd Wallentine — 2006 — In: Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’2006
… Matthew B. Dwyer 1 , John Hatcliff 2 , Matthew Hoosier 2 , Venkatesh Ranganath 2 , Robby 2 , and Todd…
Cited by 8 (2 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB