×

zbMATH — the first resource for mathematics

Zuck, Lenore D.

Compute Distance To:
Author ID: zuck.lenore-d Recent zbMATH articles by "Zuck, Lenore D."
Published as: Zuck, L.; Zuck, Lenore; Zuck, Lenore D.
Documents Indexed: 44 Publications since 1985, including 2 Books

Publications by Year

Citations contained in zbMATH

28 Publications have been cited 219 times in 179 Documents Cited by Year
The glory of the past. Zbl 0586.68028
Lichtenstein, Orna; Pnueli, Amir; Zuck, Lenore
56
1985
Verification of multiprocess probabilistic protocols. Zbl 0598.68019
Pnueli, Amir; Zuck, Lenore
21
1986
Automatic deductive verification with invisible invariants. Zbl 0978.68539
Pnueli, 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.68024
Halpern, Joseph Y.; Zuck, Lenore D.
17
1992
Liveness with \({(0,1,\infty)}\)-counter abstraction. Zbl 1010.68095
Pnueli, Amir; Xu, Jessie; Zuck, Lenore
16
2002
Parameterized verification with automatically computed inductive assertions. Zbl 0991.68541
Arons, Tamarah; Pnueli, Amir; Ruah, Sitvanit; Xu, Ying; Zuck, Lenore
14
2001
Probabilistic verification. Zbl 0797.68112
Pnueli, Amir; Zuck, Lenore D.
13
1993
TVOC: A translation validator for optimizing compilers. Zbl 1081.68606
Barrett, 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.68069
Zuck, Lenore; Pnueli, Amir
6
2004
Shape analysis by predicate abstraction. Zbl 1111.68396
Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D.
5
2005
Parameterized verification by probabilistic abstraction. Zbl 1029.68104
Arons, Tamarah; Pnueli, Amir; Zuck, Lenore
5
2003
From falsification to verification. Zbl 1052.68086
Peled, Doron; Pnueli, Amir; Zuck, Lenore
5
2001
Reasoning in a restricted temporal logic. Zbl 0771.03007
Sistla, A. Prasad; Zuck, Lenore D.
5
1993
Formal verification of backward compatibility of microcode. Zbl 1081.68602
Arons, 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.68430
Cohen, Ariel; Pnueli, Amir; Zuck, Lenore D.
3
2008
Shape analysis of single-parent heaps. Zbl 1132.68346
Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D.
3
2007
Liveness with invisible ranking. Zbl 1202.68248
Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore
3
2004
Network invariants in action. Zbl 1012.68131
Kesten, 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.68006
Logozzo, Francesco (ed.); Peled, Doron A. (ed.); Zuck, Lenore D. (ed.)
2
2008
Modular ranking abstraction. Zbl 1109.68062
Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D.
2
2007
IIV: An invisible invariant verifier. Zbl 1081.68603
Balaban, Ittai; Fang, Yi; Pnueli, Amir; Zuck, Lenore D.
2
2005
Liveness with incomprehensible ranking. Zbl 1126.68474
Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore
2
2004
From model checking to a temporal proof. Zbl 0985.68030
Peled, Doron; Zuck, Lenore
2
2001
From model checking to a temporal proof for partial models. Zbl 1420.68118
Bernasconi, Anna; Menghi, Claudio; Spoletini, Paola; Zuck, Lenore D.; Ghezzi, Carlo
1
2017
Parallelizing a symbolic compositional model-checking algorithm. Zbl 1325.68146
Cohen, 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.68580
Pnueli, Amir; Zuck, Lenore
1
2003
Automatic verification of probabilistic free choice. Zbl 1057.68644
Zuck, Lenore; Pnueli, Amir; Kesten, Yonit
1
2002
Reasoning about uncertainty in fault-tolerant distributed systems. Zbl 0661.68101
Fischer, Michael J.; Zuck, Lenore D.
1
1988
From model checking to a temporal proof for partial models. Zbl 1420.68118
Bernasconi, Anna; Menghi, Claudio; Spoletini, Paola; Zuck, Lenore D.; Ghezzi, Carlo
1
2017
Parallelizing a symbolic compositional model-checking algorithm. Zbl 1325.68146
Cohen, 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.68430
Cohen, 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.68006
Logozzo, Francesco (ed.); Peled, Doron A. (ed.); Zuck, Lenore D. (ed.)
2
2008
Shape analysis of single-parent heaps. Zbl 1132.68346
Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D.
3
2007
Modular ranking abstraction. Zbl 1109.68062
Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D.
2
2007
TVOC: A translation validator for optimizing compilers. Zbl 1081.68606
Barrett, Clark; Fang, Yi; Goldberg, Benjamin; Hu, Ying; Pnueli, Amir; Zuck, Lenore
8
2005
Shape analysis by predicate abstraction. Zbl 1111.68396
Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D.
5
2005
Formal verification of backward compatibility of microcode. Zbl 1081.68602
Arons, 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.68603
Balaban, Ittai; Fang, Yi; Pnueli, Amir; Zuck, Lenore D.
2
2005
Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069
Zuck, Lenore; Pnueli, Amir
6
2004
Liveness with invisible ranking. Zbl 1202.68248
Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore
3
2004
Liveness with incomprehensible ranking. Zbl 1126.68474
Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore
2
2004
Parameterized verification by probabilistic abstraction. Zbl 1029.68104
Arons, Tamarah; Pnueli, Amir; Zuck, Lenore
5
2003
Model-checking and abstraction to the aid of parameterized systems. Zbl 1022.68580
Pnueli, Amir; Zuck, Lenore
1
2003
Liveness with \({(0,1,\infty)}\)-counter abstraction. Zbl 1010.68095
Pnueli, Amir; Xu, Jessie; Zuck, Lenore
16
2002
Network invariants in action. Zbl 1012.68131
Kesten, Yonit; Pnueli, Amir; Shahar, Elad; Zuck, Lenore
3
2002
Automatic verification of probabilistic free choice. Zbl 1057.68644
Zuck, Lenore; Pnueli, Amir; Kesten, Yonit
1
2002
Automatic deductive verification with invisible invariants. Zbl 0978.68539
Pnueli, Amir; Ruah, Sitvanit; Zuck, Lenore
17
2001
Parameterized verification with automatically computed inductive assertions. Zbl 0991.68541
Arons, Tamarah; Pnueli, Amir; Ruah, Sitvanit; Xu, Ying; Zuck, Lenore
14
2001
From falsification to verification. Zbl 1052.68086
Peled, Doron; Pnueli, Amir; Zuck, Lenore
5
2001
From model checking to a temporal proof. Zbl 0985.68030
Peled, Doron; Zuck, Lenore
2
2001
Probabilistic verification. Zbl 0797.68112
Pnueli, Amir; Zuck, Lenore D.
13
1993
Reasoning in a restricted temporal logic. Zbl 0771.03007
Sistla, 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.68024
Halpern, Joseph Y.; Zuck, Lenore D.
17
1992
Reasoning about uncertainty in fault-tolerant distributed systems. Zbl 0661.68101
Fischer, Michael J.; Zuck, Lenore D.
1
1988
Verification of multiprocess probabilistic protocols. Zbl 0598.68019
Pnueli, Amir; Zuck, Lenore
21
1986
The glory of the past. Zbl 0586.68028
Lichtenstein, Orna; Pnueli, Amir; Zuck, Lenore
56
1985
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

Citations by Year