Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lenore D. Zuck
@inproceedings{DBLP:conf/netys/HippelMNZ23,
author = {Max von Hippel and
Kenneth L. McMillan and
Cristina Nita{-}Rotaru and
Lenore D. Zuck},
editor = {David Mohaisen and
Thomas Wies},
title = {A Formal Analysis of Karn's Algorithm},
booktitle = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
pages = {43--61},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5\_4},
doi = {10.1007/978-3-031-37765-5\_4},
timestamp = {Thu, 13 Jul 2023 14:30:34 +0200},
biburl = {https://dblp.org/rec/conf/netys/HippelMNZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-08855,
author = {Max von Hippel and
Panagiotis Manolios and
Kenneth L. McMillan and
Cristina Nita{-}Rotaru and
Lenore D. Zuck},
editor = {Alessandro Coglio and
Sol Swords},
title = {A Case Study in Analytic Protocol Analysis in {ACL2}},
booktitle = {Proceedings of the 18th International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, TX, {USA} and online, November
13-14, 2023},
series = {{EPTCS}},
volume = {393},
pages = {50--66},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.393.6},
doi = {10.4204/EPTCS.393.6},
timestamp = {Fri, 22 Dec 2023 11:34:10 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-08855.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/KashWZ22,
author = {Ian A. Kash and
Zhongkai Wen and
Lenore D. Zuck},
editor = {James Cussens and
Kun Zhang},
title = {Dynamic relocation in ridesharing via fixpoint construction},
booktitle = {Uncertainty in Artificial Intelligence, Proceedings of the Thirty-Eighth
Conference on Uncertainty in Artificial Intelligence, {UAI} 2022,
1-5 August 2022, Eindhoven, The Netherlands},
series = {Proceedings of Machine Learning Research},
volume = {180},
pages = {980--989},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v180/kash22a.html},
timestamp = {Sat, 15 Oct 2022 12:08:13 +0200},
biburl = {https://dblp.org/rec/conf/uai/KashWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-14443,
author = {Ufuk Topcu and
Nadya Bliss and
Nancy J. Cooke and
Missy L. Cummings and
Ashley J. Llorens and
Howard E. Shrobe and
Lenore D. Zuck},
title = {Assured Autonomy: Path Toward Living With Autonomous Systems We Can
Trust},
journal = {CoRR},
volume = {abs/2010.14443},
year = {2020},
url = {https://arxiv.org/abs/2010.14443},
eprinttype = {arXiv},
eprint = {2010.14443},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-14443.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ZuckM19,
author = {Lenore D. Zuck and
Kenneth L. McMillan},
editor = {Ezio Bartocci and
Rance Cleaveland and
Radu Grosu and
Oleg Sokolsky},
title = {Invisible Invariants Are Neither},
booktitle = {From Reactive Systems to Cyber-Physical Systems - Essays Dedicated
to Scott A. Smolka on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11500},
pages = {57--72},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31514-6\_5},
doi = {10.1007/978-3-030-31514-6\_5},
timestamp = {Tue, 24 Sep 2019 14:08:41 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ZuckM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secdev/McMillanZ19,
author = {Kenneth L. McMillan and
Lenore D. Zuck},
title = {Compositional Testing of Internet Protocols},
booktitle = {2019 {IEEE} Cybersecurity Development, SecDev 2019, Tysons Corner,
VA, USA, September 23-25, 2019},
pages = {161--174},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SecDev.2019.00031},
doi = {10.1109/SECDEV.2019.00031},
timestamp = {Wed, 27 Nov 2019 18:04:04 +0100},
biburl = {https://dblp.org/rec/conf/secdev/McMillanZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/McMillanZ19,
author = {Kenneth L. McMillan and
Lenore D. Zuck},
editor = {Jianping Wu and
Wendy Hall},
title = {Formal specification and testing of {QUIC}},
booktitle = {Proceedings of the {ACM} Special Interest Group on Data Communication,
{SIGCOMM} 2019, Beijing, China, August 19-23, 2019},
pages = {227--240},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3341302.3342087},
doi = {10.1145/3341302.3342087},
timestamp = {Tue, 30 Nov 2021 14:57:49 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/McMillanZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/ZhangZ18,
author = {Yiji Zhang and
Lenore D. Zuck},
editor = {Atul Negi and
Raj Bhatnagar and
Laxmi Parida},
title = {Formal Verification of Optimizing Compilers},
booktitle = {Distributed Computing and Internet Technology - 14th International
Conference, {ICDCIT} 2018, Bhubaneswar, India, January 11-13, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10722},
pages = {50--65},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72344-0\_3},
doi = {10.1007/978-3-319-72344-0\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/ZhangZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ZuckMT18,
author = {Lenore D. Zuck and
Kenneth L. McMillan and
Jordan Torf},
editor = {Isil Dillig and
Jens Palsberg},
title = {P{\^{}}5 : Planner-less Proofs of Probabilistic Parameterized Protocols},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International
Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10747},
pages = {336--357},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73721-8\_16},
doi = {10.1007/978-3-319-73721-8\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ZuckMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BernasconiMSZG17,
author = {Anna Bernasconi and
Claudio Menghi and
Paola Spoletini and
Lenore D. Zuck and
Carlo Ghezzi},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {From Model Checking to a Temporal Proof for Partial Models},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {54--69},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_4},
doi = {10.1007/978-3-319-66197-1\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BernasconiMSZG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BernasconiMSZG17,
author = {Anna Bernasconi and
Claudio Menghi and
Paola Spoletini and
Lenore D. Zuck and
Carlo Ghezzi},
title = {From model checking to a temporal proof for partial models: preliminary
example},
journal = {CoRR},
volume = {abs/1706.02701},
year = {2017},
url = {http://arxiv.org/abs/1706.02701},
eprinttype = {arXiv},
eprint = {1706.02701},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BernasconiMSZG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/GjomemoPBNVZ16,
author = {Rigel Gjomemo and
Phu H. Phung and
Edmund Ballou and
Kedar S. Namjoshi and
V. N. Venkatakrishnan and
Lenore D. Zuck},
title = {Leveraging Static Analysis Tools for Improving Usability of Memory
Error Sanitization Compilers},
booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2016, Vienna, Austria, August 1-3, 2016},
pages = {323--334},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/QRS.2016.44},
doi = {10.1109/QRS.2016.44},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/GjomemoPBNVZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PrasadZ16,
author = {Sanjiva Prasad and
Lenore D. Zuck},
editor = {Daniel Gebler and
Kirstin Peters},
title = {Self-Similarity Breeds Resilience},
booktitle = {Proceedings Combined 23rd International Workshop on Expressiveness
in Concurrency and 13th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2016, Qu{\'{e}}bec City, Canada, 22nd August 2016},
series = {{EPTCS}},
volume = {222},
pages = {30--44},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.222.3},
doi = {10.4204/EPTCS.222.3},
timestamp = {Fri, 02 Nov 2018 09:30:18 +0100},
biburl = {https://dblp.org/rec/journals/corr/PrasadZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FalconeZ15,
author = {Yli{\`{e}}s Falcone and
Lenore D. Zuck},
title = {Runtime verification: the application perspective},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {2},
pages = {121--123},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0360-z},
doi = {10.1007/S10009-014-0360-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FalconeZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ZuckP15,
author = {Lenore D. Zuck and
Sanjiva Prasad},
editor = {Nir Piterman},
title = {Limited Mobility, Eventual Stability},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {139--154},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_9},
doi = {10.1007/978-3-319-26287-1\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ZuckP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/ZuckP15,
author = {Lenore D. Zuck and
Sanjiva Prasad},
editor = {Pierre Ganty and
Michele Loreti},
title = {A Switch, in Time},
booktitle = {Trustworthy Global Computing - 10th International Symposium, {TGC}
2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9533},
pages = {131--146},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28766-9\_9},
doi = {10.1007/978-3-319-28766-9\_9},
timestamp = {Mon, 16 Sep 2019 15:25:37 +0200},
biburl = {https://dblp.org/rec/conf/tgc/ZuckP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GjomemoNPVZ15,
author = {Rigel Gjomemo and
Kedar S. Namjoshi and
Phu H. Phung and
V. N. Venkatakrishnan and
Lenore D. Zuck},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {From Verification to Optimizations},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {300--317},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_17},
doi = {10.1007/978-3-662-46081-8\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GjomemoNPVZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/ZuckM14,
author = {Lenore D. Zuck and
Kenneth L. McMillan},
editor = {Saddek Bensalem and
Yassine Lakhnech and
Axel Legay},
title = {Reasoning about Network Topologies in Space},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8415},
pages = {267--277},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54848-2\_18},
doi = {10.1007/978-3-642-54848-2\_18},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/etaps/ZuckM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/DietrichHPRSSWZ14,
author = {Sven Dietrich and
Jeroen van der Ham and
Aiko Pras and
Roland van Rijswijk{-}Deij and
Darren Shou and
Anna Sperotto and
Aimee van Wynsberghe and
Lenore D. Zuck},
title = {Ethics in Data Sharing: Developing a Model for Best Practice},
booktitle = {35. {IEEE} Security and Privacy Workshops, {SPW} 2014, San Jose, CA,
USA, May 17-18, 2014},
pages = {5--9},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SPW.2014.43},
doi = {10.1109/SPW.2014.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/DietrichHPRSSWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/birthday/HinrichsSZ14,
author = {Timothy L. Hinrichs and
A. Prasad Sistla and
Lenore D. Zuck},
editor = {Andrei Voronkov and
Margarita V. Korovina},
title = {Model Check What You Can, Runtime Verify the Rest},
booktitle = {{HOWARD-60:} {A} Festschrift on the Occasion of Howard Barringer's
60th Birthday},
series = {EPiC Series in Computing},
volume = {42},
pages = {234--244},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/slnn},
doi = {10.29007/SLNN},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HinrichsSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/SkrupskyBHVZ13,
author = {Nazari Skrupsky and
Prithvi Bisht and
Timothy L. Hinrichs and
V. N. Venkatakrishnan and
Lenore D. Zuck},
editor = {Elisa Bertino and
Ravi S. Sandhu and
Lujo Bauer and
Jaehong Park},
title = {TamperProof: a server-agnostic defense for parameter tampering attacks
on web applications},
booktitle = {Third {ACM} Conference on Data and Application Security and Privacy,
CODASPY'13, San Antonio, TX, USA, February 18-20, 2013},
pages = {129--140},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2435349.2435365},
doi = {10.1145/2435349.2435365},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codaspy/SkrupskyBHVZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HinrichsMGLPZ13,
author = {Timothy L. Hinrichs and
Diego Martinoia and
William C. Garrison III and
Adam J. Lee and
Alessandro Panebianco and
Lenore D. Zuck},
title = {Application-Sensitive Access Control Evaluation Using Parameterized
Expressiveness},
booktitle = {2013 {IEEE} 26th Computer Security Foundations Symposium, New Orleans,
LA, USA, June 26-28, 2013},
pages = {145--160},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CSF.2013.17},
doi = {10.1109/CSF.2013.17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/HinrichsMGLPZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HinrichsRPVSZ13,
author = {Timothy L. Hinrichs and
Daniele Rossetti and
Gabriele Petronella and
V. N. Venkatakrishnan and
A. Prasad Sistla and
Lenore D. Zuck},
editor = {Prasad Naldurg and
Nikhil Swamy},
title = {{WEBLOG:} a declarative language for secure web development},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} Workshop on Programming Languages
and Analysis for Security, {PLAS} 2013, Seattle, WA, USA, June 20,
2013},
pages = {59--70},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465106.2465119},
doi = {10.1145/2465106.2465119},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HinrichsRPVSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/NamjoshiTZ13,
author = {Kedar S. Namjoshi and
Giacomo Tagliabue and
Lenore D. Zuck},
editor = {Axel Legay and
Saddek Bensalem},
title = {A Witnessing Compiler: {A} Proof of Concept},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {340--345},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_22},
doi = {10.1007/978-3-642-40787-1\_22},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/NamjoshiTZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NamjoshiZ13,
author = {Kedar S. Namjoshi and
Lenore D. Zuck},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Witnessing Program Transformations},
booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {304--323},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_17},
doi = {10.1007/978-3-642-38856-9\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/NamjoshiZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BouajjaniHZ12,
author = {Ahmed Bouajjani and
David Harel and
Lenore D. Zuck},
title = {Editor's foreword},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {822},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.001},
doi = {10.1016/J.JCSS.2011.08.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BouajjaniHZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BalabanPSZ12,
author = {Ittai Balaban and
Amir Pnueli and
Yaniv Sa'ar and
Lenore D. Zuck},
title = {Verification of multi-linked heaps},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {853--876},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.003},
doi = {10.1016/J.JCSS.2011.08.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BalabanPSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cybersecurity/SkrupskyMBHVZ12,
author = {Nazari Skrupsky and
Maliheh Monshizadeh and
Prithvi Bisht and
Timothy L. Hinrichs and
V. N. Venkatakrishnan and
Lenore D. Zuck},
title = {{WAVES:} Automatic Synthesis of Client-Side Validation Code for Web
Applications},
booktitle = {2012 {ASE} International Conference on Cyber Security, Alexandria,
VA, USA, December 14-16, 2012},
pages = {46--53},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CyberSecurity.2012.13},
doi = {10.1109/CYBERSECURITY.2012.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cybersecurity/SkrupskyMBHVZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/FernandezPZ12,
author = {Jos{\'{e}} M. Fernandez and
Andrew S. Patrick and
Lenore D. Zuck},
editor = {Jim Blythe and
Sven Dietrich and
L. Jean Camp},
title = {Ethical and Secure Data Sharing across Borders},
booktitle = {Financial Cryptography and Data Security - {FC} 2012 Workshops, {USEC}
and {WECSR} 2012, Kralendijk, Bonaire, March 2, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7398},
pages = {136--140},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34638-5\_13},
doi = {10.1007/978-3-642-34638-5\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/fc/FernandezPZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/BoltonWZ12,
author = {Matthew L. Bolton and
Celeste M. Wallace and
Lenore D. Zuck},
editor = {Venkat N. Venkatakrishnan and
Diganta Goswami},
title = {On Policies and Intents},
booktitle = {Information Systems Security, 8th International Conference, {ICISS}
2012, Guwahati, India, December 15-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7671},
pages = {104--118},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35130-3\_8},
doi = {10.1007/978-3-642-35130-3\_8},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/iciss/BoltonWZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FalconeZ12,
author = {Yli{\`{e}}s Falcone and
Lenore D. Zuck},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Verification: The Application Perspective},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {284--291},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_21},
doi = {10.1007/978-3-642-34026-0\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/FalconeZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webapps/SkrupskyMBHVZ12,
author = {Nazari Skrupsky and
Maliheh Monshizadeh and
Prithvi Bisht and
Timothy L. Hinrichs and
Venkat N. Venkatakrishnan and
Lenore D. Zuck},
editor = {E. Michael Maximilien},
title = {Don't Repeat Yourself: Automatically Synthesizing Client-side Validation
Code for Web Applications},
booktitle = {3rd {USENIX} Conference on Web Application Development, WebApps'12,
Boston, MA, USA, June 13, 2012},
pages = {107--108},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/webapps12/technical-sessions/presentation/skrupsky},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/webapps/SkrupskyMBHVZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/McMillanZ11,
author = {Kenneth L. McMillan and
Lenore D. Zuck},
editor = {Eran Yahav},
title = {Invisible Invariants and Abstract Interpretation},
booktitle = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
Italy, September 14-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6887},
pages = {249--262},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23702-7\_20},
doi = {10.1007/978-3-642-23702-7\_20},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/McMillanZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BalabanPZ10,
author = {Ittai Balaban and
Amir Pnueli and
Lenore D. Zuck},
editor = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
title = {Proving the Refuted: Symbolic Model Checkers as Proof Generators},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
Willem-Paul de Roever},
series = {Lecture Notes in Computer Science},
volume = {5930},
pages = {221--236},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11512-7\_14},
doi = {10.1007/978-3-642-11512-7\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BalabanPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PnueliSZ10,
author = {Amir Pnueli and
Yaniv Sa'ar and
Lenore D. Zuck},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Jtlv: {A} Framework for Developing Verification Algorithms},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {171--174},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_18},
doi = {10.1007/978-3-642-14295-6\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/PnueliSZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/CohenNSZK10,
author = {Ariel Cohen and
Kedar S. Namjoshi and
Yaniv Sa'ar and
Lenore D. Zuck and
Katya I. Kisyova},
editor = {Sharon Barner and
Ian G. Harris and
Daniel Kroening and
Orna Raz},
title = {Parallelizing a Symbolic Compositional Model-Checking Algorithm},
booktitle = {Hardware and Software: Verification and Testing - 6th International
Haifa Verification Conference, {HVC} 2010, Haifa, Israel, October
4-7, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6504},
pages = {46--59},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19583-9\_9},
doi = {10.1007/978-3-642-19583-9\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/CohenNSZK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/McMillanZ09,
author = {Kenneth L. McMillan and
Lenore D. Zuck},
editor = {Olivier Bournez and
Igor Potapov},
title = {Abstract Counterexamples for Non-disjunctive Abstractions},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {176--188},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_17},
doi = {10.1007/978-3-642-04420-5\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/McMillanZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CohenPZ08,
author = {Ariel Cohen and
Amir Pnueli and
Lenore D. Zuck},
editor = {Aarti Gupta and
Sharad Malik},
title = {Mechanical Verification of Transactional Memories with Non-transactional
Memory Accesses},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {121--134},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_13},
doi = {10.1007/978-3-540-70545-1\_13},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/CohenPZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/CohenMZ08,
author = {Ariel Cohen and
Ron van der Meyden and
Lenore D. Zuck},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Access Control and Information Flow in Transactional Memory},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {316--330},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_21},
doi = {10.1007/978-3-642-01465-9\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/CohenMZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/VishwanathZL08,
author = {Venkatram Vishwanath and
Lenore D. Zuck and
Jason Leigh},
title = {Specification and Verification of LambdaRAM: {A} Wide-area Distributed
Cache for High Performance Computing},
booktitle = {6th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2008), June 5-7, 2008, Anaheim,
CA, {USA}},
pages = {187--198},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/MEMCOD.2008.4547709},
doi = {10.1109/MEMCOD.2008.4547709},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/VishwanathZL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2008,
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9},
doi = {10.1007/978-3-540-78163-9},
isbn = {978-3-540-78162-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BalabanPZ07,
author = {Ittai Balaban and
Amir Pnueli and
Lenore D. Zuck},
title = {Modular Ranking Abstraction},
journal = {Int. J. Found. Comput. Sci.},
volume = {18},
number = {1},
pages = {5--44},
year = {2007},
url = {https://doi.org/10.1142/S0129054107004553},
doi = {10.1142/S0129054107004553},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BalabanPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/0002OPTZ07,
author = {Ariel Cohen and
John W. O'Leary and
Amir Pnueli and
Mark R. Tuttle and
Lenore D. Zuck},
title = {Verifying Correctness of Transactional Memories},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {37--44},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.40},
doi = {10.1109/FAMCAD.2007.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/0002OPTZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BensalemPQTZ07,
author = {Saddek Bensalem and
Doron A. Peled and
Hongyang Qu and
Stavros Tripakis and
Lenore D. Zuck},
editor = {Karen Yorav},
title = {Test Case Generation for Ultimately Periodic Paths},
booktitle = {Hardware and Software: Verification and Testing, Third International
Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
23-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4899},
pages = {120--135},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77966-7\_12},
doi = {10.1007/978-3-540-77966-7\_12},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/BensalemPQTZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BalabanPZ07,
author = {Ittai Balaban and
Amir Pnueli and
Lenore D. Zuck},
editor = {Byron Cook and
Andreas Podelski},
title = {Shape Analysis of Single-Parent Heaps},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4349},
pages = {91--105},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1\_7},
doi = {10.1007/978-3-540-69738-1\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BalabanPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FangPPZ06,
author = {Yi Fang and
Nir Piterman and
Amir Pnueli and
Lenore D. Zuck},
title = {Liveness with invisible ranking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {3},
pages = {261--279},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0193-x},
doi = {10.1007/S10009-005-0193-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FangPPZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FangMPZ06,
author = {Yi Fang and
Kenneth L. McMillan and
Amir Pnueli and
Lenore D. Zuck},
editor = {Elie Najm and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
V{\'{e}}ronique Donzeau{-}Gouge},
title = {Liveness by Invisible Invariants},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France,
September 26-29, 2006},
series = {Lecture Notes in Computer Science},
volume = {4229},
pages = {356--371},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11888116\_26},
doi = {10.1007/11888116\_26},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/FangMPZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BalabanPZ06,
author = {Ittai Balaban and
Amir Pnueli and
Lenore D. Zuck},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {Invisible Safety of Distributed Protocols},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4052},
pages = {528--539},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787006\_45},
doi = {10.1007/11787006\_45},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BalabanPZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SistlaZZ06,
author = {A. Prasad Sistla and
Min Zhou and
Lenore D. Zuck},
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {Monitoring Off-the-Shelf Components},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3855},
pages = {222--236},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11609773\_15},
doi = {10.1007/11609773\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SistlaZZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FangZ07,
author = {Yi Fang and
Lenore D. Zuck},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Improved Invariant Generation for Tvoc},
booktitle = {Proceedings of the 5th International Workshop on Compiler Optimization
meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April
2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {3},
pages = {21--35},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.06.016},
doi = {10.1016/J.ENTCS.2006.06.016},
timestamp = {Tue, 31 Jan 2023 13:22:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FangZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ZuckPGBFH05,
author = {Lenore D. Zuck and
Amir Pnueli and
Benjamin Goldberg and
Clark W. Barrett and
Yi Fang and
Ying Hu},
title = {Translation and Run-Time Validation of Loop Transformations},
journal = {Formal Methods Syst. Des.},
volume = {27},
number = {3},
pages = {335--360},
year = {2005},
url = {https://doi.org/10.1007/s10703-005-3402-z},
doi = {10.1007/S10703-005-3402-Z},
timestamp = {Thu, 19 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/ZuckPGBFH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AronsEFMMSSTVZ05,
author = {Tamarah Arons and
Elad Elster and
Limor Fix and
Sela Mador{-}Haim and
Michael Mishaeli and
Jonathan Shalev and
Eli Singerman and
Andreas Tiemeyer and
Moshe Y. Vardi and
Lenore D. Zuck},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Formal Verification of Backward Compatibility of Microcode},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {185--198},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_20},
doi = {10.1007/11513988\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AronsEFMMSSTVZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarrettFGHPZ05,
author = {Clark W. Barrett and
Yi Fang and
Benjamin Goldberg and
Ying Hu and
Amir Pnueli and
Lenore D. Zuck},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {{TVOC:} {A} Translation Validator for Optimizing Compilers},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {291--295},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_29},
doi = {10.1007/11513988\_29},
timestamp = {Thu, 19 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BarrettFGHPZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BalabanFPZ05,
author = {Ittai Balaban and
Yi Fang and
Amir Pnueli and
Lenore D. Zuck},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {{IIV:} An Invisible Invariant Verifier},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {408--412},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_39},
doi = {10.1007/11513988\_39},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BalabanFPZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MargariaSSZ05,
author = {Tiziana Margaria and
A. Prasad Sistla and
Bernhard Steffen and
Lenore D. Zuck},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {Taming Interface Specifications},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {548--561},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_41},
doi = {10.1007/11539452\_41},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MargariaSSZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/PlockGZ05,
author = {Cory Plock and
Benjamin Goldberg and
Lenore D. Zuck},
title = {From Requirements to Specifications},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {183--190},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.41},
doi = {10.1109/ECBS.2005.41},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/PlockGZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BalabanPZ05,
author = {Ittai Balaban and
Amir Pnueli and
Lenore D. Zuck},
editor = {Farn Wang},
title = {Ranking Abstraction as Companion to Predicate Abstraction},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {1--12},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_1},
doi = {10.1007/11562436\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/BalabanPZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BalabanPZ05,
author = {Ittai Balaban and
Amir Pnueli and
Lenore D. Zuck},
editor = {Radhia Cousot},
title = {Shape Analysis by Predicate Abstraction},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {164--180},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_12},
doi = {10.1007/978-3-540-30579-8\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BalabanPZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PnueliZZ06,
author = {Amir Pnueli and
Aleksandr Zaks and
Lenore D. Zuck},
editor = {Howard Barringer and
Bernd Finkbeiner and
Yuri Gurevich and
Henny Sipma},
title = {Monitoring Interfaces for Faults},
booktitle = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {4},
pages = {73--89},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.02.005},
doi = {10.1016/J.ENTCS.2006.02.005},
timestamp = {Fri, 16 Dec 2022 11:10:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PnueliZZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2005,
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b107194},
doi = {10.1007/B107194},
isbn = {3-540-25333-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Zuck04,
author = {Lenore D. Zuck},
title = {Special issue of VMCAI'03},
journal = {Comput. Lang. Syst. Struct.},
volume = {30},
number = {3-4},
pages = {97--98},
year = {2004},
url = {https://doi.org/10.1016/j.cl.2004.05.001},
doi = {10.1016/J.CL.2004.05.001},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/Zuck04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ZuckP04,
author = {Lenore D. Zuck and
Amir Pnueli},
title = {Model checking and abstraction to the aid of parameterized systems
(a survey)},
journal = {Comput. Lang. Syst. Struct.},
volume = {30},
number = {3-4},
pages = {139--169},
year = {2004},
url = {https://doi.org/10.1016/j.cl.2004.02.006},
doi = {10.1016/J.CL.2004.02.006},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/ZuckP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/GuttmanTZ04,
author = {Joshua D. Guttman and
F. Javier Thayer and
Lenore D. Zuck},
title = {The faithfulness of abstract protocol analysis: Message authentication},
journal = {J. Comput. Secur.},
volume = {12},
number = {6},
pages = {865--891},
year = {2004},
url = {https://doi.org/10.3233/jcs-2004-12603},
doi = {10.3233/JCS-2004-12603},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/GuttmanTZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ZuckAC04,
author = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi},
title = {Preface by the section editors},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {1},
pages = {1--3},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0144-y},
doi = {10.1007/S10009-004-0144-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ZuckAC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FangPPZ04,
author = {Yi Fang and
Nir Piterman and
Amir Pnueli and
Lenore D. Zuck},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Liveness with Incomprehensible Ranking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {482--496},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_36},
doi = {10.1007/978-3-540-24730-2\_36},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FangPPZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FangPPZ04,
author = {Yi Fang and
Nir Piterman and
Amir Pnueli and
Lenore D. Zuck},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Liveness with Invisible Ranking},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {223--238},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_19},
doi = {10.1007/978-3-540-24622-0\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FangPPZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoldbergZB05,
author = {Benjamin Goldberg and
Lenore D. Zuck and
Clark W. Barrett},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {Into the Loops: Practical Issues in Translation Validation for Optimizing
Compilers},
booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization
Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April
3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
pages = {53--71},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.030},
doi = {10.1016/J.ENTCS.2005.01.030},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GoldbergZB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ZuckPG03,
author = {Lenore D. Zuck and
Amir Pnueli and
Benjamin Goldberg},
title = {{VOC:} {A} Methodology for the Translation Validation of OptimizingCompilers},
journal = {J. Univers. Comput. Sci.},
volume = {9},
number = {3},
pages = {223--247},
year = {2003},
url = {https://doi.org/10.3217/jucs-009-03-0223},
doi = {10.3217/JUCS-009-03-0223},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ZuckPG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AronsPZ03,
author = {Tamarah Arons and
Amir Pnueli and
Lenore D. Zuck},
editor = {Andrew D. Gordon},
title = {Parameterized Verification by Probabilistic Abstraction},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {87--102},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_6},
doi = {10.1007/3-540-36576-1\_6},
timestamp = {Mon, 14 Feb 2022 09:20:26 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/AronsPZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PnueliZ03,
author = {Amir Pnueli and
Lenore D. Zuck},
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {Model-Checking and Abstraction to the Aid of Parameterized Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International
Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2575},
pages = {4},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36384-X\_2},
doi = {10.1007/3-540-36384-X\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PnueliZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarrettGZ03,
author = {Clark W. Barrett and
Benjamin Goldberg and
Lenore D. Zuck},
editor = {Oleg Sokolsky and
Mahesh Viswanathan},
title = {Run-Time Validation of Speculative Optimizations using {CVC}},
booktitle = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {2},
pages = {89--107},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81044-2},
doi = {10.1016/S1571-0661(04)81044-2},
timestamp = {Fri, 16 Dec 2022 11:03:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarrettGZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2003,
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {Verification, Model Checking, and Abstract Interpretation, 4th International
Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2575},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36384-X},
doi = {10.1007/3-540-36384-X},
isbn = {3-540-00348-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PnueliXZ02,
author = {Amir Pnueli and
Jessie Xu and
Lenore D. Zuck},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Liveness with (0, 1, infty)-Counter Abstraction},
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 = {107--122},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_9},
doi = {10.1007/3-540-45657-0\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/PnueliXZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KestenPSZ02,
author = {Yonit Kesten and
Amir Pnueli and
Elad Shahar and
Lenore D. Zuck},
editor = {Lubos Brim and
Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Network Invariants in Action},
booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
Brno, Czech Republic, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2421},
pages = {101--115},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45694-5\_8},
doi = {10.1007/3-540-45694-5\_8},
timestamp = {Fri, 30 Aug 2019 10:02:28 +0200},
biburl = {https://dblp.org/rec/conf/concur/KestenPSZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ZuckPK02,
author = {Lenore D. Zuck and
Amir Pnueli and
Yonit Kesten},
editor = {Agostino Cortesi},
title = {Automatic Verification of Probabilistic Free Choice},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International
Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2294},
pages = {208--224},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47813-2\_15},
doi = {10.1007/3-540-47813-2\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ZuckPK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZuckPFG02,
author = {Lenore D. Zuck and
Amir Pnueli and
Yi Fang and
Benjamin Goldberg},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {{VOC:} {A} Translation Validator for Optimizing Compilers},
booktitle = {Compiler Optimization Meets Compiler Verification, {COCV} 2002, Satellite
Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {2},
pages = {2--18},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80393-1},
doi = {10.1016/S1571-0661(04)80393-1},
timestamp = {Tue, 13 Dec 2022 10:38:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZuckPFG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZuckPFGH02,
author = {Lenore D. Zuck and
Amir Pnueli and
Yi Fang and
Benjamin Goldberg and
Ying Hu},
editor = {Klaus Havelund and
Grigore Rosu},
title = {Translation and Run-Time Validation of Optimized Code},
booktitle = {Runtime Verification 2002, {RV} 2002, FLoC Satellite Event, Copenhagen,
Denmark, July 26, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {4},
pages = {179--200},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80584-X},
doi = {10.1016/S1571-0661(04)80584-X},
timestamp = {Fri, 16 Dec 2022 10:59:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZuckPFGH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AronsPRXZ01,
author = {Tamarah Arons and
Amir Pnueli and
Sitvanit Ruah and
Jiazhao Xu and
Lenore D. Zuck},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Parameterized Verification with Automatically Computed Inductive Assertions},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {221--234},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_19},
doi = {10.1007/3-540-44585-4\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AronsPRXZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/GuttmanTZ01,
author = {Joshua D. Guttman and
F. Javier Thayer and
Lenore D. Zuck},
editor = {Michael K. Reiter and
Pierangela Samarati},
title = {The faithfulness of abstract protocol analysis: message authentication},
booktitle = {{CCS} 2001, Proceedings of the 8th {ACM} Conference on Computer and
Communications Security, Philadelphia, Pennsylvania, USA, November
6-8, 2001},
pages = {186--195},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/501983.502009},
doi = {10.1145/501983.502009},
timestamp = {Tue, 10 Nov 2020 20:00:35 +0100},
biburl = {https://dblp.org/rec/conf/ccs/GuttmanTZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PeledPZ01,
author = {Doron A. Peled and
Amir Pnueli and
Lenore D. Zuck},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {From Falsification to Verification},
booktitle = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical
Computer Science, 21st Conference, Bangalore, India, December 13-15,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2245},
pages = {292--304},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45294-X\_25},
doi = {10.1007/3-540-45294-X\_25},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/PeledPZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/PeledZ01,
author = {Doron A. Peled and
Lenore D. Zuck},
editor = {Matthew B. Dwyer},
title = {From Model Checking to a Temporal Proof},
booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
Canada, May 19-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2057},
pages = {1--14},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45139-0\_1},
doi = {10.1007/3-540-45139-0\_1},
timestamp = {Thu, 02 Jun 2022 12:33:45 +0200},
biburl = {https://dblp.org/rec/conf/spin/PeledZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PnueliRZ01,
author = {Amir Pnueli and
Sitvanit Ruah and
Lenore D. Zuck},
editor = {Tiziana Margaria and
Wang Yi},
title = {Automatic Deductive Verification with Invisible Invariants},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {82--97},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_7},
doi = {10.1007/3-540-45319-9\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PnueliRZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GelernterZ97,
author = {David Gelernter and
Lenore D. Zuck},
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {On What Linda Is: Formal Description of Linda as a Reactive System},
booktitle = {Coordination Languages and Models, Second International Conference,
{COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1282},
pages = {187--204},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9\_81},
doi = {10.1007/3-540-63383-9\_81},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/GelernterZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AfekAFFLMWZ94,
author = {Yehuda Afek and
Hagit Attiya and
Alan D. Fekete and
Michael J. Fischer and
Nancy A. Lynch and
Yishay Mansour and
Da{-}Wei Wang and
Lenore D. Zuck},
title = {Reliable Communication Over Unreliable Channels},
journal = {J. {ACM}},
volume = {41},
number = {6},
pages = {1267--1297},
year = {1994},
url = {https://doi.org/10.1145/195613.195651},
doi = {10.1145/195613.195651},
timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/AfekAFFLMWZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/CarrieroGZ94,
author = {Nicholas Carriero and
David Gelernter and
Lenore D. Zuck},
editor = {Paolo Ciancarini and
Oscar Nierstrasz and
Akinori Yonezawa},
title = {Bauhaus Linda},
booktitle = {Object-Based Models and Languages for Concurrent Systems, ECOOP'94
Workshop on Models and Languages for Coordination of Parallelism and
Distribution, Bologna, Italy, July 5, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {924},
pages = {66--76},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-59450-7\_5},
doi = {10.1007/3-540-59450-7\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/CarrieroGZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/WestbrookZ94,
author = {Jeffery R. Westbrook and
Lenore D. Zuck},
editor = {James H. Anderson and
David Peleg and
Elizabeth Borowsky},
title = {Adaptive Algorithms for {PASO} Systems},
booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Los Angeles, California, USA, August 14-17,
1994},
pages = {264--273},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/197917.198106},
doi = {10.1145/197917.198106},
timestamp = {Mon, 08 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/WestbrookZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/SistlaZ93,
author = {A. Prasad Sistla and
Lenore D. Zuck},
title = {Reasoning in a Restricted Temporal Logic},
journal = {Inf. Comput.},
volume = {102},
number = {2},
pages = {167--195},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1006},
doi = {10.1006/INCO.1993.1006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/SistlaZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PnueliZ93,
author = {Amir Pnueli and
Lenore D. Zuck},
title = {Probabilistic Verification},
journal = {Inf. Comput.},
volume = {103},
number = {1},
pages = {1--29},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1012},
doi = {10.1006/INCO.1993.1012},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PnueliZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PnueliZ93,
author = {Amir Pnueli and
Lenore D. Zuck},
title = {In and Out of Temporal Logic},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {124--135},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287594},
doi = {10.1109/LICS.1993.287594},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PnueliZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HalpernZ92,
author = {Joseph Y. Halpern and
Lenore D. Zuck},
title = {A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and
Correctness Proofs for a Family of Protocols},
journal = {J. {ACM}},
volume = {39},
number = {3},
pages = {449--478},
year = {1992},
url = {https://doi.org/10.1145/146637.146638},
doi = {10.1145/146637.146638},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/HalpernZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ReingoldWZ92,
author = {Nick Reingold and
Da{-}Wei Wang and
Lenore D. Zuck},
editor = {Rance Cleaveland},
title = {Games {I/O} Automata Play (Extended Abstract)},
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 = {325--339},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084801},
doi = {10.1007/BFB0084801},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/ReingoldWZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/WeinbergZ92,
author = {Henri B. Weinberg and
Lenore D. Zuck},
editor = {Rance Cleaveland},
title = {Timed Ethernet: Real-Time Formal Specification of Ethernet},
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 = {370--385},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084804},
doi = {10.1007/BFB0084804},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/WeinbergZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Sistla91,
author = {A. Prasad Sistla and
Lenore D. Zuck},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Automatic Temporal Verification of Buffer Systems},
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 = {59--69},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_7},
doi = {10.1007/3-540-55179-4\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Sistla91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/WangZ91,
author = {Da{-}Wei Wang and
Lenore D. Zuck},
editor = {Luigi Logrippo},
title = {Real-Time Sequence Transmission Problem},
booktitle = {Proceedings of the Tenth Annual {ACM} Symposium on Principles of Distributed
Computing, Montreal, Quebec, Canada, August 19-21, 1991},
pages = {111--123},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/112600.112611},
doi = {10.1145/112600.112611},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/WangZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/WangZ89,
author = {Da{-}Wei Wang and
Lenore D. Zuck},
editor = {Piotr Rudnicki},
title = {Tight Bounds for the Sequence Transmission Problem},
booktitle = {Proceedings of the Eighth Annual {ACM} Symposium on Principles of
Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989},
pages = {73--83},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/72981.72986},
doi = {10.1145/72981.72986},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/WangZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/FischerZ88,
author = {Michael J. Fischer and
Lenore D. Zuck},
editor = {Mathai Joseph},
title = {Reasoning about Uncertainty in Fault-tolerant Distributed Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {142--158},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_11},
doi = {10.1007/3-540-50302-1\_11},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/FischerZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SistlaZ87,
author = {A. Prasad Sistla and
Lenore D. Zuck},
title = {On the Eventuality Operator in Temporal Logic},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {153--166},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/SistlaZ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/PnueliZ86,
author = {Amir Pnueli and
Lenore D. Zuck},
title = {Verification of Multiprocess Probabilistic Protocols},
journal = {Distributed Comput.},
volume = {1},
number = {1},
pages = {53--72},
year = {1986},
url = {https://doi.org/10.1007/BF01843570},
doi = {10.1007/BF01843570},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/PnueliZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PnueliZ86,
author = {Amir Pnueli and
Lenore D. Zuck},
title = {Probabilistic Verification by Tableaux},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'86), Cambridge, Massachusetts, USA, June 16-18, 1986},
pages = {322--331},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PnueliZ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/LichtensteinPZ85,
author = {Orna Lichtenstein and
Amir Pnueli and
Lenore D. Zuck},
editor = {Rohit Parikh},
title = {The Glory of the Past},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {196--218},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_16},
doi = {10.1007/3-540-15648-8\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/LichtensteinPZ85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/PnueliZ84,
author = {Amir Pnueli and
Lenore D. Zuck},
editor = {Tiko Kameda and
Jayadev Misra and
Joseph G. Peters and
Nicola Santoro},
title = {Verification of Multiprocess Probabilistic Protocols},
booktitle = {Proceedings of the Third Annual {ACM} Symposium on Principles of Distributed
Computing, Vancouver, B. C., Canada, August 27-29, 1984},
pages = {12--27},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800222.806732},
doi = {10.1145/800222.806732},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/PnueliZ84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-01 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
