]> BibSonomy publications for /author/Hatcliff http://www.bibsonomy.org/burst/author/Hatcliff BibSonomy BuRST Feed for /author/Hatcliff 2008-07-27T02:29:46+02:00 Using Petri Net Invariants in State Space Construction. dblphttp://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 ]]> TACASconf/tacas/2003473-488Lecture Notes in Computer ScienceUsing Petri Net Invariants in State Space Construction.26192003dblp 2008-06-12 00:00:00.0 Specification and Checking of Software Contracts for Conditional Information Flow. dblphttp://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 ]]> FMconf/fm/2008229-245Lecture Notes in Computer ScienceSpecification and Checking of Software Contracts for Conditional Information Flow.50142008dblp 2008-06-09 00:00:00.0 Bogor: an extensible and highly-modular software model checking framework. dblphttp://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 ]]> ESEC / SIGSOFT FSEconf/sigsoft/2003267-276Bogor: an extensible and highly-modular software model checking framework.2003dblp 2008-05-09 00:00:00.0 A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. dblphttp://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 ]]> GPCEconf/gpce/200733-42A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures.2007dblp 2008-04-09 00:00:00.0 Supporting model checking education using BOGOR/Eclipse. dblphttp://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 ]]> ETXconf/eclipse/200488-92Supporting model checking education using BOGOR/Eclipse.2004dblp 2008-04-02 00:00:00.0 A correlation framework for the CORBA component model. dblphttp://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 ]]> STTT5-6417-427A correlation framework for the CORBA component model.92007dblp 2008-01-07 00:00:00.0 Slicing concurrent Java programs using Indus and Kaveri. dblphttp://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 ]]> STTT5-6489-504Slicing concurrent Java programs using Indus and Kaveri.92007dblp 2008-01-07 00:00:00.0 Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. dblphttp://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 ]]> SEFMconf/sefm/2007273-282Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.2007dblp 2007-12-06 00:00:00.0 A new foundation for control dependence and slicing for modern program structures. dblphttp://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 ]]> ACM Trans. Program. Lang. Syst.5A new foundation for control dependence and slicing for modern program structures.292007dblp 2007-11-06 00:00:00.0 PEPM 2006 paper abstracts. dblphttp://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 ]]> SIGPLAN Notices34-8PEPM 2006 paper abstracts.412006dblp 2007-06-05 00:00:00.0