Edit Profile Zuck, Lenore D. Compute Distance To: Compute Author ID: zuck.lenore-d Published as: Zuck, L.; Zuck, Lenore; Zuck, Lenore D. Documents Indexed: 44 Publications since 1985, including 2 Books all top 5 Co-Authors 0 single-authored 26 Pnueli, Amir 8 Balaban, Ittai 6 Fang, Yi 3 Arons, Tamarah 3 McMillan, Kenneth L. 3 Peled, Doron A. 2 Barrett, Clark W. 2 Cohen, Ariel 2 Goldberg, Benjamin 2 Hu, Ying 2 Kesten, Yonit 2 Namjoshi, Kedar S. 2 Piterman, Nir 2 Prasad Sistla, A. 2 Ruah, Sitvanit 2 Sa’ar, Yaniv 1 Bernasconi, Anna 1 Elster, Elad 1 Fischer, Michael J. 1 Fix, Limor 1 Ghezzi, Carlo 1 Gjomemo, Rigel 1 Halbwachs, Nicolas 1 Halpern, Joseph Yehuda 1 Kisyova, Katya I. 1 Lichtenstein, Orna 1 Logozzo, Francesco 1 Mador-Haim, Sela 1 Margaria, Tiziana 1 Menghi, Claudio 1 Mishaeli, Michael 1 Phung, Phu H. 1 Prasad, Sanjiva 1 Shahar, Elad 1 Shalev, Jonathan 1 Singerman, Eli 1 Sistla, Aravinda Prasad 1 Spoletini, Paola 1 Steffen, Bernhard 1 Tiemeyer, Andreas 1 Torf, Jordan N. 1 Vardi, Moshe Y. 1 Venkatakrishnan, Venkat N. 1 Wang, Dawei 1 Westbrook, Jeffery R. 1 Xu, Jessie 1 Xu, Ying 1 Zhou, Min all top 5 Serials 2 Information and Computation 2 Lecture Notes in Computer Science 1 Journal of the Association for Computing Machinery 1 Journal of Computer and System Sciences 1 International Journal of Foundations of Computer Science 1 Distributed Computing 1 Formal Methods in System Design 1 Computer Languages, Systems & Structures Fields 43 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 28 Publications have been cited 219 times in 179 Documents Cited by ▼ Year ▼ The glory of the past. Zbl 0586.68028Lichtenstein, Orna; Pnueli, Amir; Zuck, Lenore 56 1985 Verification of multiprocess probabilistic protocols. Zbl 0598.68019Pnueli, Amir; Zuck, Lenore 21 1986 Automatic deductive verification with invisible invariants. Zbl 0978.68539Pnueli, Amir; Ruah, Sitvanit; Zuck, Lenore 17 2001 A little knowledge goes a long way: Knowledge-based derivations and correctness proofs for a family of protocols. Zbl 0799.68024Halpern, Joseph Y.; Zuck, Lenore D. 17 1992 Liveness with \({(0,1,\infty)}\)-counter abstraction. Zbl 1010.68095Pnueli, Amir; Xu, Jessie; Zuck, Lenore 16 2002 Parameterized verification with automatically computed inductive assertions. Zbl 0991.68541Arons, Tamarah; Pnueli, Amir; Ruah, Sitvanit; Xu, Ying; Zuck, Lenore 14 2001 Probabilistic verification. Zbl 0797.68112Pnueli, Amir; Zuck, Lenore D. 13 1993 TVOC: A translation validator for optimizing compilers. Zbl 1081.68606Barrett, Clark; Fang, Yi; Goldberg, Benjamin; Hu, Ying; Pnueli, Amir; Zuck, Lenore 8 2005 Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069Zuck, Lenore; Pnueli, Amir 6 2004 Shape analysis by predicate abstraction. Zbl 1111.68396Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D. 5 2005 Parameterized verification by probabilistic abstraction. Zbl 1029.68104Arons, Tamarah; Pnueli, Amir; Zuck, Lenore 5 2003 From falsification to verification. Zbl 1052.68086Peled, Doron; Pnueli, Amir; Zuck, Lenore 5 2001 Reasoning in a restricted temporal logic. Zbl 0771.03007Sistla, A. Prasad; Zuck, Lenore D. 5 1993 Formal verification of backward compatibility of microcode. Zbl 1081.68602Arons, Tamarah; Elster, Elad; Fix, Limor; Mador-Haim, Sela; Mishaeli, Michael; Shalev, Jonathan; Singerman, Eli; Tiemeyer, Andreas; Vardi, Moshe Y.; Zuck, Lenore D. 4 2005 Mechanical verification of transactional memories with non-transactional memory accesses. Zbl 1155.68430Cohen, Ariel; Pnueli, Amir; Zuck, Lenore D. 3 2008 Shape analysis of single-parent heaps. Zbl 1132.68346Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D. 3 2007 Liveness with invisible ranking. Zbl 1202.68248Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore 3 2004 Network invariants in action. Zbl 1012.68131Kesten, Yonit; Pnueli, Amir; Shahar, Elad; Zuck, Lenore 3 2002 Verification, model checking, and abstract interpretation. 9th international conference, VMCAI 2008, San Francisco, USA, January 7–9, 2008. Proceedings. Zbl 1134.68006Logozzo, Francesco (ed.); Peled, Doron A. (ed.); Zuck, Lenore D. (ed.) 2 2008 Modular ranking abstraction. Zbl 1109.68062Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D. 2 2007 IIV: An invisible invariant verifier. Zbl 1081.68603Balaban, Ittai; Fang, Yi; Pnueli, Amir; Zuck, Lenore D. 2 2005 Liveness with incomprehensible ranking. Zbl 1126.68474Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore 2 2004 From model checking to a temporal proof. Zbl 0985.68030Peled, Doron; Zuck, Lenore 2 2001 From model checking to a temporal proof for partial models. Zbl 1420.68118Bernasconi, Anna; Menghi, Claudio; Spoletini, Paola; Zuck, Lenore D.; Ghezzi, Carlo 1 2017 Parallelizing a symbolic compositional model-checking algorithm. Zbl 1325.68146Cohen, Ariel; Namjoshi, Kedar S.; Sa’ar, Yaniv; Zuck, Lenore D.; Kisyova, Katya I. 1 2011 Model-checking and abstraction to the aid of parameterized systems. Zbl 1022.68580Pnueli, Amir; Zuck, Lenore 1 2003 Automatic verification of probabilistic free choice. Zbl 1057.68644Zuck, Lenore; Pnueli, Amir; Kesten, Yonit 1 2002 Reasoning about uncertainty in fault-tolerant distributed systems. Zbl 0661.68101Fischer, Michael J.; Zuck, Lenore D. 1 1988 From model checking to a temporal proof for partial models. Zbl 1420.68118Bernasconi, Anna; Menghi, Claudio; Spoletini, Paola; Zuck, Lenore D.; Ghezzi, Carlo 1 2017 Parallelizing a symbolic compositional model-checking algorithm. Zbl 1325.68146Cohen, Ariel; Namjoshi, Kedar S.; Sa’ar, Yaniv; Zuck, Lenore D.; Kisyova, Katya I. 1 2011 Mechanical verification of transactional memories with non-transactional memory accesses. Zbl 1155.68430Cohen, Ariel; Pnueli, Amir; Zuck, Lenore D. 3 2008 Verification, model checking, and abstract interpretation. 9th international conference, VMCAI 2008, San Francisco, USA, January 7–9, 2008. Proceedings. Zbl 1134.68006Logozzo, Francesco (ed.); Peled, Doron A. (ed.); Zuck, Lenore D. (ed.) 2 2008 Shape analysis of single-parent heaps. Zbl 1132.68346Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D. 3 2007 Modular ranking abstraction. Zbl 1109.68062Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D. 2 2007 TVOC: A translation validator for optimizing compilers. Zbl 1081.68606Barrett, Clark; Fang, Yi; Goldberg, Benjamin; Hu, Ying; Pnueli, Amir; Zuck, Lenore 8 2005 Shape analysis by predicate abstraction. Zbl 1111.68396Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D. 5 2005 Formal verification of backward compatibility of microcode. Zbl 1081.68602Arons, Tamarah; Elster, Elad; Fix, Limor; Mador-Haim, Sela; Mishaeli, Michael; Shalev, Jonathan; Singerman, Eli; Tiemeyer, Andreas; Vardi, Moshe Y.; Zuck, Lenore D. 4 2005 IIV: An invisible invariant verifier. Zbl 1081.68603Balaban, Ittai; Fang, Yi; Pnueli, Amir; Zuck, Lenore D. 2 2005 Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069Zuck, Lenore; Pnueli, Amir 6 2004 Liveness with invisible ranking. Zbl 1202.68248Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore 3 2004 Liveness with incomprehensible ranking. Zbl 1126.68474Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore 2 2004 Parameterized verification by probabilistic abstraction. Zbl 1029.68104Arons, Tamarah; Pnueli, Amir; Zuck, Lenore 5 2003 Model-checking and abstraction to the aid of parameterized systems. Zbl 1022.68580Pnueli, Amir; Zuck, Lenore 1 2003 Liveness with \({(0,1,\infty)}\)-counter abstraction. Zbl 1010.68095Pnueli, Amir; Xu, Jessie; Zuck, Lenore 16 2002 Network invariants in action. Zbl 1012.68131Kesten, Yonit; Pnueli, Amir; Shahar, Elad; Zuck, Lenore 3 2002 Automatic verification of probabilistic free choice. Zbl 1057.68644Zuck, Lenore; Pnueli, Amir; Kesten, Yonit 1 2002 Automatic deductive verification with invisible invariants. Zbl 0978.68539Pnueli, Amir; Ruah, Sitvanit; Zuck, Lenore 17 2001 Parameterized verification with automatically computed inductive assertions. Zbl 0991.68541Arons, Tamarah; Pnueli, Amir; Ruah, Sitvanit; Xu, Ying; Zuck, Lenore 14 2001 From falsification to verification. Zbl 1052.68086Peled, Doron; Pnueli, Amir; Zuck, Lenore 5 2001 From model checking to a temporal proof. Zbl 0985.68030Peled, Doron; Zuck, Lenore 2 2001 Probabilistic verification. Zbl 0797.68112Pnueli, Amir; Zuck, Lenore D. 13 1993 Reasoning in a restricted temporal logic. Zbl 0771.03007Sistla, A. Prasad; Zuck, Lenore D. 5 1993 A little knowledge goes a long way: Knowledge-based derivations and correctness proofs for a family of protocols. Zbl 0799.68024Halpern, Joseph Y.; Zuck, Lenore D. 17 1992 Reasoning about uncertainty in fault-tolerant distributed systems. Zbl 0661.68101Fischer, Michael J.; Zuck, Lenore D. 1 1988 Verification of multiprocess probabilistic protocols. Zbl 0598.68019Pnueli, Amir; Zuck, Lenore 21 1986 The glory of the past. Zbl 0586.68028Lichtenstein, Orna; Pnueli, Amir; Zuck, Lenore 56 1985 all cited Publications top 5 cited Publications all top 5 Cited by 339 Authors 12 Pnueli, Amir 7 Vardi, Moshe Y. 6 Baier, Christel 6 Zuck, Lenore D. 5 Halpern, Joseph Yehuda 5 Kupferman, Orna 4 Abdulla, Parosh Aziz 4 Bouajjani, Ahmed 4 Henzinger, Thomas A. 4 Konnov, Igor V. 4 Veith, Helmut 4 Widder, Josef 3 Basin, David A. 3 Bouyer, Patricia 3 Kesten, Yonit 3 Klaedtke, Felix 3 Kwiatkowska, Marta Z. 3 Namjoshi, Kedar S. 3 Peled, Doron A. 3 Piterman, Nir 3 Reynolds, Mark Alexander 3 Rusu, Vlad 3 Schobbens, Pierre-Yves 3 Sifakis, Joseph 3 Vojnar, Tomáš 2 Adamatzky, Andrew I. 2 Balaban, Ittai 2 Bensalem, Saddek 2 Bertrand, Nathalie 2 Bonchi, Filippo 2 Bonsangue, Marcello Maria 2 Bozga, Marius 2 Calder, Muffy 2 de Vink, Erik P. 2 Delzanno, Giorgio 2 Fagin, Ronald 2 Fisher, Michael W. 2 Fisman, Dana 2 Guelev, Dimitar P. 2 Guerraoui, Rachid 2 Habermehl, Peter 2 Iosif, Radu 2 Jonsson, Bengt 2 Katoen, Joost-Pieter 2 Kröning, Daniel 2 Laroussinie, François 2 Lucanu, Dorel 2 Majumdar, Rupak 2 Manna, Zohar 2 Markey, Nicolas 2 McIver, Annabelle K. 2 McMillan, Kenneth L. 2 Miller, Alice Ann 2 Moses, Yoram 2 Moszkowski, Ben C. 2 Prasad Sistla, A. 2 Raskin, Jean-François 2 Rezine, Ahmed 2 Roşu, Grigore 2 Rutten, Jan J. M. M. 2 Schnoebelen, Ph 2 Sernadas, Amilcar C. 2 Siegel, Stephen F. 2 Silva, Alexandra 2 Singh, Vasu 2 Sokolova, Ana 2 Strejček, Jan 2 van der Hoek, Wiebe 2 van Ditmarsch, Hans Pieter 2 Wahl, Thomas 2 Wehrheim, Heike 2 Zălinescu, Eugen 2 Zirkel, Timothy K. 1 Abraham, Uri 1 Alpern, Bowen 1 Alur, Rajeev 1 Andréka, Hajnal 1 Apt, Krzysztof Rafal 1 Artale, Alessandro 1 Arusoaie, Andrei 1 Attie, Paul C. 1 Baader, Franz 1 Bakhtiari, Zeinab 1 Ban, Shao-Huan 1 Barrett, Clark W. 1 Barringer, Howard 1 Bartels, Falk 1 Barthe, Gilles 1 Basler, Gérard 1 Basu, Ananda 1 Basu, Samik 1 Beauquier, Joffroy 1 Ben-David, Shoham 1 Bérard, Béatrice 1 Bherer, Hans 1 Blahoudek, František 1 Blech, Jan Olaf 1 Boker, Udi 1 Brauer, Jörg 1 Brihaye, Thomas ...and 239 more Authors all top 5 Cited in 33 Serials 26 Theoretical Computer Science 16 Formal Methods in System Design 15 Information and Computation 15 Distributed Computing 13 Formal Aspects of Computing 6 Acta Informatica 5 Journal of Computer and System Sciences 4 Information Processing Letters 4 Journal of Logical and Algebraic Methods in Programming 3 Artificial Intelligence 3 ACM Transactions on Computational Logic 2 Annals of Pure and Applied Logic 2 Journal of Automated Reasoning 2 Theory and Practice of Logic Programming 2 Journal of Applied Logic 2 Mathematics in Computer Science 1 International Journal of General Systems 1 Chaos, Solitons and Fractals 1 Kybernetes 1 Science of Computer Programming 1 Algorithmica 1 International Journal of Foundations of Computer Science 1 Discrete Event Dynamic Systems 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Science in China. Series E 1 Parallel Algorithms and Applications 1 Journal of the ACM 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Mathematics 1 Computer Languages, Systems & Structures 1 Logical Methods in Computer Science 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 13 Fields 172 Computer science (68-XX) 69 Mathematical logic and foundations (03-XX) 2 Probability theory and stochastic processes (60-XX) 2 Numerical analysis (65-XX) 2 Systems theory; control (93-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 Difference and functional equations (39-XX) 1 Statistics (62-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year