Matthew Hoosier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2004–2006
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | TACAS | 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 |
| 2005 | CAV | Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby |
| 2004 | ISoLA | A Case Study in Domain-Customized Model Checking for Real-Time Component Software. | Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff |
| 2004 | ISoLA | A Case Study in Domain-customized Model Checking for Real-time Component Software. | Matthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer |