Matthew Hoosier
According to our database1,
Matthew Hoosier
authored at least 5 papers
between 2004 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2006
Computer, 2006
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs.
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.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
A Case Study in Domain-customized Model Checking for Real-time Component Software.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, 2004