publications:
- title: "Kaveri: Delivering the Indus Java Program Slicer to Eclipse"
  author:
  - name: "Ganeshan Jayaraman"
    link: "https://researchr.org/alias/ganeshan-jayaraman"
  - name: "Venkatesh Prasad Ranganath"
    link: "https://researchr.org/alias/venkatesh-prasad-ranganath"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=269"
  links:
    doi: "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: "FASE"
  kind: "inproceedings"
  key: "JayaramanRH05"
- title: "A Generic Account of Continuation-Passing Styles"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1994"
  researchr: "https://researchr.org/publication/HatcliffD94"
  cites: 0
  citedby: 0
  pages: "458-471"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "HatcliffD94"
- title: "A Software Certification Consortium and its Top 9 Hurdles"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Mats Per Erik Heimdahl"
    link: "https://researchr.org/alias/mats-per-erik-heimdahl"
  - name: "Mark Lawford"
    link: "https://researchr.org/alias/mark-lawford"
  - name: "T. S. E. Maibaum"
    link: "https://researchr.org/alias/t.-s.-e.-maibaum"
  - name: "Alan Wassyng"
    link: "https://researchr.org/alias/alan-wassyng"
  - name: "Fred L. Wurden"
    link: "https://researchr.org/alias/fred-l.-wurden"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.09.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.09.002"
  tags:
  - "certification"
  researchr: "https://researchr.org/publication/HatcliffHLMWW09"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "238"
  number: "4"
  pages: "11-17"
  kind: "article"
  key: "HatcliffHLMWW09"
- title: "Staging Static Analyses Using Abstraction-Based Program Specialization"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Shawn Laubach"
    link: "https://researchr.org/alias/shawn-laubach"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1490/14900134.htm"
  links:
    doi: "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: "plilp"
  kind: "inproceedings"
  key: "HatcliffDL98"
- title: "PEPM 2006 paper abstracts"
  author:
  - name: "Mark W. Bailey"
    link: "https://researchr.org/alias/mark-w.-bailey"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Frank Tip"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/tip.index.html"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1140543.1140545"
  links:
    doi: "http://doi.acm.org/10.1145/1140543.1140545"
  researchr: "https://researchr.org/publication/BaileyHT06"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "41"
  number: "3"
  pages: "4-8"
  kind: "article"
  key: "BaileyHT06"
- title: "Checking JML specifications using an extensible software model checking framework"
  author:
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Edwin Rodríguez"
    link: "https://researchr.org/alias/edwin-rodr%C3%ADguez"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10009-005-0218-5"
  links:
    doi: "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"
  kind: "article"
  key: "RobbyRDH06"
- title: "Space-Reduction Strategies for Model Checking Dynamic Software"
  author:
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Radu Iosif"
    link: "https://researchr.org/alias/radu-iosif"
  year: "2003"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/141/23/show/Products/notes/index.htt#009"
  links:
    doi: "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: "ENTCS"
  volume: "89"
  number: "3"
  pages: "499-517"
  kind: "article"
  key: "RobbyDHI03"
- title: "Checking Strong Specifications Using an Extensible Software Model Checking Framework"
  author:
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Edwin Rodríguez"
    link: "https://researchr.org/alias/edwin-rodr%C3%ADguez"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=404"
  links:
    doi: "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: "TACAS"
  kind: "inproceedings"
  key: "RobbyRDH04"
- title: "Space Reductions for Model Checking Quasi-Cyclic Systems"
  author:
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Xianghua Deng"
    link: "https://researchr.org/alias/xianghua-deng"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2855&spage=173"
  links:
    doi: "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: "emsoft"
  kind: "inproceedings"
  key: "DwyerRDH03"
- title: "Domain-specific Model Checking Using The Bogor Framework"
  author:
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2006.34"
  links:
    doi: "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: "ASE"
  kind: "inproceedings"
  key: "RobbyDH06"
