BibSonomy publications for /author/Hoosier http://www.bibsonomy.org/author/Hoosier BibSonomy RSS Feed for /author/Hoosier A Case Study in Domain-customized Model Checking for Real-time Component Software. dblp http://www.bibsonomy.org/bibtex/2e34615c2fa7c713e4b44c2bdeb081290/dblp dblp 2008-09-11T00:00:00+02:00 dblp
A Case Study in Domain-customized Model Checking for Real-time Component Software.
Matthew Hoosier and John Hatcliff and Robby and Matthew B. Dwyer ISoLA (Preliminary proceedings) 261-267 (2004)
to dblp by dblp and 1 other person on 2008-09-11 00:00:00
]]> Supporting model checking education using BOGOR/Eclipse. dblp http://www.bibsonomy.org/bibtex/22f19b2ea45bfef8ebe0ce3f3839b5457/dblp dblp 2008-04-02T00:00:00+02:00 dblp
Supporting model checking education using BOGOR/Eclipse.
Matthew B. Dwyer and John Hatcliff and Matthew Hoosier ETX 88-92 (2004)
to dblp by dblp on 2008-04-02 00:00:00
]]> A Case Study in Domain-Customized Model Checking for Real-Time Component Software. dblp http://www.bibsonomy.org/bibtex/2c695dd42851d175a0bd9b3e3a978a6bf/dblp dblp 2006-11-15T00:00:00+01:00 dblp
A Case Study in Domain-Customized Model Checking for Real-Time Component Software.
Matthew Hoosier and Matthew B. Dwyer and Robby and John Hatcliff ISoLA 161-180 (2004)
to dblp by dblp and 1 other person on 2006-11-15 00:00:00
]]> CALM and Cadena: Metamodeling for Component-Based Product-Line Development. dblp http://www.bibsonomy.org/bibtex/2d6acdf851e47d47fe2fd5d5020b47465/dblp dblp 2006-04-27T00:00:00+02:00 dblp
CALM and Cadena: Metamodeling for Component-Based Product-Line Development.
Adam Childs and Jesse Greenwald and Georg Jung and Matthew Hoosier and John Hatcliff IEEE Computer 39 42-50 (2006)
to dblp by dblp on 2006-04-27 00:00:00
]]> Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. dblp http://www.bibsonomy.org/bibtex/28c090c2ab72869ea402f09eed3ff645c/dblp dblp 2006-04-03T00:00:00+02:00 dblp
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs.
Matthew B. Dwyer and John Hatcliff and Matthew Hoosier and Venkatesh Prasad Ranganath and Robby and Todd Wallentine TACAS 73-89 (2006)
to dblp by dblp on 2006-04-03 00:00:00
]]> Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. dblp http://www.bibsonomy.org/bibtex/2a0476f22e0b0de64e23de8c033582a4c/dblp dblp 2005-07-28T00:00:00+02:00 dblp
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework.
Matthew B. Dwyer and John Hatcliff and Matthew Hoosier and Robby CAV 148-152 (2005)
to dblp by dblp on 2005-07-28 00:00:00
]]>