Matthew Hoosier

According to our database, Matthew Hoosier authored at least 5 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

CALM and Cadena: Metamodeling for Component-Based Product-Line Development.

Adam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff

Computer, 2006

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

2005

Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework.

Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

A Case Study in Domain-customized Model Checking for Real-time Component Software.

Matthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Supporting model checking education using BOGOR/Eclipse.

Matthew B. Dwyer, John Hatcliff, Matthew Hoosier

Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, 2004