- title: "Extending JML for Modular Specification and Verification of Multi-threaded Programs"
  author:
  - name: "Edwin Rodríguez"
    link: "https://researchr.org/alias/edwin-rodr%C3%ADguez"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Cormac Flanagan"
    link: "https://researchr.org/alias/cormac-flanagan"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Gary T. Leavens"
    link: "https://researchr.org/alias/gary-t.-leavens"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11531142_24"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "RodriguezDFHLR05"
- title: "Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-88194-0_3"
  links:
    doi: "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: "icfem"
  kind: "inproceedings"
  key: "Hatcliff08"
- title: "Slicing concurrent Java programs using Indus and Kaveri"
  author:
  - name: "Venkatesh Prasad Ranganath"
    link: "https://researchr.org/alias/venkatesh-prasad-ranganath"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10009-007-0043-0"
  links:
    doi: "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"
  kind: "article"
  key: "RanganathH07"
- title: "Bandera: a source-level interface for model checking Java programs"
  author:
  - name: "James C. Corbett"
    link: "https://researchr.org/alias/james-c.-corbett"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/337180.337625"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CorbettDHR00"
- title: "Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs"
  author:
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Matthew Hoosier"
    link: "https://researchr.org/alias/matthew-hoosier"
  - name: "Venkatesh Prasad Ranganath"
    link: "https://researchr.org/alias/venkatesh-prasad-ranganath"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Todd Wallentine"
    link: "https://researchr.org/alias/todd-wallentine"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11691372_5"
  links:
    doi: "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: "TACAS"
  kind: "inproceedings"
  key: "DwyerHHRRW06"
- title: "Thunks and the lambda-Calculus"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1997"
  researchr: "https://researchr.org/publication/HatcliffD97%3A0"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "7"
  number: "3"
  pages: "303-319"
  kind: "article"
  key: "HatcliffD97:0"
- title: "A correlation framework for the CORBA component model"
  author:
  - name: "Georg Jung"
    link: "https://researchr.org/alias/georg-jung"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10009-007-0041-2"
  links:
    doi: "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"
  kind: "article"
  key: "JungH07:0"
- title: "A Case Study in Domain-customized Model Checking for Real-time Component Software"
  author:
  - name: "Matthew Hoosier"
    link: "https://researchr.org/alias/matthew-hoosier"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/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: "ISoLA"
  kind: "inproceedings"
  key: "HoosierHRD04"
- title: "Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs"
  author:
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Venkatesh Prasad Ranganath"
    link: "https://researchr.org/alias/venkatesh-prasad-ranganath"
  year: "2004"
  doi: "http://www.springerlink.com/index/10.1023/B:FORM.0000040028.49845.67"
  links:
    doi: "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: "fmsd"
  volume: "25"
  number: "2-3"
  pages: "199-240"
  kind: "article"
  key: "DwyerHRR04"
- title: "Bogor: an extensible and highly-modular software model checking framework"
  author:
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/940071.940107"
  links:
    doi: "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: "ESEC/FSE"
  kind: "inproceedings"
  key: "RobbyDH03"
- title: "Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems"
  author:
  - name: "Adam Childs"
    link: "https://researchr.org/alias/adam-childs"
  - name: "Jesse Greenwald"
    link: "https://researchr.org/alias/jesse-greenwald"
  - name: "Venkatesh Prasad Ranganath"
    link: "https://researchr.org/alias/venkatesh-prasad-ranganath"
  - name: "Xianghua Deng"
    link: "https://researchr.org/alias/xianghua-deng"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Georg Jung"
    link: "https://researchr.org/alias/georg-jung"
  - name: "Prashant Shanti"
    link: "https://researchr.org/alias/prashant-shanti"
  - name: "Gurdip Singh"
    link: "https://researchr.org/alias/gurdip-singh"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2984&spage=160"
  links:
    doi: "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: "FASE"
  kind: "inproceedings"
  key: "ChildsGRDDHJSS04"
