BibSonomy :: author  :: Hatcliff ::

bookmarks

publications

(151)

• Formal Software Analysis Emerging Trends in Software Model Checking.
  Matthew B. Dwyer and John Hatcliff and Robby and Corina S. Pasareanu and Willem Visser FOSE 120-136 (2007)
  to dblp by dblp on 2008-10-31 00:00:00
  | URL | BibTeX  
• Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows.
  John Hatcliff ICFEM 3-4 (2008)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• Using Petri Net Invariants in State Space Construction.
  Karsten Schmidt TACAS 473-488 (2003)
  to dblp by dblp on 2008-06-12 00:00:00
  | URL | BibTeX  
• Specification and Checking of Software Contracts for Conditional Information Flow.
  Torben Amtoft and John Hatcliff and Edwin Rodríguez and Robby and Jonathan Hoag and David Greve FM 229-245 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• Bogor: an extensible and highly-modular software model checking framework.
  Robby and Matthew B. Dwyer and John Hatcliff ESEC / SIGSOFT FSE 267-276 (2003)
  to dblp by dblp on 2008-05-09 00:00:00
  | URL | BibTeX  
• A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures.
  Georg Jung and John Hatcliff GPCE 33-42 (2007)
  to dblp by dblp on 2008-04-09 00:00:00
  | URL | BibTeX  
• 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 correlation framework for the CORBA component model.
  Georg Jung and John Hatcliff STTT 9 417-427 (2007)
  to dblp by dblp on 2008-01-07 00:00:00
  | URL | BibTeX  
• Slicing concurrent Java programs using Indus and Kaveri.
  Venkatesh Prasad Ranganath and John Hatcliff STTT 9 489-504 (2007)
  to dblp by dblp on 2008-01-07 00:00:00
  | URL | BibTeX