@inproceedings{conf/tacas/Schmidt03,
	title = {Using Petri Net Invariants in State Space Construction.},
	author = {Karsten Schmidt 0004},
	booktitle = {TACAS},
	crossref = {conf/tacas/2003},
	editor = {Hubert Garavel and John Hatcliff},
	pages = {473-488},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2003.html#Schmidt03},
	volume = {2619},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2ac6a7083adc5bec5c3e823bd84f54674/dblp},
	description = {dblp},
	date = {2008-06-12}, ee = {http://link.springer.de/link/service/series/0558/bibs/2619/26190473.htm}, isbn = {3-540-00898-5},
	keywords = {dblp }
}

@inproceedings{conf/fm/AmtoftHRRHG08,
	title = {Specification and Checking of Software Contracts for Conditional Information Flow.},
	author = {Torben Amtoft and John Hatcliff and Edwin Rodríguez and  Robby and Jonathan Hoag and David Greve},
	booktitle = {FM},
	crossref = {conf/fm/2008},
	editor = {Jorge Cuéllar and T. S. E. Maibaum and Kaisa Sere},
	pages = {229-245},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fm/fm2008.html#AmtoftHRRHG08},
	volume = {5014},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/252a35458c10075128c42e8783c4c65d0/dblp},
	description = {dblp},
	date = {2008-06-09}, ee = {http://dx.doi.org/10.1007/978-3-540-68237-0_17}, isbn = {978-3-540-68235-6},
	keywords = {dblp }
}

@inproceedings{conf/sigsoft/RobbyDH03,
	title = {Bogor: an extensible and highly-modular software model checking framework.},
	author = { Robby and Matthew B. Dwyer and John Hatcliff},
	booktitle = {ESEC / SIGSOFT FSE},
	crossref = {conf/sigsoft/2003},
	pages = {267-276},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2003.html#RobbyDH03},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2a143f7cfe79013c5c3438cbbc0603de9/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/940071.940107}, date = {2008-05-09},
	keywords = {dblp }
}

@inproceedings{conf/gpce/JungH07,
	title = {A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures.},
	author = {Georg Jung and John Hatcliff},
	booktitle = {GPCE},
	crossref = {conf/gpce/2007},
	editor = {Charles Consel and Julia L. Lawall},
	pages = {33-42},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/gpce/gpce2007.html#JungH07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2cb450e48505a844b4f8716ff5cddd702/dblp},
	description = {dblp},
	date = {2008-04-09}, ee = {http://doi.acm.org/10.1145/1289971.1289979}, isbn = {978-1-59593-855-8},
	keywords = {dblp }
}

@inproceedings{conf/eclipse/DwyerHH04,
	title = {Supporting model checking education using BOGOR/Eclipse.},
	author = {Matthew B. Dwyer and John Hatcliff and Matthew Hoosier},
	booktitle = {ETX},
	crossref = {conf/eclipse/2004},
	editor = {Michael G. Burke},
	pages = {88-92},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/eclipse/eclipse2004.html#DwyerHH04},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/22f19b2ea45bfef8ebe0ce3f3839b5457/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1066129.1066147}, date = {2008-04-02},
	keywords = {dblp }
}

@article{journals/sttt/JungH07,
	title = {A correlation framework for the CORBA component model.},
	author = {Georg Jung and John Hatcliff},
	journal = {STTT},
	number = {5-6},
	pages = {417-427},
	url = {http://dblp.uni-trier.de/db/journals/sttt/sttt9.html#JungH07},
	volume = {9},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2cd84a855dcf5be5b4f251a456ac08d5b/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s10009-007-0041-2}, date = {2008-01-07},
	keywords = {dblp }
}

@article{journals/sttt/RanganathH07,
	title = {Slicing concurrent Java programs using Indus and Kaveri.},
	author = {Venkatesh Prasad Ranganath and John Hatcliff},
	journal = {STTT},
	number = {5-6},
	pages = {489-504},
	url = {http://dblp.uni-trier.de/db/journals/sttt/sttt9.html#RanganathH07},
	volume = {9},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/231fc35573e528327436874652d13e278/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s10009-007-0043-0}, date = {2008-01-07},
	keywords = {dblp }
}

@inproceedings{conf/sefm/DengRH07,
	title = {Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.},
	author = {Xianghua Deng and  Robby and John Hatcliff},
	booktitle = {SEFM},
	crossref = {conf/sefm/2007},
	pages = {273-282},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#DengRH07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2d7ab8e098e2e18df5832cd9a069a3560/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.43}, isbn = {978-0-7695-2884-7}, date = {2007-12-06},
	keywords = {dblp }
}

@article{journals/toplas/RanganathABHD07,
	title = {A new foundation for control dependence and slicing for modern program structures.},
	author = {Venkatesh Prasad Ranganath and Torben Amtoft and Anindya Banerjee and John Hatcliff and Matthew B. Dwyer},
	journal = {ACM Trans. Program. Lang. Syst.},
	number = {5},
	url = {http://dblp.uni-trier.de/db/journals/toplas/toplas29.html#RanganathABHD07},
	volume = {29},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2a01a723adfe53a64491d5400c7c50b37/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1275497.1275502}, date = {2007-11-06},
	keywords = {dblp }
}

@article{journals/sigplan/BaileyHT06,
	title = {PEPM 2006 paper abstracts.},
	author = {Mark W. Bailey and John Hatcliff and Frank Tip},
	journal = {SIGPLAN Notices},
	number = {3},
	pages = {4-8},
	url = {http://dblp.uni-trier.de/db/journals/sigplan/sigplan41.html#BaileyHT06},
	volume = {41},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/21e35b0a385c1e3c91dc18b20c5fc9690/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1140543.1140545}, date = {2007-06-05},
	keywords = {dblp }
}