- title: "Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution"
  author:
  - name: "Xianghua Deng"
    link: "https://researchr.org/alias/xianghua-deng"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2006"
  doi: "http://dx.doi.org/10.1109/ISoLA.2006.60"
  links:
    doi: "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: "ISoLA"
  kind: "inproceedings"
  key: "DengRH06"
- title: "CPS-Transformation After Strictness Analysis"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  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"
  kind: "article"
  key: "DanvyH92:0"
- title: "An open test bed for medical device integration and coordination"
  author:
  - name: "Andrew King"
    link: "https://researchr.org/alias/andrew-king"
  - name: "Sam Procter"
    link: "https://researchr.org/alias/sam-procter"
  - name: "Daniel Andresen"
    link: "https://researchr.org/alias/daniel-andresen"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Steve Warren"
    link: "https://researchr.org/alias/steve-warren"
  - name: "William Spees"
    link: "https://researchr.org/alias/william-spees"
  - name: "Raoul Praful Jetley"
    link: "https://researchr.org/alias/raoul-praful-jetley"
  - name: "Paul L. Jones"
    link: "https://researchr.org/alias/paul-l.-jones"
  - name: "Sandy Weininger"
    link: "https://researchr.org/alias/sandy-weininger"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5070972"
  links:
    doi: "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: "ICSE"
  kind: "inproceedings"
  key: "KingPAHWSJJW09"
- title: "CPS Translations and Applications: The Cube and Beyond"
  author:
  - name: "Gilles Barthe"
    link: "https://researchr.org/alias/gilles-barthe"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  year: "1999"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/BartheHS99"
  cites: 0
  citedby: 0
  journal: "lisp"
  volume: "12"
  number: "2"
  pages: "125-170"
  kind: "article"
  key: "BartheHS99"
- title: "Using Partial Evaluation to Enable Verification of Concurrent Software"
  author:
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Muhammad Nanda"
    link: "https://researchr.org/alias/muhammad-nanda"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289121.289143"
  links:
    doi: "http://doi.acm.org/10.1145/289121.289143"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/DwyerHN98"
  cites: 0
  citedby: 0
  journal: "ACM Comput. Surv."
  volume: "30"
  number: "3es"
  pages: "22"
  kind: "article"
  key: "DwyerHN98"
- title: "A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "James C. Corbett"
    link: "https://researchr.org/alias/james-c.-corbett"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Stefan Sokolowski"
    link: "https://researchr.org/alias/stefan-sokolowski"
  - name: "Hongjun Zheng"
    link: "https://researchr.org/alias/hongjun-zheng"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1694/16940001.htm"
  links:
    doi: "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: "SAS"
  kind: "inproceedings"
  key: "HatcliffCDSZ99"
- title: "High-Confidence Medical Device Software and Systems"
  author:
  - name: "Insup Lee"
    link: "https://researchr.org/alias/insup-lee"
  - name: "George J. Pappas"
    link: "https://researchr.org/alias/george-j.-pappas"
  - name: "Rance Cleaveland"
    link: "https://researchr.org/alias/rance-cleaveland"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Bruce H. Krogh"
    link: "https://researchr.org/alias/bruce-h.-krogh"
  - name: "Peter Lee"
    link: "https://researchr.org/alias/peter-lee"
  - name: "Harvey Rubin"
    link: "https://researchr.org/alias/harvey-rubin"
  - name: "Lui Sha"
    link: "https://researchr.org/alias/lui-sha"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2006.127"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2006.127"
  researchr: "https://researchr.org/publication/LeePCHKLRS06"
  cites: 0
  citedby: 0
  journal: "Computer"
  volume: "39"
  number: "4"
  pages: "33-38"
  kind: "article"
  key: "LeePCHKLRS06"
- title: "TACAS 2003 Special Issue - Preface"
  author:
  - name: "Hubert Garavel"
    link: "https://researchr.org/alias/hubert-garavel"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.11.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2005.11.014"
  researchr: "https://researchr.org/publication/GaravelH06%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "354"
  number: "2"
  pages: "169-172"
  kind: "article"
  key: "GaravelH06:0"
- title: "Foundations for Partial Evaluation of Functional Programs with Computational Effects"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289121.289134"
  links:
    doi: "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 Comput. Surv."
  volume: "30"
  number: "3es"
  pages: "13"
  kind: "article"
  key: "Hatcliff98:0"
- title: "Mechanically Verifying the Correctness of an Offline Partial Evaluator"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "1995"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Hatcliff95"
  cites: 0
  citedby: 0
  pages: "279-298"
  booktitle: "plilp"
  kind: "inproceedings"
  key: "Hatcliff95"
- title: "An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "1998"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Hatcliff98"
  cites: 0
  citedby: 0
  pages: "20-82"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "Hatcliff98"
- title: "Formal Software Analysis Emerging Trends in Software Model Checking"
  author:
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Corina S. Pasareanu"
    link: "https://researchr.org/alias/corina-s.-pasareanu"
  - name: "Willem Visser"
    link: "https://researchr.org/alias/willem-visser"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1253532.1254714"
  links:
    doi: "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: "ICSE"
  kind: "inproceedings"
  key: "DwyerHRPV07"
- title: "Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software"
  author:
  - name: "Xianghua Deng"
    link: "https://researchr.org/alias/xianghua-deng"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Georg Jung"
    link: "https://researchr.org/alias/georg-jung"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Gurdip Singh"
    link: "https://researchr.org/alias/gurdip-singh"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=154"
  links:
    doi: "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: "FMCO"
  kind: "inproceedings"
  key: "DengDHJRS02"
- title: "A Computational Formalization for Partial Evaluation"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  year: "1997"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/HatcliffD97"
  cites: 0
  citedby: 0
  journal: "mscs"
  volume: "7"
  number: "5"
  pages: "507-541"
  kind: "article"
  key: "HatcliffD97"
- title: "Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2154/21540039.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HatcliffD01"
- title: "Slicing and partial evaluation of CORBA component model designs for avionics system"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "William Deng"
    link: "https://researchr.org/alias/william-deng"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Georg Jung"
    link: "https://researchr.org/alias/georg-jung"
  - name: "Venkatesh Prasad Ranganath"
    link: "https://researchr.org/alias/venkatesh-prasad-ranganath"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/777388.777389"
  links:
    doi: "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: "PEPM"
  kind: "inproceedings"
  key: "HatcliffDDJRR03"
- title: "On the Transformation between Direct and Continuation Semantics"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "1993"
  tags:
  - "semantics"
  - "transformation"
  researchr: "https://researchr.org/publication/DanvyH93"
  cites: 0
  citedby: 0
  pages: "627-648"
  booktitle: "mfps"
  kind: "inproceedings"
  key: "DanvyH93"
- title: "Thunks (Continued)"
  author:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "1992"
  researchr: "https://researchr.org/publication/DanvyH92"
  cites: 0
  citedby: 0
  pages: "3-11"
  booktitle: "SAS"
  kind: "inproceedings"
  key: "DanvyH92"
- title: "Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs"
  author:
  - name: "Xianghua Deng"
    link: "https://researchr.org/alias/xianghua-deng"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.43"
  links:
    doi: "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: "SEFM"
  kind: "inproceedings"
  key: "DengRH07"
- title: "Slicing Software for Model Construction"
  author:
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "1999"
  tags:
  - "meta-model"
  - "slicing"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/DwyerH99"
  cites: 0
  citedby: 0
  pages: "105-118"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "DwyerH99"
- title: "Supporting model checking education using BOGOR/Eclipse"
  author:
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Matthew Hoosier"
    link: "https://researchr.org/alias/matthew-hoosier"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1066129.1066147"
  links:
    doi: "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: "eclipse"
  kind: "inproceedings"
  key: "DwyerHH04"
- title: "Expressing checkable properties of dynamic systems: the Bandera Specification Language"
  author:
  - name: "James C. Corbett"
    link: "https://researchr.org/alias/james-c.-corbett"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  year: "2002"
  doi: "http://link.springer.de/link/service/journals/10009/bibs/2004001/20040034.htm"
  links:
    doi: "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"
  kind: "article"
  key: "CorbettDH02"
- title: "A Correlation Framework for the CORBA Component Model"
  author:
  - name: "Georg Jung"
    link: "https://researchr.org/alias/georg-jung"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Venkatesh Prasad Ranganath"
    link: "https://researchr.org/alias/venkatesh-prasad-ranganath"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2984&spage=144"
  links:
    doi: "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: "FASE"
  kind: "inproceedings"
  key: "JungHR04"
- title: "A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures"
  author:
  - name: "Georg Jung"
    link: "https://researchr.org/alias/georg-jung"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1289971.1289979"
  links:
    doi: "http://doi.acm.org/10.1145/1289971.1289979"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/JungH07"
  cites: 0
  citedby: 0
  pages: "33-42"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "JungH07"
- title: "Translating Java for Multiple Model Checkers: The Bandera Back-End"
  author:
  - name: "Radu Iosif"
    link: "https://researchr.org/alias/radu-iosif"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s10703-005-1491-3"
  links:
    doi: "http://dx.doi.org/10.1007/s10703-005-1491-3"
  tags:
  - "Java"
  - "translation"
  researchr: "https://researchr.org/publication/IosifDH05"
  cites: 0
  citedby: 0
  journal: "fmsd"
  volume: "26"
  number: "2"
  pages: "137-180"
  kind: "article"
  key: "IosifDH05"
- title: "A new foundation for control dependence and slicing for modern program structures"
  author:
  - name: "Venkatesh Prasad Ranganath"
    link: "https://researchr.org/alias/venkatesh-prasad-ranganath"
  - name: "Torben Amtoft"
    link: "https://researchr.org/alias/torben-amtoft"
  - name: "Anindya Banerjee"
    link: "https://researchr.org/alias/anindya-banerjee"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1275497.1275502"
  links:
    doi: "http://doi.acm.org/10.1145/1275497.1275502"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/RanganathABHD07"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "29"
  number: "5"
  pages: "27"
  kind: "article"
  key: "RanganathABHD07"
- title: "Monadic Type Systems: Pure Type Systems for Impure Settings"
  author:
  - name: "Gilles Barthe"
    link: "https://researchr.org/alias/gilles-barthe"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  year: "1997"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/35/23/show/Products/notes/index.htt#009"
  links:
    doi: "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: "ENTCS"
  volume: "10"
  pages: "54-120"
  kind: "article"
  key: "BartheHT97"
- title: "Reflections on Reflections"
  author:
  - name: "Gilles Barthe"
    link: "https://researchr.org/alias/gilles-barthe"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  year: "1997"
  tags:
  - "reflection"
  researchr: "https://researchr.org/publication/BartheHS97"
  cites: 0
  citedby: 0
  pages: "241-258"
  booktitle: "plilp"
  kind: "inproceedings"
  key: "BartheHS97"
- title: "Cadena: enabling CCM-based application development in Eclipse"
  author:
  - name: "Venkatesh Prasad Ranganath"
    link: "https://researchr.org/alias/venkatesh-prasad-ranganath"
  - name: "Adam Childs"
    link: "https://researchr.org/alias/adam-childs"
  - name: "Jesse Greenwald"
    link: "https://researchr.org/alias/jesse-greenwald"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Gurdip Singh"
    link: "https://researchr.org/alias/gurdip-singh"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/965660.965665"
  links:
    doi: "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: "OOPSLA"
  kind: "inproceedings"
  key: "RanganathCGDHS03"
- title: "A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking"
  author:
  - name: "Edwin Rodríguez"
    link: "https://researchr.org/alias/edwin-rodr%C3%ADguez"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3362&spage=210"
  links:
    doi: "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: "cassis"
  kind: "inproceedings"
  key: "RodriguezDHR04"
- title: "Foundations of the Bandera Abstraction Tools"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Corina S. Pasareanu"
    link: "https://researchr.org/alias/corina-s.-pasareanu"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2566/25660172.htm"
  links:
    doi: "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: "BIRTHDAY"
  kind: "inproceedings"
  key: "HatcliffDPR02"
- title: "Demonstration of a medical device integration and coordination framework"
  author:
  - name: "Andrew King"
    link: "https://researchr.org/alias/andrew-king"
  - name: "Sam Procter"
    link: "https://researchr.org/alias/sam-procter"
  - name: "Daniel Andresen"
    link: "https://researchr.org/alias/daniel-andresen"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Steve Warren"
    link: "https://researchr.org/alias/steve-warren"
  - name: "William Spees"
    link: "https://researchr.org/alias/william-spees"
  - name: "Raoul Praful Jetley"
    link: "https://researchr.org/alias/raoul-praful-jetley"
  - name: "Paul L. Jones"
    link: "https://researchr.org/alias/paul-l.-jones"
  - name: "Sandy Weininger"
    link: "https://researchr.org/alias/sandy-weininger"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071048"
  links:
    doi: "http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071048"
  researchr: "https://researchr.org/publication/KingPAHWSJJW09a"
  cites: 0
  citedby: 0
  pages: "433-434"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "KingPAHWSJJW09a"
- title: "Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2937&spage=175"
  links:
    doi: "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: "vmcai"
  kind: "inproceedings"
  key: "HatcliffRD04"
- title: "A notion of classical pure type system"
  author:
  - name: "Gilles Barthe"
    link: "https://researchr.org/alias/gilles-barthe"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  year: "1997"
  doi: "http://dx.doi.org/0.1016/S1571-0661(05)80170-7"
  links:
    doi: "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: "ENTCS"
  volume: "6"
  pages: "4-59"
  kind: "article"
  key: "BartheHS97:0"
- title: "Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework"
  author:
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Matthew Hoosier"
    link: "https://researchr.org/alias/matthew-hoosier"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11513988_15"
  links:
    doi: "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: "cav"
  kind: "inproceedings"
  key: "DwyerHHR05"
- title: "An Overview of the Indus Framework for Analysis and Slicing of Concurrent Java Software (Keynote Talk - Extended Abstract)"
  author:
  - name: "Venkatesh Prasad Ranganath"
    link: "https://researchr.org/alias/venkatesh-prasad-ranganath"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2006.3"
  links:
    doi: "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"
  kind: "article"
  key: "10.1109-SCAM.2006.3"
- title: "CALM and Cadena: Metamodeling for Component-Based Product-Line Development"
  author:
  - name: "Adam Childs"
    link: "https://researchr.org/alias/adam-childs"
  - name: "Jesse Greenwald"
    link: "https://researchr.org/alias/jesse-greenwald"
  - name: "Georg Jung"
    link: "https://researchr.org/alias/georg-jung"
  - name: "Matthew Hoosier"
    link: "https://researchr.org/alias/matthew-hoosier"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2006.51"
  links:
    doi: "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: "Computer"
  volume: "39"
  number: "2"
  pages: "42-50"
  kind: "article"
  key: "ChildsGJHH06"
- title: "A New Foundation for Control-Dependence and Slicing for Modern Program Structures"
  author:
  - name: "Venkatesh Prasad Ranganath"
    link: "https://researchr.org/alias/venkatesh-prasad-ranganath"
  - name: "Torben Amtoft"
    link: "https://researchr.org/alias/torben-amtoft"
  - name: "Anindya Banerjee"
    link: "https://researchr.org/alias/anindya-banerjee"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3444&spage=77"
  links:
    doi: "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: "ESOP"
  kind: "inproceedings"
  key: "RanganathABDH05"
- title: "Bandera: extracting finite-state models from Java source code"
  author:
  - name: "James C. Corbett"
    link: "https://researchr.org/alias/james-c.-corbett"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Shawn Laubach"
    link: "https://researchr.org/alias/shawn-laubach"
  - name: "Corina S. Pasareanu"
    link: "https://researchr.org/alias/corina-s.-pasareanu"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Hongjun Zheng"
    link: "https://researchr.org/alias/hongjun-zheng"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/337180.337234"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CorbettDHLPRZ00"
- title: "SyncGen: An Aspect-Oriented Framework for Synchronization"
  author:
  - name: "Xianghua Deng"
    link: "https://researchr.org/alias/xianghua-deng"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Masaaki Mizuno"
    link: "https://researchr.org/alias/masaaki-mizuno"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=158"
  links:
    doi: "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: "TACAS"
  kind: "inproceedings"
  key: "DengDHM04"
- title: "An induction principle for pure type systems"
  author:
  - name: "Gilles Barthe"
    link: "https://researchr.org/alias/gilles-barthe"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0304-3975(00)00373-X"
  links:
    doi: "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: "TCS"
  volume: "266"
  number: "1-2"
  pages: "773-818"
  kind: "article"
  key: "BartheHS01"
- title: "Specification and Checking of Software Contracts for Conditional Information Flow"
  author:
  - name: "Torben Amtoft"
    link: "https://researchr.org/alias/torben-amtoft"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Edwin Rodríguez"
    link: "https://researchr.org/alias/edwin-rodr%C3%ADguez"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Jonathan Hoag"
    link: "https://researchr.org/alias/jonathan-hoag"
  - name: "David Greve"
    link: "https://researchr.org/alias/david-greve"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-68237-0_17"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AmtoftHRRHG08"
- title: "Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs"
  author:
  - name: "Venkatesh Prasad Ranganath"
    link: "https://researchr.org/alias/venkatesh-prasad-ranganath"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2985&spage=39"
  links:
    doi: "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: "CC"
  kind: "inproceedings"
  key: "RanganathH04"
- title: "Invariant-based specification, synthesis, and verification of synchronization in concurrent programs"
  author:
  - name: "Xianghua Deng"
    link: "https://researchr.org/alias/xianghua-deng"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Masaaki Mizuno"
    link: "https://researchr.org/alias/masaaki-mizuno"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/581339.581394"
  links:
    doi: "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: "ICSE"
  kind: "inproceedings"
  key: "DengDHM02"
- title: "Why you should definitely read this special section"
  author:
  - name: "Hubert Garavel"
    link: "https://researchr.org/alias/hubert-garavel"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10009-005-0199-4"
  links:
    doi: "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"
  kind: "article"
  key: "GaravelH06"
- title: "A Case Study in Domain-Customized Model Checking for Real-Time Component Software"
  author:
  - name: "Matthew Hoosier"
    link: "https://researchr.org/alias/matthew-hoosier"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11925040_11"
  links:
    doi: "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: "ISoLA"
  kind: "inproceedings"
  key: "HoosierDRH04"
- title: "Weak normalization implies strong normalization in a class of non-dependent pure type systems"
  author:
  - name: "Gilles Barthe"
    link: "https://researchr.org/alias/gilles-barthe"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0304-3975(01)00012-3"
  links:
    doi: "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: "TCS"
  volume: "269"
  number: "1-2"
  pages: "317-361"
  kind: "article"
  key: "BartheHS01a"
- title: "Bogor: A Flexible Framework for Creating Software Model Checkers"
  author:
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TAIC-PART.2006.5"
  links:
    doi: "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: "taicpart"
  kind: "inproceedings"
  key: "RobbyDH06:0"
