default search action
BibTeX 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 = {Thu, 27 Jun 2024 01:00:00 +0200}, 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 = {Thu, 27 Jun 2024 01:00:00 +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, 09 Jul 2024 07:54:49 +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 = {Thu, 27 Jun 2024 01:00:00 +0200}, 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 = {Thu, 27 Jun 2024 01:00:00 +0200}, 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 = {Thu, 27 Jun 2024 01:00:00 +0200}, 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} }
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.