BibTeX records: Byron Cook

download as .bib file

@inproceedings{DBLP:conf/cav/Cook18,
  author    = {Byron Cook},
  title     = {Formal Reasoning About the Security of Amazon Web Services},
  booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {I}},
  pages     = {38--47},
  year      = {2018},
  crossref  = {DBLP:conf/cav/2018-1},
  url       = {https://doi.org/10.1007/978-3-319-96145-3\_3},
  doi       = {10.1007/978-3-319-96145-3\_3},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/Cook18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChudnovCCDHMMMM18,
  author    = {Andrey Chudnov and
               Nathan Collins and
               Byron Cook and
               Joey Dodds and
               Brian Huffman and
               Colm MacC{\'{a}}rthaigh and
               Stephen Magill and
               Eric Mertens and
               Eric Mullen and
               Serdar Tasiran and
               Aaron Tomb and
               Eddy Westbrook},
  title     = {Continuous Formal Verification of Amazon s2n},
  booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {II}},
  pages     = {430--446},
  year      = {2018},
  crossref  = {DBLP:conf/cav/2018-2},
  url       = {https://doi.org/10.1007/978-3-319-96142-2\_26},
  doi       = {10.1007/978-3-319-96142-2\_26},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/ChudnovCCDHMMMM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookKKTTT18,
  author    = {Byron Cook and
               Kareem Khazem and
               Daniel Kroening and
               Serdar Tasiran and
               Michael Tautschnig and
               Mark R. Tuttle},
  title     = {Model Checking Boot Code from {AWS} Data Centers},
  booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {II}},
  pages     = {467--486},
  year      = {2018},
  crossref  = {DBLP:conf/cav/2018-2},
  url       = {https://doi.org/10.1007/978-3-319-96142-2\_28},
  doi       = {10.1007/978-3-319-96142-2\_28},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CookKKTTT18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BackesBCDGLRTV18,
  author    = {John Backes and
               Pauline Bolignano and
               Byron Cook and
               Catherine Dodge and
               Andrew Gacek and
               Kasper Luckow and
               Neha Rungta and
               Oksana Tkachuk and
               Carsten Varming},
  title     = {Semantic-based Automated Reasoning for {AWS} Access Policies using
               {SMT}},
  booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
               TX, USA, October 30 - November 2, 2018},
  pages     = {1--9},
  year      = {2018},
  crossref  = {DBLP:conf/fmcad/2018},
  url       = {https://doi.org/10.23919/FMCAD.2018.8602994},
  doi       = {10.23919/FMCAD.2018.8602994},
  timestamp = {Fri, 11 Jan 2019 14:01:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/BackesBCDGLRTV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AthanasiouCEMST18,
  author    = {Konstantinos Athanasiou and
               Byron Cook and
               Michael Emmi and
               Colm MacC{\'{a}}rthaigh and
               Daniel Schwartz{-}Narbonne and
               Serdar Tasiran},
  title     = {SideTrail: Verifying Time-Balancing of Cryptosystems},
  booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
               Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
               Papers},
  pages     = {215--228},
  year      = {2018},
  crossref  = {DBLP:conf/vstte/2018},
  url       = {https://doi.org/10.1007/978-3-030-03592-1\_12},
  doi       = {10.1007/978-3-030-03592-1\_12},
  timestamp = {Tue, 27 Nov 2018 14:42:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/AthanasiouCEMST18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CookKP17,
  author    = {Byron Cook and
               Heidy Khlaaf and
               Nir Piterman},
  title     = {Verifying Increasingly Expressive Temporal Logics for Infinite-State
               Systems},
  journal   = {J. {ACM}},
  volume    = {64},
  number    = {2},
  pages     = {15:1--15:39},
  year      = {2017},
  url       = {https://doi.org/10.1145/3060257},
  doi       = {10.1145/3060257},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jacm/CookKP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Cook17,
  author    = {Byron Cook},
  title     = {Automated formal reasoning about {AWS} systems},
  booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
               Austria, October 2-6, 2017},
  pages     = {7},
  year      = {2017},
  crossref  = {DBLP:conf/fmcad/2017},
  url       = {https://doi.org/10.23919/FMCAD.2017.8102231},
  doi       = {10.23919/FMCAD.2017.8102231},
  timestamp = {Fri, 17 Nov 2017 10:12:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/Cook17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Cook17,
  author    = {Byron Cook},
  title     = {Automated formal reasoning about amazon web services (keynote)},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
               on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
               2017},
  pages     = {9},
  year      = {2017},
  crossref  = {DBLP:conf/spin/2017},
  url       = {https://doi.org/10.1145/3092282.3092315},
  doi       = {10.1145/3092282.3092315},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spin/Cook17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BrockschmidtCIK16,
  author    = {Marc Brockschmidt and
               Byron Cook and
               Samin Ishtiaq and
               Heidy Khlaaf and
               Nir Piterman},
  title     = {{T2:} Temporal Property Verification},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 22nd International Conference, {TACAS} 2016, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  pages     = {387--393},
  year      = {2016},
  crossref  = {DBLP:conf/tacas/2016},
  url       = {https://doi.org/10.1007/978-3-662-49674-9\_22},
  doi       = {10.1007/978-3-662-49674-9\_22},
  timestamp = {Fri, 02 Nov 2018 09:42:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/BrockschmidtCIK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookKP15,
  author    = {Byron Cook and
               Heidy Khlaaf and
               Nir Piterman},
  title     = {On Automation of CTL* Verification for Infinite-State Systems},
  booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {I}},
  pages     = {13--29},
  year      = {2015},
  crossref  = {DBLP:conf/cav/2015-1},
  url       = {https://doi.org/10.1007/978-3-319-21690-4\_2},
  doi       = {10.1007/978-3-319-21690-4\_2},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CookKP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AlbarghouthiBCK15,
  author    = {Aws Albarghouthi and
               Josh Berdine and
               Byron Cook and
               Zachary Kincaid},
  title     = {Spatial Interpolants},
  booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
               {ESOP} 2015, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
               Proceedings},
  pages     = {634--660},
  year      = {2015},
  crossref  = {DBLP:conf/esop/2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8\_26},
  doi       = {10.1007/978-3-662-46669-8\_26},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/AlbarghouthiBCK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CookKP15,
  author    = {Byron Cook and
               Heidy Khlaaf and
               Nir Piterman},
  title     = {Fairness for Infinite-State Systems},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 21st International Conference, {TACAS} 2015, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2015, London, UK, April 11-18, 2015. Proceedings},
  pages     = {384--398},
  year      = {2015},
  crossref  = {DBLP:conf/tacas/2015},
  url       = {https://doi.org/10.1007/978-3-662-46681-0\_30},
  doi       = {10.1007/978-3-662-46681-0\_30},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/CookKP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlbarghouthiBCK15,
  author    = {Aws Albarghouthi and
               Josh Berdine and
               Byron Cook and
               Zachary Kincaid},
  title     = {Spatial Interpolants},
  journal   = {CoRR},
  volume    = {abs/1501.04100},
  year      = {2015},
  url       = {http://arxiv.org/abs/1501.04100},
  archivePrefix = {arXiv},
  eprint    = {1501.04100},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AlbarghouthiBCK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrockschmidtCIK15,
  author    = {Marc Brockschmidt and
               Byron Cook and
               Samin Ishtiaq and
               Heidy Khlaaf and
               Nir Piterman},
  title     = {{T2:} Temporal Property Verification},
  journal   = {CoRR},
  volume    = {abs/1512.08689},
  year      = {2015},
  url       = {http://arxiv.org/abs/1512.08689},
  archivePrefix = {arXiv},
  eprint    = {1512.08689},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BrockschmidtCIK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tinytocs/CookFNO15,
  author    = {Byron Cook and
               Carsten Fuhs and
               Kaustubh Nimkar and
               Peter W. O'Hearn},
  title     = {Embracing Overapproximation for Proving Nontermination},
  journal   = {TinyToCS},
  volume    = {3},
  year      = {2015},
  url       = {http://tinytocs.org/vol3/papers/TinyToCS\_3\_cook.pdf},
  timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tinytocs/CookFNO15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookFHIJP14,
  author    = {Byron Cook and
               Jasmin Fisher and
               Benjamin A. Hall and
               Samin Ishtiaq and
               Garvit Juniwal and
               Nir Piterman},
  title     = {Finding Instability in Biological Models},
  booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 18-22, 2014. Proceedings},
  pages     = {358--372},
  year      = {2014},
  crossref  = {DBLP:conf/cav/2014},
  url       = {https://doi.org/10.1007/978-3-319-08867-9\_24},
  doi       = {10.1007/978-3-319-08867-9\_24},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CookFHIJP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CookFNO14,
  author    = {Byron Cook and
               Carsten Fuhs and
               Kaustubh Nimkar and
               Peter W. O'Hearn},
  title     = {Disproving termination with overapproximation},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
               October 21-24, 2014},
  pages     = {67--74},
  year      = {2014},
  crossref  = {DBLP:conf/fmcad/2014},
  url       = {https://doi.org/10.1109/FMCAD.2014.6987597},
  doi       = {10.1109/FMCAD.2014.6987597},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/CookFNO14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CookKP14,
  author    = {Byron Cook and
               Heidy Khlaaf and
               Nir Piterman},
  title     = {Faster temporal reasoning for infinite-state programs},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
               October 21-24, 2014},
  pages     = {75--82},
  year      = {2014},
  crossref  = {DBLP:conf/fmcad/2014},
  url       = {https://doi.org/10.1109/FMCAD.2014.6987598},
  doi       = {10.1109/FMCAD.2014.6987598},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/CookKP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChenCFNO14,
  author    = {Hong Yi Chen and
               Byron Cook and
               Carsten Fuhs and
               Kaustubh Nimkar and
               Peter W. O'Hearn},
  title     = {Proving Nontermination via Safety},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 20th International Conference, {TACAS} 2014, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2014, Grenoble, France, April 5-13, 2014. Proceedings},
  pages     = {156--171},
  year      = {2014},
  crossref  = {DBLP:conf/tacas/2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8\_11},
  doi       = {10.1007/978-3-642-54862-8\_11},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/ChenCFNO14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BabicCHR13,
  author    = {Domagoj Babic and
               Byron Cook and
               Alan J. Hu and
               Zvonimir Rakamaric},
  title     = {Proving termination of nonlinear command sequences},
  journal   = {Formal Asp. Comput.},
  volume    = {25},
  number    = {3},
  pages     = {389--403},
  year      = {2013},
  url       = {https://doi.org/10.1007/s00165-012-0252-5},
  doi       = {10.1007/s00165-012-0252-5},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/BabicCHR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CookKRW13,
  author    = {Byron Cook and
               Daniel Kroening and
               Philipp R{\"{u}}mmer and
               Christoph M. Wintersteiger},
  title     = {Ranking function synthesis for bit-vector relations},
  journal   = {Formal Methods in System Design},
  volume    = {43},
  number    = {1},
  pages     = {93--120},
  year      = {2013},
  url       = {https://doi.org/10.1007/s10703-013-0186-4},
  doi       = {10.1007/s10703-013-0186-4},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/CookKRW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrockschmidtCF13,
  author    = {Marc Brockschmidt and
               Byron Cook and
               Carsten Fuhs},
  title     = {Better Termination Proving through Cooperation},
  booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  pages     = {413--429},
  year      = {2013},
  crossref  = {DBLP:conf/cav/2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8\_28},
  doi       = {10.1007/978-3-642-39799-8\_28},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BrockschmidtCF13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/TaylorPIFCCBB13,
  author    = {Alex S. Taylor and
               Nir Piterman and
               Samin Ishtiaq and
               Jasmin Fisher and
               Byron Cook and
               Caitlin Cockerton and
               Sam Bourton and
               David Benque},
  title     = {At the interface of biology and computation},
  booktitle = {2013 {ACM} {SIGCHI} Conference on Human Factors in Computing Systems,
               {CHI} '13, Paris, France, April 27 - May 2, 2013},
  pages     = {493--502},
  year      = {2013},
  crossref  = {DBLP:conf/chi/2013},
  url       = {https://doi.org/10.1145/2470654.2470725},
  doi       = {10.1145/2470654.2470725},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/chi/TaylorPIFCCBB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CookK13,
  author    = {Byron Cook and
               Eric Koskinen},
  title     = {Reasoning about nondeterminism in programs},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  pages     = {219--230},
  year      = {2013},
  crossref  = {DBLP:conf/pldi/2013},
  url       = {https://doi.org/10.1145/2491956.2491969},
  doi       = {10.1145/2491956.2491969},
  timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/CookK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CookSZ13,
  author    = {Byron Cook and
               Abigail See and
               Florian Zuleger},
  title     = {Ramsey vs. Lexicographic Termination Proving},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 19th International Conference, {TACAS} 2013, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2013, Rome, Italy, March 16-24, 2013. Proceedings},
  pages     = {47--61},
  year      = {2013},
  crossref  = {DBLP:conf/tacas/2013},
  url       = {https://doi.org/10.1007/978-3-642-36742-7\_4},
  doi       = {10.1007/978-3-642-36742-7\_4},
  timestamp = {Tue, 13 Jun 2017 11:34:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/CookSZ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CookKV12,
  author    = {Byron Cook and
               Eric Koskinen and
               Moshe Y. Vardi},
  title     = {Temporal property verification as a program analysis task - Extended
               Version},
  journal   = {Formal Methods in System Design},
  volume    = {41},
  number    = {1},
  pages     = {66--82},
  year      = {2012},
  url       = {https://doi.org/10.1007/s10703-012-0153-5},
  doi       = {10.1007/s10703-012-0153-5},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/CookKV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BenqueBCCFIPTV12,
  author    = {David Benque and
               Sam Bourton and
               Caitlin Cockerton and
               Byron Cook and
               Jasmin Fisher and
               Samin Ishtiaq and
               Nir Piterman and
               Alex S. Taylor and
               Moshe Y. Vardi},
  title     = {Bma: Visual Tool for Modeling and Analyzing Biological Networks},
  booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
               2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  pages     = {686--692},
  year      = {2012},
  crossref  = {DBLP:conf/cav/2012},
  url       = {https://doi.org/10.1007/978-3-642-31424-7\_50},
  doi       = {10.1007/978-3-642-31424-7\_50},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BenqueBCCFIPTV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/CookPR11,
  author    = {Byron Cook and
               Andreas Podelski and
               Andrey Rybalchenko},
  title     = {Proving program termination},
  journal   = {Commun. {ACM}},
  volume    = {54},
  number    = {5},
  pages     = {88--98},
  year      = {2011},
  url       = {https://doi.org/10.1145/1941487.1941509},
  doi       = {10.1145/1941487.1941509},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cacm/CookPR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GotsmanBC11,
  author    = {Alexey Gotsman and
               Josh Berdine and
               Byron Cook},
  title     = {Precision and the Conjunction Rule in Concurrent Separation Logic},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {276},
  pages     = {171--190},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.entcs.2011.09.021},
  doi       = {10.1016/j.entcs.2011.09.021},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GotsmanBC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Cook11,
  author    = {Byron Cook},
  title     = {Advances in Proving Program Termination and Liveness},
  booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
               Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
  pages     = {4},
  year      = {2011},
  crossref  = {DBLP:conf/cade/2011},
  url       = {https://doi.org/10.1007/978-3-642-22438-6\_2},
  doi       = {10.1007/978-3-642-22438-6\_2},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/Cook11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BerdineCI11,
  author    = {Josh Berdine and
               Byron Cook and
               Samin Ishtiaq},
  title     = {SLAyer: Memory Safety for Systems-Level Code},
  booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  pages     = {178--183},
  year      = {2011},
  crossref  = {DBLP:conf/cav/2011},
  url       = {https://doi.org/10.1007/978-3-642-22110-1\_15},
  doi       = {10.1007/978-3-642-22110-1\_15},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BerdineCI11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookKV11,
  author    = {Byron Cook and
               Eric Koskinen and
               Moshe Y. Vardi},
  title     = {Temporal Property Verification as a Program Analysis Task},
  booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  pages     = {333--348},
  year      = {2011},
  crossref  = {DBLP:conf/cav/2011},
  url       = {https://doi.org/10.1007/978-3-642-22110-1\_26},
  doi       = {10.1007/978-3-642-22110-1\_26},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CookKV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CookHOPW11,
  author    = {Byron Cook and
               Christoph Haase and
               Jo{\"{e}}l Ouaknine and
               Matthew J. Parkinson and
               James Worrell},
  title     = {Tractable Reasoning in a Fragment of Separation Logic},
  booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
               {CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
  pages     = {235--249},
  year      = {2011},
  crossref  = {DBLP:conf/concur/2011},
  url       = {https://doi.org/10.1007/978-3-642-23217-6\_16},
  doi       = {10.1007/978-3-642-23217-6\_16},
  timestamp = {Wed, 14 Nov 2018 10:56:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/concur/CookHOPW11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CookK11,
  author    = {Byron Cook and
               Eric Koskinen},
  title     = {Making prophecies with decision predicates},
  booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
               2011},
  pages     = {399--410},
  year      = {2011},
  crossref  = {DBLP:conf/popl/2011},
  url       = {https://doi.org/10.1145/1926385.1926431},
  doi       = {10.1145/1926385.1926431},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/CookK11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CookFKP11,
  author    = {Byron Cook and
               Jasmin Fisher and
               Elzbieta Krepska and
               Nir Piterman},
  title     = {Proving Stabilization of Biological Systems},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
               Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  pages     = {134--149},
  year      = {2011},
  crossref  = {DBLP:conf/vmcai/2011},
  url       = {https://doi.org/10.1007/978-3-642-18275-4\_11},
  doi       = {10.1007/978-3-642-18275-4\_11},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/CookFKP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CookKRW10,
  author    = {Byron Cook and
               Daniel Kroening and
               Philipp R{\"{u}}mmer and
               Christoph M. Wintersteiger},
  title     = {Ranking Function Synthesis for Bit-Vector Relations},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               16th International Conference, {TACAS} 2010, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2010,
               Paphos, Cyprus, March 20-28, 2010. Proceedings},
  pages     = {236--250},
  year      = {2010},
  crossref  = {DBLP:conf/tacas/2010},
  url       = {https://doi.org/10.1007/978-3-642-12002-2\_19},
  doi       = {10.1007/978-3-642-12002-2\_19},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/CookKRW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2010,
  editor    = {Tayssir Touili and
               Byron Cook and
               Paul B. Jackson},
  title     = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6174},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6},
  doi       = {10.1007/978-3-642-14295-6},
  isbn      = {978-3-642-14294-9},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CookPR09,
  author    = {Byron Cook and
               Andreas Podelski and
               Andrey Rybalchenko},
  title     = {Summarization for termination: no return!},
  journal   = {Formal Methods in System Design},
  volume    = {35},
  number    = {3},
  pages     = {369--387},
  year      = {2009},
  url       = {https://doi.org/10.1007/s10703-009-0087-8},
  doi       = {10.1007/s10703-009-0087-8},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/CookPR09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CookGMRSSV09,
  author    = {Byron Cook and
               Ashutosh Gupta and
               Stephen Magill and
               Andrey Rybalchenko and
               Jir{\'{\i}} Simsa and
               Satnam Singh and
               Viktor Vafeiadis},
  title     = {Finding heap-bounds for hardware synthesis},
  booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
               Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
  pages     = {205--212},
  year      = {2009},
  crossref  = {DBLP:conf/fmcad/2009},
  url       = {https://doi.org/10.1109/FMCAD.2009.5351120},
  doi       = {10.1109/FMCAD.2009.5351120},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/CookGMRSSV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Cook09,
  author    = {Byron Cook},
  title     = {Taming the Unbounded for Hardware Synthesis},
  booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
               D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
  pages     = {39},
  year      = {2009},
  crossref  = {DBLP:conf/ifm/2009},
  url       = {https://doi.org/10.1007/978-3-642-00255-7\_3},
  doi       = {10.1007/978-3-642-00255-7\_3},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/Cook09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GotsmanCPV09,
  author    = {Alexey Gotsman and
               Byron Cook and
               Matthew J. Parkinson and
               Viktor Vafeiadis},
  title     = {Proving that non-blocking algorithms don't block},
  booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
               21-23, 2009},
  pages     = {16--28},
  year      = {2009},
  crossref  = {DBLP:conf/popl/2009},
  url       = {https://doi.org/10.1145/1480881.1480886},
  doi       = {10.1145/1480881.1480886},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/GotsmanCPV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Cook09,
  author    = {Byron Cook},
  title     = {Advances in Program Termination and Liveness},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
               Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
               Proceedings},
  pages     = {4},
  year      = {2009},
  crossref  = {DBLP:conf/vmcai/2009},
  url       = {https://doi.org/10.1007/978-3-540-93900-9\_4},
  doi       = {10.1007/978-3-540-93900-9\_4},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/Cook09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2009,
  editor    = {Mar{\'{\i}}a Alpuente and
               Byron Cook and
               Christophe Joubert},
  title     = {Formal Methods for Industrial Critical Systems, 14th International
               Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
               2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5825},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04570-7},
  doi       = {10.1007/978-3-642-04570-7},
  isbn      = {978-3-642-04569-1},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmics/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HincheyJCCBM08,
  author    = {Mike Hinchey and
               Michael Jackson and
               Patrick Cousot and
               Byron Cook and
               Jonathan P. Bowen and
               Tiziana Margaria},
  title     = {Software engineering and formal methods},
  journal   = {Commun. {ACM}},
  volume    = {51},
  number    = {9},
  pages     = {54--59},
  year      = {2008},
  url       = {https://doi.org/10.1145/1378727.1378742},
  doi       = {10.1145/1378727.1378742},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cacm/HincheyJCCBM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookGLRS08,
  author    = {Byron Cook and
               Sumit Gulwani and
               Tal Lev{-}Ami and
               Andrey Rybalchenko and
               Mooly Sagiv},
  title     = {Proving Conditional Termination},
  booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
               2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  pages     = {328--340},
  year      = {2008},
  crossref  = {DBLP:conf/cav/2008},
  url       = {https://doi.org/10.1007/978-3-540-70545-1\_32},
  doi       = {10.1007/978-3-540-70545-1\_32},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CookGLRS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YangLBCCDO08,
  author    = {Hongseok Yang and
               Oukseh Lee and
               Josh Berdine and
               Cristiano Calcagno and
               Byron Cook and
               Dino Distefano and
               Peter W. O'Hearn},
  title     = {Scalable Shape Analysis for Systems Code},
  booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
               2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  pages     = {385--398},
  year      = {2008},
  crossref  = {DBLP:conf/cav/2008},
  url       = {https://doi.org/10.1007/978-3-540-70545-1\_36},
  doi       = {10.1007/978-3-540-70545-1\_36},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/YangLBCCDO08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ChawdharyCGSY08,
  author    = {Aziem Chawdhary and
               Byron Cook and
               Sumit Gulwani and
               Mooly Sagiv and
               Hongseok Yang},
  title     = {Ranking Abstractions},
  booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
               {ESOP} 2008, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
               6, 2008. Proceedings},
  pages     = {148--162},
  year      = {2008},
  crossref  = {DBLP:conf/esop/2008},
  url       = {https://doi.org/10.1007/978-3-540-78739-6\_13},
  doi       = {10.1007/978-3-540-78739-6\_13},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/ChawdharyCGSY08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CookS07,
  author    = {Byron Cook and
               Roberto Sebastiani},
  title     = {Preface and Foreword},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {174},
  number    = {8},
  pages     = {3--6},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.05.021},
  doi       = {10.1016/j.entcs.2007.05.021},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/CookS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/CookS07,
  author    = {Byron Cook and
               Roberto Sebastiani},
  title     = {Preface to Special Issue on Satisfiability Modulo Theories},
  journal   = {{JSAT}},
  volume    = {3},
  number    = {1-2},
  year      = {2007},
  url       = {https://satassociation.org/jsat/index.php/jsat/article/view/32},
  timestamp = {Tue, 17 Apr 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsat/CookS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LahiriBC07,
  author    = {Shuvendu K. Lahiri and
               Thomas Ball and
               Byron Cook},
  title     = {Predicate Abstraction via Symbolic Decision Procedures},
  journal   = {Logical Methods in Computer Science},
  volume    = {3},
  number    = {2},
  year      = {2007},
  url       = {https://doi.org/10.2168/LMCS-3(2:1)2007},
  doi       = {10.2168/LMCS-3(2:1)2007},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lmcs/LahiriBC07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CookKS07,
  author    = {Byron Cook and
               Daniel Kroening and
               Natasha Sharygina},
  title     = {Verification of Boolean programs with unbounded thread creation},
  journal   = {Theor. Comput. Sci.},
  volume    = {388},
  number    = {1-3},
  pages     = {227--242},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.tcs.2007.07.050},
  doi       = {10.1016/j.tcs.2007.07.050},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/CookKS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/GotsmanBCRS07,
  author    = {Alexey Gotsman and
               Josh Berdine and
               Byron Cook and
               Noam Rinetzky and
               Mooly Sagiv},
  title     = {Local Reasoning for Storable Locks and Threads},
  booktitle = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
               Singapore, November 29-December 1, 2007, Proceedings},
  pages     = {19--37},
  year      = {2007},
  crossref  = {DBLP:conf/aplas/2007},
  url       = {https://doi.org/10.1007/978-3-540-76637-7\_3},
  doi       = {10.1007/978-3-540-76637-7\_3},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/GotsmanBCRS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Cook07,
  author    = {Byron Cook},
  title     = {Automatically Proving Program Termination},
  booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  pages     = {1},
  year      = {2007},
  crossref  = {DBLP:conf/cav/2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3\_1},
  doi       = {10.1007/978-3-540-73368-3\_1},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/Cook07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BerdineCCDOWY07,
  author    = {Josh Berdine and
               Cristiano Calcagno and
               Byron Cook and
               Dino Distefano and
               Peter W. O'Hearn and
               Thomas Wies and
               Hongseok Yang},
  title     = {Shape Analysis for Composite Data Structures},
  booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  pages     = {178--192},
  year      = {2007},
  crossref  = {DBLP:conf/cav/2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3\_22},
  doi       = {10.1007/978-3-540-73368-3\_22},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BerdineCCDOWY07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Cook07,
  author    = {Byron Cook},
  title     = {Bringing Hardware and Software Closer Together with Termination Analysis},
  booktitle = {5th {ACM} {\&} {IEEE} International Conference on Formal Methods
               and Models for Co-Design {(MEMOCODE} 2007), May 30 - June 1st, Nice,
               France},
  pages     = {201},
  year      = {2007},
  crossref  = {DBLP:conf/memocode/2007},
  url       = {https://doi.org/10.1109/MEMCOD.2007.371223},
  doi       = {10.1109/MEMCOD.2007.371223},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/Cook07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GotsmanBCS07,
  author    = {Alexey Gotsman and
               Josh Berdine and
               Byron Cook and
               Mooly Sagiv},
  title     = {Thread-modular shape analysis},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
               Language Design and Implementation, San Diego, California, USA, June
               10-13, 2007},
  pages     = {266--277},
  year      = {2007},
  crossref  = {DBLP:conf/pldi/2007},
  url       = {https://doi.org/10.1145/1250734.1250765},
  doi       = {10.1145/1250734.1250765},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/GotsmanBCS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CookPR07,
  author    = {Byron Cook and
               Andreas Podelski and
               Andrey Rybalchenko},
  title     = {Proving thread termination},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
               Language Design and Implementation, San Diego, California, USA, June
               10-13, 2007},
  pages     = {320--330},
  year      = {2007},
  crossref  = {DBLP:conf/pldi/2007},
  url       = {https://doi.org/10.1145/1250734.1250771},
  doi       = {10.1145/1250734.1250771},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/CookPR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BerdineCCDO07,
  author    = {Josh Berdine and
               Aziem Chawdhary and
               Byron Cook and
               Dino Distefano and
               Peter W. O'Hearn},
  title     = {Variance analyses from invariance analyses},
  booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
               2007},
  pages     = {211--224},
  year      = {2007},
  crossref  = {DBLP:conf/popl/2007},
  url       = {https://doi.org/10.1145/1190216.1190249},
  doi       = {10.1145/1190216.1190249},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/BerdineCCDO07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CookGPRV07,
  author    = {Byron Cook and
               Alexey Gotsman and
               Andreas Podelski and
               Andrey Rybalchenko and
               Moshe Y. Vardi},
  title     = {Proving that programs eventually do something good},
  booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
               2007},
  pages     = {265--276},
  year      = {2007},
  crossref  = {DBLP:conf/popl/2007},
  url       = {https://doi.org/10.1145/1190216.1190257},
  doi       = {10.1145/1190216.1190257},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/CookGPRV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MagillBCC07,
  author    = {Stephen Magill and
               Josh Berdine and
               Edmund M. Clarke and
               Byron Cook},
  title     = {Arithmetic Strengthening for Shape Analysis},
  booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
               Lyngby, Denmark, August 22-24, 2007, Proceedings},
  pages     = {419--436},
  year      = {2007},
  crossref  = {DBLP:conf/sas/2007},
  url       = {https://doi.org/10.1007/978-3-540-74061-2\_26},
  doi       = {10.1007/978-3-540-74061-2\_26},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/MagillBCC07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BabicHRC07,
  author    = {Domagoj Babic and
               Alan J. Hu and
               Zvonimir Rakamaric and
               Byron Cook},
  title     = {Proving Termination by Divergence},
  booktitle = {Fifth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
               {UK}},
  pages     = {93--102},
  year      = {2007},
  crossref  = {DBLP:conf/sefm/2007},
  url       = {https://doi.org/10.1109/SEFM.2007.32},
  doi       = {10.1109/SEFM.2007.32},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/BabicHRC07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Cook07,
  author    = {Byron Cook},
  title     = {Automatically Proving Concurrent Programs Correct},
  booktitle = {Fifth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
               {UK}},
  pages     = {269--272},
  year      = {2007},
  crossref  = {DBLP:conf/sefm/2007},
  url       = {https://doi.org/10.1109/SEFM.2007.10},
  doi       = {10.1109/SEFM.2007.10},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/Cook07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ManevichBCRS07,
  author    = {Roman Manevich and
               Josh Berdine and
               Byron Cook and
               G. Ramalingam and
               Mooly Sagiv},
  title     = {Shape Analysis by Graph Decomposition},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               13th International Conference, {TACAS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007
               Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  pages     = {3--18},
  year      = {2007},
  crossref  = {DBLP:conf/tacas/2007},
  url       = {https://doi.org/10.1007/978-3-540-71209-1\_3},
  doi       = {10.1007/978-3-540-71209-1\_3},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/ManevichBCRS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2007P7401,
  editor    = {Franz Baader and
               Byron Cook and
               J{\"{u}}rgen Giesl and
               Robert Nieuwenhuis},
  title     = {Deduction and Decision Procedures, 30.09. - 05.10.2007},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {07401},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
               (IBFI), Schloss Dagstuhl, Germany},
  year      = {2007},
  url       = {http://drops.dagstuhl.de/portals/07401/},
  timestamp = {Wed, 19 Jun 2013 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2007P7401},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2007,
  editor    = {Byron Cook and
               Andreas Podelski},
  title     = {Verification, Model Checking, and Abstract Interpretation, 8th International
               Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4349},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-69738-1},
  doi       = {10.1007/978-3-540-69738-1},
  isbn      = {978-3-540-69735-0},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BaaderCGN07,
  author    = {Franz Baader and
               Byron Cook and
               J{\"{u}}rgen Giesl and
               Robert Nieuwenhuis},
  title     = {07401 Executive Summary -- Deduction and Decision Procedures},
  booktitle = {Deduction and Decision Procedures, 30.09. - 05.10.2007},
  year      = {2007},
  crossref  = {DBLP:conf/dagstuhl/2007P7401},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2007/1251},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/BaaderCGN07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BaaderCGN07a,
  author    = {Franz Baader and
               Byron Cook and
               J{\"{u}}rgen Giesl and
               Robert Nieuwenhuis},
  title     = {07401 Abstracts Collection -- Deduction and Decision Procedures},
  booktitle = {Deduction and Decision Procedures, 30.09. - 05.10.2007},
  year      = {2007},
  crossref  = {DBLP:conf/dagstuhl/2007P7401},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2007/1252},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/BaaderCGN07a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CookSV06,
  author    = {Byron Cook and
               Scott D. Stoller and
               Willem Visser},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {144},
  number    = {3},
  pages     = {1--2},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2006.01.001},
  doi       = {10.1016/j.entcs.2006.01.001},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/CookSV06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GriesmayerBC06,
  author    = {Andreas Griesmayer and
               Roderick Bloem and
               Byron Cook},
  title     = {Repair of Boolean Programs with an Application to {C}},
  booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  pages     = {358--371},
  year      = {2006},
  crossref  = {DBLP:conf/cav/2006},
  url       = {https://doi.org/10.1007/11817963\_33},
  doi       = {10.1007/11817963\_33},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/GriesmayerBC06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BerdineCDO06,
  author    = {Josh Berdine and
               Byron Cook and
               Dino Distefano and
               Peter W. O'Hearn},
  title     = {Automatic Termination Proofs for Programs with Shape-Shifting Heaps},
  booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  pages     = {386--400},
  year      = {2006},
  crossref  = {DBLP:conf/cav/2006},
  url       = {https://doi.org/10.1007/11817963\_35},
  doi       = {10.1007/11817963\_35},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BerdineCDO06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookPR06,
  author    = {Byron Cook and
               Andreas Podelski and
               Andrey Rybalchenko},
  title     = {Terminator: Beyond Safety},
  booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  pages     = {415--418},
  year      = {2006},
  crossref  = {DBLP:conf/cav/2006},
  url       = {https://doi.org/10.1007/11817963\_37},
  doi       = {10.1007/11817963\_37},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CookPR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BallBCLLMORU06,
  author    = {Thomas Ball and
               Ella Bounimova and
               Byron Cook and
               Vladimir Levin and
               Jakob Lichtenberg and
               Con McGarvey and
               Bohus Ondrusek and
               Sriram K. Rajamani and
               Abdullah Ustuner},
  title     = {Thorough static analysis of device drivers},
  booktitle = {Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April
               18-21, 2006},
  pages     = {73--85},
  year      = {2006},
  crossref  = {DBLP:conf/eurosys/2006},
  url       = {https://doi.org/10.1145/1217935.1217943},
  doi       = {10.1145/1217935.1217943},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurosys/BallBCLLMORU06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CookKS06,
  author    = {Byron Cook and
               Daniel Kroening and
               Natasha Sharygina},
  title     = {Over-Approximating Boolean Programs with Unbounded Thread Creation},
  booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference,
               {FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
  pages     = {53--59},
  year      = {2006},
  crossref  = {DBLP:conf/fmcad/2006},
  url       = {https://doi.org/10.1109/FMCAD.2006.24},
  doi       = {10.1109/FMCAD.2006.24},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/CookKS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CookPR06,
  author    = {Byron Cook and
               Andreas Podelski and
               Andrey Rybalchenko},
  title     = {Termination proofs for systems code},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
               Language Design and Implementation, Ottawa, Ontario, Canada, June
               11-14, 2006},
  pages     = {415--426},
  year      = {2006},
  crossref  = {DBLP:conf/pldi/2006},
  url       = {https://doi.org/10.1145/1133981.1134029},
  doi       = {10.1145/1133981.1134029},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/CookPR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GotsmanBC06,
  author    = {Alexey Gotsman and
               Josh Berdine and
               Byron Cook},
  title     = {Interprocedural Shape Analysis with Separated Heap Abstractions},
  booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
               Korea, August 29-31, 2006, Proceedings},
  pages     = {240--260},
  year      = {2006},
  crossref  = {DBLP:conf/sas/2006},
  url       = {https://doi.org/10.1007/11823230\_16},
  doi       = {10.1007/11823230\_16},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/GotsmanBC06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0612003,
  author    = {Shuvendu K. Lahiri and
               Thomas Ball and
               Byron Cook},
  title     = {Predicate Abstraction via Symbolic Decision Procedures},
  journal   = {CoRR},
  volume    = {abs/cs/0612003},
  year      = {2006},
  url       = {http://arxiv.org/abs/cs/0612003},
  archivePrefix = {arXiv},
  eprint    = {cs/0612003},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-cs-0612003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Cook05,
  author    = {Byron Cook},
  title     = {Finding Bugs in Device Drivers with Static Driver Verifier},
  booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
               {ASM} 2005, March 8-11, 2005, Paris, France},
  pages     = {71},
  year      = {2005},
  crossref  = {DBLP:conf/asm/2005},
  url       = {http://www.univ-paris12.fr/lacl/dima/asm05/abstract-cook.ps},
  timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/Cook05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LahiriBC05,
  author    = {Shuvendu K. Lahiri and
               Thomas Ball and
               Byron Cook},
  title     = {Predicate Abstraction via Symbolic Decision Procedures},
  booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  pages     = {24--38},
  year      = {2005},
  crossref  = {DBLP:conf/cav/2005},
  url       = {https://doi.org/10.1007/11513988\_5},
  doi       = {10.1007/11513988\_5},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/LahiriBC05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookKS05,
  author    = {Byron Cook and
               Daniel Kroening and
               Natasha Sharygina},
  title     = {Cogent: Accurate Theorem Proving for Program Verification},
  booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  pages     = {296--300},
  year      = {2005},
  crossref  = {DBLP:conf/cav/2005},
  url       = {https://doi.org/10.1007/11513988\_30},
  doi       = {10.1007/11513988\_30},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CookKS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CookG05,
  author    = {Byron Cook and
               Georges Gonthier},
  title     = {Using St{\aa}lmarck's Algorithm to Prove Inequalities},
  booktitle = {Formal Methods and Software Engineering, 7th International Conference
               on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
               1-4, 2005, Proceedings},
  pages     = {330--344},
  year      = {2005},
  crossref  = {DBLP:conf/icfem/2005},
  url       = {https://doi.org/10.1007/11576280\_23},
  doi       = {10.1007/11576280\_23},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/CookG05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CookPR05,
  author    = {Byron Cook and
               Andreas Podelski and
               Andrey Rybalchenko},
  title     = {Abstraction Refinement for Termination},
  booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
               UK, September 7-9, 2005, Proceedings},
  pages     = {87--101},
  year      = {2005},
  crossref  = {DBLP:conf/sas/2005},
  url       = {https://doi.org/10.1007/11547662\_8},
  doi       = {10.1007/11547662\_8},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/CookPR05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/CookKS05,
  author    = {Byron Cook and
               Daniel Kroening and
               Natasha Sharygina},
  title     = {Symbolic Model Checking for Asynchronous Boolean Programs},
  booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
               CA, USA, August 22-24, 2005, Proceedings},
  pages     = {75--90},
  year      = {2005},
  crossref  = {DBLP:conf/spin/2005},
  url       = {https://doi.org/10.1007/11537328\_9},
  doi       = {10.1007/11537328\_9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/CookKS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BallCLZ04,
  author    = {Thomas Ball and
               Byron Cook and
               Shuvendu K. Lahiri and
               Lintao Zhang},
  title     = {Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement},
  booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
               2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  pages     = {457--461},
  year      = {2004},
  crossref  = {DBLP:conf/cav/2004},
  url       = {https://doi.org/10.1007/978-3-540-27813-9\_36},
  doi       = {10.1007/978-3-540-27813-9\_36},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BallCLZ04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BallCLR04,
  author    = {Thomas Ball and
               Byron Cook and
               Vladimir Levin and
               Sriram K. Rajamani},
  title     = {{SLAM} and Static Driver Verifier: Technology Transfer of Formal Methods
               inside Microsoft},
  booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
               Canterbury, UK, April 4-7, 2004, Proceedings},
  pages     = {1--20},
  year      = {2004},
  crossref  = {DBLP:conf/ifm/2004},
  url       = {https://doi.org/10.1007/978-3-540-24756-2\_1},
  doi       = {10.1007/978-3-540-24756-2\_1},
  timestamp = {Sun, 04 Jun 2017 10:05:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/BallCLR04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Cook04,
  author    = {Byron Cook},
  title     = {Finding {API} usage rule violations in Windows device drivers using
               Static Driver Verifier},
  booktitle = {International Symposium on Leveraging Applications of Formal Methods,
               ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
               proceedings},
  pages     = {18--18},
  year      = {2004},
  crossref  = {DBLP:conf/isola/2004i},
  timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/Cook04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CookKS04,
  author    = {Byron Cook and
               Daniel Kroening and
               Natasha Sharygina},
  title     = {Accurate Theorem Proving for Program Verification},
  booktitle = {Leveraging Applications of Formal Methods, First International Symposium,
               ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised
               Selected Papers},
  pages     = {96--114},
  year      = {2004},
  crossref  = {DBLP:conf/isola/2004},
  url       = {https://doi.org/10.1007/11925040\_7},
  doi       = {10.1007/11925040\_7},
  timestamp = {Fri, 02 Nov 2018 09:34:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/CookKS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BallCDR04,
  author    = {Thomas Ball and
               Byron Cook and
               Satyaki Das and
               Sriram K. Rajamani},
  title     = {Refining Approximations in Software Predicate Abstraction},
  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, Proceedings},
  pages     = {388--403},
  year      = {2004},
  crossref  = {DBLP:conf/tacas/2004},
  url       = {https://doi.org/10.1007/978-3-540-24730-2\_30},
  doi       = {10.1007/978-3-540-24730-2\_30},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/BallCDR04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CookSV03,
  author    = {Byron Cook and
               Scott D. Stoller and
               Willem Visser},
  title     = {SoftMC 2003: Workshop on Software Model Checking},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {89},
  number    = {3},
  pages     = {377},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(05)80001-5},
  doi       = {10.1016/S1571-0661(05)80001-5},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/CookSV03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AagaardCDJ03,
  author    = {Mark Aagaard and
               Byron Cook and
               Nancy A. Day and
               Robert B. Jones},
  title     = {A framework for superscalar microprocessor correctness statements},
  journal   = {{STTT}},
  volume    = {4},
  number    = {3},
  pages     = {298--312},
  year      = {2003},
  url       = {https://doi.org/10.1007/s10009-002-0087-0},
  doi       = {10.1007/s10009-002-0087-0},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/AagaardCDJ03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/AnderssonBCH03,
  author    = {Gunnar Andersson and
               Per Bjesse and
               Byron Cook and
               Ziyad Hanna},
  title     = {Design automation with mixtures of proof strategies for propositional
               logic},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {22},
  number    = {8},
  pages     = {1042--1048},
  year      = {2003},
  url       = {https://doi.org/10.1109/TCAD.2003.814959},
  doi       = {10.1109/TCAD.2003.814959},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/AnderssonBCH03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LahiriBC03,
  author    = {Shuvendu K. Lahiri and
               Randal E. Bryant and
               Byron Cook},
  title     = {A Symbolic Approach to Predicate Abstraction},
  booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  pages     = {141--153},
  year      = {2003},
  crossref  = {DBLP:conf/cav/2003},
  url       = {https://doi.org/10.1007/978-3-540-45069-6\_15},
  doi       = {10.1007/978-3-540-45069-6\_15},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/LahiriBC03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AnderssonBCH02,
  author    = {Gunnar Andersson and
               Per Bjesse and
               Byron Cook and
               Ziyad Hanna},
  title     = {A proof engine approach to solving combinational design automation
               problems},
  booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
               New Orleans, LA, USA, June 10-14, 2002},
  pages     = {725--730},
  year      = {2002},
  crossref  = {DBLP:conf/dac/2002},
  url       = {https://doi.org/10.1145/513918.514101},
  doi       = {10.1145/513918.514101},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/AnderssonBCH02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AagaardCDJ01,
  author    = {Mark Aagaard and
               Byron Cook and
               Nancy A. Day and
               Robert B. Jones},
  title     = {A Framework for Microprocessor Correctness Statements},
  booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
               Scotland, UK, September 4-7, 2001, Proceedings},
  pages     = {433--448},
  year      = {2001},
  crossref  = {DBLP:conf/charme/2001},
  url       = {https://doi.org/10.1007/3-540-44798-9\_33},
  doi       = {10.1007/3-540-44798-9\_33},
  timestamp = {Fri, 02 Nov 2018 09:46:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/charme/AagaardCDJ01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DayAC00,
  author    = {Nancy A. Day and
               Mark Aagaard and
               Byron Cook},
  title     = {Combining Stream-Based and State-Based Verification Techniques},
  booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
               {FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
  pages     = {126--142},
  year      = {2000},
  crossref  = {DBLP:conf/fmcad/2000},
  url       = {https://doi.org/10.1007/3-540-40922-X\_9},
  doi       = {10.1007/3-540-40922-X\_9},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/DayAC00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/CookLMK99,
  author    = {Byron Cook and
               John Launchbury and
               John Matthews and
               Richard B. Kieburtz},
  title     = {Formal Verification of Explicitly Parallel Microprocessors},
  booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
               Germany, September 27-29, 1999, Proceedings},
  pages     = {23--36},
  year      = {1999},
  crossref  = {DBLP:conf/charme/1999},
  url       = {https://doi.org/10.1007/3-540-48153-2\_4},
  doi       = {10.1007/3-540-48153-2\_4},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/CookLMK99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/DayLC99,
  author    = {Nancy A. Day and
               Jeffrey R. Lewis and
               Byron Cook},
  title     = {Symbolic Simulation of Microprocessor Models using Type Classes in
               Haskell},
  booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
               Germany, September 27-29, 1999, Proceedings},
  pages     = {346--349},
  year      = {1999},
  crossref  = {DBLP:conf/charme/1999},
  url       = {https://doi.org/10.1007/3-540-48153-2\_31},
  doi       = {10.1007/3-540-48153-2\_31},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/DayLC99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LaunchburyLC99,
  author    = {John Launchbury and
               Jeffrey R. Lewis and
               Byron Cook},
  title     = {On Embedding a Microarchitectural Design Language within Haskell},
  booktitle = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
               1999.},
  pages     = {60--69},
  year      = {1999},
  crossref  = {DBLP:conf/icfp/1999},
  url       = {https://doi.org/10.1145/317636.317784},
  doi       = {10.1145/317636.317784},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/LaunchburyLC99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/MatthewsCL98,
  author    = {John Matthews and
               Byron Cook and
               John Launchbury},
  title     = {Microprocessor Specification in Hawk},
  booktitle = {Proceedings of the 1998 International Conference on Computer Languages,
               {ICCL} 1998, Chicago, IL, USA, May 14-16, 1998},
  pages     = {90--101},
  year      = {1998},
  crossref  = {DBLP:conf/iccl/1998},
  url       = {https://doi.org/10.1109/ICCL.1998.674160},
  doi       = {10.1109/ICCL.1998.674160},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccl/MatthewsCL98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CookL97,
  author    = {Byron Cook and
               John Launchbury},
  title     = {Disposable Memo Functions (Extended Abstract)},
  booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
               Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
               9-11, 1997.},
  pages     = {310},
  year      = {1997},
  crossref  = {DBLP:conf/icfp/1997},
  url       = {https://doi.org/10.1145/258948.258979},
  doi       = {10.1145/258948.258979},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/CookL97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2018-1,
  editor    = {Hana Chockler and
               Georg Weissenbacher},
  title     = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10981},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96145-3},
  doi       = {10.1007/978-3-319-96145-3},
  isbn      = {978-3-319-96144-6},
  timestamp = {Mon, 23 Jul 2018 17:17:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2018-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2018-2,
  editor    = {Hana Chockler and
               Georg Weissenbacher},
  title     = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10982},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96142-2},
  doi       = {10.1007/978-3-319-96142-2},
  isbn      = {978-3-319-96141-5},
  timestamp = {Mon, 23 Jul 2018 17:21:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2018-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2018,
  editor    = {Nikolaj Bj{\o}rner and
               Arie Gurfinkel},
  title     = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
               TX, USA, October 30 - November 2, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8585253},
  isbn      = {978-0-9835678-8-2},
  timestamp = {Fri, 11 Jan 2019 14:01:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2018,
  editor    = {Ruzica Piskac and
               Philipp R{\"{u}}mmer},
  title     = {Verified Software. Theories, Tools, and Experiments - 10th International
               Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11294},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03592-1},
  doi       = {10.1007/978-3-030-03592-1},
  isbn      = {978-3-030-03591-4},
  timestamp = {Tue, 27 Nov 2018 14:42:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2017,
  editor    = {Daryl Stewart and
               Georg Weissenbacher},
  title     = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
               Austria, October 2-6, 2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8093672},
  isbn      = {978-0-9835678-7-5},
  timestamp = {Fri, 17 Nov 2017 10:12:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2017,
  editor    = {Hakan Erdogmus and
               Klaus Havelund},
  title     = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
               on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3092282},
  isbn      = {978-1-4503-5077-8},
  timestamp = {Wed, 16 Aug 2017 09:59:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2016,
  editor    = {Marsha Chechik and
               Jean{-}Fran{\c{c}}ois Raskin},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 22nd International Conference, {TACAS} 2016, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9636},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49674-9},
  doi       = {10.1007/978-3-662-49674-9},
  isbn      = {978-3-662-49673-2},
  timestamp = {Fri, 02 Nov 2018 09:42:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2015-1,
  editor    = {Daniel Kroening and
               Corina S. Pasareanu},
  title     = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9206},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21690-4},
  doi       = {10.1007/978-3-319-21690-4},
  isbn      = {978-3-319-21689-8},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2015-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2015,
  editor    = {Jan Vitek},
  title     = {Programming Languages and Systems - 24th European Symposium on Programming,
               {ESOP} 2015, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9032},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8},
  doi       = {10.1007/978-3-662-46669-8},
  isbn      = {978-3-662-46668-1},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2015,
  editor    = {Christel Baier and
               Cesare Tinelli},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 21st International Conference, {TACAS} 2015, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2015, London, UK, April 11-18, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9035},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46681-0},
  doi       = {10.1007/978-3-662-46681-0},
  isbn      = {978-3-662-46680-3},
  timestamp = {Thu, 15 Jun 2017 21:37:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2014,
  editor    = {Armin Biere and
               Roderick Bloem},
  title     = {Computer Aided Verification - 26th International Conference, {CAV}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 18-22, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8559},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08867-9},
  doi       = {10.1007/978-3-319-08867-9},
  isbn      = {978-3-319-08866-2},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2014,
  title     = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
               October 21-24, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6975680},
  isbn      = {978-0-9835678-4-4},
  timestamp = {Thu, 08 Jan 2015 11:21:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2014,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Klaus Havelund},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 20th International Conference, {TACAS} 2014, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2014, Grenoble, France, April 5-13, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8413},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8},
  doi       = {10.1007/978-3-642-54862-8},
  isbn      = {978-3-642-54861-1},
  timestamp = {Mon, 05 Jun 2017 12:40:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2013,
  editor    = {Natasha Sharygina and
               Helmut Veith},
  title     = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8044},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8},
  doi       = {10.1007/978-3-642-39799-8},
  isbn      = {978-3-642-39798-1},
  timestamp = {Thu, 25 May 2017 00:39:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/chi/2013,
  editor    = {Wendy E. Mackay and
               Stephen A. Brewster and
               Susanne B{\o}dker},
  title     = {2013 {ACM} {SIGCHI} Conference on Human Factors in Computing Systems,
               {CHI} '13, Paris, France, April 27 - May 2, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2470654},
  isbn      = {978-1-4503-1899-0},
  timestamp = {Fri, 03 May 2013 13:46:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/chi/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2013,
  editor    = {Hans{-}Juergen Boehm and
               Cormac Flanagan},
  title     = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2491956},
  doi       = {10.1145/2491956},
  isbn      = {978-1-4503-2014-6},
  timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2013,
  editor    = {Nir Piterman and
               Scott A. Smolka},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 19th International Conference, {TACAS} 2013, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7795},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36742-7},
  doi       = {10.1007/978-3-642-36742-7},
  isbn      = {978-3-642-36741-0},
  timestamp = {Tue, 13 Jun 2017 11:34:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2012,
  editor    = {P. Madhusudan and
               Sanjit A. Seshia},
  title     = {Computer Aided Verification - 24th International Conference, {CAV}
               2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7358},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31424-7},
  doi       = {10.1007/978-3-642-31424-7},
  isbn      = {978-3-642-31423-0},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2011,
  editor    = {Nikolaj Bj{\o}rner and
               Viorica Sofronie{-}Stokkermans},
  title     = {Automated Deduction - {CADE-23} - 23rd International Conference on
               Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6803},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22438-6},
  doi       = {10.1007/978-3-642-22438-6},
  isbn      = {978-3-642-22437-9},
  timestamp = {Sun, 21 May 2017 00:17:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2011,
  editor    = {Ganesh Gopalakrishnan and
               Shaz Qadeer},
  title     = {Computer Aided Verification - 23rd International Conference, {CAV}
               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6806},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22110-1},
  doi       = {10.1007/978-3-642-22110-1},
  isbn      = {978-3-642-22109-5},
  timestamp = {Thu, 25 May 2017 00:39:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2011,
  editor    = {Joost{-}Pieter Katoen and
               Barbara K{\"{o}}nig},
  title     = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
               {CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6901},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23217-6},
  doi       = {10.1007/978-3-642-23217-6},
  isbn      = {978-3-642-23216-9},
  timestamp = {Wed, 14 Nov 2018 10:56:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2011,
  editor    = {Thomas Ball and
               Mooly Sagiv},
  title     = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
               2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=1926385},
  isbn      = {978-1-4503-0490-0},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2011,
  editor    = {Ranjit Jhala and
               David A. Schmidt},
  title     = {Verification, Model Checking, and Abstract Interpretation - 12th International
               Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6538},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-18275-4},
  doi       = {10.1007/978-3-642-18275-4},
  isbn      = {978-3-642-18274-7},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2010,
  editor    = {Javier Esparza and
               Rupak Majumdar},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               16th International Conference, {TACAS} 2010, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2010,
               Paphos, Cyprus, March 20-28, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6015},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-12002-2},
  doi       = {10.1007/978-3-642-12002-2},
  isbn      = {978-3-642-12001-5},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2009,
  title     = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
               Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5344684},
  isbn      = {978-1-4244-4966-8},
  timestamp = {Wed, 17 Feb 2016 13:08:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2009,
  editor    = {Michael Leuschel and
               Heike Wehrheim},
  title     = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
               D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5423},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00255-7},
  doi       = {10.1007/978-3-642-00255-7},
  isbn      = {978-3-642-00254-0},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2009,
  editor    = {Zhong Shao and
               Benjamin C. Pierce},
  title     = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
               21-23, 2009},
  publisher = {{ACM}},
  year      = {2009},
  url       = {http://dl.acm.org/citation.cfm?id=1480881},
  isbn      = {978-1-60558-379-2},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2009,
  editor    = {Neil D. Jones and
               Markus M{\"{u}}ller{-}Olm},
  title     = {Verification, Model Checking, and Abstract Interpretation, 10th International
               Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5403},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-540-93900-9},
  doi       = {10.1007/978-3-540-93900-9},
  isbn      = {978-3-540-93899-6},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2008,
  editor    = {Aarti Gupta and
               Sharad Malik},
  title     = {Computer Aided Verification, 20th International Conference, {CAV}
               2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5123},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-70545-1},
  doi       = {10.1007/978-3-540-70545-1},
  isbn      = {978-3-540-70543-7},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2008,
  editor    = {Sophia Drossopoulou},
  title     = {Programming Languages and Systems, 17th European Symposium on Programming,
               {ESOP} 2008, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
               6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4960},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78739-6},
  doi       = {10.1007/978-3-540-78739-6},
  isbn      = {978-3-540-78738-9},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2007,
  editor    = {Zhong Shao},
  title     = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
               Singapore, November 29-December 1, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4807},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-76637-7},
  doi       = {10.1007/978-3-540-76637-7},
  isbn      = {978-3-540-76636-0},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2007,
  editor    = {Werner Damm and
               Holger Hermanns},
  title     = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4590},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3},
  doi       = {10.1007/978-3-540-73368-3},
  isbn      = {978-3-540-73367-6},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memocode/2007,
  title     = {5th {ACM} {\&} {IEEE} International Conference on Formal Methods
               and Models for Co-Design {(MEMOCODE} 2007), May 30 - June 1st, Nice,
               France},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4231755},
  isbn      = {1-4244-1050-9},
  timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2007,
  editor    = {Jeanne Ferrante and
               Kathryn S. McKinley},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
               Language Design and Implementation, San Diego, California, USA, June
               10-13, 2007},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-633-2},
  timestamp = {Wed, 13 Jun 2007 10:00:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2007,
  editor    = {Martin Hofmann and
               Matthias Felleisen},
  title     = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
               2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {http://dl.acm.org/citation.cfm?id=1190216},
  isbn      = {1-59593-575-4},
  timestamp = {Tue, 05 Nov 2013 17:32:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2007,
  editor    = {Hanne Riis Nielson and
               Gilberto Fil{\'{e}}},
  title     = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
               Lyngby, Denmark, August 22-24, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4634},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74061-2},
  doi       = {10.1007/978-3-540-74061-2},
  isbn      = {978-3-540-74060-5},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2007,
  title     = {Fifth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
               {UK}},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4343908},
  isbn      = {978-0-7695-2884-7},
  timestamp = {Thu, 28 May 2015 17:23:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2007,
  editor    = {Orna Grumberg and
               Michael Huth},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               13th International Conference, {TACAS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007
               Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4424},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71209-1},
  doi       = {10.1007/978-3-540-71209-1},
  isbn      = {978-3-540-71208-4},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2006,
  editor    = {Thomas Ball and
               Robert B. Jones},
  title     = {Computer Aided Verification, 18th International Conference, {CAV}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4144},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11817963},
  doi       = {10.1007/11817963},
  isbn      = {3-540-37406-X},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2006,
  editor    = {Yolande Berbers and
               Willy Zwaenepoel},
  title     = {Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April
               18-21, 2006},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-322-0},
  timestamp = {Wed, 16 May 2007 10:01:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurosys/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2006,
  title     = {Formal Methods in Computer-Aided Design, 6th International Conference,
               {FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4020992},
  isbn      = {0-7695-2707-8},
  timestamp = {Wed, 17 Feb 2016 13:08:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2006,
  editor    = {Michael I. Schwartzbach and
               Thomas Ball},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
               Language Design and Implementation, Ottawa, Ontario, Canada, June
               11-14, 2006},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-320-4},
  timestamp = {Mon, 17 Jul 2006 21:50:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2006,
  editor    = {Kwangkeun Yi},
  title     = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
               Korea, August 29-31, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4134},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11823230},
  doi       = {10.1007/11823230},
  isbn      = {3-540-37756-5},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2005,
  title     = {Proceedings of the 12th International Workshop on Abstract State Machines,
               {ASM} 2005, March 8-11, 2005, Paris, France},
  year      = {2005},
  timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2005,
  editor    = {Kousha Etessami and
               Sriram K. Rajamani},
  title     = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3576},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b138445},
  doi       = {10.1007/b138445},
  isbn      = {3-540-27231-3},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2005,
  editor    = {Kung{-}Kiu Lau and
               Richard Banach},
  title     = {Formal Methods and Software Engineering, 7th International Conference
               on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
               1-4, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3785},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11576280},
  doi       = {10.1007/11576280},
  isbn      = {3-540-29797-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2005,
  editor    = {Chris Hankin and
               Igor Siveroni},
  title     = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
               UK, September 7-9, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3672},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11547662},
  doi       = {10.1007/11547662},
  isbn      = {3-540-28584-9},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2005,
  editor    = {Patrice Godefroid},
  title     = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
               CA, USA, August 22-24, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3639},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11537328},
  doi       = {10.1007/11537328},
  isbn      = {3-540-28195-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2004,
  editor    = {Rajeev Alur and
               Doron A. Peled},
  title     = {Computer Aided Verification, 16th International Conference, {CAV}
               2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3114},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98490},
  doi       = {10.1007/b98490},
  isbn      = {3-540-22342-8},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2004,
  editor    = {Eerke A. Boiten and
               John Derrick and
               Graeme Smith},
  title     = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
               Canterbury, UK, April 4-7, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2999},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b96106},
  doi       = {10.1007/b96106},
  isbn      = {3-540-21377-5},
  timestamp = {Sun, 04 Jun 2017 10:05:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2004i,
  editor    = {Tiziana Margaria and
               Bernhard Steffen and
               Anna Philippou and
               Manfred Reitenspie{\ss}},
  title     = {International Symposium on Leveraging Applications of Formal Methods,
               ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
               proceedings},
  series    = {Technical Report},
  volume    = {{TR-2004-6}},
  publisher = {Department of Computer Science, University of Cyprus},
  year      = {2004},
  timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2004i},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2004,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, First International Symposium,
               ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4313},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11925040},
  doi       = {10.1007/11925040},
  isbn      = {3-540-48928-2},
  timestamp = {Fri, 02 Nov 2018 09:34:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2004,
  editor    = {Kurt Jensen and
               Andreas Podelski},
  title     = {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, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2988},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b96393},
  doi       = {10.1007/b96393},
  isbn      = {3-540-21299-X},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2003,
  editor    = {Warren A. Hunt Jr. and
               Fabio Somenzi},
  title     = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2725},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11831},
  doi       = {10.1007/b11831},
  isbn      = {3-540-40524-0},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2002,
  title     = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
               New Orleans, LA, USA, June 10-14, 2002},
  publisher = {{ACM}},
  year      = {2002},
  url       = {http://dl.acm.org/citation.cfm?id=513918},
  isbn      = {1-58113-461-4},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/2001,
  editor    = {Tiziana Margaria and
               Thomas F. Melham},
  title     = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
               Scotland, UK, September 4-7, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2144},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44798-9},
  doi       = {10.1007/3-540-44798-9},
  isbn      = {3-540-42541-1},
  timestamp = {Fri, 02 Nov 2018 09:46:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/charme/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2000,
  editor    = {Warren A. Hunt Jr. and
               Steven D. Johnson},
  title     = {Formal Methods in Computer-Aided Design, Third International Conference,
               {FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1954},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-40922-X},
  doi       = {10.1007/3-540-40922-X},
  isbn      = {3-540-41219-0},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/1999,
  editor    = {Laurence Pierre and
               Thomas Kropf},
  title     = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
               Germany, September 27-29, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1703},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48153-2},
  doi       = {10.1007/3-540-48153-2},
  isbn      = {3-540-66559-5},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/1999,
  editor    = {Didier R{\'{e}}my and
               Peter Lee},
  title     = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
               1999},
  publisher = {{ACM}},
  year      = {1999},
  isbn      = {1-58113-111-9},
  timestamp = {Mon, 23 Oct 2017 11:53:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccl/1998,
  title     = {Proceedings of the 1998 International Conference on Computer Languages,
               {ICCL} 1998, Chicago, IL, USA, May 14-16, 1998},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5516},
  isbn      = {0-8186-8454-2},
  timestamp = {Fri, 27 May 2016 12:52:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccl/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/1997,
  editor    = {Simon L. {Peyton Jones} and
               Mads Tofte and
               A. Michael Berman},
  title     = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
               Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
               9-11, 1997},
  publisher = {{ACM}},
  year      = {1997},
  isbn      = {0-89791-918-1},
  timestamp = {Tue, 11 Jun 2013 13:53:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier