BibTeX records: David L. Dill

download as .bib file

@article{DBLP:journals/corr/abs-1802-03685,
  author    = {Daniel Selsam and
               Matthew Lamm and
               Benedikt B{\"{u}}nz and
               Percy Liang and
               Leonardo de Moura and
               David L. Dill},
  title     = {Learning a {SAT} Solver from Single-Bit Supervision},
  journal   = {CoRR},
  volume    = {abs/1802.03685},
  year      = {2018},
  url       = {http://arxiv.org/abs/1802.03685},
  archivePrefix = {arXiv},
  eprint    = {1802.03685},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1802-03685},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KatzBDJK17,
  author    = {Guy Katz and
               Clark W. Barrett and
               David L. Dill and
               Kyle Julian and
               Mykel J. Kochenderfer},
  title     = {Reluplex: An Efficient {SMT} Solver for Verifying Deep Neural Networks},
  booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
               2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
  pages     = {97--117},
  year      = {2017},
  crossref  = {DBLP:conf/cav/2017-1},
  url       = {https://doi.org/10.1007/978-3-319-63387-9\_5},
  doi       = {10.1007/978-3-319-63387-9\_5},
  timestamp = {Fri, 14 Jul 2017 12:52:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/KatzBDJK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/SelsamLD17,
  author    = {Daniel Selsam and
               Percy Liang and
               David L. Dill},
  title     = {Developing Bug-Free Machine Learning Systems With Formal Mathematics},
  booktitle = {Proceedings of the 34th International Conference on Machine Learning,
               {ICML} 2017, Sydney, NSW, Australia, 6-11 August 2017},
  pages     = {3047--3056},
  year      = {2017},
  crossref  = {DBLP:conf/icml/2017},
  url       = {http://proceedings.mlr.press/v70/selsam17a.html},
  timestamp = {Wed, 03 Apr 2019 18:02:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icml/SelsamLD17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02802,
  author    = {Guy Katz and
               Clark Barrett and
               David L. Dill and
               Kyle Julian and
               Mykel J. Kochenderfer},
  title     = {Towards Proving the Adversarial Robustness of Deep Neural Networks},
  booktitle = {Proceedings First Workshop on Formal Verification of Autonomous Vehicles,
               FVAV@iFM 2017, Turin, Italy, 19th September 2017.},
  pages     = {19--26},
  year      = {2017},
  crossref  = {DBLP:journals/corr/abs-1709-02126},
  url       = {https://doi.org/10.4204/EPTCS.257.3},
  doi       = {10.4204/EPTCS.257.3},
  timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-02802},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KatzBDJK17,
  author    = {Guy Katz and
               Clark W. Barrett and
               David L. Dill and
               Kyle Julian and
               Mykel J. Kochenderfer},
  title     = {Reluplex: An Efficient {SMT} Solver for Verifying Deep Neural Networks},
  journal   = {CoRR},
  volume    = {abs/1702.01135},
  year      = {2017},
  url       = {http://arxiv.org/abs/1702.01135},
  archivePrefix = {arXiv},
  eprint    = {1702.01135},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/KatzBDJK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SelsamLD17,
  author    = {Daniel Selsam and
               Percy Liang and
               David L. Dill},
  title     = {Developing Bug-Free Machine Learning Systems With Formal Mathematics},
  journal   = {CoRR},
  volume    = {abs/1706.08605},
  year      = {2017},
  url       = {http://arxiv.org/abs/1706.08605},
  archivePrefix = {arXiv},
  eprint    = {1706.08605},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/SelsamLD17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-10207,
  author    = {Nicholas Carlini and
               Guy Katz and
               Clark Barrett and
               David L. Dill},
  title     = {Ground-Truth Adversarial Examples},
  journal   = {CoRR},
  volume    = {abs/1709.10207},
  year      = {2017},
  url       = {http://arxiv.org/abs/1709.10207},
  archivePrefix = {arXiv},
  eprint    = {1709.10207},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-10207},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/LaskerSMMDMS16,
  author    = {Keren Lasker and
               Jared M. Schrader and
               Yifei Men and
               Tyler Marshik and
               David L. Dill and
               Harley H. McAdams and
               Lucy Shapiro},
  title     = {CauloBrowser: {A} systems biology resource for \emph{Caulobacter crescentus}},
  journal   = {Nucleic Acids Research},
  volume    = {44},
  number    = {Database-Issue},
  pages     = {640--645},
  year      = {2016},
  url       = {https://doi.org/10.1093/nar/gkv1050},
  doi       = {10.1093/nar/gkv1050},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/nar/LaskerSMMDMS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/SinhaD16,
  author    = {Subarna Sinha and
               David L. Dill},
  title     = {Deciphering cancer biology using boolean methods},
  booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
               {HLDVT} 2016, Santa Cruz, CA, USA, October 7-8, 2016},
  pages     = {150--154},
  year      = {2016},
  crossref  = {DBLP:conf/hldvt/2016},
  url       = {https://doi.org/10.1109/HLDVT.2016.7748269},
  doi       = {10.1109/HLDVT.2016.7748269},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hldvt/SinhaD16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/ZhangKD15,
  author    = {Weiruo Zhang and
               Ritesh Kolte and
               David L. Dill},
  title     = {Towards in vivo estimation of reaction kinetics using high-throughput
               metabolomics data: a maximum likelihood approach},
  journal   = {{BMC} Systems Biology},
  volume    = {9},
  pages     = {66},
  year      = {2015},
  url       = {https://doi.org/10.1186/s12918-015-0214-7},
  doi       = {10.1186/s12918-015-0214-7},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/bmcsb/ZhangKD15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Dill12,
  author    = {David L. Dill},
  title     = {Model Checking Cell Biology},
  booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
               2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  pages     = {2},
  year      = {2012},
  crossref  = {DBLP:conf/cav/2012},
  url       = {https://doi.org/10.1007/978-3-642-31424-7\_2},
  doi       = {10.1007/978-3-642-31424-7\_2},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/Dill12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/LazarusDE11,
  author    = {Eric Lazarus and
               David L. Dill and
               Jeremy Epstein},
  title     = {Applying a Reusable Election Threat Model at the County Level},
  booktitle = {2011 Electronic Voting Technology Workshop / Workshop on Trustworthy
               Elections, {EVT/WOTE} '11, San Francisco, CA, USA, August 8-9, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/uss/2011evt},
  url       = {https://www.usenix.org/conference/evtwote-11/applying-reusable-election-threat-model-county-level},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/LazarusDE11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Dill11,
  author    = {David L. Dill},
  title     = {Are Cells Asynchronous Circuits? - (Invited Talk)},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
               Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  pages     = {1},
  year      = {2011},
  crossref  = {DBLP:conf/vmcai/2011},
  url       = {https://doi.org/10.1007/978-3-642-18275-4\_1},
  doi       = {10.1007/978-3-642-18275-4\_1},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/Dill11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/LindermanHDMN10,
  author    = {Michael D. Linderman and
               Matthew Ho and
               David L. Dill and
               Teresa H. Y. Meng and
               Garry P. Nolan},
  title     = {Towards program optimization through automated analysis of numerical
               precision},
  booktitle = {Proceedings of the {CGO} 2010, The 8th International Symposium on
               Code Generation and Optimization, Toronto, Ontario, Canada, April
               24-28, 2010},
  pages     = {230--237},
  year      = {2010},
  crossref  = {DBLP:conf/cgo/2010},
  url       = {https://doi.org/10.1145/1772954.1772987},
  doi       = {10.1145/1772954.1772987},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cgo/LindermanHDMN10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DillC08,
  author    = {David L. Dill and
               Daniel Castro},
  title     = {Point/counterpoint: The {U.S.} should ban paperless electronic voting
               machines},
  journal   = {Commun. {ACM}},
  volume    = {51},
  number    = {10},
  pages     = {29--33},
  year      = {2008},
  url       = {https://doi.org/10.1145/1400181.1400192},
  doi       = {10.1145/1400181.1400192},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cacm/DillC08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/CadarGPDE08,
  author    = {Cristian Cadar and
               Vijay Ganesh and
               Peter M. Pawlowski and
               David L. Dill and
               Dawson R. Engler},
  title     = {{EXE:} Automatically Generating Inputs of Death},
  journal   = {{ACM} Trans. Inf. Syst. Secur.},
  volume    = {12},
  number    = {2},
  pages     = {10:1--10:38},
  year      = {2008},
  url       = {https://doi.org/10.1145/1455518.1455522},
  doi       = {10.1145/1455518.1455522},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tissec/CadarGPDE08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Dill08,
  author    = {David L. Dill},
  title     = {Formal Verification and Biology},
  booktitle = {Automated Technology for Verification and Analysis, 6th International
               Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
  pages     = {3},
  year      = {2008},
  crossref  = {DBLP:conf/atva/2008},
  url       = {https://doi.org/10.1007/978-3-540-88387-6\_2},
  doi       = {10.1007/978-3-540-88387-6\_2},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/Dill08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SmithD08,
  author    = {Eric Whitman Smith and
               David L. Dill},
  title     = {Automatic Formal Verification of Block Cipher Implementations},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon,
               USA, 17-20 November 2008},
  pages     = {1--7},
  year      = {2008},
  crossref  = {DBLP:conf/fmcad/2008},
  url       = {https://doi.org/10.1109/FMCAD.2008.ECP.10},
  doi       = {10.1109/FMCAD.2008.ECP.10},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/SmithD08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Dill08,
  author    = {David L. Dill},
  title     = {A Retrospective on Mur\emph{phi}},
  booktitle = {25 Years of Model Checking - History, Achievements, Perspectives},
  pages     = {77--88},
  year      = {2008},
  crossref  = {DBLP:conf/spin/5000},
  url       = {https://doi.org/10.1007/978-3-540-69850-0\_5},
  doi       = {10.1007/978-3-540-69850-0\_5},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/Dill08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uss/2008evt,
  editor    = {David L. Dill and
               Tadayoshi Kohno},
  title     = {2008 {USENIX/ACCURATE} Electronic Voting Workshop, {EVT} 2008, July
               28-29, 2008, San Jose, CA, USA, Proceedings},
  publisher = {{USENIX} Association},
  year      = {2008},
  timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/2008evt},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GaneshD07,
  author    = {Vijay Ganesh and
               David L. Dill},
  title     = {A Decision Procedure for Bit-Vectors and Arrays},
  booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  pages     = {519--531},
  year      = {2007},
  crossref  = {DBLP:conf/cav/2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3\_52},
  doi       = {10.1007/978-3-540-73368-3\_52},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/GaneshD07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/TalcottD06,
  author    = {Carolyn L. Talcott and
               David L. Dill},
  title     = {Multiple Representations of Biological Processes},
  pages     = {221--245},
  year      = {2006},
  crossref  = {DBLP:journals/tcsb/2006-6},
  url       = {https://doi.org/10.1007/11880646\_10},
  doi       = {10.1007/11880646\_10},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcsb/TalcottD06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Dill06,
  author    = {David L. Dill},
  title     = {I Think {I} Voted: E-Voting vs. Democracy},
  booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  pages     = {2},
  year      = {2006},
  crossref  = {DBLP:conf/cav/2006},
  url       = {https://doi.org/10.1007/11817963\_2},
  doi       = {10.1007/11817963\_2},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/Dill06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/CadarGPDE06,
  author    = {Cristian Cadar and
               Vijay Ganesh and
               Peter M. Pawlowski and
               David L. Dill and
               Dawson R. Engler},
  title     = {{EXE:} automatically generating inputs of death},
  booktitle = {Proceedings of the 13th {ACM} Conference on Computer and Communications
               Security, {CCS} 2006, Alexandria, VA, USA, Ioctober 30 - November
               3, 2006},
  pages     = {322--335},
  year      = {2006},
  crossref  = {DBLP:conf/ccs/2006usa},
  url       = {https://doi.org/10.1145/1180405.1180445},
  doi       = {10.1145/1180405.1180445},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/CadarGPDE06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Abu-HaimedDB06,
  author    = {Husam Abu{-}Haimed and
               David L. Dill and
               Sergey Berezin},
  title     = {A Refinement Method for Validity Checking of Quantified First-Order
               Formulas in Hardware Verification},
  booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference,
               {FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
  pages     = {145--152},
  year      = {2006},
  crossref  = {DBLP:conf/fmcad/2006},
  url       = {https://doi.org/10.1109/FMCAD.2006.2},
  doi       = {10.1109/FMCAD.2006.2},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/Abu-HaimedDB06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BerezinBSCGD05,
  author    = {Sergey Berezin and
               Clark Barrett and
               Igor Shikanian and
               Marsha Chechik and
               Arie Gurfinkel and
               David L. Dill},
  title     = {A Practical Approach to Partial Functions in {CVC} Lite},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {125},
  number    = {3},
  pages     = {13--23},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.06.064},
  doi       = {10.1016/j.entcs.2004.06.064},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BerezinBSCGD05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SahooJID05,
  author    = {Debashis Sahoo and
               Jawahar Jain and
               Subramanian K. Iyer and
               David L. Dill},
  title     = {A New Reachability Algorithm for Symmetric Multi-processor Architecture},
  booktitle = {Automated Technology for Verification and Analysis, Third International
               Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  pages     = {26--38},
  year      = {2005},
  crossref  = {DBLP:conf/atva/2005},
  url       = {https://doi.org/10.1007/11562948\_5},
  doi       = {10.1007/11562948\_5},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/SahooJID05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SahooJIDE05,
  author    = {Debashis Sahoo and
               Jawahar Jain and
               Subramanian K. Iyer and
               David L. Dill and
               E. Allen Emerson},
  title     = {Predictive Reachability Using a Sample-Based Approach},
  booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
               Germany, October 3-6, 2005, Proceedings},
  pages     = {388--392},
  year      = {2005},
  crossref  = {DBLP:conf/charme/2005},
  url       = {https://doi.org/10.1007/11560548\_38},
  doi       = {10.1007/11560548\_38},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/SahooJIDE05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SahooJIDE05,
  author    = {Debashis Sahoo and
               Jawahar Jain and
               Subramanian K. Iyer and
               David L. Dill and
               E. Allen Emerson},
  title     = {Multi-threaded reachability},
  booktitle = {Proceedings of the 42nd Design Automation Conference, {DAC} 2005,
               San Diego, CA, USA, June 13-17, 2005},
  pages     = {467--470},
  year      = {2005},
  crossref  = {DBLP:conf/dac/2005},
  url       = {https://doi.org/10.1145/1065579.1065701},
  doi       = {10.1145/1065579.1065701},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/SahooJIDE05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recomb/DillKGTLL05,
  author    = {David L. Dill and
               Merrill Knapp and
               Pamela Gage and
               Carolyn L. Talcott and
               Keith Laderoute and
               Patrick Lincoln},
  title     = {The Pathalyzer: {A} Tool for Analysis of Signal Transduction Pathways},
  booktitle = {Systems Biology and Regulatory Genomics, Joint Annual {RECOMB} 2005
               Satellite Workshops on Systems Biology and on Regulatory Genomics,
               San Diego, CA, USA; December 2-4, 2005, Revised Selected Papers},
  pages     = {11--22},
  year      = {2005},
  crossref  = {DBLP:conf/recomb/2005sbrg},
  url       = {https://doi.org/10.1007/978-3-540-48540-7\_2},
  doi       = {10.1007/978-3-540-48540-7\_2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/recomb/DillKGTLL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MusuvathiD05,
  author    = {Madanlal Musuvathi and
               David L. Dill},
  title     = {An Incremental Heap Canonicalization Algorithm},
  booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
               CA, USA, August 22-24, 2005, Proceedings},
  pages     = {28--42},
  year      = {2005},
  crossref  = {DBLP:conf/spin/2005},
  url       = {https://doi.org/10.1007/11537328\_6},
  doi       = {10.1007/11537328\_6},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/MusuvathiD05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/VoraABCDJJLRSY04,
  author    = {Poorvi L. Vora and
               Ben Adida and
               Ren Bucholz and
               David Chaum and
               David L. Dill and
               David R. Jefferson and
               Douglas W. Jones and
               William Lattin and
               Aviel D. Rubin and
               Michael Ian Shamos and
               Moti Yung},
  title     = {Evaluation of voting systems},
  journal   = {Commun. {ACM}},
  volume    = {47},
  number    = {11},
  pages     = {144},
  year      = {2004},
  url       = {https://doi.org/10.1145/1029496.1029520},
  doi       = {10.1145/1029496.1029520},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cacm/VoraABCDJJLRSY04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/DillR04,
  author    = {David L. Dill and
               Aviel D. Rubin},
  title     = {Guest Editors' Introduction: E-Voting Security},
  journal   = {{IEEE} Security {\&} Privacy},
  volume    = {2},
  number    = {1},
  pages     = {22--23},
  year      = {2004},
  url       = {https://doi.org/10.1109/MSECP.2004.1264849},
  doi       = {10.1109/MSECP.2004.1264849},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ieeesp/DillR04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChangBD04,
  author    = {Jacob Chang and
               Sergey Berezin and
               David L. Dill},
  title     = {Using Interface Refinement to Integrate Formal Verification into the
               Design Cycle},
  booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
               2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  pages     = {122--134},
  year      = {2004},
  crossref  = {DBLP:conf/cav/2004},
  url       = {https://doi.org/10.1007/978-3-540-27813-9\_10},
  doi       = {10.1007/978-3-540-27813-9\_10},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/ChangBD04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SahooIJSNDE04,
  author    = {Debashis Sahoo and
               Subramanian K. Iyer and
               Jawahar Jain and
               Christian Stangier and
               Amit Narayan and
               David L. Dill and
               E. Allen Emerson},
  title     = {A Partitioning Methodology for BDD-Based Verification},
  booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
               {FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
  pages     = {399--413},
  year      = {2004},
  crossref  = {DBLP:conf/fmcad/2004},
  url       = {https://doi.org/10.1007/978-3-540-30494-4\_28},
  doi       = {10.1007/978-3-540-30494-4\_28},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/SahooIJSNDE04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Dill04,
  author    = {David L. Dill},
  title     = {The battle of accountable voting systems},
  booktitle = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
               and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
               California, USA, Proceedings},
  pages     = {105},
  year      = {2004},
  crossref  = {DBLP:conf/memocode/2004},
  url       = {https://doi.org/10.1109/MEMCOD.2004.1459826},
  doi       = {10.1109/MEMCOD.2004.1459826},
  timestamp = {Wed, 13 Feb 2019 11:42:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/Dill04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DillSS03,
  author    = {David L. Dill and
               Bruce Schneier and
               Barbara Simons},
  title     = {Voting and technology: who gets to count your vote?},
  journal   = {Commun. {ACM}},
  volume    = {46},
  number    = {8},
  pages     = {29--31},
  year      = {2003},
  url       = {https://doi.org/10.1145/859670.859692},
  doi       = {10.1145/859670.859692},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cacm/DillSS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Abu-HaimedBD03,
  author    = {Husam Abu{-}Haimed and
               Sergey Berezin and
               David L. Dill},
  title     = {Strengthening Invariants by Symbolic Consistency Testing},
  booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  pages     = {407--419},
  year      = {2003},
  crossref  = {DBLP:conf/cav/2003},
  url       = {https://doi.org/10.1007/978-3-540-45069-6\_38},
  doi       = {10.1007/978-3-540-45069-6\_38},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/Abu-HaimedBD03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Abu-HaimedBD03,
  author    = {Husam Abu{-}Haimed and
               Sergey Berezin and
               David L. Dill},
  title     = {Semi-formal Verification of Memory Systems by Symbolic Simulation},
  booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
               Italy, October 21-24, 2003, Proceedings},
  pages     = {158--163},
  year      = {2003},
  crossref  = {DBLP:conf/charme/2003},
  url       = {https://doi.org/10.1007/978-3-540-39724-3\_15},
  doi       = {10.1007/978-3-540-39724-3\_15},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/Abu-HaimedBD03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DillL03,
  author    = {David L. Dill and
               Patrick Lincoln},
  title     = {Evolution as Design Engineer},
  booktitle = {Computational Methods in Systems Biology, First International Workshop,
               {CMSB} 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
  pages     = {202--206},
  year      = {2003},
  crossref  = {DBLP:conf/cmsb/2003},
  url       = {https://doi.org/10.1007/3-540-36481-1\_30},
  doi       = {10.1007/3-540-36481-1\_30},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/DillL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/SanchezSSZDM03,
  author    = {C{\'{e}}sar S{\'{a}}nchez and
               Sriram Sankaranarayanan and
               Henny Sipma and
               Ting Zhang and
               David L. Dill and
               Zohar Manna},
  title     = {Event Correlation: Language and Semantics},
  booktitle = {Embedded Software, Third International Conference, {EMSOFT} 2003,
               Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
  pages     = {323--339},
  year      = {2003},
  crossref  = {DBLP:conf/emsoft/2003},
  url       = {https://doi.org/10.1007/978-3-540-45212-6\_21},
  doi       = {10.1007/978-3-540-45212-6\_21},
  timestamp = {Tue, 04 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/emsoft/SanchezSSZDM03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BerezinGD03,
  author    = {Sergey Berezin and
               Vijay Ganesh and
               David L. Dill},
  title     = {An Online Proof-Producing Decision Procedure for Mixed-Integer Linear
               Arithmetic},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               9th International Conference, {TACAS} 2003, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2003,
               Warsaw, Poland, April 7-11, 2003, Proceedings},
  pages     = {521--536},
  year      = {2003},
  crossref  = {DBLP:conf/tacas/2003},
  url       = {https://doi.org/10.1007/3-540-36577-X\_38},
  doi       = {10.1007/3-540-36577-X\_38},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/BerezinGD03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/ShimizuD02,
  author    = {Kanna Shimizu and
               David L. Dill},
  title     = {Using Formal Specifications for Functional Validation of Hardware
               Designs},
  journal   = {{IEEE} Design {\&} Test of Computers},
  volume    = {19},
  number    = {4},
  pages     = {96--106},
  year      = {2002},
  url       = {https://doi.org/10.1109/MDT.2002.1018138},
  doi       = {10.1109/MDT.2002.1018138},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dt/ShimizuD02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/StumpBD02,
  author    = {Aaron Stump and
               Clark W. Barrett and
               David L. Dill},
  title     = {Producing Proofs from an Arithmetic Decision Procedure in Elliptical
               {LF}},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {70},
  number    = {2},
  pages     = {29--41},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(04)80504-8},
  doi       = {10.1016/S1571-0661(04)80504-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/StumpBD02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/JonesSD02,
  author    = {Robert B. Jones and
               Jens U. Skakkeb{\ae}k and
               David L. Dill},
  title     = {Formal Verification of Out-of-Order Execution with Incremental Flushing},
  journal   = {Formal Methods in System Design},
  volume    = {20},
  number    = {2},
  pages     = {139--158},
  year      = {2002},
  url       = {https://doi.org/10.1023/A:1014118529369},
  doi       = {10.1023/A:1014118529369},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/JonesSD02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/StumpD02,
  author    = {Aaron Stump and
               David L. Dill},
  title     = {Faster Proof Checking in the Edinburgh Logical Framework},
  booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
               Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  pages     = {392--407},
  year      = {2002},
  crossref  = {DBLP:conf/cade/2002},
  url       = {https://doi.org/10.1007/3-540-45620-1\_32},
  doi       = {10.1007/3-540-45620-1\_32},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/StumpD02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarrettDS02,
  author    = {Clark W. Barrett and
               David L. Dill and
               Aaron Stump},
  title     = {Checking Satisfiability of First-Order Formulas by Incremental Translation
               to {SAT}},
  booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
               2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
  pages     = {236--249},
  year      = {2002},
  crossref  = {DBLP:conf/cav/2002},
  url       = {https://doi.org/10.1007/3-540-45657-0\_18},
  doi       = {10.1007/3-540-45657-0\_18},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BarrettDS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/StumpBD02,
  author    = {Aaron Stump and
               Clark W. Barrett and
               David L. Dill},
  title     = {{CVC:} {A} Cooperating Validity Checker},
  booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
               2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
  pages     = {500--504},
  year      = {2002},
  crossref  = {DBLP:conf/cav/2002},
  url       = {https://doi.org/10.1007/3-540-45657-0\_40},
  doi       = {10.1007/3-540-45657-0\_40},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/StumpBD02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DillJRBFFRSW02,
  author    = {David L. Dill and
               Nate James and
               Shishpal Rawat and
               G{\'{e}}rard Berry and
               Limor Fix and
               Harry Foster and
               Rajeev K. Ranjan and
               Gunnar St{\aa}lmarck and
               Curt Widdoes},
  title     = {Formal verification methods: getting around the brick wall},
  booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
               New Orleans, LA, USA, June 10-14, 2002},
  pages     = {576--577},
  year      = {2002},
  crossref  = {DBLP:conf/dac/2002},
  url       = {https://doi.org/10.1145/513918.514064},
  doi       = {10.1145/513918.514064},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/DillJRBFFRSW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ShimizuD02,
  author    = {Kanna Shimizu and
               David L. Dill},
  title     = {Deriving a simulation input generator and a coverage metric from a
               formal specification},
  booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
               New Orleans, LA, USA, June 10-14, 2002},
  pages     = {801--806},
  year      = {2002},
  crossref  = {DBLP:conf/dac/2002},
  url       = {https://doi.org/10.1145/513918.514118},
  doi       = {10.1145/513918.514118},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/ShimizuD02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DasD02,
  author    = {Satyaki Das and
               David L. Dill},
  title     = {Counter-Example Based Predicate Discovery in Predicate Abstraction},
  booktitle = {Formal Methods in Computer-Aided Design, 4th International Conference,
               {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  pages     = {19--32},
  year      = {2002},
  crossref  = {DBLP:conf/fmcad/2002},
  url       = {https://doi.org/10.1007/3-540-36126-X\_2},
  doi       = {10.1007/3-540-36126-X\_2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/DasD02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GaneshBD02,
  author    = {Vijay Ganesh and
               Sergey Berezin and
               David L. Dill},
  title     = {Deciding Presburger Arithmetic by Model Checking and Comparisons with
               Other Methods},
  booktitle = {Formal Methods in Computer-Aided Design, 4th International Conference,
               {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  pages     = {171--186},
  year      = {2002},
  crossref  = {DBLP:conf/fmcad/2002},
  url       = {https://doi.org/10.1007/3-540-36126-X\_11},
  doi       = {10.1007/3-540-36126-X\_11},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/GaneshBD02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BarrettDS02,
  author    = {Clark W. Barrett and
               David L. Dill and
               Aaron Stump},
  title     = {A Generalization of Shostak's Method for Combining Decision Procedures},
  booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
               2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
  pages     = {132--146},
  year      = {2002},
  crossref  = {DBLP:conf/frocos/2002},
  url       = {https://doi.org/10.1007/3-540-45988-X\_11},
  doi       = {10.1007/3-540-45988-X\_11},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/BarrettDS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/MusuvathiPCED02,
  author    = {Madanlal Musuvathi and
               David Y. W. Park and
               Andy Chou and
               Dawson R. Engler and
               David L. Dill},
  title     = {{CMC:} {A} Pragmatic Approach to Model Checking Real Code},
  booktitle = {5th Symposium on Operating System Design and Implementation {(OSDI}
               2002), Boston, Massachusetts, USA, December 9-11, 2002},
  year      = {2002},
  crossref  = {DBLP:conf/osdi/2002},
  url       = {http://www.usenix.org/events/osdi02/tech/musuvathi.html},
  timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/osdi/MusuvathiPCED02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/MusuvathiCDE02,
  author    = {Madanlal Musuvathi and
               Andy Chou and
               David L. Dill and
               Dawson R. Engler},
  title     = {Model checking system software with {CMC}},
  booktitle = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
               France, July 1, 2002},
  pages     = {219--222},
  year      = {2002},
  crossref  = {DBLP:conf/sigopsE/2002},
  url       = {https://doi.org/10.1145/1133373.1133418},
  doi       = {10.1145/1133373.1133418},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigopsE/MusuvathiCDE02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SternD01,
  author    = {Ulrich Stern and
               David L. Dill},
  title     = {Parallelizing the Murj Verifier},
  journal   = {Formal Methods in System Design},
  volume    = {18},
  number    = {2},
  pages     = {117--129},
  year      = {2001},
  url       = {https://doi.org/10.1023/A:1008771324652},
  doi       = {10.1023/A:1008771324652},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/SternD01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ShimizuDC01,
  author    = {Kanna Shimizu and
               David L. Dill and
               Ching{-}Tsun Chou},
  title     = {A Specification Methodology by a Collection of Compact Properties
               as Applied to the Intel\({}^{\mbox{{\textregistered}}}\) Itanium\({}^{\mbox{TM}}\)
               Processor Bus Protocol},
  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     = {340--354},
  year      = {2001},
  crossref  = {DBLP:conf/charme/2001},
  url       = {https://doi.org/10.1007/3-540-44798-9\_27},
  doi       = {10.1007/3-540-44798-9\_27},
  timestamp = {Fri, 02 Nov 2018 09:46:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/charme/ShimizuDC01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/LieCED01,
  author    = {David Lie and
               Andy Chou and
               Dawson R. Engler and
               David L. Dill},
  title     = {A simple method for extracting models for protocol code},
  booktitle = {Proceedings of the 28th Annual International Symposium on Computer
               Architecture, {ISCA} 2001, G{\"{o}}teborg, Sweden, June 30-July
               4, 2001},
  pages     = {192--203},
  year      = {2001},
  crossref  = {DBLP:conf/isca/2001},
  url       = {https://doi.org/10.1145/379240.379263},
  doi       = {10.1145/379240.379263},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isca/LieCED01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/StumpBDL01,
  author    = {Aaron Stump and
               Clark W. Barrett and
               David L. Dill and
               Jeremy R. Levitt},
  title     = {A Decision Procedure for an Extensional Theory of Arrays},
  booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
               Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages     = {29--37},
  year      = {2001},
  crossref  = {DBLP:conf/lics/2001},
  url       = {https://doi.org/10.1109/LICS.2001.932480},
  doi       = {10.1109/LICS.2001.932480},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/StumpBDL01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DasD01,
  author    = {Satyaki Das and
               David L. Dill},
  title     = {Successive Approximation of Abstract Transition Relations},
  booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
               Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages     = {51--58},
  year      = {2001},
  crossref  = {DBLP:conf/lics/2001},
  url       = {https://doi.org/10.1109/LICS.2001.932482},
  doi       = {10.1109/LICS.2001.932482},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/DasD01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ParkDD00,
  author    = {Seungjoon Park and
               Satyaki Das and
               David L. Dill},
  title     = {Automatic checking of aggregation abstractions through stateenumeration},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {19},
  number    = {10},
  pages     = {1202--1210},
  year      = {2000},
  url       = {https://doi.org/10.1109/43.875327},
  doi       = {10.1109/43.875327},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/ParkDD00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BarrettDS00,
  author    = {Clark W. Barrett and
               David L. Dill and
               Aaron Stump},
  title     = {A Framework for Cooperating Decision Procedures},
  booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
               Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  pages     = {79--98},
  year      = {2000},
  crossref  = {DBLP:conf/cade/2000},
  url       = {https://doi.org/10.1007/10721959\_6},
  doi       = {10.1007/10721959\_6},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BarrettDS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WilsonD00,
  author    = {Chris Wilson and
               David L. Dill},
  title     = {Reliable verification using symbolic simulation with scalar values},
  booktitle = {Proceedings of the 37th Conference on Design Automation, Los Angeles,
               CA, USA, June 5-9, 2000.},
  pages     = {124--129},
  year      = {2000},
  crossref  = {DBLP:conf/dac/2000},
  url       = {https://doi.org/10.1145/337292.337336},
  doi       = {10.1145/337292.337336},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/WilsonD00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ShimizuDH00,
  author    = {Kanna Shimizu and
               David L. Dill and
               Alan J. Hu},
  title     = {Monitor-Based Formal Specification of {PCI}},
  booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
               {FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
  pages     = {335--353},
  year      = {2000},
  crossref  = {DBLP:conf/fmcad/2000},
  url       = {https://doi.org/10.1007/3-540-40922-X\_21},
  doi       = {10.1007/3-540-40922-X\_21},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/ShimizuDH00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WilsonDB00,
  author    = {Chris Wilson and
               David L. Dill and
               Randal E. Bryant},
  title     = {Symbolic Simulation with Approximate Values},
  booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
               {FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
  pages     = {470--485},
  year      = {2000},
  crossref  = {DBLP:conf/fmcad/2000},
  url       = {https://doi.org/10.1007/3-540-40922-X\_29},
  doi       = {10.1007/3-540-40922-X\_29},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/WilsonDB00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsp/Dill00,
  author    = {David L. Dill},
  title     = {Model checking Java programs},
  booktitle = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
               2000, Portland, Oregon, {USA}},
  pages     = {1},
  year      = {2000},
  crossref  = {DBLP:conf/fmsp/2000},
  url       = {https://doi.org/10.1145/349360.351124},
  doi       = {10.1145/349360.351124},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmsp/Dill00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GovindarajuD00,
  author    = {Shankar G. Govindaraju and
               David L. Dill},
  title     = {Counterexample-Guided Choice of Projections in Approximate Symbolic
               Model Checking},
  booktitle = {Proceedings of the 2000 {IEEE/ACM} International Conference on Computer-Aided
               Design, 2000, San Jose, California, USA, November 5-9, 2000},
  pages     = {115--119},
  year      = {2000},
  crossref  = {DBLP:conf/iccad/2000},
  url       = {https://doi.org/10.1109/ICCAD.2000.896460},
  doi       = {10.1109/ICCAD.2000.896460},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/GovindarajuD00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Dill00,
  author    = {David L. Dill},
  title     = {Model checking Java programs (abstract only)},
  booktitle = {Proceedings of the International Symposium on Software Testing and
               Analysis, {ISSTA} 2000, Portland, OR, USA, August 21-24, 2000},
  pages     = {179},
  year      = {2000},
  crossref  = {DBLP:conf/issta/2000},
  url       = {https://doi.org/10.1145/347324.349113},
  doi       = {10.1145/347324.349113},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/Dill00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ParkSSD00,
  author    = {David Y. W. Park and
               Ulrich Stern and
               Jens U. Skakkeb{\ae}k and
               David L. Dill},
  title     = {Java Model Checking},
  booktitle = {The Fifteenth {IEEE} International Conference on Automated Software
               Engineering, {ASE} 2000, Grenoble, France, September 11-15, 2000},
  pages     = {253--256},
  year      = {2000},
  crossref  = {DBLP:conf/kbse/2000},
  url       = {https://doi.org/10.1109/ASE.2000.873671},
  doi       = {10.1109/ASE.2000.873671},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/ParkSSD00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GovindarajuD99,
  author    = {Shankar G. Govindaraju and
               David L. Dill},
  title     = {Approximate Symbolic Model Checking using Overlapping Projections},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {23},
  number    = {2},
  pages     = {23--33},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(04)80666-2},
  doi       = {10.1016/S1571-0661(04)80666-2},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GovindarajuD99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/IpD99,
  author    = {C. Norris Ip and
               David L. Dill},
  title     = {Verifying Systems with Replicated Components in Mur[b.phiv]},
  journal   = {Formal Methods in System Design},
  volume    = {14},
  number    = {3},
  pages     = {273--310},
  year      = {1999},
  url       = {https://doi.org/10.1023/A:1008723125149},
  doi       = {10.1023/A:1008723125149},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/IpD99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ParkD99,
  author    = {Seungjoon Park and
               David L. Dill},
  title     = {An Executable Specification and Verifier for Relaxed Memory Order},
  journal   = {{IEEE} Trans. Computers},
  volume    = {48},
  number    = {2},
  pages     = {227--235},
  year      = {1999},
  url       = {https://doi.org/10.1109/12.752664},
  doi       = {10.1109/12.752664},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/ParkD99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/YunD99,
  author    = {Kenneth Y. Yun and
               David L. Dill},
  title     = {Automatic synthesis of extended burst-mode circuits. I.(Specification
               and hazard-free implementations)},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {18},
  number    = {2},
  pages     = {101--117},
  year      = {1999},
  url       = {https://doi.org/10.1109/43.743711},
  doi       = {10.1109/43.743711},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/YunD99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/YunD99a,
  author    = {Kenneth Y. Yun and
               David L. Dill},
  title     = {Automatic synthesis of extended burst-mode circuits. {II.} (Automaticsynthesis)},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {18},
  number    = {2},
  pages     = {118--132},
  year      = {1999},
  url       = {https://doi.org/10.1109/43.743715},
  doi       = {10.1109/43.743715},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/YunD99a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ChakrabortyYD99,
  author    = {Supratik Chakraborty and
               Kenneth Y. Yun and
               David L. Dill},
  title     = {Timing analysis of asynchronous systems using time separation of events},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {18},
  number    = {8},
  pages     = {1061--1076},
  year      = {1999},
  url       = {https://doi.org/10.1109/43.775628},
  doi       = {10.1109/43.775628},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/ChakrabortyYD99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Dill99,
  author    = {David L. Dill},
  title     = {Alternative Approaches to Hardware Verification (abstract)},
  booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
               '99, Trento, Italy, July 6-10, 1999, Proceedings},
  pages     = {1},
  year      = {1999},
  crossref  = {DBLP:conf/cav/1999},
  url       = {https://doi.org/10.1007/3-540-48683-6\_1},
  doi       = {10.1007/3-540-48683-6\_1},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/Dill99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DasDP99,
  author    = {Satyaki Das and
               David L. Dill and
               Seungjoon Park},
  title     = {Experience with Predicate Abstraction},
  booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
               '99, Trento, Italy, July 6-10, 1999, Proceedings},
  pages     = {160--171},
  year      = {1999},
  crossref  = {DBLP:conf/cav/1999},
  url       = {https://doi.org/10.1007/3-540-48683-6\_16},
  doi       = {10.1007/3-540-48683-6\_16},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/DasDP99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GovindarajuDB99,
  author    = {Shankar G. Govindaraju and
               David L. Dill and
               Jules P. Bergmann},
  title     = {Improved Approximate Reachability Using Auxiliary State Variables},
  booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
               LA, USA, June 21-25, 1999.},
  pages     = {312--316},
  year      = {1999},
  crossref  = {DBLP:conf/dac/1999},
  url       = {https://doi.org/10.1145/309847.309940},
  doi       = {10.1145/309847.309940},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/GovindarajuDB99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SentovichDT99,
  author    = {Ellen Sentovich and
               David L. Dill and
               Serdar Tasiran},
  title     = {Formal verification meets simulation (tutorial abstract)},
  booktitle = {Proceedings of the 1999 {IEEE/ACM} International Conference on Computer-Aided
               Design, 1999, San Jose, California, USA, November 7-11, 1999},
  pages     = {221},
  year      = {1999},
  crossref  = {DBLP:conf/iccad/1999},
  url       = {http://portal.acm.org/citation.cfm?id=339492.339640},
  timestamp = {Thu, 30 Apr 2015 18:34:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/SentovichDT99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ParkD98,
  author    = {Seungjoon Park and
               David L. Dill},
  title     = {Verification of Cache Coherence Protocols by Aggregation of Distributed
               Transactions},
  journal   = {Theory Comput. Syst.},
  volume    = {31},
  number    = {4},
  pages     = {355--376},
  year      = {1998},
  url       = {https://doi.org/10.1007/s002240000093},
  doi       = {10.1007/s002240000093},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mst/ParkD98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/YunLDD98,
  author    = {Kenneth Y. Yun and
               Bill Lin and
               David L. Dill and
               Srinivas Devadas},
  title     = {BDD-based synthesis of extended burst-mode controllers},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {17},
  number    = {9},
  pages     = {782--792},
  year      = {1998},
  url       = {https://doi.org/10.1109/43.720315},
  doi       = {10.1109/43.720315},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/YunLDD98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SkakkebaekJD98,
  author    = {Jens U. Skakkeb{\ae}k and
               Robert B. Jones and
               David L. Dill},
  title     = {Formal Verification of Out-of-Order Execution Using Incremental Flushing},
  booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
               '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
  pages     = {98--109},
  year      = {1998},
  crossref  = {DBLP:conf/cav/1998},
  url       = {https://doi.org/10.1007/BFb0028737},
  doi       = {10.1007/BFb0028737},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/SkakkebaekJD98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SternD98,
  author    = {Ulrich Stern and
               David L. Dill},
  title     = {Using Magnatic Disk Instead of Main Memory in the Mur\emph{phi} Verifier},
  booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
               '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
  pages     = {172--183},
  year      = {1998},
  crossref  = {DBLP:conf/cav/1998},
  url       = {https://doi.org/10.1007/BFb0028743},
  doi       = {10.1007/BFb0028743},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/SternD98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Dill98,
  author    = {David L. Dill},
  title     = {What's Between Simulation and Formal Verification? (Extended Abstract)},
  booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,
               San Francico, California, USA, June 15-19, 1998.},
  pages     = {328--329},
  year      = {1998},
  crossref  = {DBLP:conf/dac/1998},
  url       = {https://doi.org/10.1145/277044.277138},
  doi       = {10.1145/277044.277138},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/Dill98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GovindarajuDHH98,
  author    = {Shankar G. Govindaraju and
               David L. Dill and
               Alan J. Hu and
               Mark Horowitz},
  title     = {Approximate Reachability with BDDs Using Overlapping Projections},
  booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,
               San Francico, California, USA, June 15-19, 1998.},
  pages     = {451--456},
  year      = {1998},
  crossref  = {DBLP:conf/dac/1998},
  url       = {https://doi.org/10.1145/277044.277169},
  doi       = {10.1145/277044.277169},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/GovindarajuDHH98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BarrettDL98,
  author    = {Clark W. Barrett and
               David L. Dill and
               Jeremy R. Levitt},
  title     = {A Decision Procedure for Bit-Vector Arithmetic},
  booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,
               San Francico, California, USA, June 15-19, 1998.},
  pages     = {522--527},
  year      = {1998},
  crossref  = {DBLP:conf/dac/1998},
  url       = {https://doi.org/10.1145/277044.277186},
  doi       = {10.1145/277044.277186},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/BarrettDL98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/YangD98,
  author    = {C. Han Yang and
               David L. Dill},
  title     = {Validation with Guided Search of the State Space},
  booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,
               San Francico, California, USA, June 15-19, 1998.},
  pages     = {599--604},
  year      = {1998},
  crossref  = {DBLP:conf/dac/1998},
  url       = {https://doi.org/10.1145/277044.277201},
  doi       = {10.1145/277044.277201},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/YangD98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JonesSD98,
  author    = {Robert B. Jones and
               Jens U. Skakkeb{\ae}k and
               David L. Dill},
  title     = {Reducing Manual Abstraction in Formal Verification of Out-of-Order
               Execution},
  booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
               {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  pages     = {2--17},
  year      = {1998},
  crossref  = {DBLP:conf/fmcad/1998},
  url       = {https://doi.org/10.1007/3-540-49519-3\_2},
  doi       = {10.1007/3-540-49519-3\_2},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/JonesSD98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SuDS98,
  author    = {Jeffrey X. Su and
               David L. Dill and
               Jens U. Skakkeb{\ae}k},
  title     = {Formally Verifying Data and Control with Weak Reachability Invariants},
  booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
               {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  pages     = {387--402},
  year      = {1998},
  crossref  = {DBLP:conf/fmcad/1998},
  url       = {https://doi.org/10.1007/3-540-49519-3\_25},
  doi       = {10.1007/3-540-49519-3\_25},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/SuDS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsp/ParkSHCD98,
  author    = {David Y. W. Park and
               Jens U. Skakkeb{\ae}k and
               Mats Per Erik Heimdahl and
               Barbara J. Czerny and
               David L. Dill},
  title     = {Checking properties of safety critical specifications using efficient
               decision procedures},
  booktitle = {Proceedings of the Second Workshop on Formal Methods in Software Practice,
               March 4-5, 1998, Clearwater Beach, Florida, {USA}},
  pages     = {34--43},
  year      = {1998},
  crossref  = {DBLP:conf/fmsp/1998},
  url       = {https://doi.org/10.1145/298595.298603},
  doi       = {10.1145/298595.298603},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmsp/ParkSHCD98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ParkSD98,
  author    = {David Y. W. Park and
               Jens U. Skakkeb{\ae}k and
               David L. Dill},
  title     = {Static Analysis to Identify Invariants in {RSML} Specifications},
  booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
               Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  pages     = {133--142},
  year      = {1998},
  crossref  = {DBLP:conf/ftrtft/1998},
  url       = {https://doi.org/10.1007/BFb0055343},
  doi       = {10.1007/BFb0055343},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftrtft/ParkSD98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GovindarajuD98,
  author    = {Shankar G. Govindaraju and
               David L. Dill},
  title     = {Verification by approximate forward and backward reachability},
  booktitle = {Proceedings of the 1998 {IEEE/ACM} International Conference on Computer-Aided
               Design, {ICCAD} 1998, San Jose, CA, USA, November 8-12, 1998},
  pages     = {366--370},
  year      = {1998},
  crossref  = {DBLP:conf/iccad/1998},
  url       = {https://doi.org/10.1145/288548.289055},
  doi       = {10.1145/288548.289055},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/GovindarajuD98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/ChakrabortyDCY97,
  author    = {Supratik Chakraborty and
               David L. Dill and
               Kun{-}Yung Chang and
               Kenneth Y. Yun},
  title     = {Timing Analysis of Extended Burst-Mode Circuits},
  booktitle = {3rd International Symposium on Advanced Research in Asynchronous Circuits
               and Systems {(ASYNC} '97), 7-10 April 1997, Eindhoven, The Netherlands},
  pages     = {101--111},
  year      = {1997},
  crossref  = {DBLP:conf/async/1997},
  url       = {https://doi.org/10.1109/ASYNC.1997.587167},
  doi       = {10.1109/ASYNC.1997.587167},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/async/ChakrabortyDCY97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/ChakrabortyD97,
  author    = {Supratik Chakraborty and
               David L. Dill},
  title     = {More Accurate Polynomial-Time Min-Max Timing Simulation},
  booktitle = {3rd International Symposium on Advanced Research in Asynchronous Circuits
               and Systems {(ASYNC} '97), 7-10 April 1997, Eindhoven, The Netherlands},
  pages     = {112},
  year      = {1997},
  crossref  = {DBLP:conf/async/1997},
  url       = {https://doi.org/10.1109/ASYNC.1997.587168},
  doi       = {10.1109/ASYNC.1997.587168},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/async/ChakrabortyD97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SternD97,
  author    = {Ulrich Stern and
               David L. Dill},
  title     = {Parallelizing the Mur\emph{phi} Verifier},
  booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
               Haifa, Israel, June 22-25, 1997, Proceedings},
  pages     = {256--278},
  year      = {1997},
  crossref  = {DBLP:conf/cav/1997},
  url       = {https://doi.org/10.1007/3-540-63166-6\_26},
  doi       = {10.1007/3-540-63166-6\_26},
  timestamp = {Mon, 22 May 2017 17:10:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/SternD97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ParkDD97,
  author    = {Seungjoon Park and
               Satyaki Das and
               David L. Dill},
  title     = {Automatic Checking of Aggregation Abstractions Through State Enumeration},
  booktitle = {Formal Description Techniques and Protocol Specification, Testing
               and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1}
               Joint International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols {(FORTE} {X)} and
               Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21
               November, 1997, Osaka, Japan},
  pages     = {207--222},
  year      = {1997},
  crossref  = {DBLP:conf/forte/1997},
  timestamp = {Wed, 12 Feb 2003 15:40:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/ParkDD97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChakrabortyD97,
  author    = {Supratik Chakraborty and
               David L. Dill},
  title     = {Approximate algorithms for time separation of events},
  booktitle = {Proceedings of the 1997 {IEEE/ACM} International Conference on Computer-Aided
               Design, {ICCAD} 1997, San Jose, CA, USA, November 9-13, 1997},
  pages     = {190--194},
  year      = {1997},
  crossref  = {DBLP:conf/iccad/1997},
  url       = {https://doi.org/10.1109/ICCAD.1997.643520},
  doi       = {10.1109/ICCAD.1997.643520},
  timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/ChakrabortyD97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BowenBDGGHHHJJLPRWZ96,
  author    = {Jonathan P. Bowen and
               Ricky W. Butler and
               David L. Dill and
               Robert L. Glass and
               David Gries and
               Anthony Hall and
               Michael G. Hinchey and
               C. Michael Holloway and
               Daniel Jackson and
               Cliff B. Jones and
               Michael J. Lutz and
               David Lorge Parnas and
               John M. Rushby and
               Jeannette M. Wing and
               Pamela Zave},
  title     = {An Invitation to Formal Methods},
  journal   = {{IEEE} Computer},
  volume    = {29},
  number    = {4},
  pages     = {16--30},
  year      = {1996},
  url       = {https://doi.org/10.1109/MC.1996.488298},
  doi       = {10.1109/MC.1996.488298},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/computer/BowenBDGGHHHJJLPRWZ96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/IpD96,
  author    = {C. Norris Ip and
               David L. Dill},
  title     = {Better Verification Through Symmetry},
  journal   = {Formal Methods in System Design},
  volume    = {9},
  number    = {1/2},
  pages     = {41--75},
  year      = {1996},
  url       = {https://doi.org/10.1007/BF00625968},
  doi       = {10.1007/BF00625968},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/IpD96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/IpD96,
  author    = {C. Norris Ip and
               David L. Dill},
  title     = {Verifying Systems with Replicated Components in Mur\emph{phi}},
  booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
               New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
  pages     = {147--158},
  year      = {1996},
  crossref  = {DBLP:conf/cav/1996},
  url       = {https://doi.org/10.1007/3-540-61474-5\_65},
  doi       = {10.1007/3-540-61474-5\_65},
  timestamp = {Mon, 22 May 2017 16:14:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/IpD96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ParkD96,
  author    = {Seungjoon Park and
               David L. Dill},
  title     = {Protocol Verification by Aggregation of Distributed Transactions},
  booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
               New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
  pages     = {300--310},
  year      = {1996},
  crossref  = {DBLP:conf/cav/1996},
  url       = {https://doi.org/10.1007/3-540-61474-5\_78},
  doi       = {10.1007/3-540-61474-5\_78},
  timestamp = {Mon, 22 May 2017 16:14:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/ParkD96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Dill96,
  author    = {David L. Dill},
  title     = {The Mur\emph{phi} Verification System},
  booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
               New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
  pages     = {390--393},
  year      = {1996},
  crossref  = {DBLP:conf/cav/1996},
  url       = {https://doi.org/10.1007/3-540-61474-5\_86},
  doi       = {10.1007/3-540-61474-5\_86},
  timestamp = {Mon, 22 May 2017 16:14:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/Dill96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/IpD96,
  author    = {C. Norris Ip and
               David L. Dill},
  title     = {State Reduction Using Reversible Rules},
  booktitle = {Proceedings of the 33st Conference on Design Automation, Las Vegas,
               Nevada, USA, Las Vegas Convention Center, June 3-7, 1996.},
  pages     = {564--567},
  year      = {1996},
  crossref  = {DBLP:conf/dac/1996},
  url       = {https://doi.org/10.1145/240518.240625},
  doi       = {10.1145/240518.240625},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/IpD96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JonesSD96,
  author    = {Robert B. Jones and
               Carl{-}Johan H. Seger and
               David L. Dill},
  title     = {Self-Consistency Checking},
  booktitle = {Formal Methods in Computer-Aided Design, First International Conference,
               {FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
  pages     = {159--171},
  year      = {1996},
  crossref  = {DBLP:conf/fmcad/1996},
  url       = {https://doi.org/10.1007/BFb0031806},
  doi       = {10.1007/BFb0031806},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/JonesSD96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BarrettDL96,
  author    = {Clark W. Barrett and
               David L. Dill and
               Jeremy R. Levitt},
  title     = {Validity Checking for Combinations of Theories with Equality},
  booktitle = {Formal Methods in Computer-Aided Design, First International Conference,
               {FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
  pages     = {187--201},
  year      = {1996},
  crossref  = {DBLP:conf/fmcad/1996},
  url       = {https://doi.org/10.1007/BFb0031808},
  doi       = {10.1007/BFb0031808},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/BarrettDL96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SuDB96,
  author    = {Jeffrey X. Su and
               David L. Dill and
               Clark W. Barrett},
  title     = {Automatic Generation of Invariants in Processor Verification},
  booktitle = {Formal Methods in Computer-Aided Design, First International Conference,
               {FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
  pages     = {377--388},
  year      = {1996},
  crossref  = {DBLP:conf/fmcad/1996},
  url       = {https://doi.org/10.1007/BFb0031822},
  doi       = {10.1007/BFb0031822},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/SuDB96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SternD96,
  author    = {Ulrich Stern and
               David L. Dill},
  title     = {A New Scheme for Memory-Efficient Probabilistic Verification},
  booktitle = {Formal Description Techniques {IX:} Theory, application and tools,
               {IFIP} {TC6} {WG6.1} International Conference on Formal Description
               Techniques {IX} / Protocol Specification, Testing and Verification
               XVI, Kaiserslautern, Germany, 8-11 October 1996},
  pages     = {333--348},
  year      = {1996},
  crossref  = {DBLP:conf/forte/1996},
  timestamp = {Fri, 29 Oct 2004 12:58:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/SternD96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/ParkD96,
  author    = {Seungjoon Park and
               David L. Dill},
  title     = {Verification of {FLASH} Cache Coherence Protocol by Aggregation of
               Distributed Transactions},
  booktitle = {Proceedings of the 8th Annual {ACM} Symposium on Parallel Algorithms
               and Architectures, {SPAA} '96, Padua, Italy, June 24-26, 1996},
  pages     = {288--296},
  year      = {1996},
  crossref  = {DBLP:conf/spaa/1996},
  url       = {https://doi.org/10.1145/237502.237573},
  doi       = {10.1145/237502.237573},
  timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spaa/ParkD96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/NowickD95,
  author    = {Steven M. Nowick and
               David L. Dill},
  title     = {Exact two-level minimization of hazard-free logic with multiple-input
               changes},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {14},
  number    = {8},
  pages     = {986--997},
  year      = {1995},
  url       = {https://doi.org/10.1109/43.402498},
  doi       = {10.1109/43.402498},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/NowickD95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DillW95,
  author    = {David L. Dill and
               Howard Wong{-}Toi},
  title     = {Verification of Real-Time Systems by Successive Over and Under Approximation},
  booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
               Belgium, July, 3-5, 1995, Proceedings},
  pages     = {409--422},
  year      = {1995},
  crossref  = {DBLP:conf/cav/1995},
  url       = {https://doi.org/10.1007/3-540-60045-0\_66},
  doi       = {10.1007/3-540-60045-0\_66},
  timestamp = {Wed, 14 Nov 2018 10:51:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/DillW95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SternD95,
  author    = {Ulrich Stern and
               David L. Dill},
  title     = {Automatic verification of the {SCI} cache coherence protocol},
  booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
               Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
               Germany, October 2-4, 1995, Proceedings},
  pages     = {21--34},
  year      = {1995},
  crossref  = {DBLP:conf/charme/1995},
  url       = {https://doi.org/10.1007/3-540-60385-9\_2},
  doi       = {10.1007/3-540-60385-9\_2},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/SternD95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SternD95a,
  author    = {Ulrich Stern and
               David L. Dill},
  title     = {Improved probabilistic verification by hash compaction},
  booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
               Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
               Germany, October 2-4, 1995, Proceedings},
  pages     = {206--224},
  year      = {1995},
  crossref  = {DBLP:conf/charme/1995},
  url       = {https://doi.org/10.1007/3-540-60385-9\_13},
  doi       = {10.1007/3-540-60385-9\_13},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/SternD95a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/JonesDB95,
  author    = {Robert B. Jones and
               David L. Dill and
               Jerry R. Burch},
  title     = {Efficient validity checking for processor verification},
  booktitle = {Proceedings of the 1995 {IEEE/ACM} International Conference on Computer-Aided
               Design, {ICCAD} 1995, San Jose, California, USA, November 5-9, 1995},
  pages     = {2--6},
  year      = {1995},
  crossref  = {DBLP:conf/iccad/1995},
  url       = {https://doi.org/10.1109/ICCAD.1995.479877},
  doi       = {10.1109/ICCAD.1995.479877},
  timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/JonesDB95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/YunD95,
  author    = {Kenneth Y. Yun and
               David L. Dill},
  title     = {A high-performance asynchronous {SCSI} controller},
  booktitle = {1995 International Conference on Computer Design {(ICCD} '95), {VLSI}
               in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings},
  pages     = {44--49},
  year      = {1995},
  crossref  = {DBLP:conf/iccd/1995},
  url       = {https://doi.org/10.1109/ICCD.1995.528789},
  doi       = {10.1109/ICCD.1995.528789},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/YunD95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/HoYHD95,
  author    = {Richard C. Ho and
               C. Han Yang and
               Mark Horowitz and
               David L. Dill},
  title     = {Architecture Validation for Processors},
  booktitle = {Proceedings of the 22nd Annual International Symposium on Computer
               Architecture, {ISCA} '95, Santa Margherita Ligure, Italy, June 22-24,
               1995},
  pages     = {404--413},
  year      = {1995},
  crossref  = {DBLP:conf/isca/1995},
  url       = {https://doi.org/10.1145/223982.224450},
  doi       = {10.1145/223982.224450},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isca/HoYHD95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/ParkD95,
  author    = {Seungjoon Park and
               David L. Dill},
  title     = {An Executable Specification, Analyzer and Verifier for {RMO} (Relaxed
               Memory Order)},
  booktitle = {7th Annual {ACM} Symposium on Parallel Algorithms and Architectures,
               {SPAA} '95, Santa Barbara, California, USA, July 17-19, 1995},
  pages     = {34--41},
  year      = {1995},
  crossref  = {DBLP:conf/spaa/1995},
  url       = {https://doi.org/10.1145/215399.215413},
  doi       = {10.1145/215399.215413},
  timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spaa/ParkD95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BurchCLMD94,
  author    = {Jerry R. Burch and
               Edmund M. Clarke and
               David E. Long and
               Kenneth L. McMillan and
               David L. Dill},
  title     = {Symbolic model checking for sequential circuit verification},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {13},
  number    = {4},
  pages     = {401--424},
  year      = {1994},
  url       = {https://doi.org/10.1109/43.275352},
  doi       = {10.1109/43.275352},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/BurchCLMD94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlurD94,
  author    = {Rajeev Alur and
               David L. Dill},
  title     = {A Theory of Timed Automata},
  journal   = {Theor. Comput. Sci.},
  volume    = {126},
  number    = {2},
  pages     = {183--235},
  year      = {1994},
  url       = {https://doi.org/10.1016/0304-3975(94)90010-8},
  doi       = {10.1016/0304-3975(94)90010-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/AlurD94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/DeanDH94,
  author    = {Mark E. Dean and
               David L. Dill and
               Mark Horowitz},
  title     = {Self-timed logic using Current-Sensing Completion Detection {(CSCD)}},
  journal   = {{VLSI} Signal Processing},
  volume    = {7},
  number    = {1-2},
  pages     = {7--16},
  year      = {1994},
  url       = {https://doi.org/10.1007/BF02108186},
  doi       = {10.1007/BF02108186},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/vlsisp/DeanDH94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BurchD94,
  author    = {Jerry R. Burch and
               David L. Dill},
  title     = {Automatic verification of Pipelined Microprocessor Control},
  booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
               Stanford, California, USA, June 21-23, 1994, Proceedings},
  pages     = {68--80},
  year      = {1994},
  crossref  = {DBLP:conf/cav/1994},
  url       = {https://doi.org/10.1007/3-540-58179-0\_44},
  doi       = {10.1007/3-540-58179-0\_44},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BurchD94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Dill94,
  author    = {David L. Dill},
  title     = {Hierarchical Models of Synchronous Circuits (Abstract)},
  booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
               Sweden, August 22-25, 1994, Proceedings},
  pages     = {161},
  year      = {1994},
  crossref  = {DBLP:conf/concur/1994},
  url       = {https://doi.org/10.1007/978-3-540-48654-1\_15},
  doi       = {10.1007/978-3-540-48654-1\_15},
  timestamp = {Mon, 22 May 2017 12:56:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/Dill94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HuYD94,
  author    = {Alan J. Hu and
               Gary York and
               David L. Dill},
  title     = {New Techniques for Efficient Verification with Implicitly Conjoined
               BDDs},
  booktitle = {Proceedings of the 31st Conference on Design Automation, San Diego,
               California, USA, June 6-10, 1994.},
  pages     = {276--282},
  year      = {1994},
  crossref  = {DBLP:conf/dac/1994},
  url       = {https://doi.org/10.1145/196244.196377},
  doi       = {10.1145/196244.196377},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/HuYD94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/YunLDD94,
  author    = {Kenneth Y. Yun and
               Bill Lin and
               David L. Dill and
               Srinivas Devadas},
  title     = {Performance-driven synthesis of asynchronous controllers},
  booktitle = {Proceedings of the 1994 {IEEE/ACM} International Conference on Computer-Aided
               Design, {ICCAD} 1994, San Jose, California, USA, November 6-10, 1994},
  pages     = {550--557},
  year      = {1994},
  crossref  = {DBLP:conf/iccad/1994},
  url       = {https://doi.org/10.1109/ICCAD.1994.629875},
  doi       = {10.1109/ICCAD.1994.629875},
  timestamp = {Mon, 11 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/YunLDD94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1994,
  editor    = {David L. Dill},
  title     = {Computer Aided Verification, 6th International Conference, {CAV} '94,
               Stanford, California, USA, June 21-23, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {818},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-58179-0},
  doi       = {10.1007/3-540-58179-0},
  isbn      = {3-540-58179-0},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlurCD93,
  author    = {Rajeev Alur and
               Costas Courcoubetis and
               David L. Dill},
  title     = {Model-Checking in Dense Real-time},
  journal   = {Inf. Comput.},
  volume    = {104},
  number    = {1},
  pages     = {2--34},
  year      = {1993},
  url       = {https://doi.org/10.1006/inco.1993.1024},
  doi       = {10.1006/inco.1993.1024},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/AlurCD93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/NowickDDH93,
  author    = {Steven M. Nowick and
               Mark E. Dean and
               David L. Dill and
               Mark Horowitz},
  title     = {The design of a high-performance cache controller: a case study in
               asynchronous synthesis},
  journal   = {Integration},
  volume    = {15},
  number    = {3},
  pages     = {241--262},
  year      = {1993},
  url       = {https://doi.org/10.1016/0167-9260(93)90032-8},
  doi       = {10.1016/0167-9260(93)90032-8},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/integration/NowickDDH93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HuD93,
  author    = {Alan J. Hu and
               David L. Dill},
  title     = {Efficient Verification with BDDs using Implicitly Conjoined Invariants},
  booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
               Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  pages     = {3--14},
  year      = {1993},
  crossref  = {DBLP:conf/cav/1993},
  url       = {https://doi.org/10.1007/3-540-56922-7\_2},
  doi       = {10.1007/3-540-56922-7\_2},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/HuD93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chdl/IpD93,
  author    = {C. Norris Ip and
               David L. Dill},
  title     = {Better Verification Through Symmetry},
  booktitle = {Computer Hardware Description Languages and their Applications, Proceedings
               of the 11th {IFIP} {WG10.2} International Conference on Computer Hardware
               Description Languages and their Applications - {CHDL} '93, sponsored
               by {IFIP} {WG10.2} and in cooperation with {IEEE} COMPSOC, Ottawa,
               Ontario, Canada, 26-28 April, 1993},
  pages     = {97--111},
  year      = {1993},
  crossref  = {DBLP:conf/chdl/1993},
  timestamp = {Thu, 03 Jan 2002 11:54:34 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/chdl/IpD93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SiegelMD93,
  author    = {Polly Siegel and
               Giovanni De Micheli and
               David L. Dill},
  title     = {Automatic Technology Mapping for Generalized Fundamental-Mode Asynchronous
               Designs},
  booktitle = {Proceedings of the 30th Design Automation Conference. Dallas, Texas,
               USA, June 14-18, 1993.},
  pages     = {61--67},
  year      = {1993},
  crossref  = {DBLP:conf/dac/1993},
  url       = {https://doi.org/10.1145/157485.164573},
  doi       = {10.1145/157485.164573},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/SiegelMD93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HuD93,
  author    = {Alan J. Hu and
               David L. Dill},
  title     = {Reducing {BDD} Size by Exploiting Functional Dependencies},
  booktitle = {Proceedings of the 30th Design Automation Conference. Dallas, Texas,
               USA, June 14-18, 1993.},
  pages     = {266--271},
  year      = {1993},
  crossref  = {DBLP:conf/dac/1993},
  url       = {https://doi.org/10.1145/157485.164888},
  doi       = {10.1145/157485.164888},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/HuD93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/YunD93,
  author    = {Kenneth Y. Yun and
               David L. Dill},
  title     = {Unifying synchronous/asynchronous state machine synthesis},
  booktitle = {Proceedings of the 1993 {IEEE/ACM} International Conference on Computer-Aided
               Design, 1993, Santa Clara, California, USA, November 7-11, 1993},
  pages     = {255--260},
  year      = {1993},
  crossref  = {DBLP:conf/iccad/1993},
  url       = {https://doi.org/10.1109/ICCAD.1993.580066},
  doi       = {10.1109/ICCAD.1993.580066},
  timestamp = {Mon, 11 Feb 2019 09:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/YunD93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/BurchDWM93,
  author    = {Jerry R. Burch and
               David L. Dill and
               Elizabeth Wolf and
               Giovanni De Micheli},
  title     = {Modeling hierarchical combinational circuits},
  booktitle = {Proceedings of the 1993 {IEEE/ACM} International Conference on Computer-Aided
               Design, 1993, Santa Clara, California, USA, November 7-11, 1993},
  pages     = {612--617},
  year      = {1993},
  crossref  = {DBLP:conf/iccad/1993},
  url       = {https://doi.org/10.1109/ICCAD.1993.580149},
  doi       = {10.1109/ICCAD.1993.580149},
  timestamp = {Mon, 11 Feb 2019 09:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/BurchDWM93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/IpD93,
  author    = {C. Norris Ip and
               David L. Dill},
  title     = {Efficient Verification of Symmetric Concurrent Systems},
  booktitle = {Proceedings 1993 International Conference on Computer Design: {VLSI}
               in Computers {\&} Processors, {ICCD} '93, Cambridge, MA, USA,
               October 3-6, 1993},
  pages     = {230--234},
  year      = {1993},
  crossref  = {DBLP:conf/iccd/1993},
  url       = {https://doi.org/10.1109/ICCD.1993.393375},
  doi       = {10.1109/ICCD.1993.393375},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/IpD93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/DillNS92,
  author    = {David L. Dill and
               Steven M. Nowick and
               Robert F. Sproull},
  title     = {Specification and Automatic Verification of Self-Timed Queues},
  journal   = {Formal Methods in System Design},
  volume    = {1},
  number    = {1},
  pages     = {29--60},
  year      = {1992},
  url       = {https://doi.org/10.1007/BF00464356},
  doi       = {10.1007/BF00464356},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/DillNS92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BurchCMDH92,
  author    = {Jerry R. Burch and
               Edmund M. Clarke and
               Kenneth L. McMillan and
               David L. Dill and
               L. J. Hwang},
  title     = {Symbolic Model Checking: 10{\^{}}20 States and Beyond},
  journal   = {Inf. Comput.},
  volume    = {98},
  number    = {2},
  pages     = {142--170},
  year      = {1992},
  url       = {https://doi.org/10.1016/0890-5401(92)90017-A},
  doi       = {10.1016/0890-5401(92)90017-A},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/BurchCMDH92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HuDDY92,
  author    = {Alan J. Hu and
               David L. Dill and
               Andreas J. Drexler and
               C. Han Yang},
  title     = {Higher-Level Specification and Verification with BDDs},
  booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
               '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
  pages     = {82--95},
  year      = {1992},
  crossref  = {DBLP:conf/cav/1992},
  url       = {https://doi.org/10.1007/3-540-56496-9\_8},
  doi       = {10.1007/3-540-56496-9\_8},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/HuDDY92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CourcoubetisDCT92,
  author    = {Costas Courcoubetis and
               David L. Dill and
               Magda Chatzaki and
               Panagiotis Tzounakis},
  title     = {Verification with Real-Time {COSPAN}},
  booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
               '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
  pages     = {274--287},
  year      = {1992},
  crossref  = {DBLP:conf/cav/1992},
  url       = {https://doi.org/10.1007/3-540-56496-9\_22},
  doi       = {10.1007/3-540-56496-9\_22},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CourcoubetisDCT92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurCHDW92,
  author    = {Rajeev Alur and
               Costas Courcoubetis and
               Nicolas Halbwachs and
               David L. Dill and
               Howard Wong{-}Toi},
  title     = {Minimization of Timed Transition Systems},
  booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
               Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
  pages     = {340--354},
  year      = {1992},
  crossref  = {DBLP:conf/concur/1992},
  url       = {https://doi.org/10.1007/BFb0084802},
  doi       = {10.1007/BFb0084802},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/AlurCHDW92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/YunD92,
  author    = {Kenneth Y. Yun and
               David L. Dill},
  title     = {Automatic synthesis of 3D asynchronous state machines},
  booktitle = {1992 {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 1992, Santa Clara, CA, USA, November 8-12, 1992. Digest of
               Technical Papers},
  pages     = {576--580},
  year      = {1992},
  crossref  = {DBLP:conf/iccad/1992},
  url       = {https://doi.org/10.1109/ICCAD.1992.279310},
  doi       = {10.1109/ICCAD.1992.279310},
  timestamp = {Mon, 11 Feb 2019 09:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/YunD92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/NowickD92,
  author    = {Steven M. Nowick and
               David L. Dill},
  title     = {Exact two-level minimization of hazard-free logic with multiple-input
               changes},
  booktitle = {1992 {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 1992, Santa Clara, CA, USA, November 8-12, 1992. Digest of
               Technical Papers},
  pages     = {626--630},
  year      = {1992},
  crossref  = {DBLP:conf/iccad/1992},
  url       = {https://doi.org/10.1109/ICCAD.1992.279301},
  doi       = {10.1109/ICCAD.1992.279301},
  timestamp = {Mon, 11 Feb 2019 09:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/NowickD92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/McMillanD92,
  author    = {Kenneth L. McMillan and
               David L. Dill},
  title     = {Algorithms for Interface Timing Verification},
  booktitle = {Proceedings 1992 {IEEE} International Conference on Computer Design:
               {VLSI} in Computer {\&} Processors, {ICCD} '92, Cambridge, MA,
               USA, October 11-14, 1992},
  pages     = {48--51},
  year      = {1992},
  crossref  = {DBLP:conf/iccd/1992},
  url       = {https://doi.org/10.1109/ICCD.1992.276208},
  doi       = {10.1109/ICCD.1992.276208},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/McMillanD92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/NowickYD92,
  author    = {Steven M. Nowick and
               Kenneth Y. Yun and
               David L. Dill},
  title     = {Practical Asynchronous Controller Design},
  booktitle = {Proceedings 1992 {IEEE} International Conference on Computer Design:
               {VLSI} in Computer {\&} Processors, {ICCD} '92, Cambridge, MA,
               USA, October 11-14, 1992},
  pages     = {341--345},
  year      = {1992},
  crossref  = {DBLP:conf/iccd/1992},
  url       = {https://doi.org/10.1109/ICCD.1992.276285},
  doi       = {10.1109/ICCD.1992.276285},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/NowickYD92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/YunDN92,
  author    = {Kenneth Y. Yun and
               David L. Dill and
               Steven M. Nowick},
  title     = {Synthesis of 3D Asynchronous State Machines},
  booktitle = {Proceedings 1992 {IEEE} International Conference on Computer Design:
               {VLSI} in Computer {\&} Processors, {ICCD} '92, Cambridge, MA,
               USA, October 11-14, 1992},
  pages     = {346--350},
  year      = {1992},
  crossref  = {DBLP:conf/iccd/1992},
  url       = {https://doi.org/10.1109/ICCD.1992.276286},
  doi       = {10.1109/ICCD.1992.276286},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/YunDN92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/DillDHY92,
  author    = {David L. Dill and
               Andreas J. Drexler and
               Alan J. Hu and
               C. Han Yang},
  title     = {Protocol Verification as a Hardware Design Aid},
  booktitle = {Proceedings 1992 {IEEE} International Conference on Computer Design:
               {VLSI} in Computer {\&} Processors, {ICCD} '92, Cambridge, MA,
               USA, October 11-14, 1992},
  pages     = {522--525},
  year      = {1992},
  crossref  = {DBLP:conf/iccd/1992},
  url       = {https://doi.org/10.1109/ICCD.1992.276232},
  doi       = {10.1109/ICCD.1992.276232},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/DillDHY92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AlurCDHW92,
  author    = {Rajeev Alur and
               Costas Courcoubetis and
               David L. Dill and
               Nicolas Halbwachs and
               Howard Wong{-}Toi},
  title     = {An implementation of three algorithms for timing verification based
               on automata emptiness},
  booktitle = {Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona,
               USA, December 1992},
  pages     = {157--166},
  year      = {1992},
  crossref  = {DBLP:conf/rtss/1992},
  url       = {https://doi.org/10.1109/REAL.1992.242667},
  doi       = {10.1109/REAL.1992.242667},
  timestamp = {Fri, 22 Feb 2019 12:38:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/AlurCDHW92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DillHW91,
  author    = {David L. Dill and
               Alan J. Hu and
               Howard Wong{-}Toi},
  title     = {Checking for Language Inclusion Using Simulation Preorders},
  booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
               Aalborg, Denmark, July, 1-4, 1991, Proceedings},
  pages     = {255--265},
  year      = {1991},
  crossref  = {DBLP:conf/cav/1991},
  url       = {https://doi.org/10.1007/3-540-55179-4\_25},
  doi       = {10.1007/3-540-55179-4\_25},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/DillHW91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurCD91,
  author    = {Rajeev Alur and
               Costas Courcoubetis and
               David L. Dill},
  title     = {Model-Checking for Probabilistic Real-Time Systems (Extended Abstract)},
  booktitle = {Automata, Languages and Programming, 18th International Colloquium,
               ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
  pages     = {115--126},
  year      = {1991},
  crossref  = {DBLP:conf/icalp/1991},
  url       = {https://doi.org/10.1007/3-540-54233-7\_128},
  doi       = {10.1007/3-540-54233-7\_128},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/AlurCD91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/NowickD91,
  author    = {Steven M. Nowick and
               David L. Dill},
  title     = {Automatic Synthesis of Locally-Clocked Asynchronous State Machines},
  booktitle = {1991 {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 1993, Santa Clara, CA, USA, November 11-14, 1991. Digest of
               Technical Papers},
  pages     = {318--321},
  year      = {1991},
  crossref  = {DBLP:conf/iccad/1991},
  url       = {https://doi.org/10.1109/ICCAD.1991.185264},
  doi       = {10.1109/ICCAD.1991.185264},
  timestamp = {Mon, 11 Feb 2019 09:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/NowickD91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/DeanDH91,
  author    = {Mark E. Dean and
               David L. Dill and
               Mark Horowitz},
  title     = {Self-Timed Logic Using Current-Sensing Completion Detection {(CSCD)}},
  booktitle = {Proceedings 1991 {IEEE} International Conference on Computer Design:
               {VLSI} in Computer {\&} Processors, {ICCD} '91, Cambridge, MA,
               USA, October 14-16, 1991},
  pages     = {187--191},
  year      = {1991},
  crossref  = {DBLP:conf/iccd/1991},
  url       = {https://doi.org/10.1109/ICCD.1991.139878},
  doi       = {10.1109/ICCD.1991.139878},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/DeanDH91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/NowickD91,
  author    = {Steven M. Nowick and
               David L. Dill},
  title     = {Synthesis of Asynchronous State Machines Using {A} Local Clock},
  booktitle = {Proceedings 1991 {IEEE} International Conference on Computer Design:
               {VLSI} in Computer {\&} Processors, {ICCD} '91, Cambridge, MA,
               USA, October 14-16, 1991},
  pages     = {192--197},
  year      = {1991},
  crossref  = {DBLP:conf/iccd/1991},
  url       = {https://doi.org/10.1109/ICCD.1991.139879},
  doi       = {10.1109/ICCD.1991.139879},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/NowickD91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/AlurCD91,
  author    = {Rajeev Alur and
               Costas Courcoubetis and
               David L. Dill},
  title     = {Verifying Automata Specifications of Probabilistic Real-time Systems},
  booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
               June 3-7, 1991, Proceedings},
  pages     = {28--44},
  year      = {1991},
  crossref  = {DBLP:conf/rex/1991},
  url       = {https://doi.org/10.1007/BFb0031986},
  doi       = {10.1007/BFb0031986},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rex/AlurCD91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/AlurD91,
  author    = {Rajeev Alur and
               David L. Dill},
  title     = {The Theory of Timed Automata},
  booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
               June 3-7, 1991, Proceedings},
  pages     = {45--73},
  year      = {1991},
  crossref  = {DBLP:conf/rex/1991},
  url       = {https://doi.org/10.1007/BFb0031987},
  doi       = {10.1007/BFb0031987},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rex/AlurD91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Wong-ToiD90,
  author    = {Howard Wong{-}Toi and
               David L. Dill},
  title     = {Synthesizing Processes and Schedulers from Temporal Specifications},
  booktitle = {Computer Aided Verification, 2nd International Workshop, {CAV} '90,
               New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
  pages     = {272--281},
  year      = {1990},
  crossref  = {DBLP:conf/cav/1990},
  url       = {https://doi.org/10.1007/BFb0023741},
  doi       = {10.1007/BFb0023741},
  timestamp = {Wed, 14 Nov 2018 10:51:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/Wong-ToiD90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LoewensteinD90,
  author    = {Paul Loewenstein and
               David L. Dill},
  title     = {Verification of a Multiprocessor Cache Protocol Using Simulation Relations
               and Higher-Order Logic},
  booktitle = {Computer Aided Verification, 2nd International Workshop, {CAV} '90,
               New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
  pages     = {302--311},
  year      = {1990},
  crossref  = {DBLP:conf/cav/1990},
  url       = {https://doi.org/10.1007/BFb0023744},
  doi       = {10.1007/BFb0023744},
  timestamp = {Wed, 14 Nov 2018 10:51:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/LoewensteinD90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BurchCMD90,
  author    = {Jerry R. Burch and
               Edmund M. Clarke and
               Kenneth L. McMillan and
               David L. Dill},
  title     = {Sequential Circuit Verification Using Symbolic Model Checking},
  booktitle = {Proceedings of the 27th {ACM/IEEE} Design Automation Conference. Orlando,
               Florida, USA, June 24-28, 1990.},
  pages     = {46--51},
  year      = {1990},
  crossref  = {DBLP:conf/dac/1990},
  url       = {https://doi.org/10.1145/123186.123223},
  doi       = {10.1145/123186.123223},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/BurchCMD90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Wong-ToiD90,
  author    = {Howard Wong{-}Toi and
               David L. Dill},
  title     = {Synthesizing Processes and Schedulers from Temporal Specifications},
  booktitle = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990,
               New Brunswick, New Jersey, USA, June 18-21, 1990},
  pages     = {177--186},
  year      = {1990},
  crossref  = {DBLP:conf/dimacs/1990a},
  timestamp = {Mon, 28 Nov 2016 20:12:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dimacs/Wong-ToiD90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/LoewensteinD90,
  author    = {Paul Loewenstein and
               David L. Dill},
  title     = {Verification of Multiprocessor Cache Protocol Using Simulation Relations
               and Higher-Order Logic},
  booktitle = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990,
               New Brunswick, New Jersey, USA, June 18-21, 1990},
  pages     = {187--206},
  year      = {1990},
  crossref  = {DBLP:conf/dimacs/1990a},
  timestamp = {Mon, 28 Nov 2016 20:12:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dimacs/LoewensteinD90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurD90,
  author    = {Rajeev Alur and
               David L. Dill},
  title     = {Automata For Modeling Real-Time Systems},
  booktitle = {Automata, Languages and Programming, 17th International Colloquium,
               ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings},
  pages     = {322--335},
  year      = {1990},
  crossref  = {DBLP:conf/icalp/1990},
  url       = {https://doi.org/10.1007/BFb0032042},
  doi       = {10.1007/BFb0032042},
  timestamp = {Tue, 19 Jun 2018 07:52:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/AlurD90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/LoewensteinD90,
  author    = {Paul Loewenstein and
               David L. Dill},
  title     = {Formal verification of cache systems using refinement relations},
  booktitle = {Proceedings of the 1990 {IEEE} International Conference on Computer
               Design: {VLSI} in Computers and Processors, {ICCD} 1990, Cambridge,
               MA, USA, 17-19 September, 1990},
  pages     = {228--233},
  year      = {1990},
  crossref  = {DBLP:conf/iccd/1990},
  url       = {https://doi.org/10.1109/ICCD.1990.130211},
  doi       = {10.1109/ICCD.1990.130211},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/LoewensteinD90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurCD90,
  author    = {Rajeev Alur and
               Costas Courcoubetis and
               David L. Dill},
  title     = {Model-Checking for Real-Time Systems},
  booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
               {(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
  pages     = {414--425},
  year      = {1990},
  crossref  = {DBLP:conf/lics/1990},
  url       = {https://doi.org/10.1109/LICS.1990.113766},
  doi       = {10.1109/LICS.1990.113766},
  timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/AlurCD90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BurchCMDH90,
  author    = {Jerry R. Burch and
               Edmund M. Clarke and
               Kenneth L. McMillan and
               David L. Dill and
               L. J. Hwang},
  title     = {Symbolic Model Checking: 10{\^{}}20 States and Beyond},
  booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
               {(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
  pages     = {428--439},
  year      = {1990},
  crossref  = {DBLP:conf/lics/1990},
  url       = {https://doi.org/10.1109/LICS.1990.113767},
  doi       = {10.1109/LICS.1990.113767},
  timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/BurchCMDH90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0066917,
  author    = {David L. Dill},
  title     = {Trace theory for automatic hierarchical verification of speed-independent
               circuits},
  series    = {{ACM} distinguished dissertations},
  publisher = {{MIT} Press},
  year      = {1989},
  isbn      = {978-0-262-04101-0},
  timestamp = {Tue, 12 Apr 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/books/daglib/0066917},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/Dill89,
  author    = {David L. Dill},
  title     = {Timing Assumptions and Verification of Finite-State Concurrent Systems},
  booktitle = {Automatic Verification Methods for Finite State Systems, International
               Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
  pages     = {197--212},
  year      = {1989},
  crossref  = {DBLP:conf/avmfss/1989},
  url       = {https://doi.org/10.1007/3-540-52148-8\_17},
  doi       = {10.1007/3-540-52148-8\_17},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/avmfss/Dill89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/NowickD89,
  author    = {Steven M. Nowick and
               David L. Dill},
  title     = {Practicality of state-machine verification of speed-independent circuits},
  booktitle = {1989 {IEEE} International Conference on Computer-Aided Design, {ICCAD}
               1989, Santa Clara, CA, USA, November 5-9, 1989. Digest of Technical
               Papers},
  pages     = {266--269},
  year      = {1989},
  crossref  = {DBLP:conf/iccad/1989},
  url       = {https://doi.org/10.1109/ICCAD.1989.76950},
  doi       = {10.1109/ICCAD.1989.76950},
  timestamp = {Mon, 11 Feb 2019 09:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/NowickD89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msiw/Dill89,
  author    = {David L. Dill},
  title     = {Complete Trace Structures},
  booktitle = {Hardware Specification, Verification and Synthesis: Mathematical Aspects,
               Mathematical Science Institute Workshop, Cornall University, Ithaca,
               New York, USA, July 5-7, 1989, Proceedings},
  pages     = {224--243},
  year      = {1989},
  crossref  = {DBLP:conf/msiw/1989},
  url       = {https://doi.org/10.1007/0-387-97226-9\_31},
  doi       = {10.1007/0-387-97226-9\_31},
  timestamp = {Fri, 19 May 2017 13:10:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/msiw/Dill89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BrowneCDM86,
  author    = {Michael C. Browne and
               Edmund M. Clarke and
               David L. Dill and
               Bud Mishra},
  title     = {Automatic Verification of Sequential Circuits Using Temporal Logic},
  journal   = {{IEEE} Trans. Computers},
  volume    = {35},
  number    = {12},
  pages     = {1035--1044},
  year      = {1986},
  url       = {https://doi.org/10.1109/TC.1986.1676711},
  doi       = {10.1109/TC.1986.1676711},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/BrowneCDM86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2017-1,
  editor    = {Rupak Majumdar and
               Viktor Kuncak},
  title     = {Computer Aided Verification - 29th International Conference, {CAV}
               2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10426},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-63387-9},
  doi       = {10.1007/978-3-319-63387-9},
  isbn      = {978-3-319-63386-2},
  timestamp = {Fri, 14 Jul 2017 12:52:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2017-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icml/2017,
  editor    = {Doina Precup and
               Yee Whye Teh},
  title     = {Proceedings of the 34th International Conference on Machine Learning,
               {ICML} 2017, Sydney, NSW, Australia, 6-11 August 2017},
  series    = {Proceedings of Machine Learning Research},
  volume    = {70},
  publisher = {{PMLR}},
  year      = {2017},
  url       = {http://jmlr.org/proceedings/papers/v70/},
  timestamp = {Wed, 03 Apr 2019 18:02:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icml/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1709-02126,
  editor    = {Lukas Bulwahn and
               Maryam Kamali and
               Sven Linker},
  title     = {Proceedings First Workshop on Formal Verification of Autonomous Vehicles,
               FVAV@iFM 2017, Turin, Italy, 19th September 2017},
  series    = {{EPTCS}},
  volume    = {257},
  year      = {2017},
  url       = {http://arxiv.org/abs/1709.02126},
  timestamp = {Mon, 13 Aug 2018 16:48:56 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-02126},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hldvt/2016,
  title     = {{IEEE} International High Level Design Validation and Test Workshop,
               {HLDVT} 2016, Santa Cruz, CA, USA, October 7-8, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7746774},
  isbn      = {978-1-5090-4270-8},
  timestamp = {Fri, 25 Nov 2016 14:29:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hldvt/2016},
  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/uss/2011evt,
  editor    = {Hovav Shacham and
               Vanessa Teague},
  title     = {2011 Electronic Voting Technology Workshop / Workshop on Trustworthy
               Elections, {EVT/WOTE} '11, San Francisco, CA, USA, August 8-9, 2011},
  publisher = {{USENIX} Association},
  year      = {2011},
  url       = {https://www.usenix.org/conference/evtwote11},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/2011evt},
  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/cgo/2010,
  editor    = {Andreas Moshovos and
               J. Gregory Steffan and
               Kim M. Hazelwood and
               David R. Kaeli},
  title     = {Proceedings of the {CGO} 2010, The 8th International Symposium on
               Code Generation and Optimization, Toronto, Ontario, Canada, April
               24-28, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://dl.acm.org/citation.cfm?id=1772954},
  isbn      = {978-1-60558-635-9},
  timestamp = {Fri, 24 Apr 2015 14:24:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cgo/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2008,
  editor    = {Sung Deok Cha and
               Jin{-}Young Choi and
               Moonzoo Kim and
               Insup Lee and
               Mahesh Viswanathan},
  title     = {Automated Technology for Verification and Analysis, 6th International
               Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5311},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-88387-6},
  doi       = {10.1007/978-3-540-88387-6},
  isbn      = {978-3-540-88386-9},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2008,
  editor    = {Alessandro Cimatti and
               Robert B. Jones},
  title     = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon,
               USA, 17-20 November 2008},
  publisher = {{IEEE}},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4689158},
  isbn      = {978-1-4244-2735-2},
  timestamp = {Wed, 17 Feb 2016 13:08:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/5000,
  editor    = {Orna Grumberg and
               Helmut Veith},
  title     = {25 Years of Model Checking - History, Achievements, Perspectives},
  series    = {Lecture Notes in Computer Science},
  volume    = {5000},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-69850-0},
  doi       = {10.1007/978-3-540-69850-0},
  isbn      = {978-3-540-69849-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/5000},
  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:journals/tcsb/2006-6,
  editor    = {Corrado Priami and
               Gordon D. Plotkin},
  title     = {Transactions on Computational Systems Biology {VI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4220},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11880646},
  doi       = {10.1007/11880646},
  isbn      = {3-540-45779-8},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcsb/2006-6},
  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/ccs/2006usa,
  editor    = {Ari Juels and
               Rebecca N. Wright and
               Sabrina De Capitani di Vimercati},
  title     = {Proceedings of the 13th {ACM} Conference on Computer and Communications
               Security, {CCS} 2006, Alexandria, VA, USA, Ioctober 30 - November
               3, 2006},
  publisher = {{ACM}},
  year      = {2006},
  timestamp = {Mon, 11 Dec 2006 11:03:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2006usa},
  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/atva/2005,
  editor    = {Doron A. Peled and
               Yih{-}Kuen Tsay},
  title     = {Automated Technology for Verification and Analysis, Third International
               Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3707},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11562948},
  doi       = {10.1007/11562948},
  isbn      = {3-540-29209-8},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/2005,
  editor    = {Dominique Borrione and
               Wolfgang J. Paul},
  title     = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
               Germany, October 3-6, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3725},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11560548},
  doi       = {10.1007/11560548},
  isbn      = {3-540-29105-9},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2005,
  editor    = {William H. Joyner Jr. and
               Grant Martin and
               Andrew B. Kahng},
  title     = {Proceedings of the 42nd Design Automation Conference, {DAC} 2005,
               San Diego, CA, USA, June 13-17, 2005},
  publisher = {{ACM}},
  year      = {2005},
  url       = {http://dl.acm.org/citation.cfm?id=1065579},
  isbn      = {1-59593-058-2},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/recomb/2005sbrg,
  editor    = {Eleazar Eskin and
               Trey Ideker and
               Benjamin J. Raphael and
               Christopher T. Workman},
  title     = {Systems Biology and Regulatory Genomics, Joint Annual {RECOMB} 2005
               Satellite Workshops on Systems Biology and on Regulatory Genomics,
               San Diego, CA, USA; December 2-4, 2005, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4023},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/978-3-540-48540-7},
  doi       = {10.1007/978-3-540-48540-7},
  isbn      = {978-3-540-48293-2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/recomb/2005sbrg},
  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/fmcad/2004,
  editor    = {Alan J. Hu and
               Andrew K. Martin},
  title     = {Formal Methods in Computer-Aided Design, 5th International Conference,
               {FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3312},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b102264},
  doi       = {10.1007/b102264},
  isbn      = {3-540-23738-0},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memocode/2004,
  title     = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
               and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
               California, USA, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9882},
  isbn      = {0-7803-8509-8},
  timestamp = {Wed, 13 Feb 2019 11:42:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/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/charme/2003,
  editor    = {Daniel Geist and
               Enrico Tronci},
  title     = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
               Italy, October 21-24, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2860},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b93958},
  doi       = {10.1007/b93958},
  isbn      = {3-540-20363-X},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2003,
  editor    = {Corrado Priami},
  title     = {Computational Methods in Systems Biology, First International Workshop,
               {CMSB} 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2602},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36481-1},
  doi       = {10.1007/3-540-36481-1},
  isbn      = {3-540-00605-2},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2003,
  editor    = {Rajeev Alur and
               Insup Lee},
  title     = {Embedded Software, Third International Conference, {EMSOFT} 2003,
               Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2855},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b13983},
  doi       = {10.1007/b13983},
  isbn      = {3-540-20223-4},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/emsoft/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2003,
  editor    = {Hubert Garavel and
               John Hatcliff},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               9th International Conference, {TACAS} 2003, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2003,
               Warsaw, Poland, April 7-11, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2619},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36577-X},
  doi       = {10.1007/3-540-36577-X},
  isbn      = {3-540-00898-5},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2002,
  editor    = {Andrei Voronkov},
  title     = {Automated Deduction - CADE-18, 18th International Conference on Automated
               Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2392},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45620-1},
  doi       = {10.1007/3-540-45620-1},
  isbn      = {3-540-43931-5},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2002,
  editor    = {Ed Brinksma and
               Kim Guldstrand Larsen},
  title     = {Computer Aided Verification, 14th International Conference, {CAV}
               2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2404},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45657-0},
  doi       = {10.1007/3-540-45657-0},
  isbn      = {3-540-43997-8},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2002},
  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/fmcad/2002,
  editor    = {Mark Aagaard and
               John W. O'Leary},
  title     = {Formal Methods in Computer-Aided Design, 4th International Conference,
               {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2517},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36126-X},
  doi       = {10.1007/3-540-36126-X},
  isbn      = {3-540-00116-6},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2002,
  editor    = {Alessandro Armando},
  title     = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
               2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2309},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45988-X},
  doi       = {10.1007/3-540-45988-X},
  isbn      = {3-540-43381-3},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/osdi/2002,
  editor    = {David E. Culler and
               Peter Druschel},
  title     = {5th Symposium on Operating System Design and Implementation {(OSDI}
               2002), Boston, Massachusetts, USA, December 9-11, 2002},
  publisher = {{USENIX} Association},
  year      = {2002},
  isbn      = {978-1-4503-0111-4},
  timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/osdi/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigopsE/2002,
  editor    = {Gilles Muller and
               Eric Jul},
  title     = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
               France, July 1, 2002},
  publisher = {{ACM}},
  year      = {2002},
  timestamp = {Wed, 02 Apr 2008 12:13:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigopsE/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/isca/2001,
  editor    = {Per Stenstr{\"{o}}m},
  title     = {Proceedings of the 28th Annual International Symposium on Computer
               Architecture, {ISCA} 2001, G{\"{o}}teborg, Sweden, June 30-July
               4, 2001},
  publisher = {{ACM}},
  year      = {2001},
  url       = {http://dl.acm.org/citation.cfm?id=379240},
  isbn      = {0-7695-1162-7},
  timestamp = {Thu, 16 Oct 2014 17:35:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isca/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2001,
  title     = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
               Massachusetts, USA, June 16-19, 2001, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7424},
  isbn      = {0-7695-1281-X},
  timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2000,
  editor    = {David A. McAllester},
  title     = {Automated Deduction - CADE-17, 17th International Conference on Automated
               Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1831},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/10721959},
  doi       = {10.1007/10721959},
  isbn      = {3-540-67664-3},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2000,
  editor    = {Giovanni De Micheli},
  title     = {Proceedings of the 37th Conference on Design Automation, Los Angeles,
               CA, USA, June 5-9, 2000},
  publisher = {{ACM}},
  year      = {2000},
  url       = {http://dl.acm.org/citation.cfm?id=337292},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2000},
  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/fmsp/2000,
  editor    = {Mats Per Erik Heimdahl},
  title     = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
               2000, Portland, Oregon, {USA}},
  publisher = {{ACM}},
  year      = {2000},
  isbn      = {1-58113-262-X},
  timestamp = {Thu, 24 Nov 2005 11:05:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmsp/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2000,
  editor    = {Ellen Sentovich},
  title     = {Proceedings of the 2000 {IEEE/ACM} International Conference on Computer-Aided
               Design, 2000, San Jose, California, USA, November 5-9, 2000},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7189},
  isbn      = {0-7803-6448-1},
  timestamp = {Thu, 30 Apr 2015 18:34:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2000,
  editor    = {Debra J. Richardson and
               Mary Jean Harold},
  title     = {Proceedings of the International Symposium on Software Testing and
               Analysis, {ISSTA} 2000, Portland, OR, USA, August 21-24, 2000},
  publisher = {{ACM}},
  year      = {2000},
  url       = {https://doi.org/10.1145/347324},
  doi       = {10.1145/347324},
  isbn      = {1-58113-266-2},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2000,
  title     = {The Fifteenth {IEEE} International Conference on Automated Software
               Engineering, {ASE} 2000, Grenoble, France, September 11-15, 2000},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7013},
  isbn      = {0-7695-0710-7},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1999,
  editor    = {Nicolas Halbwachs and
               Doron A. Peled},
  title     = {Computer Aided Verification, 11th International Conference, {CAV}
               '99, Trento, Italy, July 6-10, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1633},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48683-6},
  doi       = {10.1007/3-540-48683-6},
  isbn      = {3-540-66202-2},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1999,
  editor    = {Mary Jane Irwin},
  title     = {Proceedings of the 36th Conference on Design Automation, New Orleans,
               LA, USA, June 21-25, 1999},
  publisher = {{ACM} Press},
  year      = {1999},
  url       = {http://dl.acm.org/citation.cfm?id=309847},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/1999,
  editor    = {Jacob K. White and
               Ellen Sentovich},
  title     = {Proceedings of the 1999 {IEEE/ACM} International Conference on Computer-Aided
               Design, 1999, San Jose, California, USA, November 7-11, 1999},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6570},
  isbn      = {0-7803-5832-5},
  timestamp = {Thu, 30 Apr 2015 18:34:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1998,
  editor    = {Alan J. Hu and
               Moshe Y. Vardi},
  title     = {Computer Aided Verification, 10th International Conference, {CAV}
               '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1427},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0028725},
  doi       = {10.1007/BFb0028725},
  isbn      = {3-540-64608-6},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1998,
  editor    = {Basant R. Chawla and
               Randal E. Bryant and
               Jan M. Rabaey},
  title     = {Proceedings of the 35th Conference on Design Automation, Moscone center,
               San Francico, California, USA, June 15-19, 1998},
  publisher = {{ACM} Press},
  year      = {1998},
  url       = {http://dl.acm.org/citation.cfm?id=277044},
  isbn      = {0-89791-964-5},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/1998,
  editor    = {Ganesh Gopalakrishnan and
               Phillip J. Windley},
  title     = {Formal Methods in Computer-Aided Design, Second International Conference,
               {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1522},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-49519-3},
  doi       = {10.1007/3-540-49519-3},
  isbn      = {3-540-65191-8},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmsp/1998,
  editor    = {Mark A. Ardis and
               Joanne M. Atlee},
  title     = {Proceedings of the Second Workshop on Formal Methods in Software Practice,
               March 4-5, 1998, Clearwater Beach, Florida, {USA}},
  publisher = {{ACM}},
  year      = {1998},
  isbn      = {0-89791-954-8},
  timestamp = {Thu, 24 Nov 2005 12:15:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmsp/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1998,
  editor    = {Anders P. Ravn and
               Hans Rischel},
  title     = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
               Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1486},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0055330},
  doi       = {10.1007/BFb0055330},
  isbn      = {3-540-65003-2},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftrtft/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/1998,
  editor    = {Hiroto Yasuura},
  title     = {Proceedings of the 1998 {IEEE/ACM} International Conference on Computer-Aided
               Design, {ICCAD} 1998, San Jose, CA, USA, November 8-12, 1998},
  publisher = {{ACM} / {IEEE} Computer Society},
  year      = {1998},
  url       = {http://dl.acm.org/citation.cfm?id=288548},
  isbn      = {1-58113-008-2},
  timestamp = {Thu, 30 Apr 2015 18:34:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/async/1997,
  title     = {3rd International Symposium on Advanced Research in Asynchronous Circuits
               and Systems {(ASYNC} '97), 7-10 April 1997, Eindhoven, The Netherlands},
  publisher = {{IEEE} Computer Society},
  year      = {1997},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4500},
  isbn      = {0-8186-7922-0},
  timestamp = {Thu, 16 Oct 2014 11:29:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/async/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1997,
  editor    = {Orna Grumberg},
  title     = {Computer Aided Verification, 9th International Conference, {CAV} '97,
               Haifa, Israel, June 22-25, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1254},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63166-6},
  doi       = {10.1007/3-540-63166-6},
  isbn      = {3-540-63166-6},
  timestamp = {Mon, 22 May 2017 17:10:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1997,
  editor    = {Atsushi Togashi and
               Tadanori Mizuno and
               Norio Shiratori and
               Teruo Higashino},
  title     = {Formal Description Techniques and Protocol Specification, Testing
               and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1}
               Joint International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols {(FORTE} {X)} and
               Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21
               November, 1997, Osaka, Japan},
  series    = {{IFIP} Conference Proceedings},
  volume    = {107},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  isbn      = {0-412-82060-9},
  timestamp = {Wed, 12 Feb 2003 15:40:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/1997,
  editor    = {Ralph H. J. M. Otten and
               Hiroto Yasuura},
  title     = {Proceedings of the 1997 {IEEE/ACM} International Conference on Computer-Aided
               Design, {ICCAD} 1997, San Jose, CA, USA, November 9-13, 1997},
  publisher = {{IEEE} Computer Society / {ACM}},
  year      = {1997},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5191},
  isbn      = {0-8186-8200-0},
  timestamp = {Thu, 30 Apr 2015 18:34:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1996,
  editor    = {Rajeev Alur and
               Thomas A. Henzinger},
  title     = {Computer Aided Verification, 8th International Conference, {CAV} '96,
               New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1102},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61474-5},
  doi       = {10.1007/3-540-61474-5},
  isbn      = {3-540-61474-5},
  timestamp = {Mon, 22 May 2017 16:14:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1996,
  editor    = {Thomas Pennino and
               Ellen J. Yoffa},
  title     = {Proceedings of the 33st Conference on Design Automation, Las Vegas,
               Nevada, USA, Las Vegas Convention Center, June 3-7, 1996},
  publisher = {{ACM} Press},
  year      = {1996},
  url       = {http://dl.acm.org/citation.cfm?id=240518},
  isbn      = {0-89791-779-0},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/1996,
  editor    = {Mandayam K. Srivas and
               Albert John Camilleri},
  title     = {Formal Methods in Computer-Aided Design, First International Conference,
               {FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1166},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031795},
  doi       = {10.1007/BFb0031795},
  isbn      = {3-540-61937-2},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1996,
  editor    = {Reinhard Gotzhein and
               Jan Bredereke},
  title     = {Formal Description Techniques {IX:} Theory, application and tools,
               {IFIP} {TC6} {WG6.1} International Conference on Formal Description
               Techniques {IX} / Protocol Specification, Testing and Verification
               XVI, Kaiserslautern, Germany, 8-11 October 1996},
  series    = {{IFIP} Conference Proceedings},
  volume    = {69},
  publisher = {Chapman {\&} Hall},
  year      = {1996},
  isbn      = {0-412-79490-X},
  timestamp = {Fri, 29 Oct 2004 12:58:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spaa/1996,
  editor    = {Guy E. Blelloch},
  title     = {Proceedings of the 8th Annual {ACM} Symposium on Parallel Algorithms
               and Architectures, {SPAA} '96, Padua, Italy, June 24-26, 1996},
  publisher = {{ACM}},
  year      = {1996},
  url       = {https://doi.org/10.1145/237502},
  doi       = {10.1145/237502},
  isbn      = {0-89791-809-6},
  timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spaa/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1995,
  editor    = {Pierre Wolper},
  title     = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
               Belgium, July, 3-5, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {939},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60045-0},
  doi       = {10.1007/3-540-60045-0},
  isbn      = {3-540-60045-0},
  timestamp = {Wed, 14 Nov 2018 10:51:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/1995,
  editor    = {Paolo Camurati and
               Hans Eveking},
  title     = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
               Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
               Germany, October 2-4, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {987},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60385-9},
  doi       = {10.1007/3-540-60385-9},
  isbn      = {3-540-60385-9},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/1995,
  editor    = {Richard L. Rudell},
  title     = {Proceedings of the 1995 {IEEE/ACM} International Conference on Computer-Aided
               Design, {ICCAD} 1995, San Jose, California, USA, November 5-9, 1995},
  publisher = {{IEEE} Computer Society / {ACM}},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3472},
  isbn      = {0-8186-7213-7},
  timestamp = {Thu, 30 Apr 2015 18:34:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccd/1995,
  title     = {1995 International Conference on Computer Design {(ICCD} '95), {VLSI}
               in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4053},
  isbn      = {0-8186-7165-3},
  timestamp = {Mon, 22 Sep 2014 16:50:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isca/1995,
  editor    = {David A. Patterson},
  title     = {Proceedings of the 22nd Annual International Symposium on Computer
               Architecture, {ISCA} '95, Santa Margherita Ligure, Italy, June 22-24,
               1995},
  publisher = {{ACM}},
  year      = {1995},
  url       = {http://dl.acm.org/citation.cfm?id=223982},
  isbn      = {0-89791-698-0},
  timestamp = {Thu, 16 Oct 2014 17:35:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isca/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spaa/1995,
  editor    = {Charles E. Leiserson},
  title     = {7th Annual {ACM} Symposium on Parallel Algorithms and Architectures,
               {SPAA} '95, Santa Barbara, California, USA, July 17-19, 1995},
  publisher = {{ACM}},
  year      = {1995},
  url       = {https://doi.org/10.1145/215399},
  doi       = {10.1145/215399},
  isbn      = {0-89791-717-0},
  timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spaa/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1994,
  editor    = {David L. Dill},
  title     = {Computer Aided Verification, 6th International Conference, {CAV} '94,
               Stanford, California, USA, June 21-23, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {818},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-58179-0},
  doi       = {10.1007/3-540-58179-0},
  isbn      = {3-540-58179-0},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1994,
  editor    = {Bengt Jonsson and
               Joachim Parrow},
  title     = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
               Sweden, August 22-25, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {836},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/978-3-540-48654-1},
  doi       = {10.1007/978-3-540-48654-1},
  isbn      = {3-540-58329-7},
  timestamp = {Mon, 22 May 2017 12:56:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1994,
  editor    = {Michael J. Lorenzetti},
  title     = {Proceedings of the 31st Conference on Design Automation, San Diego,
               California, USA, June 6-10, 1994},
  publisher = {{ACM} Press},
  year      = {1994},
  url       = {http://dl.acm.org/citation.cfm?id=196244},
  isbn      = {0-7803-1836-6},
  timestamp = {Thu, 23 Feb 2012 17:18:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/1994,
  editor    = {Jochen A. G. Jess and
               Richard L. Rudell},
  title     = {Proceedings of the 1994 {IEEE/ACM} International Conference on Computer-Aided
               Design, {ICCAD} 1994, San Jose, California, USA, November 6-10, 1994},
  publisher = {{IEEE} Computer Society / {ACM}},
  year      = {1994},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4983},
  isbn      = {0-89791-690-5},
  timestamp = {Thu, 30 Apr 2015 18:34:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1993,
  editor    = {Costas Courcoubetis},
  title     = {Computer Aided Verification, 5th International Conference, {CAV} '93,
               Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {697},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56922-7},
  doi       = {10.1007/3-540-56922-7},
  isbn      = {3-540-56922-7},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/chdl/1993,
  editor    = {David Agnew and
               Luc J. M. Claesen and
               Raul Camposano},
  title     = {Computer Hardware Description Languages and their Applications, Proceedings
               of the 11th {IFIP} {WG10.2} International Conference on Computer Hardware
               Description Languages and their Applications - {CHDL} '93, sponsored
               by {IFIP} {WG10.2} and in cooperation with {IEEE} COMPSOC, Ottawa,
               Ontario, Canada, 26-28 April, 1993},
  series    = {{IFIP} Transactions},
  volume    = {{A-32}},
  publisher = {North-Holland},
  year      = {1993},
  isbn      = {0-444-81641-0},
  timestamp = {Thu, 03 Jan 2002 11:54:34 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/chdl/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1993,
  editor    = {Alfred E. Dunlop},
  title     = {Proceedings of the 30th Design Automation Conference. Dallas, Texas,
               USA, June 14-18, 1993},
  publisher = {{ACM} Press},
  year      = {1993},
  url       = {http://dl.acm.org/citation.cfm?id=157485},
  isbn      = {0-89791-577-1},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/1993,
  editor    = {Michael R. Lightner and
               Jochen A. G. Jess},
  title     = {Proceedings of the 1993 {IEEE/ACM} International Conference on Computer-Aided
               Design, 1993, Santa Clara, California, USA, November 7-11, 1993},
  publisher = {{IEEE} Computer Society / {ACM}},
  year      = {1993},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4431},
  isbn      = {0-8186-4490-7},
  timestamp = {Mon, 11 Feb 2019 09:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccd/1993,
  title     = {Proceedings 1993 International Conference on Computer Design: {VLSI}
               in Computers {\&} Processors, {ICCD} '93, Cambridge, MA, USA,
               October 3-6, 1993},
  publisher = {{IEEE} Computer Society},
  year      = {1993},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3140},
  isbn      = {0-8186-4230-0},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1992,
  editor    = {Gregor von Bochmann and
               David K. Probst},
  title     = {Computer Aided Verification, Fourth International Workshop, {CAV}
               '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {663},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56496-9},
  doi       = {10.1007/3-540-56496-9},
  isbn      = {3-540-56496-9},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1992,
  editor    = {Rance Cleaveland},
  title     = {{CONCUR} '92, Third International Conference on Concurrency Theory,
               Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {630},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/BFb0084777},
  doi       = {10.1007/BFb0084777},
  isbn      = {3-540-55822-5},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/1992,
  editor    = {Louise Trevillyan and
               Michael R. Lightner},
  title     = {1992 {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 1992, Santa Clara, CA, USA, November 8-12, 1992. Digest of
               Technical Papers},
  publisher = {{IEEE} Computer Society / {ACM}},
  year      = {1992},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=894},
  isbn      = {0-8186-3010-8},
  timestamp = {Mon, 11 Feb 2019 09:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccd/1992,
  title     = {Proceedings 1992 {IEEE} International Conference on Computer Design:
               {VLSI} in Computer {\&} Processors, {ICCD} '92, Cambridge, MA,
               USA, October 11-14, 1992},
  publisher = {{IEEE} Computer Society},
  year      = {1992},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=442},
  isbn      = {0-8186-3110-4},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtss/1992,
  title     = {Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona,
               USA, December 1992},
  publisher = {{IEEE} Computer Society},
  year      = {1992},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=447},
  isbn      = {0-8186-3195-3},
  timestamp = {Fri, 22 Feb 2019 12:38:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1991,
  editor    = {Kim Guldstrand Larsen and
               Arne Skou},
  title     = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
               Aalborg, Denmark, July, 1-4, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {575},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-55179-4},
  doi       = {10.1007/3-540-55179-4},
  isbn      = {3-540-55179-4},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1991,
  editor    = {Javier Leach Albert and
               Burkhard Monien and
               Mario Rodr{\'{\i}}guez{-}Artalejo},
  title     = {Automata, Languages and Programming, 18th International Colloquium,
               ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {510},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-54233-7},
  doi       = {10.1007/3-540-54233-7},
  isbn      = {3-540-54233-7},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/1991,
  title     = {1991 {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 1993, Santa Clara, CA, USA, November 11-14, 1991. Digest of
               Technical Papers},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=345},
  isbn      = {0-8186-2157-5},
  timestamp = {Mon, 11 Feb 2019 09:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccd/1991,
  title     = {Proceedings 1991 {IEEE} International Conference on Computer Design:
               {VLSI} in Computer {\&} Processors, {ICCD} '91, Cambridge, MA,
               USA, October 14-16, 1991},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=367},
  isbn      = {0-8186-2270-9},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rex/1991,
  editor    = {J. W. de Bakker and
               Cornelis Huizing and
               Willem P. de Roever and
               Grzegorz Rozenberg},
  title     = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
               June 3-7, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {600},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/BFb0031984},
  doi       = {10.1007/BFb0031984},
  isbn      = {3-540-55564-1},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rex/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1990,
  editor    = {Edmund M. Clarke and
               Robert P. Kurshan},
  title     = {Computer Aided Verification, 2nd International Workshop, {CAV} '90,
               New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {531},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/BFb0023712},
  doi       = {10.1007/BFb0023712},
  isbn      = {3-540-54477-1},
  timestamp = {Wed, 14 Nov 2018 10:51:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/1990,
  editor    = {Richard C. Smith},
  title     = {Proceedings of the 27th {ACM/IEEE} Design Automation Conference. Orlando,
               Florida, USA, June 24-28, 1990},
  publisher = {{IEEE} Computer Society Press},
  year      = {1990},
  url       = {http://dl.acm.org/citation.cfm?id=123186},
  isbn      = {0-89791-363-9},
  timestamp = {Tue, 19 Nov 2013 18:10:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dimacs/1990a,
  editor    = {Edmund M. Clarke and
               Robert P. Kurshan},
  title     = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990,
               New Brunswick, New Jersey, USA, June 18-21, 1990},
  series    = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume    = {3},
  publisher = {{DIMACS/AMS}},
  year      = {1991},
  url       = {http://dimacs.rutgers.edu/Volumes/Vol03.html},
  timestamp = {Mon, 28 Nov 2016 20:12:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dimacs/1990a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1990,
  editor    = {Mike Paterson},
  title     = {Automata, Languages and Programming, 17th International Colloquium,
               ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {443},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/BFb0032016},
  doi       = {10.1007/BFb0032016},
  isbn      = {3-540-52826-1},
  timestamp = {Tue, 19 Jun 2018 07:52:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccd/1990,
  title     = {Proceedings of the 1990 {IEEE} International Conference on Computer
               Design: {VLSI} in Computers and Processors, {ICCD} 1990, Cambridge,
               MA, USA, 17-19 September, 1990},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=308},
  isbn      = {0-8186-2079-X},
  timestamp = {Mon, 11 Feb 2019 17:32:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1990,
  title     = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
               {(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=305},
  isbn      = {0-8186-2073-0},
  timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/avmfss/1989,
  editor    = {Joseph Sifakis},
  title     = {Automatic Verification Methods for Finite State Systems, International
               Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {407},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/3-540-52148-8},
  doi       = {10.1007/3-540-52148-8},
  isbn      = {3-540-52148-8},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/avmfss/1989},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/1989,
  title     = {1989 {IEEE} International Conference on Computer-Aided Design, {ICCAD}
               1989, Santa Clara, CA, USA, November 5-9, 1989. Digest of Technical
               Papers},
  publisher = {{IEEE} Computer Society},
  year      = {1989},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=263},
  isbn      = {0-8186-1986-4},
  timestamp = {Mon, 11 Feb 2019 09:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/1989},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/msiw/1989,
  editor    = {Miriam Leeser and
               Geoffrey Brown},
  title     = {Hardware Specification, Verification and Synthesis: Mathematical Aspects,
               Mathematical Science Institute Workshop, Cornall University, Ithaca,
               New York, USA, July 5-7, 1989, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {408},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/0-387-97226-9},
  doi       = {10.1007/0-387-97226-9},
  isbn      = {3-540-97226-9},
  timestamp = {Fri, 19 May 2017 13:10:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/msiw/1989},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier