Bibsonomy :: author  ::

bookmarks

publications

(5)

• 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
  | URL | BibTeX  
• 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 on 2006-11-15 00:00:00
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX