| 2008 |
|---|
| 64 | | Francesco Logozzo,
Doron Peled,
Lenore D. Zuck:
Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Springer 2008 |
| 63 | EE | Ariel Cohen,
Amir Pnueli,
Lenore D. Zuck:
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses.
CAV 2008: 121-134 |
| 62 | EE | Ariel Cohen,
Ron van der Meyden,
Lenore D. Zuck:
Access Control and Information Flow in Transactional Memory.
Formal Aspects in Security and Trust 2008: 316-330 |
| 61 | EE | Venkatram Vishwanath,
Lenore D. Zuck,
Jason Leigh:
Specification and Verification of LambdaRAM: A Wide-area Distributed Cache for High Performance Computing.
MEMOCODE 2008: 187-198 |
| 2007 |
|---|
| 60 | EE | Ariel Cohen,
John W. O'Leary,
Amir Pnueli,
Mark R. Tuttle,
Lenore D. Zuck:
Verifying Correctness of Transactional Memories.
FMCAD 2007: 37-44 |
| 59 | EE | Saddek Bensalem,
Doron Peled,
Hongyang Qu,
Stavros Tripakis,
Lenore D. Zuck:
Test Case Generation for Ultimately Periodic Paths.
Haifa Verification Conference 2007: 120-135 |
| 58 | EE | Ittai Balaban,
Amir Pnueli,
Lenore D. Zuck:
Shape Analysis of Single-Parent Heaps.
VMCAI 2007: 91-105 |
| 57 | EE | Yi Fang,
Lenore D. Zuck:
Improved Invariant Generation for Tvoc.
Electr. Notes Theor. Comput. Sci. 176(3): 21-35 (2007) |
| 56 | EE | Ittai Balaban,
Amir Pnueli,
Lenore D. Zuck:
Modular Ranking Abstraction.
Int. J. Found. Comput. Sci. 18(1): 5-44 (2007) |
| 2006 |
|---|
| 55 | EE | Yi Fang,
Kenneth L. McMillan,
Amir Pnueli,
Lenore D. Zuck:
Liveness by Invisible Invariants.
FORTE 2006: 356-371 |
| 54 | EE | Ittai Balaban,
Amir Pnueli,
Lenore D. Zuck:
Invisible Safety of Distributed Protocols.
ICALP (2) 2006: 528-539 |
| 53 | EE | A. Prasad Sistla,
Min Zhou,
Lenore D. Zuck:
Monitoring Off-the-Shelf Components.
VMCAI 2006: 222-236 |
| 52 | EE | Amir Pnueli,
Aleksandr Zaks,
Lenore D. Zuck:
Monitoring Interfaces for Faults.
Electr. Notes Theor. Comput. Sci. 144(4): 73-89 (2006) |
| 51 | EE | Yi Fang,
Nir Piterman,
Amir Pnueli,
Lenore D. Zuck:
Liveness with invisible ranking.
STTT 8(3): 261-279 (2006) |
| 2005 |
|---|
| 50 | | Nicolas Halbwachs,
Lenore D. Zuck:
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
Springer 2005 |
| 49 | EE | Tamarah Arons,
Elad Elster,
Limor Fix,
Sela Mador-Haim,
Michael Mishaeli,
Jonathan Shalev,
Eli Singerman,
Andreas Tiemeyer,
Moshe Y. Vardi,
Lenore D. Zuck:
Formal Verification of Backward Compatibility of Microcode.
CAV 2005: 185-198 |
| 48 | EE | Clark W. Barrett,
Yi Fang,
Benjamin Goldberg,
Ying Hu,
Amir Pnueli,
Lenore D. Zuck:
TVOC: A Translation Validator for Optimizing Compilers.
CAV 2005: 291-295 |
| 47 | EE | Ittai Balaban,
Yi Fang,
Amir Pnueli,
Lenore D. Zuck:
IIV: An Invisible Invariant Verifier.
CAV 2005: 408-412 |
| 46 | EE | Tiziana Margaria,
A. Prasad Sistla,
Bernhard Steffen,
Lenore D. Zuck:
Taming Interface Specifications.
CONCUR 2005: 548-561 |
| 45 | EE | Cory Plock,
Benjamin Goldberg,
Lenore D. Zuck:
From Requirements to Specifications.
ECBS 2005: 183-190 |
| 44 | EE | Ittai Balaban,
Amir Pnueli,
Lenore D. Zuck:
Ranking Abstraction as Companion to Predicate Abstraction.
FORTE 2005: 1-12 |
| 43 | EE | Ittai Balaban,
Amir Pnueli,
Lenore D. Zuck:
Shape Analysis by Predicate Abstraction.
VMCAI 2005: 164-180 |
| 42 | EE | Benjamin Goldberg,
Lenore D. Zuck,
Clark W. Barrett:
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers.
Electr. Notes Theor. Comput. Sci. 132(1): 53-71 (2005) |
| 41 | EE | Lenore D. Zuck,
Amir Pnueli,
Benjamin Goldberg,
Clark W. Barrett,
Yi Fang,
Ying Hu:
Translation and Run-Time Validation of Loop Transformations.
Formal Methods in System Design 27(3): 335-360 (2005) |
| 2004 |
|---|
| 40 | EE | Yi Fang,
Nir Piterman,
Amir Pnueli,
Lenore D. Zuck:
Liveness with Incomprehensible Ranking.
TACAS 2004: 482-496 |
| 39 | EE | Yi Fang,
Nir Piterman,
Amir Pnueli,
Lenore D. Zuck:
Liveness with Invisible Ranking.
VMCAI 2004: 223-238 |
| 38 | EE | Lenore D. Zuck,
Amir Pnueli:
Model checking and abstraction to the aid of parameterized systems (a survey).
Computer Languages, Systems & Structures 30(3-4): 139-169 (2004) |
| 37 | EE | Lenore D. Zuck:
Special issue of VMCAI'03.
Computer Languages, Systems & Structures 30(3-4): 97-98 (2004) |
| 36 | | Joshua D. Guttman,
F. Javier Thayer,
Lenore D. Zuck:
The faithfulness of abstract protocol analysis: Message authentication.
Journal of Computer Security 12(6): 865-891 (2004) |
| 35 | EE | Lenore D. Zuck,
Paul C. Attie,
Agostino Cortesi:
Preface by the section editors.
STTT 6(1): 1-3 (2004) |
| 2003 |
|---|
| 34 | | Lenore D. Zuck,
Paul C. Attie,
Agostino Cortesi,
Supratik Mukhopadhyay:
Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings
Springer 2003 |
| 33 | EE | Tamarah Arons,
Amir Pnueli,
Lenore D. Zuck:
Parameterized Verification by Probabilistic Abstraction.
FoSSaCS 2003: 87-102 |
| 32 | EE | Amir Pnueli,
Lenore D. Zuck:
Model-Checking and Abstraction to the Aid of Parameterized Systems.
VMCAI 2003: 4 |
| 31 | EE | Clark W. Barrett,
Benjamin Goldberg,
Lenore D. Zuck:
Run-Time Validation of Speculative Optimizations using CVC.
Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
| 30 | EE | Lenore D. Zuck,
Amir Pnueli,
Benjamin Goldberg:
VOC: A Methodology for the Translation Validation of OptimizingCompilers.
J. UCS 9(3): 223-247 (2003) |
| 2002 |
|---|
| 29 | EE | Amir Pnueli,
Jessie Xu,
Lenore D. Zuck:
Liveness with (0, 1, infty)-Counter Abstraction.
CAV 2002: 107-122 |
| 28 | EE | Yonit Kesten,
Amir Pnueli,
Elad Shahar,
Lenore D. Zuck:
Network Invariants in Action.
CONCUR 2002: 101-115 |
| 27 | EE | Lenore D. Zuck,
Amir Pnueli,
Yonit Kesten:
Automatic Verification of Probabilistic Free Choice.
VMCAI 2002: 208-224 |
| 26 | EE | Lenore D. Zuck,
Amir Pnueli,
Yi Fang,
Benjamin Goldberg:
VOC: A Translation Validator for Optimizing Compilers.
Electr. Notes Theor. Comput. Sci. 65(2): (2002) |
| 25 | EE | Lenore D. Zuck,
Amir Pnueli,
Yi Fang,
Benjamin Goldberg,
Ying Hu:
Translation and Run-Time Validation of Optimized Code.
Electr. Notes Theor. Comput. Sci. 70(4): (2002) |
| 2001 |
|---|
| 24 | EE | Joshua D. Guttman,
F. Javier Thayer,
Lenore D. Zuck:
The faithfulness of abstract protocol analysis: message authentication.
ACM Conference on Computer and Communications Security 2001: 186-195 |
| 23 | EE | Tamarah Arons,
Amir Pnueli,
Sitvanit Ruah,
Jiazhao Xu,
Lenore D. Zuck:
Parameterized Verification with Automatically Computed Inductive Assertions.
CAV 2001: 221-234 |
| 22 | EE | Doron Peled,
Amir Pnueli,
Lenore D. Zuck:
From Falsification to Verification.
FSTTCS 2001: 292-304 |
| 21 | EE | Doron Peled,
Lenore D. Zuck:
From Model Checking to a Temporal Proof.
SPIN 2001: 1-14 |
| 20 | EE | Amir Pnueli,
Sitvanit Ruah,
Lenore D. Zuck:
Automatic Deductive Verification with Invisible Invariants.
TACAS 2001: 82-97 |
| 1997 |
|---|
| 19 | | David Gelernter,
Lenore D. Zuck:
On What Linda Is: Formal Description of Linda as a Reactive System.
COORDINATION 1997: 187-204 |
| 1994 |
|---|
| 18 | | Nicholas Carriero,
David Gelernter,
Lenore D. Zuck:
Bauhaus Linda.
ECOOP Workshop 1994: 66-76 |
| 17 | | Jeffery Westbrook,
Lenore D. Zuck:
Adaptive Algorithms for PASO Systems.
PODC 1994: 264-273 |
| 16 | EE | Yehuda Afek,
Hagit Attiya,
Alan Fekete,
Michael J. Fischer,
Nancy A. Lynch,
Yishay Mansour,
Da-Wei Wang,
Lenore D. Zuck:
Reliable Communication Over Unreliable Channels.
J. ACM 41(6): 1267-1297 (1994) |
| 1993 |
|---|
| 15 | | Amir Pnueli,
Lenore D. Zuck:
In and Out of Temporal Logic
LICS 1993: 124-135 |
| 14 | | A. Prasad Sistla,
Lenore D. Zuck:
Reasoning in a Restricted Temporal Logic
Inf. Comput. 102(2): 167-195 (1993) |
| 13 | | Amir Pnueli,
Lenore D. Zuck:
Probabilistic Verification
Inf. Comput. 103(1): 1-29 (1993) |
| 1992 |
|---|
| 12 | | Nick Reingold,
Da-Wei Wang,
Lenore D. Zuck:
Games I/O Automata Play (Extended Abstract).
CONCUR 1992: 325-339 |
| 11 | | Henri B. Weinberg,
Lenore D. Zuck:
Timed Ethernet: Real-Time Formal Specification of Ethernet.
CONCUR 1992: 370-385 |
| 10 | EE | Joseph Y. Halpern,
Lenore D. Zuck:
A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols.
J. ACM 39(3): 449-478 (1992) |
| 1991 |
|---|
| 9 | | A. Prasad Sistla,
Lenore D. Zuck:
Automatic Temporal Verification of Buffer Systems.
CAV 1991: 59-69 |
| 8 | | Da-Wei Wang,
Lenore D. Zuck:
Real-Time Sequence Transmission Problem.
PODC 1991: 111-123 |
| 1989 |
|---|
| 7 | | Da-Wei Wang,
Lenore D. Zuck:
Tight Bounds for the Sequence Transmission Problem.
PODC 1989: 73-83 |
| 1988 |
|---|
| 6 | | Michael J. Fischer,
Lenore D. Zuck:
Reasoning about Uncertainty in Fault-tolerant Distributed Systems.
FTRTFT 1988: 142-158 |
| 1987 |
|---|
| 5 | | A. Prasad Sistla,
Lenore D. Zuck:
On the Eventuality Operator in Temporal Logic
LICS 1987: 153-166 |
| 1986 |
|---|
| 4 | | Amir Pnueli,
Lenore D. Zuck:
Probabilistic Verification by Tableaux
LICS 1986: 322-331 |
| 3 | | Amir Pnueli,
Lenore D. Zuck:
Verification of Multiprocess Probabilistic Protocols.
Distributed Computing 1(1): 53-72 (1986) |
| 1985 |
|---|
| 2 | | Orna Lichtenstein,
Amir Pnueli,
Lenore D. Zuck:
The Glory of the Past.
Logic of Programs 1985: 196-218 |
| 1984 |
|---|
| 1 | | Amir Pnueli,
Lenore D. Zuck:
Verification of Multiprocess Probabilistic Protocols.
PODC 1984: 12-27 |
