BibSonomy publications for /author/Hatcliff http://www.bibsonomy.org/author/Hatcliff BibSonomy RSS Feed for /author/Hatcliff Using Petri Net Invariants in State Space Construction. dblp http://www.bibsonomy.org/bibtex/2ac6a7083adc5bec5c3e823bd84f54674/dblp dblp 2008-06-12T00:00:00+02:00 dblp
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
]]> Specification and Checking of Software Contracts for Conditional Information Flow. dblp http://www.bibsonomy.org/bibtex/252a35458c10075128c42e8783c4c65d0/dblp dblp 2008-06-09T00:00:00+02:00 dblp
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
]]> Bogor: an extensible and highly-modular software model checking framework. dblp http://www.bibsonomy.org/bibtex/2a143f7cfe79013c5c3438cbbc0603de9/dblp dblp 2008-05-09T00:00:00+02:00 dblp
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
]]> A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. dblp http://www.bibsonomy.org/bibtex/2cb450e48505a844b4f8716ff5cddd702/dblp dblp 2008-04-09T00:00:00+02:00 dblp
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
]]> 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 correlation framework for the CORBA component model. dblp http://www.bibsonomy.org/bibtex/2cd84a855dcf5be5b4f251a456ac08d5b/dblp dblp 2008-01-07T00:00:00+01:00 dblp
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
]]> Slicing concurrent Java programs using Indus and Kaveri. dblp http://www.bibsonomy.org/bibtex/231fc35573e528327436874652d13e278/dblp dblp 2008-01-07T00:00:00+01:00 dblp
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
]]> Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. dblp http://www.bibsonomy.org/bibtex/2d7ab8e098e2e18df5832cd9a069a3560/dblp dblp 2007-12-06T00:00:00+01:00 dblp
Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.
Xianghua Deng and Robby and John Hatcliff SEFM 273-282 (2007)
to dblp by dblp on 2007-12-06 00:00:00
]]> A new foundation for control dependence and slicing for modern program structures. dblp http://www.bibsonomy.org/bibtex/2a01a723adfe53a64491d5400c7c50b37/dblp dblp 2007-11-06T00:00:00+01:00 dblp
A new foundation for control dependence and slicing for modern program structures.
Venkatesh Prasad Ranganath and Torben Amtoft and Anindya Banerjee and John Hatcliff and Matthew B. Dwyer ACM Trans. Program. Lang. Syst. 29 (2007)
to dblp by dblp on 2007-11-06 00:00:00
]]> PEPM 2006 paper abstracts. dblp http://www.bibsonomy.org/bibtex/21e35b0a385c1e3c91dc18b20c5fc9690/dblp dblp 2007-06-05T00:00:00+02:00 dblp
PEPM 2006 paper abstracts.
Mark W. Bailey and John Hatcliff and Frank Tip SIGPLAN Notices 41 4-8 (2006)
to dblp by dblp on 2007-06-05 00:00:00
]]>