- title: "Reasoning about Hierarchies of Online Program Specialization Systems"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  year: "1996"
  researchr: "https://researchr.org/publication/HatcliffG96"
  cites: 0
  citedby: 0
  pages: "161-182"
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "HatcliffG96"
- title: "Generalization in Hierarchies of Online Program Specialization Systems"
  author:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Jesper Jørgensen"
    link: "https://researchr.org/alias/jesper-j%C3%B8rgensen"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1559/15590179.htm"
  links:
    doi: "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: "LOPSTR"
  kind: "inproceedings"
  key: "GluckHJ98"
- title: "Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Xianghua Deng"
    link: "https://researchr.org/alias/xianghua-deng"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Georg Jung"
    link: "https://researchr.org/alias/georg-jung"
  - name: "Venkatesh Prasad Ranganath"
    link: "https://researchr.org/alias/venkatesh-prasad-ranganath"
  year: "2003"
  doi: "http://computer.org/proceedings/icse/1877/18770160abs.htm"
  links:
    doi: "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: "ICSE"
  kind: "inproceedings"
  key: "HatcliffDDJR03"
- title: "A Language Framework for Expressing Checkable Properties of Dynamic Software"
  author:
  - name: "James C. Corbett"
    link: "https://researchr.org/alias/james-c.-corbett"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  year: "2000"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/CorbettDHR00%3A0"
  cites: 0
  citedby: 0
  pages: "205-223"
  booktitle: "spin"
  kind: "inproceedings"
  key: "CorbettDHR00:0"
- title: "Tool-Supported Program Abstraction for Finite-State Verification"
  author:
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Roby Joehanes"
    link: "https://researchr.org/alias/roby-joehanes"
  - name: "Shawn Laubach"
    link: "https://researchr.org/alias/shawn-laubach"
  - name: "Corina S. Pasareanu"
    link: "https://researchr.org/alias/corina-s.-pasareanu"
  - name: "Robby"
    link: "https://researchr.org/alias/robby"
  - name: "Hongjun Zheng"
    link: "https://researchr.org/alias/hongjun-zheng"
  - name: "Willem Visser"
    link: "https://researchr.org/alias/willem-visser"
  year: "2001"
  tags:
  - "program verification"
  - "abstraction"
  researchr: "https://researchr.org/publication/DwyerHJLPRZV01"
  cites: 0
  citedby: 0
  pages: "177-187"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "DwyerHJLPRZV01"
- title: "Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays"
  author:
  - name: "Torben Amtoft"
    link: "https://researchr.org/alias/torben-amtoft"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Edwin Rodríguez"
    link: "https://researchr.org/alias/edwin-rodr%C3%A3%C2%ADguez"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-11957-6_4"
  links:
    doi: "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: "ESOP"
  kind: "inproceedings"
  key: "AmtoftHR10"
- title: "Slicing Software for Model Construction"
  author:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Hongjun Zheng"
    link: "https://researchr.org/alias/hongjun-zheng"
  year: "2000"
  tags:
  - "meta-model"
  - "slicing"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HatcliffDZ00"
  cites: 0
  citedby: 0
  journal: "lisp"
  volume: "13"
  number: "4"
  pages: "315-353"
  kind: "article"
  key: "HatcliffDZ00"
- 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:
  - name: "Hubert Garavel"
    link: "https://researchr.org/alias/hubert-garavel"
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  volume: "2619"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00898-5"
  kind: "proceedings"
  key: "tacas:2003"
- 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:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Torben Æ. Mogensen"
    link: "https://researchr.org/alias/torben-%C3%A6.-mogensen"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  volume: "1706"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66710-5"
  kind: "proceedings"
  key: "pepm:1998"
- 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:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Frank Tip"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/tip.index.html"
  publisher: "ACM"
  isbn: "1-59593-196-1"
  kind: "proceedings"
  key: "pepm:2006"