Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David L. Dill
@article{DBLP:journals/jar/ShengNRZDGPQBT23,
author = {Ying Sheng and
Andres N{\"{o}}tzli and
Andrew Reynolds and
Yoni Zohar and
David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Clark W. Barrett and
Cesare Tinelli},
title = {Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences},
journal = {J. Autom. Reason.},
volume = {67},
number = {3},
pages = {32},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09682-2},
doi = {10.1007/S10817-023-09682-2},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/ShengNRZDGPQBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KatzBDJK22,
author = {Guy Katz and
Clark W. Barrett and
David L. Dill and
Kyle Julian and
Mykel J. Kochenderfer},
title = {Reluplex: a calculus for reasoning about deep neural networks},
journal = {Formal Methods Syst. Des.},
volume = {60},
number = {1},
pages = {87--116},
year = {2022},
url = {https://doi.org/10.1007/s10703-021-00363-7},
doi = {10.1007/S10703-021-00363-7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/KatzBDJK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ShengNRZDGPQBT22,
author = {Ying Sheng and
Andres N{\"{o}}tzli and
Andrew Reynolds and
Yoni Zohar and
David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Clark W. Barrett and
Cesare Tinelli},
editor = {Jasmin Blanchette and
Laura Kov{\'{a}}cs and
Dirk Pattinson},
title = {Reasoning About Vectors Using an {SMT} Theory of Sequences},
booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
2022, Haifa, Israel, August 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13385},
pages = {125--143},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10769-6\_9},
doi = {10.1007/978-3-031-10769-6\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/ShengNRZDGPQBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DillGPQXZ22,
author = {David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Meng Xu and
Jingyi Emma Zhong},
editor = {Dana Fisman and
Grigore Rosu},
title = {Fast and Reliable Formal Verification of Smart Contracts with the
Move Prover},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {183--200},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_10},
doi = {10.1007/978-3-030-99524-9\_10},
timestamp = {Fri, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DillGPQXZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-08095,
author = {Ying Sheng and
Andres N{\"{o}}tzli and
Andrew Reynolds and
Yoni Zohar and
David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Clark W. Barrett and
Cesare Tinelli},
title = {Reasoning About Vectors using an {SMT} Theory of Sequences},
journal = {CoRR},
volume = {abs/2205.08095},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.08095},
doi = {10.48550/ARXIV.2205.08095},
eprinttype = {arXiv},
eprint = {2205.08095},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-08095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-08362,
author = {David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Meng Xu and
Jingyi Emma Zhong},
title = {Fast and Reliable Formal Verification of Smart Contracts with the
Move Prover},
journal = {CoRR},
volume = {abs/2110.08362},
year = {2021},
url = {https://arxiv.org/abs/2110.08362},
eprinttype = {arXiv},
eprint = {2110.08362},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-08362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhongCQGBPZBD20,
author = {Jingyi Emma Zhong and
Kevin Cheang and
Shaz Qadeer and
Wolfgang Grieskamp and
Sam Blackshear and
Junkil Park and
Yoni Zohar and
Clark W. Barrett and
David L. Dill},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {The Move Prover},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {137--150},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_7},
doi = {10.1007/978-3-030-53288-8\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ZhongCQGBPZBD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-05106,
author = {Sam Blackshear and
David L. Dill and
Shaz Qadeer and
Clark W. Barrett and
John C. Mitchell and
Oded Padon and
Yoni Zohar},
title = {Resources: {A} Safe Language Abstraction for Money},
journal = {CoRR},
volume = {abs/2004.05106},
year = {2020},
url = {https://arxiv.org/abs/2004.05106},
eprinttype = {arXiv},
eprint = {2004.05106},
timestamp = {Tue, 14 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-05106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KatzHIJLLSTWZDK19,
author = {Guy Katz and
Derek A. Huang and
Duligur Ibeling and
Kyle Julian and
Christopher Lazarus and
Rachel Lim and
Parth Shah and
Shantanu Thakoor and
Haoze Wu and
Aleksandar Zeljic and
David L. Dill and
Mykel J. Kochenderfer and
Clark W. Barrett},
editor = {Isil Dillig and
Serdar Tasiran},
title = {The Marabou Framework for Verification and Analysis of Deep Neural
Networks},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {443--452},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_26},
doi = {10.1007/978-3-030-25540-4\_26},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KatzHIJLLSTWZDK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/SelsamLBLMD19,
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},
booktitle = {7th International Conference on Learning Representations, {ICLR} 2019,
New Orleans, LA, USA, May 6-9, 2019},
publisher = {OpenReview.net},
year = {2019},
url = {https://openreview.net/forum?id=HJMC\_iA5tm},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/SelsamLBLMD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
eprinttype = {arXiv},
eprint = {1802.03685},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-03685.bib},
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},
editor = {Rupak Majumdar and
Viktor Kuncak},
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}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {97--117},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_5},
doi = {10.1007/978-3-319-63387-9\_5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KatzBDJK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/SelsamLD17,
author = {Daniel Selsam and
Percy Liang and
David L. Dill},
editor = {Doina Precup and
Yee Whye Teh},
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},
series = {Proceedings of Machine Learning Research},
volume = {70},
pages = {3047--3056},
publisher = {{PMLR}},
year = {2017},
url = {http://proceedings.mlr.press/v70/selsam17a.html},
timestamp = {Wed, 29 May 2019 08:41:45 +0200},
biburl = {https://dblp.org/rec/conf/icml/SelsamLD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02802,
author = {Guy Katz and
Clark W. Barrett and
David L. Dill and
Kyle Julian and
Mykel J. Kochenderfer},
editor = {Lukas Bulwahn and
Maryam Kamali and
Sven Linker},
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},
series = {{EPTCS}},
volume = {257},
pages = {19--26},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.257.3},
doi = {10.4204/EPTCS.257.3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02802.bib},
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},
eprinttype = {arXiv},
eprint = {1702.01135},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KatzBDJK17.bib},
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},
eprinttype = {arXiv},
eprint = {1706.08605},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SelsamLD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-10207,
author = {Nicholas Carlini and
Guy Katz and
Clark W. 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},
eprinttype = {arXiv},
eprint = {1709.10207},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-10207.bib},
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 Res.},
volume = {44},
number = {Database-Issue},
pages = {640--645},
year = {2016},
url = {https://doi.org/10.1093/nar/gkv1050},
doi = {10.1093/NAR/GKV1050},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/LaskerSMMDMS16.bib},
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},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/HLDVT.2016.7748269},
doi = {10.1109/HLDVT.2016.7748269},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/SinhaD16.bib},
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} Syst. Biol.},
volume = {9},
pages = {66},
year = {2015},
url = {https://doi.org/10.1186/s12918-015-0214-7},
doi = {10.1186/S12918-015-0214-7},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcsb/ZhangKD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Dill12,
author = {David L. Dill},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Model Checking Cell Biology},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {2},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_2},
doi = {10.1007/978-3-642-31424-7\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Dill12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/LazarusDE11,
author = {Eric Lazarus and
David L. Dill and
Jeremy Epstein},
editor = {Hovav Shacham and
Vanessa Teague},
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},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/evtwote-11/applying-reusable-election-threat-model-county-level},
timestamp = {Mon, 01 Feb 2021 08:42:50 +0100},
biburl = {https://dblp.org/rec/conf/uss/LazarusDE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Dill11,
author = {David L. Dill},
editor = {Ranjit Jhala and
David A. Schmidt},
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},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {1},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_1},
doi = {10.1007/978-3-642-18275-4\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Dill11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pnas/SahooSBIWPD10,
author = {Debashis Sahoo and
Jun Seita and
Deepta Bhattacharya and
Matthew A. Inlay and
Irving L. Weissman and
Sylvia K. Plevritis and
David L. Dill},
title = {MiDReG: {A} method of mining developmentally regulated genes using
Boolean implications},
journal = {Proc. Natl. Acad. Sci. {USA}},
volume = {107},
number = {13},
pages = {5732--5737},
year = {2010},
url = {https://doi.org/10.1073/pnas.0913635107},
doi = {10.1073/PNAS.0913635107},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pnas/SahooSBIWPD10.bib},
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. Meng and
Garry P. Nolan},
editor = {Andreas Moshovos and
J. Gregory Steffan and
Kim M. Hazelwood and
David R. Kaeli},
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},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1772954.1772987},
doi = {10.1145/1772954.1772987},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cgo/LindermanHDMN10.bib},
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/journals/cacm/DillC08.bib},
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 = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tissec/CadarGPDE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Dill08,
author = {David L. Dill},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Formal Verification and Biology},
booktitle = {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},
pages = {3},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_2},
doi = {10.1007/978-3-540-88387-6\_2},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/atva/Dill08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SmithD08,
author = {Eric Whitman Smith and
David L. Dill},
editor = {Alessandro Cimatti and
Robert B. Jones},
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},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/FMCAD.2008.ECP.10},
doi = {10.1109/FMCAD.2008.ECP.10},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/SmithD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Dill08,
author = {David L. Dill},
editor = {Orna Grumberg and
Helmut Veith},
title = {A Retrospective on Mur\emph{phi}},
booktitle = {25 Years of Model Checking - History, Achievements, Perspectives},
series = {Lecture Notes in Computer Science},
volume = {5000},
pages = {77--88},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69850-0\_5},
doi = {10.1007/978-3-540-69850-0\_5},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Dill08.bib},
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/conf/uss/2008evt.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GaneshD07,
author = {Vijay Ganesh and
David L. Dill},
editor = {Werner Damm and
Holger Hermanns},
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},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {519--531},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_52},
doi = {10.1007/978-3-540-73368-3\_52},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/GaneshD07.bib},
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},
journal = {Trans. Comp. Sys. Biology},
volume = {6},
pages = {221--245},
year = {2006},
url = {https://doi.org/10.1007/11880646\_10},
doi = {10.1007/11880646\_10},
timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcsb/TalcottD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Dill06,
author = {David L. Dill},
editor = {Thomas Ball and
Robert B. Jones},
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},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {2},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_2},
doi = {10.1007/11817963\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Dill06.bib},
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},
editor = {Ari Juels and
Rebecca N. Wright and
Sabrina De Capitani di Vimercati},
title = {{EXE:} automatically generating inputs of death},
booktitle = {Proceedings of the 13th {ACM} Conference on Computer and Communications
Security, {CCS} 2006, Alexandria, VA, USA, October 30 - November 3,
2006},
pages = {322--335},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1180405.1180445},
doi = {10.1145/1180405.1180445},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/CadarGPDE06.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/FMCAD.2006.2},
doi = {10.1109/FMCAD.2006.2},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Abu-HaimedDB06.bib},
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},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
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},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {26--38},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_5},
doi = {10.1007/11562948\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/SahooJID05.bib},
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},
editor = {Dominique Borrione and
Wolfgang J. Paul},
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},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {388--392},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_38},
doi = {10.1007/11560548\_38},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/SahooJIDE05.bib},
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},
editor = {William H. Joyner Jr. and
Grant Martin and
Andrew B. Kahng},
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},
publisher = {{ACM}},
year = {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/conf/dac/SahooJIDE05.bib},
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},
editor = {Eleazar Eskin and
Trey Ideker and
Benjamin J. Raphael and
Christopher T. Workman},
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},
series = {Lecture Notes in Computer Science},
volume = {4023},
pages = {11--22},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-48540-7\_2},
doi = {10.1007/978-3-540-48540-7\_2},
timestamp = {Mon, 13 May 2019 09:30:09 +0200},
biburl = {https://dblp.org/rec/conf/recomb/DillKGTLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MusuvathiD05,
author = {Madanlal Musuvathi and
David L. Dill},
editor = {Patrice Godefroid},
title = {An Incremental Heap Canonicalization Algorithm},
booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
CA, USA, August 22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3639},
pages = {28--42},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11537328\_6},
doi = {10.1007/11537328\_6},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/MusuvathiD05.bib},
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/journals/cacm/VoraABCDJJLRSY04.bib},
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} Secur. Priv.},
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 = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeesp/DillR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChangBD04,
author = {Jacob Chang and
Sergey Berezin and
David L. Dill},
editor = {Rajeev Alur and
Doron A. Peled},
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},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {122--134},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_10},
doi = {10.1007/978-3-540-27813-9\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChangBD04.bib},
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},
editor = {Alan J. Hu and
Andrew K. Martin},
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},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {399--413},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_28},
doi = {10.1007/978-3-540-30494-4\_28},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/SahooIJSNDE04.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MEMCOD.2004.1459826},
doi = {10.1109/MEMCOD.2004.1459826},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Dill04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BerezinBSCGD05,
author = {Sergey Berezin and
Clark W. Barrett and
Igor Shikanian and
Marsha Chechik and
Arie Gurfinkel and
David L. Dill},
editor = {Wolfgang Ahrendt and
Peter Baumgartner and
Hans de Nivelle and
Silvio Ranise and
Cesare Tinelli},
title = {A Practical Approach to Partial Functions in {CVC} Lite},
booktitle = {Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and
the Second International Workshop on Pragmatics of Decision Procedures,
PDPAR@IJCAR 2004, Cork, Ireland, July 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {125},
number = {3},
pages = {13--23},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.064},
doi = {10.1016/J.ENTCS.2004.06.064},
timestamp = {Tue, 13 Dec 2022 13:53:40 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BerezinBSCGD05.bib},
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/journals/cacm/DillSS03.bib},
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},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Strengthening Invariants by Symbolic Consistency Testing},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {407--419},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_38},
doi = {10.1007/978-3-540-45069-6\_38},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Abu-HaimedBD03.bib},
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},
editor = {Daniel Geist and
Enrico Tronci},
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},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {158--163},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_15},
doi = {10.1007/978-3-540-39724-3\_15},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/Abu-HaimedBD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DillL03,
author = {David L. Dill and
Patrick Lincoln},
editor = {Corrado Priami},
title = {Evolution as Design Engineer},
booktitle = {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},
pages = {202--206},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36481-1\_30},
doi = {10.1007/3-540-36481-1\_30},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DillL03.bib},
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},
editor = {Rajeev Alur and
Insup Lee},
title = {Event Correlation: Language and Semantics},
booktitle = {Embedded Software, Third International Conference, {EMSOFT} 2003,
Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2855},
pages = {323--339},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45212-6\_21},
doi = {10.1007/978-3-540-45212-6\_21},
timestamp = {Thu, 26 Jan 2023 14:05:53 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/SanchezSSZDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BerezinGD03,
author = {Sergey Berezin and
Vijay Ganesh and
David L. Dill},
editor = {Hubert Garavel and
John Hatcliff},
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},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {521--536},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_38},
doi = {10.1007/3-540-36577-X\_38},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BerezinGD03.bib},
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} Des. Test Comput.},
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 = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/ShimizuD02.bib},
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 Syst. Des.},
volume = {20},
number = {2},
pages = {139--158},
year = {2002},
url = {https://doi.org/10.1023/A:1014118529369},
doi = {10.1023/A:1014118529369},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/JonesSD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/StumpD02,
author = {Aaron Stump and
David L. Dill},
editor = {Andrei Voronkov},
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},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {392--407},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_32},
doi = {10.1007/3-540-45620-1\_32},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/StumpD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarrettDS02,
author = {Clark W. Barrett and
David L. Dill and
Aaron Stump},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
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},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {236--249},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_18},
doi = {10.1007/3-540-45657-0\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BarrettDS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/StumpBD02,
author = {Aaron Stump and
Clark W. Barrett and
David L. Dill},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {{CVC:} {A} Cooperating Validity Checker},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {500--504},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_40},
doi = {10.1007/3-540-45657-0\_40},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/StumpBD02.bib},
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},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513918.514064},
doi = {10.1145/513918.514064},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/DillJRBFFRSW02.bib},
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},
publisher = {{ACM}},
year = {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/conf/dac/ShimizuD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DasD02,
author = {Satyaki Das and
David L. Dill},
editor = {Mark D. Aagaard and
John W. O'Leary},
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},
series = {Lecture Notes in Computer Science},
volume = {2517},
pages = {19--32},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36126-X\_2},
doi = {10.1007/3-540-36126-X\_2},
timestamp = {Fri, 10 Jan 2020 14:50:18 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/DasD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GaneshBD02,
author = {Vijay Ganesh and
Sergey Berezin and
David L. Dill},
editor = {Mark D. Aagaard and
John W. O'Leary},
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},
series = {Lecture Notes in Computer Science},
volume = {2517},
pages = {171--186},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36126-X\_11},
doi = {10.1007/3-540-36126-X\_11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/GaneshBD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BarrettDS02,
author = {Clark W. Barrett and
David L. Dill and
Aaron Stump},
editor = {Alessandro Armando},
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},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {132--146},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_11},
doi = {10.1007/3-540-45988-X\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BarrettDS02.bib},
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},
editor = {David E. Culler and
Peter Druschel},
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},
publisher = {{USENIX} Association},
year = {2002},
url = {http://www.usenix.org/events/osdi02/tech/musuvathi.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/MusuvathiPCED02.bib},
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},
editor = {Gilles Muller and
Eric Jul},
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},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/1133373.1133418},
doi = {10.1145/1133373.1133418},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/MusuvathiCDE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StumpBD02,
author = {Aaron Stump and
Clark W. Barrett and
David L. Dill},
editor = {Frank Pfenning},
title = {Producing Proofs from an Arithmetic Decision Procedure in Elliptical
{LF}},
booktitle = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {2},
pages = {29--41},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80504-8},
doi = {10.1016/S1571-0661(04)80504-8},
timestamp = {Tue, 06 Dec 2022 14:32:51 +0100},
biburl = {https://dblp.org/rec/journals/entcs/StumpBD02.bib},
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 Syst. Des.},
volume = {18},
number = {2},
pages = {117--129},
year = {2001},
url = {https://doi.org/10.1023/A:1008771324652},
doi = {10.1023/A:1008771324652},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/SternD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ShimizuDC01,
author = {Kanna Shimizu and
David L. Dill and
Ching{-}Tsun Chou},
editor = {Tiziana Margaria and
Thomas F. Melham},
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},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {340--354},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_27},
doi = {10.1007/3-540-44798-9\_27},
timestamp = {Sun, 02 Jun 2019 21:23:48 +0200},
biburl = {https://dblp.org/rec/conf/charme/ShimizuDC01.bib},
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},
editor = {Per Stenstr{\"{o}}m},
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},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/379240.379263},
doi = {10.1145/379240.379263},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/LieCED01.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/LICS.2001.932480},
doi = {10.1109/LICS.2001.932480},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/StumpBDL01.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/LICS.2001.932482},
doi = {10.1109/LICS.2001.932482},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DasD01.bib},
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. Comput. Aided Des. Integr. Circuits Syst.},
volume = {19},
number = {10},
pages = {1202--1210},
year = {2000},
url = {https://doi.org/10.1109/43.875327},
doi = {10.1109/43.875327},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ParkDD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BarrettDS00,
author = {Clark W. Barrett and
David L. Dill and
Aaron Stump},
editor = {David A. McAllester},
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},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {79--98},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_6},
doi = {10.1007/10721959\_6},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BarrettDS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WilsonD00,
author = {Chris Wilson and
David L. Dill},
editor = {Giovanni De Micheli},
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},
publisher = {{ACM}},
year = {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/conf/dac/WilsonD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ShimizuDH00,
author = {Kanna Shimizu and
David L. Dill and
Alan J. Hu},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
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},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {335--353},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_21},
doi = {10.1007/3-540-40922-X\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ShimizuDH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WilsonDB00,
author = {Chris Wilson and
David L. Dill and
Randal E. Bryant},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
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},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {470--485},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_29},
doi = {10.1007/3-540-40922-X\_29},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/WilsonDB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsp/Dill00,
author = {David L. Dill},
editor = {Mats Per Erik Heimdahl},
title = {Model checking Java programs},
booktitle = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
2000, Portland, Oregon, {USA}},
pages = {1},
publisher = {{ACM}},
year = {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/conf/fmsp/Dill00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GovindarajuD00,
author = {Shankar G. Govindaraju and
David L. Dill},
editor = {Ellen Sentovich},
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},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICCAD.2000.896460},
doi = {10.1109/ICCAD.2000.896460},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/GovindarajuD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Dill00,
author = {David L. Dill},
editor = {Debra J. Richardson and
Mary Jean Harold},
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},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/347324.349113},
doi = {10.1145/347324.349113},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/issta/Dill00.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ASE.2000.873671},
doi = {10.1109/ASE.2000.873671},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ParkSSD00.bib},
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 Syst. Des.},
volume = {14},
number = {3},
pages = {273--310},
year = {1999},
url = {https://doi.org/10.1023/A:1008723125149},
doi = {10.1023/A:1008723125149},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/IpD99.bib},
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/journals/tc/ParkD99.bib},
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. Comput. Aided Des. Integr. Circuits Syst.},
volume = {18},
number = {2},
pages = {101--117},
year = {1999},
url = {https://doi.org/10.1109/43.743711},
doi = {10.1109/43.743711},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/YunD99.bib},
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. Comput. Aided Des. Integr. Circuits Syst.},
volume = {18},
number = {2},
pages = {118--132},
year = {1999},
url = {https://doi.org/10.1109/43.743715},
doi = {10.1109/43.743715},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/YunD99a.bib},
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. Comput. Aided Des. Integr. Circuits Syst.},
volume = {18},
number = {8},
pages = {1061--1076},
year = {1999},
url = {https://doi.org/10.1109/43.775628},
doi = {10.1109/43.775628},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ChakrabortyYD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Dill99,
author = {David L. Dill},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {Alternative Approaches to Hardware Verification (abstract)},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {1},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_1},
doi = {10.1007/3-540-48683-6\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Dill99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DasDP99,
author = {Satyaki Das and
David L. Dill and
Seungjoon Park},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {Experience with Predicate Abstraction},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {160--171},
publisher = {Springer},
year = {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 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DasDP99.bib},
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},
editor = {Mary Jane Irwin},
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},
publisher = {{ACM} Press},
year = {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/conf/dac/GovindarajuDB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SentovichDT99,
author = {Ellen Sentovich and
David L. Dill and
Serdar Tasiran},
editor = {Jacob K. White and
Ellen Sentovich},
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},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {http://portal.acm.org/citation.cfm?id=339492.339640},
timestamp = {Mon, 08 May 2023 21:43:38 +0200},
biburl = {https://dblp.org/rec/conf/iccad/SentovichDT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GovindarajuD99,
author = {Shankar G. Govindaraju and
David L. Dill},
editor = {Alessandro Cimatti and
Orna Grumberg},
title = {Approximate Symbolic Model Checking using Overlapping Projections},
booktitle = {First International Workshop on Symbolic Model Checking, {SMC} 1999,
associated to FLoC'99, the 1999 Federated Logic Conference, Trento,
Italy, July 6, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {23},
number = {2},
pages = {23--33},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(04)80666-2},
doi = {10.1016/S1571-0661(04)80666-2},
timestamp = {Tue, 22 Nov 2022 15:04:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GovindarajuD99.bib},
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/journals/mst/ParkD98.bib},
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. Comput. Aided Des. Integr. Circuits Syst.},
volume = {17},
number = {9},
pages = {782--792},
year = {1998},
url = {https://doi.org/10.1109/43.720315},
doi = {10.1109/43.720315},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/YunLDD98.bib},
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},
editor = {Alan J. Hu and
Moshe Y. Vardi},
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},
series = {Lecture Notes in Computer Science},
volume = {1427},
pages = {98--109},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028737},
doi = {10.1007/BFB0028737},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SkakkebaekJD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SternD98,
author = {Ulrich Stern and
David L. Dill},
editor = {Alan J. Hu and
Moshe Y. Vardi},
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},
series = {Lecture Notes in Computer Science},
volume = {1427},
pages = {172--183},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028743},
doi = {10.1007/BFB0028743},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SternD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cicc/ChakrabortyYD98,
author = {Supratik Chakraborty and
Kenneth Y. Yun and
David L. Dill},
title = {Practical timing analysis of asynchronous circuits using time separation
of events},
booktitle = {Proceedings of the {IEEE} 1998 Custom Integrated Circuits Conference,
{CICC} 1998, Santa Clara, CA, USA, May 11-14, 1998},
pages = {455--458},
publisher = {{IEEE}},
year = {1998},
url = {https://doi.org/10.1109/CICC.1998.695017},
doi = {10.1109/CICC.1998.695017},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cicc/ChakrabortyYD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Dill98,
author = {David L. Dill},
editor = {Basant R. Chawla and
Randal E. Bryant and
Jan M. Rabaey},
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},
publisher = {{ACM} Press},
year = {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/conf/dac/Dill98.bib},
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},
editor = {Basant R. Chawla and
Randal E. Bryant and
Jan M. Rabaey},
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},
publisher = {{ACM} Press},
year = {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/conf/dac/GovindarajuDHH98.bib},
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},
editor = {Basant R. Chawla and
Randal E. Bryant and
Jan M. Rabaey},
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},
publisher = {{ACM} Press},
year = {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/conf/dac/BarrettDL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/YangD98,
author = {C. Han Yang and
David L. Dill},
editor = {Basant R. Chawla and
Randal E. Bryant and
Jan M. Rabaey},
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},
publisher = {{ACM} Press},
year = {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/conf/dac/YangD98.bib},
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},
editor = {Ganesh Gopalakrishnan and
Phillip J. Windley},
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},
series = {Lecture Notes in Computer Science},
volume = {1522},
pages = {2--17},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49519-3\_2},
doi = {10.1007/3-540-49519-3\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/JonesSD98.bib},
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},
editor = {Ganesh Gopalakrishnan and
Phillip J. Windley},
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},
series = {Lecture Notes in Computer Science},
volume = {1522},
pages = {387--402},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49519-3\_25},
doi = {10.1007/3-540-49519-3\_25},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/SuDS98.bib},
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},
editor = {Mark A. Ardis and
Joanne M. Atlee},
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},
publisher = {{ACM}},
year = {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/conf/fmsp/ParkSHCD98.bib},
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},
editor = {Anders P. Ravn and
Hans Rischel},
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},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {133--142},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055343},
doi = {10.1007/BFB0055343},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/ParkSD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GovindarajuD98,
author = {Shankar G. Govindaraju and
David L. Dill},
editor = {Hiroto Yasuura},
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},
publisher = {{ACM} / {IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1145/288548.289055},
doi = {10.1145/288548.289055},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/GovindarajuD98.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASYNC.1997.587167},
doi = {10.1109/ASYNC.1997.587167},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/async/ChakrabortyDCY97.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASYNC.1997.587168},
doi = {10.1109/ASYNC.1997.587168},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/async/ChakrabortyD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SternD97,
author = {Ulrich Stern and
David L. Dill},
editor = {Orna Grumberg},
title = {Parallelizing the Mur\emph{phi} Verifier},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {256--278},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_26},
doi = {10.1007/3-540-63166-6\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SternD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ParkDD97,
author = {Seungjoon Park and
Satyaki Das and
David L. Dill},
editor = {Atsushi Togashi and
Tadanori Mizuno and
Norio Shiratori and
Teruo Higashino},
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},
series = {{IFIP} Conference Proceedings},
volume = {107},
pages = {207--222},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Wed, 12 Feb 2003 15:40:21 +0100},
biburl = {https://dblp.org/rec/conf/forte/ParkDD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChakrabortyD97,
author = {Supratik Chakraborty and
David L. Dill},
editor = {Ralph H. J. M. Otten and
Hiroto Yasuura},
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},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1997},
url = {https://doi.org/10.1109/ICCAD.1997.643520},
doi = {10.1109/ICCAD.1997.643520},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/ChakrabortyD97.bib},
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 = {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 = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BowenBDGGHHHJJLPRWZ96.bib},
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 Syst. Des.},
volume = {9},
number = {1/2},
pages = {41--75},
year = {1996},
url = {https://doi.org/10.1007/BF00625968},
doi = {10.1007/BF00625968},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/IpD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/IpD96,
author = {C. Norris Ip and
David L. Dill},
editor = {Rajeev Alur and
Thomas A. Henzinger},
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},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {147--158},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_65},
doi = {10.1007/3-540-61474-5\_65},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/IpD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ParkD96,
author = {Seungjoon Park and
David L. Dill},
editor = {Rajeev Alur and
Thomas A. Henzinger},
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},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {300--310},
publisher = {Springer},
year = {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 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ParkD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Dill96,
author = {David L. Dill},
editor = {Rajeev Alur and
Thomas A. Henzinger},
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},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {390--393},
publisher = {Springer},
year = {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 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Dill96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/IpD96,
author = {C. Norris Ip and
David L. Dill},
editor = {Thomas Pennino and
Ellen J. Yoffa},
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},
publisher = {{ACM} Press},
year = {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/conf/dac/IpD96.bib},
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},
editor = {Mandayam K. Srivas and
Albert John Camilleri},
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},
series = {Lecture Notes in Computer Science},
volume = {1166},
pages = {159--171},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031806},
doi = {10.1007/BFB0031806},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/JonesSD96.bib},
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},
editor = {Mandayam K. Srivas and
Albert John Camilleri},
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},
series = {Lecture Notes in Computer Science},
volume = {1166},
pages = {187--201},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031808},
doi = {10.1007/BFB0031808},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BarrettDL96.bib},
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},
editor = {Mandayam K. Srivas and
Albert John Camilleri},
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},
series = {Lecture Notes in Computer Science},
volume = {1166},
pages = {377--388},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031822},
doi = {10.1007/BFB0031822},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/SuDB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SternD96,
author = {Ulrich Stern and
David L. Dill},
editor = {Reinhard Gotzhein and
Jan Bredereke},
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},
series = {{IFIP} Conference Proceedings},
volume = {69},
pages = {333--348},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Fri, 29 Oct 2004 12:58:31 +0200},
biburl = {https://dblp.org/rec/conf/forte/SternD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/ParkD96,
author = {Seungjoon Park and
David L. Dill},
editor = {Guy E. Blelloch},
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},
publisher = {{ACM}},
year = {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/conf/spaa/ParkD96.bib},
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. Comput. Aided Des. Integr. Circuits Syst.},
volume = {14},
number = {8},
pages = {986--997},
year = {1995},
url = {https://doi.org/10.1109/43.402498},
doi = {10.1109/43.402498},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/NowickD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DillW95,
author = {David L. Dill and
Howard Wong{-}Toi},
editor = {Pierre Wolper},
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},
series = {Lecture Notes in Computer Science},
volume = {939},
pages = {409--422},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60045-0\_66},
doi = {10.1007/3-540-60045-0\_66},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/DillW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SternD95,
author = {Ulrich Stern and
David L. Dill},
editor = {Paolo Camurati and
Hans Eveking},
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},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {21--34},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_2},
doi = {10.1007/3-540-60385-9\_2},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/SternD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SternD95a,
author = {Ulrich Stern and
David L. Dill},
editor = {Paolo Camurati and
Hans Eveking},
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},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {206--224},
publisher = {Springer},
year = {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 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/SternD95a.bib},
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},
editor = {Richard L. Rudell},
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},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1995},
url = {https://doi.org/10.1109/ICCAD.1995.479877},
doi = {10.1109/ICCAD.1995.479877},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/JonesDB95.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICCD.1995.528789},
doi = {10.1109/ICCD.1995.528789},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/YunD95.bib},
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},
editor = {David A. Patterson},
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},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/223982.224450},
doi = {10.1145/223982.224450},
timestamp = {Thu, 13 Apr 2023 19:55:42 +0200},
biburl = {https://dblp.org/rec/conf/isca/HoYHD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/ParkD95,
author = {Seungjoon Park and
David L. Dill},
editor = {Charles E. Leiserson},
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},
publisher = {{ACM}},
year = {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/conf/spaa/ParkD95.bib},
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. Comput. Aided Des. Integr. Circuits Syst.},
volume = {13},
number = {4},
pages = {401--424},
year = {1994},
url = {https://doi.org/10.1109/43.275352},
doi = {10.1109/43.275352},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/BurchCLMD94.bib},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlurD94.bib},
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 = {J. {VLSI} Signal Process.},
volume = {7},
number = {1-2},
pages = {7--16},
year = {1994},
url = {https://doi.org/10.1007/BF02108186},
doi = {10.1007/BF02108186},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsisp/DeanDH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BurchD94,
author = {Jerry R. Burch and
David L. Dill},
editor = {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},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {68--80},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_44},
doi = {10.1007/3-540-58179-0\_44},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BurchD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Dill94,
author = {David L. Dill},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Hierarchical Models of Synchronous Circuits (Abstract)},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {161},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_15},
doi = {10.1007/978-3-540-48654-1\_15},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/Dill94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HuYD94,
author = {Alan J. Hu and
Gary York and
David L. Dill},
editor = {Michael J. Lorenzetti},
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},
publisher = {{ACM} Press},
year = {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/conf/dac/HuYD94.bib},
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},
editor = {Jochen A. G. Jess and
Richard L. Rudell},
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},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1994},
url = {https://doi.org/10.1109/ICCAD.1994.629875},
doi = {10.1109/ICCAD.1994.629875},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/YunLDD94.bib},
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 = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/1994.bib},
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 = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlurCD93.bib},
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 = {Integr.},
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 = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/integration/NowickDDH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HuD93,
author = {Alan J. Hu and
David L. Dill},
editor = {Costas Courcoubetis},
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},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {3--14},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_2},
doi = {10.1007/3-540-56922-7\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HuD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chdl/IpD93,
author = {C. Norris Ip and
David L. Dill},
editor = {David Agnew and
Luc J. M. Claesen and
Raul Camposano},
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},
series = {{IFIP} Transactions},
volume = {{A-32}},
pages = {97--111},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 11:54:34 +0100},
biburl = {https://dblp.org/rec/conf/chdl/IpD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SiegelMD93,
author = {Polly Siegel and
Giovanni De Micheli and
David L. Dill},
editor = {Alfred E. Dunlop},
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},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/157485.164573},
doi = {10.1145/157485.164573},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/SiegelMD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HuD93,
author = {Alan J. Hu and
David L. Dill},
editor = {Alfred E. Dunlop},
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},
publisher = {{ACM} Press},
year = {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/conf/dac/HuD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/YunD93,
author = {Kenneth Y. Yun and
David L. Dill},
editor = {Michael R. Lightner and
Jochen A. G. Jess},
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},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1993},
url = {https://doi.org/10.1109/ICCAD.1993.580066},
doi = {10.1109/ICCAD.1993.580066},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/YunD93.bib},
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},
editor = {Michael R. Lightner and
Jochen A. G. Jess},
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},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1993},
url = {https://doi.org/10.1109/ICCAD.1993.580149},
doi = {10.1109/ICCAD.1993.580149},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/BurchDWM93.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ICCD.1993.393375},
doi = {10.1109/ICCD.1993.393375},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/IpD93.bib},
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 Syst. Des.},
volume = {1},
number = {1},
pages = {29--60},
year = {1992},
url = {https://doi.org/10.1007/BF00464356},
doi = {10.1007/BF00464356},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/DillNS92.bib},
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 = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BurchCMDH92.bib},
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},
editor = {Gregor von Bochmann and
David K. Probst},
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},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {82--95},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_8},
doi = {10.1007/3-540-56496-9\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HuDDY92.bib},
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},
editor = {Gregor von Bochmann and
David K. Probst},
title = {Verification with Real-Time {COSPAN}},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {274--287},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_22},
doi = {10.1007/3-540-56496-9\_22},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CourcoubetisDCT92.bib},
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},
editor = {Rance Cleaveland},
title = {Minimization of Timed Transition Systems},
booktitle = {{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},
pages = {340--354},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084802},
doi = {10.1007/BFB0084802},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurCHDW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/YunD92,
author = {Kenneth Y. Yun and
David L. Dill},
editor = {Louise Trevillyan and
Michael R. Lightner},
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},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1992},
url = {https://doi.org/10.1109/ICCAD.1992.279310},
doi = {10.1109/ICCAD.1992.279310},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/YunD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/NowickD92,
author = {Steven M. Nowick and
David L. Dill},
editor = {Louise Trevillyan and
Michael R. Lightner},
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},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1992},
url = {https://doi.org/10.1109/ICCAD.1992.279301},
doi = {10.1109/ICCAD.1992.279301},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/NowickD92.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCD.1992.276208},
doi = {10.1109/ICCD.1992.276208},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/McMillanD92.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCD.1992.276285},
doi = {10.1109/ICCD.1992.276285},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/NowickYD92.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCD.1992.276286},
doi = {10.1109/ICCD.1992.276286},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/YunDN92.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCD.1992.276232},
doi = {10.1109/ICCD.1992.276232},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/DillDHY92.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/REAL.1992.242667},
doi = {10.1109/REAL.1992.242667},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/AlurCDHW92.bib},
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},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Checking for Language Inclusion Using Simulation Preorders},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {255--265},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_25},
doi = {10.1007/3-540-55179-4\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/DillHW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurCD91,
author = {Rajeev Alur and
Costas Courcoubetis and
David L. Dill},
editor = {Javier Leach Albert and
Burkhard Monien and
Mario Rodr{\'{\i}}guez{-}Artalejo},
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},
series = {Lecture Notes in Computer Science},
volume = {510},
pages = {115--126},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54233-7\_128},
doi = {10.1007/3-540-54233-7\_128},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurCD91.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/ICCAD.1991.185264},
doi = {10.1109/ICCAD.1991.185264},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/NowickD91.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/ICCD.1991.139878},
doi = {10.1109/ICCD.1991.139878},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/DeanDH91.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/ICCD.1991.139879},
doi = {10.1109/ICCD.1991.139879},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/NowickD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/AlurCD91,
author = {Rajeev Alur and
Costas Courcoubetis and
David L. Dill},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
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},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {28--44},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031986},
doi = {10.1007/BFB0031986},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/AlurCD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/AlurD91,
author = {Rajeev Alur and
David L. Dill},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {The Theory of Timed Automata},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {45--73},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031987},
doi = {10.1007/BFB0031987},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/AlurD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Wong-ToiD90,
author = {Howard Wong{-}Toi and
David L. Dill},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
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},
series = {Lecture Notes in Computer Science},
volume = {531},
pages = {272--281},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0023741},
doi = {10.1007/BFB0023741},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Wong-ToiD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LoewensteinD90,
author = {Paul Loewenstein and
David L. Dill},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
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},
series = {Lecture Notes in Computer Science},
volume = {531},
pages = {302--311},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0023744},
doi = {10.1007/BFB0023744},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LoewensteinD90.bib},
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},
editor = {Richard C. Smith},
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},
publisher = {{IEEE} Computer Society Press},
year = {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/conf/dac/BurchCMD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Wong-ToiD90,
author = {Howard Wong{-}Toi and
David L. Dill},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
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},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {3},
pages = {177--186},
publisher = {{DIMACS/AMS}},
year = {1990},
url = {https://doi.org/10.1090/dimacs/003/13},
doi = {10.1090/DIMACS/003/13},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Wong-ToiD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/LoewensteinD90,
author = {Paul Loewenstein and
David L. Dill},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
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},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {3},
pages = {187--206},
publisher = {{DIMACS/AMS}},
year = {1990},
url = {https://doi.org/10.1090/dimacs/003/14},
doi = {10.1090/DIMACS/003/14},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/LoewensteinD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurD90,
author = {Rajeev Alur and
David L. Dill},
editor = {Mike Paterson},
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},
series = {Lecture Notes in Computer Science},
volume = {443},
pages = {322--335},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0032042},
doi = {10.1007/BFB0032042},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurD90.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/ICCD.1990.130211},
doi = {10.1109/ICCD.1990.130211},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/LoewensteinD90.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113766},
doi = {10.1109/LICS.1990.113766},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurCD90.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113767},
doi = {10.1109/LICS.1990.113767},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BurchCMDH90.bib},
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/books/daglib/0066917.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/Dill89,
author = {David L. Dill},
editor = {Joseph Sifakis},
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},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {197--212},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_17},
doi = {10.1007/3-540-52148-8\_17},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/Dill89.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/ICCAD.1989.76950},
doi = {10.1109/ICCAD.1989.76950},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/NowickD89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/DillNS89,
author = {David L. Dill and
Steven M. Nowick and
Robert F. Sproull},
title = {Automatic verification of speed-independent circuits with Petri net
specifications},
booktitle = {Computer Design: {VLSI} in Computers and Processors, {ICCD} 1989.
Proceedings., 1989 {IEEE} International Conference on, Cambridge,
MA, USA, October 2-4, 1989},
pages = {212--216},
publisher = {{IEEE}},
year = {1989},
url = {https://doi.org/10.1109/ICCD.1989.63358},
doi = {10.1109/ICCD.1989.63358},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/iccd/DillNS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msiw/Dill89,
author = {David L. Dill},
editor = {Miriam Leeser and
Geoffrey Brown},
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},
series = {Lecture Notes in Computer Science},
volume = {408},
pages = {224--243},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/0-387-97226-9\_31},
doi = {10.1007/0-387-97226-9\_31},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/msiw/Dill89.bib},
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/journals/tc/BrowneCDM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-11-13 23:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
