@inproceedings{JayaramanRH05, title = {Kaveri: Delivering the Indus Java Program Slicer to Eclipse}, author = {Ganeshan Jayaraman and Venkatesh Prasad Ranganath and John Hatcliff}, year = {2005}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=269}, tags = {Java, Eclipse, slicing}, researchr = {https://researchr.org/publication/JayaramanRH05}, cites = {0}, citedby = {0}, pages = {269-272}, booktitle = {Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, editor = {Maura Cerioli}, volume = {3442}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-25420-X}, } @inproceedings{HatcliffD94, title = {A Generic Account of Continuation-Passing Styles}, author = {John Hatcliff and Olivier Danvy}, year = {1994}, researchr = {https://researchr.org/publication/HatcliffD94}, cites = {0}, citedby = {0}, pages = {458-471}, booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, } @article{HatcliffHLMWW09, title = {A Software Certification Consortium and its Top 9 Hurdles}, author = {John Hatcliff and Mats Per Erik Heimdahl and Mark Lawford and T. S. E. Maibaum and Alan Wassyng and Fred L. Wurden}, year = {2009}, doi = {10.1016/j.entcs.2009.09.002}, url = {http://dx.doi.org/10.1016/j.entcs.2009.09.002}, tags = {certification}, researchr = {https://researchr.org/publication/HatcliffHLMWW09}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {238}, number = {4}, pages = {11-17}, } @inproceedings{HatcliffDL98, title = {Staging Static Analyses Using Abstraction-Based Program Specialization}, author = {John Hatcliff and Matthew B. Dwyer and Shawn Laubach}, year = {1998}, url = {http://link.springer.de/link/service/series/0558/bibs/1490/14900134.htm}, tags = {rule-based, abstraction}, researchr = {https://researchr.org/publication/HatcliffDL98}, cites = {0}, citedby = {0}, pages = {134-151}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP 98 Held Jointly with the 7th International Conference, ALP 98, Pisa, Italy, September 16-18, 1998, Proceedings}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, volume = {1490}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-65012-1}, } @article{BaileyHT06, title = {PEPM 2006 paper abstracts}, author = {Mark W. Bailey and John Hatcliff and Frank Tip}, year = {2006}, doi = {10.1145/1140543.1140545}, url = {http://doi.acm.org/10.1145/1140543.1140545}, researchr = {https://researchr.org/publication/BaileyHT06}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {41}, number = {3}, pages = {4-8}, } @article{RobbyRDH06, title = {Checking JML specifications using an extensible software model checking framework}, author = {Robby and Edwin Rodríguez and Matthew B. Dwyer and John Hatcliff}, year = {2006}, doi = {10.1007/s10009-005-0218-5}, url = {http://dx.doi.org/10.1007/s10009-005-0218-5}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/RobbyRDH06}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {8}, number = {3}, pages = {280-299}, } @article{RobbyDHI03, title = {Space-Reduction Strategies for Model Checking Dynamic Software}, author = {Robby and Matthew B. Dwyer and John Hatcliff and Radu Iosif}, year = {2003}, url = {http://www.elsevier.com/gej-ng/31/29/23/141/23/show/Products/notes/index.htt#009}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/RobbyDHI03}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {89}, number = {3}, pages = {499-517}, } @inproceedings{RobbyRDH04, title = {Checking Strong Specifications Using an Extensible Software Model Checking Framework}, author = {Robby and Edwin Rodríguez and Matthew B. Dwyer and John Hatcliff}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=404}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/RobbyRDH04}, cites = {0}, citedby = {0}, pages = {404-420}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee}, editor = {Kurt Jensen and Andreas Podelski}, volume = {2988}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-21299-X}, } @inproceedings{DwyerRDH03, title = {Space Reductions for Model Checking Quasi-Cyclic Systems}, author = {Matthew B. Dwyer and Robby and Xianghua Deng and John Hatcliff}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2855&spage=173}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/DwyerRDH03}, cites = {0}, citedby = {0}, pages = {173-189}, booktitle = {Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings}, editor = {Rajeev Alur and Insup Lee}, volume = {2855}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-20223-4}, } @inproceedings{RobbyDH06, title = {Domain-specific Model Checking Using The Bogor Framework}, author = {Robby and Matthew B. Dwyer and John Hatcliff}, year = {2006}, doi = {10.1109/ASE.2006.34}, url = {http://doi.ieeecomputersociety.org/10.1109/ASE.2006.34}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/RobbyDH06}, cites = {0}, citedby = {0}, pages = {369-370}, booktitle = {21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan}, publisher = {IEEE Computer Society}, isbn = {0-7695-2579-2}, } @inproceedings{RodriguezDFHLR05, title = {Extending JML for Modular Specification and Verification of Multi-threaded Programs}, author = {Edwin Rodríguez and Matthew B. Dwyer and Cormac Flanagan and John Hatcliff and Gary T. Leavens and Robby}, year = {2005}, doi = {10.1007/11531142_24}, url = {http://dx.doi.org/10.1007/11531142_24}, tags = {program verification}, researchr = {https://researchr.org/publication/RodriguezDFHLR05}, cites = {0}, citedby = {0}, pages = {551-576}, booktitle = {ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings}, editor = {Andrew P. Black}, volume = {3586}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-27992-X}, } @inproceedings{Hatcliff08, title = {Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows}, author = {John Hatcliff}, year = {2008}, doi = {10.1007/978-3-540-88194-0_3}, url = {http://dx.doi.org/10.1007/978-3-540-88194-0_3}, tags = {rule-based, contracts, data-flow, certification, workflow}, researchr = {https://researchr.org/publication/Hatcliff08}, cites = {0}, citedby = {0}, pages = {3-4}, booktitle = {Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}, editor = {Shaoying Liu and T. S. E. Maibaum and Keijiro Araki}, volume = {5256}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-88193-3}, } @article{RanganathH07, title = {Slicing concurrent Java programs using Indus and Kaveri}, author = {Venkatesh Prasad Ranganath and John Hatcliff}, year = {2007}, doi = {10.1007/s10009-007-0043-0}, url = {http://dx.doi.org/10.1007/s10009-007-0043-0}, tags = {Java, slicing}, researchr = {https://researchr.org/publication/RanganathH07}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {9}, number = {5-6}, pages = {489-504}, } @inproceedings{CorbettDHR00, title = {Bandera: a source-level interface for model checking Java programs}, author = {James C. Corbett and Matthew B. Dwyer and John Hatcliff and Robby}, year = {2000}, doi = {10.1145/337180.337625}, url = {http://doi.acm.org/10.1145/337180.337625}, tags = {Java, meta programming, model checking, meta-model, source-to-source, C++, Meta-Environment, open-source}, researchr = {https://researchr.org/publication/CorbettDHR00}, cites = {0}, citedby = {0}, pages = {762-765}, booktitle = {ICSE}, } @inproceedings{DwyerHHRRW06, title = {Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs}, author = {Matthew B. Dwyer and John Hatcliff and Matthew Hoosier and Venkatesh Prasad Ranganath and Robby and Todd Wallentine}, year = {2006}, doi = {10.1007/11691372_5}, url = {http://dx.doi.org/10.1007/11691372_5}, tags = {object-oriented programming, slicing, object-role modeling, subject-oriented programming, feature-oriented programming}, researchr = {https://researchr.org/publication/DwyerHHRRW06}, cites = {0}, citedby = {0}, pages = {73-89}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedi}, editor = {Holger Hermanns and Jens Palsberg}, volume = {3920}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-33056-9}, } @article{HatcliffD97:0, title = {Thunks and the lambda-Calculus}, author = {John Hatcliff and Olivier Danvy}, year = {1997}, researchr = {https://researchr.org/publication/HatcliffD97%3A0}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {7}, number = {3}, pages = {303-319}, } @article{JungH07:0, title = {A correlation framework for the CORBA component model}, author = {Georg Jung and John Hatcliff}, year = {2007}, doi = {10.1007/s10009-007-0041-2}, url = {http://dx.doi.org/10.1007/s10009-007-0041-2}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/JungH07%3A0}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {9}, number = {5-6}, pages = {417-427}, } @inproceedings{HoosierHRD04, title = {A Case Study in Domain-customized Model Checking for Real-time Component Software}, author = {Matthew Hoosier and John Hatcliff and Robby and Matthew B. Dwyer}, year = {2004}, tags = {case study, software components, model checking, meta-model, software component, Meta-Environment}, researchr = {https://researchr.org/publication/HoosierHRD04}, cites = {0}, citedby = {0}, pages = {261-267}, booktitle = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings}, editor = {Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspieß}, volume = {TR-2004-6}, series = {Technical Report}, publisher = {Department of Computer Science, University of Cyprus}, } @article{DwyerHRR04, title = {Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs}, author = {Matthew B. Dwyer and John Hatcliff and Robby and Venkatesh Prasad Ranganath}, year = {2004}, url = {http://www.springerlink.com/index/10.1023/B:FORM.0000040028.49845.67}, tags = {object-oriented programming, meta programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects}, researchr = {https://researchr.org/publication/DwyerHRR04}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {25}, number = {2-3}, pages = {199-240}, } @inproceedings{RobbyDH03, title = {Bogor: an extensible and highly-modular software model checking framework}, author = {Robby and Matthew B. Dwyer and John Hatcliff}, year = {2003}, doi = {10.1145/940071.940107}, url = {http://doi.acm.org/10.1145/940071.940107}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/RobbyDH03}, cites = {0}, citedby = {0}, pages = {267-276}, booktitle = {Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003}, publisher = {ACM}, } @inproceedings{ChildsGRDDHJSS04, title = {Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems}, author = {Adam Childs and Jesse Greenwald and Venkatesh Prasad Ranganath and Xianghua Deng and Matthew B. Dwyer and John Hatcliff and Georg Jung and Prashant Shanti and Gurdip Singh}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2984&spage=160}, tags = {rule-based, meta-model, analysis, model-driven development, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/ChildsGRDDHJSS04}, cites = {0}, citedby = {0}, pages = {160-164}, booktitle = {Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings}, editor = {Michel Wermelinger and Tiziana Margaria}, volume = {2984}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-21305-8}, } @inproceedings{DengRH06, title = {Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution}, author = {Xianghua Deng and Robby and John Hatcliff}, year = {2006}, doi = {10.1109/ISoLA.2006.60}, url = {http://dx.doi.org/10.1109/ISoLA.2006.60}, tags = {rule-based, Java, testing}, researchr = {https://researchr.org/publication/DengRH06}, cites = {0}, citedby = {0}, pages = {137}, booktitle = {Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006}, publisher = {IEEE}, } @article{DanvyH92:0, title = {CPS-Transformation After Strictness Analysis}, author = {Olivier Danvy and John Hatcliff}, year = {1992}, tags = {analysis, transformation}, researchr = {https://researchr.org/publication/DanvyH92%3A0}, cites = {0}, citedby = {0}, journal = {LOPLAS}, volume = {1}, number = {3}, pages = {195-212}, } @inproceedings{KingPAHWSJJW09, title = {An open test bed for medical device integration and coordination}, author = {Andrew King and Sam Procter and Daniel Andresen and John Hatcliff and Steve Warren and William Spees and Raoul Praful Jetley and Paul L. Jones and Sandy Weininger}, year = {2009}, doi = {10.1109/ICSE-COMPANION.2009.5070972}, url = {http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5070972}, tags = {testing, source-to-source, open-source}, researchr = {https://researchr.org/publication/KingPAHWSJJW09}, cites = {0}, citedby = {0}, pages = {141-151}, booktitle = {31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume}, publisher = {IEEE}, isbn = {978-1-4244-3494-7}, } @article{BartheHS99, title = {CPS Translations and Applications: The Cube and Beyond}, author = {Gilles Barthe and John Hatcliff and Morten Heine Sørensen}, year = {1999}, tags = {translation}, researchr = {https://researchr.org/publication/BartheHS99}, cites = {0}, citedby = {0}, journal = {Higher-Order and Symbolic Computation}, volume = {12}, number = {2}, pages = {125-170}, } @article{DwyerHN98, title = {Using Partial Evaluation to Enable Verification of Concurrent Software}, author = {Matthew B. Dwyer and John Hatcliff and Muhammad Nanda}, year = {1998}, doi = {10.1145/289121.289143}, url = {http://doi.acm.org/10.1145/289121.289143}, tags = {partial evaluation}, researchr = {https://researchr.org/publication/DwyerHN98}, cites = {0}, citedby = {0}, journal = {ACM Computing Surveys}, volume = {30}, number = {3es}, pages = {22}, } @inproceedings{HatcliffCDSZ99, title = {A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives}, author = {John Hatcliff and James C. Corbett and Matthew B. Dwyer and Stefan Sokolowski and Hongjun Zheng}, year = {1999}, url = {http://link.springer.de/link/service/series/0558/bibs/1694/16940001.htm}, tags = {slicing, C++}, researchr = {https://researchr.org/publication/HatcliffCDSZ99}, cites = {0}, citedby = {0}, pages = {1-18}, booktitle = {Static Analysis, 6th International Symposium, SAS 99, Venice, Italy, September 22-24, 1999, Proceedings}, editor = {Agostino Cortesi and Gilberto Filé}, volume = {1694}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-66459-9}, } @article{LeePCHKLRS06, title = {High-Confidence Medical Device Software and Systems}, author = {Insup Lee and George J. Pappas and Rance Cleaveland and John Hatcliff and Bruce H. Krogh and Peter Lee and Harvey Rubin and Lui Sha}, year = {2006}, doi = {10.1109/MC.2006.127}, url = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.127}, researchr = {https://researchr.org/publication/LeePCHKLRS06}, cites = {0}, citedby = {0}, journal = {IEEE Computer}, volume = {39}, number = {4}, pages = {33-38}, } @article{GaravelH06:0, title = {TACAS 2003 Special Issue - Preface}, author = {Hubert Garavel and John Hatcliff}, year = {2006}, doi = {10.1016/j.tcs.2005.11.014}, url = {http://dx.doi.org/10.1016/j.tcs.2005.11.014}, researchr = {https://researchr.org/publication/GaravelH06%3A0}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {354}, number = {2}, pages = {169-172}, } @article{Hatcliff98:0, title = {Foundations for Partial Evaluation of Functional Programs with Computational Effects}, author = {John Hatcliff}, year = {1998}, doi = {10.1145/289121.289134}, url = {http://doi.acm.org/10.1145/289121.289134}, tags = {functional programming, partial evaluation}, researchr = {https://researchr.org/publication/Hatcliff98%3A0}, cites = {0}, citedby = {0}, journal = {ACM Computing Surveys}, volume = {30}, number = {3es}, pages = {13}, } @inproceedings{Hatcliff95, title = {Mechanically Verifying the Correctness of an Offline Partial Evaluator}, author = {John Hatcliff}, year = {1995}, tags = {partial evaluation}, researchr = {https://researchr.org/publication/Hatcliff95}, cites = {0}, citedby = {0}, pages = {279-298}, booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP 95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings}, editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra}, volume = {982}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60359-X}, } @inproceedings{Hatcliff98, title = {An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language}, author = {John Hatcliff}, year = {1998}, tags = {partial evaluation}, researchr = {https://researchr.org/publication/Hatcliff98}, cites = {0}, citedby = {0}, pages = {20-82}, booktitle = {Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998}, editor = {John Hatcliff and Torben Æ. Mogensen and Peter Thiemann}, volume = {1706}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-66710-5}, } @inproceedings{DwyerHRPV07, title = {Formal Software Analysis Emerging Trends in Software Model Checking}, author = {Matthew B. Dwyer and John Hatcliff and Robby and Corina S. Pasareanu and Willem Visser}, year = {2007}, doi = {10.1145/1253532.1254714}, url = {http://doi.acm.org/10.1145/1253532.1254714}, tags = {model checking, meta-model, analysis, Meta-Environment}, researchr = {https://researchr.org/publication/DwyerHRPV07}, cites = {0}, citedby = {0}, pages = {120-136}, booktitle = {International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA}, editor = {Lionel C. Briand and Alexander L. Wolf}, } @inproceedings{DengDHJRS02, title = {Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software}, author = {Xianghua Deng and Matthew B. Dwyer and John Hatcliff and Georg Jung and Robby and Gurdip Singh}, year = {2002}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=154}, tags = {rule-based, model checking, meta-model, embedded software, Meta-Environment}, researchr = {https://researchr.org/publication/DengDHJRS02}, cites = {0}, citedby = {0}, pages = {154-181}, booktitle = {Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, volume = {2852}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-20303-6}, } @article{HatcliffD97, title = {A Computational Formalization for Partial Evaluation}, author = {John Hatcliff and Olivier Danvy}, year = {1997}, tags = {partial evaluation}, researchr = {https://researchr.org/publication/HatcliffD97}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {7}, number = {5}, pages = {507-541}, } @inproceedings{HatcliffD01, title = {Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software}, author = {John Hatcliff and Matthew B. Dwyer}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2154/21540039.htm}, tags = {Java, model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/HatcliffD01}, cites = {0}, citedby = {0}, pages = {39-58}, booktitle = {CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings}, editor = {Kim Guldstrand Larsen and Mogens Nielsen}, volume = {2154}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-42497-0}, } @inproceedings{HatcliffDDJRR03, title = {Slicing and partial evaluation of CORBA component model designs for avionics system}, author = {John Hatcliff and William Deng and Matthew B. Dwyer and Georg Jung and Venkatesh Prasad Ranganath and Robby}, year = {2003}, doi = {10.1145/777388.777389}, url = {http://doi.acm.org/10.1145/777388.777389}, tags = {slicing, partial evaluation}, researchr = {https://researchr.org/publication/HatcliffDDJRR03}, cites = {0}, citedby = {0}, pages = {1-2}, booktitle = {Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003}, publisher = {ACM}, isbn = {1-58113-667-6}, } @inproceedings{DanvyH93, title = {On the Transformation between Direct and Continuation Semantics}, author = {Olivier Danvy and John Hatcliff}, year = {1993}, tags = {semantics, transformation}, researchr = {https://researchr.org/publication/DanvyH93}, cites = {0}, citedby = {0}, pages = {627-648}, booktitle = {Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings}, editor = {Stephen D. Brookes and Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt}, volume = {802}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58027-1}, } @inproceedings{DanvyH92, title = {Thunks (Continued)}, author = {Olivier Danvy and John Hatcliff}, year = {1992}, researchr = {https://researchr.org/publication/DanvyH92}, cites = {0}, citedby = {0}, pages = {3-11}, booktitle = {WSA}, } @inproceedings{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}, year = {2007}, doi = {10.1109/SEFM.2007.43}, url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.43}, tags = {object-oriented programming, subject-oriented programming, feature-oriented programming}, researchr = {https://researchr.org/publication/DengRH07}, cites = {0}, citedby = {0}, pages = {273-282}, booktitle = {Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-2884-7}, } @inproceedings{DwyerH99, title = {Slicing Software for Model Construction}, author = {Matthew B. Dwyer and John Hatcliff}, year = {1999}, tags = {meta-model, slicing, Meta-Environment}, researchr = {https://researchr.org/publication/DwyerH99}, cites = {0}, citedby = {0}, pages = {105-118}, booktitle = {PEPM}, } @inproceedings{DwyerHH04, title = {Supporting model checking education using BOGOR/Eclipse}, author = {Matthew B. Dwyer and John Hatcliff and Matthew Hoosier}, year = {2004}, doi = {10.1145/1066129.1066147}, url = {http://doi.acm.org/10.1145/1066129.1066147}, tags = {Eclipse, model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/DwyerHH04}, cites = {0}, citedby = {0}, pages = {88-92}, booktitle = {Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, ETX 2004, Vancouver, British Columbia, Canada, October 24, 2004}, editor = {Michael G. Burke}, publisher = {ACM}, } @article{CorbettDH02, title = {Expressing checkable properties of dynamic systems: the Bandera Specification Language}, author = {James C. Corbett and Matthew B. Dwyer and John Hatcliff and Robby}, year = {2002}, url = {http://link.springer.de/link/service/journals/10009/bibs/2004001/20040034.htm}, tags = {C++}, researchr = {https://researchr.org/publication/CorbettDH02}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {4}, number = {1}, pages = {34-56}, } @inproceedings{JungHR04, title = {A Correlation Framework for the CORBA Component Model}, author = {Georg Jung and John Hatcliff and Venkatesh Prasad Ranganath}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2984&spage=144}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/JungHR04}, cites = {0}, citedby = {0}, pages = {144-159}, booktitle = {Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings}, editor = {Michel Wermelinger and Tiziana Margaria}, volume = {2984}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-21305-8}, } @inproceedings{JungH07, title = {A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures}, author = {Georg Jung and John Hatcliff}, year = {2007}, doi = {10.1145/1289971.1289979}, url = {http://doi.acm.org/10.1145/1289971.1289979}, tags = {architecture}, researchr = {https://researchr.org/publication/JungH07}, cites = {0}, citedby = {0}, pages = {33-42}, booktitle = {Generative Programming and Component Engineering, 6th International Conference, GPCE 2007}, editor = {Charles Consel and Julia L. Lawall}, address = {Salzburg, Austria}, publisher = {ACM}, isbn = {978-1-59593-855-8}, } @article{IosifDH05, title = {Translating Java for Multiple Model Checkers: The Bandera Back-End}, author = {Radu Iosif and Matthew B. Dwyer and John Hatcliff}, year = {2005}, doi = {10.1007/s10703-005-1491-3}, url = {http://dx.doi.org/10.1007/s10703-005-1491-3}, tags = {Java, translation}, researchr = {https://researchr.org/publication/IosifDH05}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {26}, number = {2}, pages = {137-180}, } @article{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}, year = {2007}, doi = {10.1145/1275497.1275502}, url = {http://doi.acm.org/10.1145/1275497.1275502}, tags = {slicing}, researchr = {https://researchr.org/publication/RanganathABHD07}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {29}, number = {5}, pages = {27}, } @article{BartheHT97, title = {Monadic Type Systems: Pure Type Systems for Impure Settings}, author = {Gilles Barthe and John Hatcliff and Peter Thiemann}, year = {1997}, url = {http://www.elsevier.com/gej-ng/31/29/23/35/23/show/Products/notes/index.htt#009}, tags = {type system}, researchr = {https://researchr.org/publication/BartheHT97}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {10}, pages = {54-120}, } @inproceedings{BartheHS97, title = {Reflections on Reflections}, author = {Gilles Barthe and John Hatcliff and Morten Heine Sørensen}, year = {1997}, tags = {reflection}, researchr = {https://researchr.org/publication/BartheHS97}, cites = {0}, citedby = {0}, pages = {241-258}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP 97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, volume = {1292}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63398-7}, } @inproceedings{RanganathCGDHS03, title = {Cadena: enabling CCM-based application development in Eclipse}, author = {Venkatesh Prasad Ranganath and Adam Childs and Jesse Greenwald and Matthew B. Dwyer and John Hatcliff and Gurdip Singh}, year = {2003}, doi = {10.1145/965660.965665}, url = {http://doi.acm.org/10.1145/965660.965665}, tags = {rule-based, Eclipse}, researchr = {https://researchr.org/publication/RanganathCGDHS03}, cites = {0}, citedby = {0}, pages = {20-24}, booktitle = {Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, October 2003, Anaheim, CA, USA}, editor = {Michael G. Burke}, publisher = {ACM}, } @inproceedings{RodriguezDHR04, title = {A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking}, author = {Edwin Rodríguez and Matthew B. Dwyer and John Hatcliff and Robby}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3362&spage=210}, tags = {model checking, meta-model, Meta-Environment, coverage}, researchr = {https://researchr.org/publication/RodriguezDHR04}, cites = {0}, citedby = {0}, pages = {210-228}, booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers}, editor = {Gilles Barthe and Lilian Burdy and Marieke Huisman and Jean-Louis Lanet and Traian Muntean}, volume = {3362}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-24287-2}, } @inproceedings{HatcliffDPR02, title = {Foundations of the Bandera Abstraction Tools}, author = {John Hatcliff and Matthew B. Dwyer and Corina S. Pasareanu and Robby}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2566/25660172.htm}, tags = {abstraction}, researchr = {https://researchr.org/publication/HatcliffDPR02}, cites = {0}, citedby = {0}, pages = {172-203}, booktitle = {The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]}, editor = {Torben Æ. Mogensen and David A. Schmidt and Ivan Hal Sudborough}, volume = {2566}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-00326-6}, } @inproceedings{KingPAHWSJJW09a, title = {Demonstration of a medical device integration and coordination framework}, author = {Andrew King and Sam Procter and Daniel Andresen and John Hatcliff and Steve Warren and William Spees and Raoul Praful Jetley and Paul L. Jones and Sandy Weininger}, year = {2009}, doi = {10.1109/ICSE-COMPANION.2009.5071048}, url = {http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071048}, researchr = {https://researchr.org/publication/KingPAHWSJJW09a}, cites = {0}, citedby = {0}, pages = {433-434}, booktitle = {31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume}, publisher = {IEEE}, isbn = {978-1-4244-3494-7}, } @inproceedings{HatcliffRD04, title = {Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking}, author = {John Hatcliff and Robby and Matthew B. Dwyer}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2937&spage=175}, tags = {model checking, meta-model, object-role modeling, Meta-Environment}, researchr = {https://researchr.org/publication/HatcliffRD04}, cites = {0}, citedby = {0}, pages = {175-190}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings}, editor = {Bernhard Steffen and Giorgio Levi}, volume = {2937}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-20803-8}, } @article{BartheHS97:0, title = {A notion of classical pure type system}, author = {Gilles Barthe and John Hatcliff and Morten Heine Sørensen}, year = {1997}, url = {http://dx.doi.org/0.1016/S1571-0661(05)80170-7}, tags = {type system}, researchr = {https://researchr.org/publication/BartheHS97%3A0}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {6}, pages = {4-59}, } @inproceedings{DwyerHHR05, title = {Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework}, author = {Matthew B. Dwyer and John Hatcliff and Matthew Hoosier and Robby}, year = {2005}, doi = {10.1007/11513988_15}, url = {http://dx.doi.org/10.1007/11513988_15}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/DwyerHHR05}, cites = {0}, citedby = {0}, pages = {148-152}, booktitle = {Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings}, editor = {Kousha Etessami and Sriram K. Rajamani}, volume = {3576}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-27231-3}, } @article{10.1109-SCAM.2006.3, title = {An Overview of the Indus Framework for Analysis and Slicing of Concurrent Java Software (Keynote Talk - Extended Abstract)}, author = {Venkatesh Prasad Ranganath and John Hatcliff}, year = {2006}, doi = {10.1109/SCAM.2006.3}, url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2006.3}, tags = {Java, analysis, slicing}, researchr = {https://researchr.org/publication/10.1109-SCAM.2006.3}, cites = {0}, citedby = {0}, journal = {Source Code Analysis and Manipulation, IEEE International Workshop on}, volume = {0}, } @article{ChildsGJHH06, title = {CALM and Cadena: Metamodeling for Component-Based Product-Line Development}, author = {Adam Childs and Jesse Greenwald and Georg Jung and Matthew Hoosier and John Hatcliff}, year = {2006}, doi = {10.1109/MC.2006.51}, url = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.51}, tags = {rule-based, product line}, researchr = {https://researchr.org/publication/ChildsGJHH06}, cites = {0}, citedby = {0}, journal = {IEEE Computer}, volume = {39}, number = {2}, pages = {42-50}, } @inproceedings{RanganathABDH05, title = {A New Foundation for Control-Dependence and Slicing for Modern Program Structures}, author = {Venkatesh Prasad Ranganath and Torben Amtoft and Anindya Banerjee and Matthew B. Dwyer and John Hatcliff}, year = {2005}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3444&spage=77}, tags = {slicing}, researchr = {https://researchr.org/publication/RanganathABDH05}, cites = {0}, citedby = {0}, pages = {77-93}, booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, editor = {Shmuel Sagiv}, volume = {3444}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-25435-8}, } @inproceedings{CorbettDHLPRZ00, title = {Bandera: extracting finite-state models from Java source code}, author = {James C. Corbett and Matthew B. Dwyer and John Hatcliff and Shawn Laubach and Corina S. Pasareanu and Robby and Hongjun Zheng}, year = {2000}, doi = {10.1145/337180.337234}, url = {http://doi.acm.org/10.1145/337180.337234}, tags = {Java, source-to-source, C++, open-source}, researchr = {https://researchr.org/publication/CorbettDHLPRZ00}, cites = {0}, citedby = {0}, pages = {439-448}, booktitle = {ICSE}, } @inproceedings{DengDHM04, title = {SyncGen: An Aspect-Oriented Framework for Synchronization}, author = {Xianghua Deng and Matthew B. Dwyer and John Hatcliff and Masaaki Mizuno}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=158}, tags = {synchronization}, researchr = {https://researchr.org/publication/DengDHM04}, cites = {0}, citedby = {0}, pages = {158-162}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee}, editor = {Kurt Jensen and Andreas Podelski}, volume = {2988}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-21299-X}, } @article{BartheHS01, title = {An induction principle for pure type systems}, author = {Gilles Barthe and John Hatcliff and Morten Heine Sørensen}, year = {2001}, doi = {10.1016/S0304-3975(00)00373-X}, url = {http://dx.doi.org/10.1016/S0304-3975(00)00373-X}, tags = {type system}, researchr = {https://researchr.org/publication/BartheHS01}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {266}, number = {1-2}, pages = {773-818}, } @inproceedings{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}, year = {2008}, doi = {10.1007/978-3-540-68237-0_17}, url = {http://dx.doi.org/10.1007/978-3-540-68237-0_17}, tags = {contracts, data-flow, software contracts}, researchr = {https://researchr.org/publication/AmtoftHRRHG08}, cites = {0}, citedby = {0}, pages = {229-245}, booktitle = {FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings}, editor = {Jorge Cuéllar and T. S. E. Maibaum and Kaisa Sere}, volume = {5014}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-68235-6}, } @inproceedings{RanganathH04, title = {Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs}, author = {Venkatesh Prasad Ranganath and John Hatcliff}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2985&spage=39}, tags = {Java, slicing}, researchr = {https://researchr.org/publication/RanganathH04}, cites = {0}, citedby = {0}, pages = {39-56}, booktitle = {Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}, volume = {2985}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-21297-3}, } @inproceedings{DengDHM02, title = {Invariant-based specification, synthesis, and verification of synchronization in concurrent programs}, author = {Xianghua Deng and Matthew B. Dwyer and John Hatcliff and Masaaki Mizuno}, year = {2002}, doi = {10.1145/581339.581394}, url = {http://doi.acm.org/10.1145/581339.581394}, tags = {rule-based, synchronization, program verification}, researchr = {https://researchr.org/publication/DengDHM02}, cites = {0}, citedby = {0}, pages = {442-452}, booktitle = {Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA}, publisher = {ACM}, } @article{GaravelH06, title = {Why you should definitely read this special section}, author = {Hubert Garavel and John Hatcliff}, year = {2006}, doi = {10.1007/s10009-005-0199-4}, url = {http://dx.doi.org/10.1007/s10009-005-0199-4}, researchr = {https://researchr.org/publication/GaravelH06}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {8}, number = {1}, pages = {1-3}, } @inproceedings{HoosierDRH04, title = {A Case Study in Domain-Customized Model Checking for Real-Time Component Software}, author = {Matthew Hoosier and Matthew B. Dwyer and Robby and John Hatcliff}, year = {2004}, doi = {10.1007/11925040_11}, url = {http://dx.doi.org/10.1007/11925040_11}, tags = {case study, software components, model checking, meta-model, software component, Meta-Environment}, researchr = {https://researchr.org/publication/HoosierDRH04}, cites = {0}, citedby = {0}, pages = {161-180}, booktitle = {Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers}, editor = {Tiziana Margaria and Bernhard Steffen}, volume = {4313}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-48928-2}, } @article{BartheHS01a, title = {Weak normalization implies strong normalization in a class of non-dependent pure type systems}, author = {Gilles Barthe and John Hatcliff and Morten Heine Sørensen}, year = {2001}, doi = {10.1016/S0304-3975(01)00012-3}, url = {http://dx.doi.org/10.1016/S0304-3975(01)00012-3}, tags = {type system}, researchr = {https://researchr.org/publication/BartheHS01a}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {269}, number = {1-2}, pages = {317-361}, } @inproceedings{RobbyDH06:0, title = {Bogor: A Flexible Framework for Creating Software Model Checkers}, author = {Robby and Matthew B. Dwyer and John Hatcliff}, year = {2006}, doi = {10.1109/TAIC-PART.2006.5}, url = {http://doi.ieeecomputersociety.org/10.1109/TAIC-PART.2006.5}, researchr = {https://researchr.org/publication/RobbyDH06%3A0}, cites = {0}, citedby = {0}, pages = {3-22}, booktitle = {Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART 2006), 29-31 August 2006, Windsor, United Kingdom}, editor = {Phil McMinn}, publisher = {IEEE Computer Society}, isbn = {0-7695-2672-1}, } @inproceedings{HatcliffG96, title = {Reasoning about Hierarchies of Online Program Specialization Systems}, author = {John Hatcliff and Robert Glück}, year = {1996}, researchr = {https://researchr.org/publication/HatcliffG96}, cites = {0}, citedby = {0}, pages = {161-182}, booktitle = {Partial Evaluation}, editor = {Olivier Danvy and Robert Glück and Peter Thiemann}, volume = {1110}, series = {Lecture Notes in Computer Science}, address = {Dagstuhl Castle, Germany}, publisher = {Springer}, isbn = {3-540-61580-6}, } @inproceedings{GluckHJ98, title = {Generalization in Hierarchies of Online Program Specialization Systems}, author = {Robert Glück and John Hatcliff and Jesper Jørgensen}, year = {1998}, url = {http://link.springer.de/link/service/series/0558/bibs/1559/15590179.htm}, researchr = {https://researchr.org/publication/GluckHJ98}, cites = {0}, citedby = {0}, pages = {179-198}, booktitle = {Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR 98, Manchester, UK, June 15-19, 1998, Proceedings}, editor = {Pierre Flener}, volume = {1559}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-65765-7}, } @inproceedings{HatcliffDDJR03, title = {Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems}, author = {John Hatcliff and Xianghua Deng and Matthew B. Dwyer and Georg Jung and Venkatesh Prasad Ranganath}, year = {2003}, url = {http://computer.org/proceedings/icse/1877/18770160abs.htm}, tags = {rule-based, meta-model, analysis, model-driven development, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/HatcliffDDJR03}, cites = {0}, citedby = {0}, pages = {160-173}, booktitle = {Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA}, publisher = {IEEE Computer Society}, } @inproceedings{CorbettDHR00:0, title = {A Language Framework for Expressing Checkable Properties of Dynamic Software}, author = {James C. Corbett and Matthew B. Dwyer and John Hatcliff and Robby}, year = {2000}, tags = {C++}, researchr = {https://researchr.org/publication/CorbettDHR00%3A0}, cites = {0}, citedby = {0}, pages = {205-223}, booktitle = {SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings}, editor = {Klaus Havelund and John Penix and Willem Visser}, volume = {1885}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-41030-9}, } @inproceedings{DwyerHJLPRZV01, title = {Tool-Supported Program Abstraction for Finite-State Verification}, author = {Matthew B. Dwyer and John Hatcliff and Roby Joehanes and Shawn Laubach and Corina S. Pasareanu and Robby and Hongjun Zheng and Willem Visser}, year = {2001}, tags = {program verification, abstraction}, researchr = {https://researchr.org/publication/DwyerHJLPRZV01}, cites = {0}, citedby = {0}, pages = {177-187}, booktitle = {Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada}, publisher = {IEEE Computer Society}, isbn = {0-7695-1050-7}, } @inproceedings{AmtoftHR10, title = {Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays}, author = {Torben Amtoft and John Hatcliff and Edwin Rodríguez}, year = {2010}, doi = {10.1007/978-3-642-11957-6_4}, url = {http://dx.doi.org/10.1007/978-3-642-11957-6_4}, tags = {rule-based, program verification, contracts, data-flow programming, data-flow, certification}, researchr = {https://researchr.org/publication/AmtoftHR10}, cites = {0}, citedby = {0}, pages = {43-63}, booktitle = {Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, editor = {Andrew D. Gordon}, volume = {6012}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-11956-9}, } @article{HatcliffDZ00, title = {Slicing Software for Model Construction}, author = {John Hatcliff and Matthew B. Dwyer and Hongjun Zheng}, year = {2000}, tags = {meta-model, slicing, Meta-Environment}, researchr = {https://researchr.org/publication/HatcliffDZ00}, cites = {0}, citedby = {0}, journal = {Higher-Order and Symbolic Computation}, volume = {13}, number = {4}, pages = {315-353}, } @proceedings{tacas:2003, title = {Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings}, year = {2003}, tags = {analysis}, researchr = {https://researchr.org/publication/tacas%3A2003}, cites = {0}, citedby = {0}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings}, conference = {TACAS}, editor = {Hubert Garavel and John Hatcliff}, volume = {2619}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-00898-5}, } @proceedings{pepm:1998, title = {Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998}, year = {1999}, tags = {partial evaluation}, researchr = {https://researchr.org/publication/pepm%3A1998}, cites = {0}, citedby = {0}, booktitle = {Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998}, conference = {PEPM}, editor = {John Hatcliff and Torben Æ. Mogensen and Peter Thiemann}, volume = {1706}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-66710-5}, } @proceedings{pepm:2006, title = {Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006}, year = {2006}, tags = {semantics, partial evaluation}, researchr = {https://researchr.org/publication/pepm%3A2006}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006}, conference = {PEPM}, editor = {John Hatcliff and Frank Tip}, publisher = {ACM}, isbn = {1-59593-196-1}, }