Travelled to:1 × India
1 × Poland
1 × Spain
2 × Denmark
2 × United Kingdom
3 × France
4 × Italy
6 × USA
Collaborated with:A.Pnueli A.P.Sistla I.Balaban Y.Fang K.S.Namjoshi T.Arons S.Ruah K.L.McMillan N.Piterman Y.Sa'ar A.Cohen M.Zhou J.Xu Y.Kesten R.Gjomemo P.H.Phung V.N.Venkatakrishnan J.Xu C.W.Barrett B.Goldberg Y.Hu E.Elster L.Fix S.Mador-Haim M.Mishaeli J.Shalev E.Singerman A.Tiemeyer M.Y.Vardi
Talks about:verif (10) abstract (5) invis (5) automat (4) probabilist (3) parameter (3) invari (3) live (3) transact (2) analysi (2)
Person: Lenore D. Zuck
DBLP: Zuck:Lenore_D=
Facilitated 3 volumes:
Ed
EdEdContributed to:
2015
20132011
201020082007
200620062005200520042004
2003200320022002200120011991
19871986Wrote 23 papers:
- VMCAI-2015-GjomemoNPVZ #optimisation #verification
- From Verification to Optimizations (RG, KSN, PHP, VNV, LDZ), pp. 300–317.
- SAS-2013-NamjoshiZ #program transformation
- Witnessing Program Transformations (KSN, LDZ), pp. 304–323.
- SAS-2011-McMillanZ #abstract interpretation #invariant
- Invisible Invariants and Abstract Interpretation (KLM, LDZ), pp. 249–262.
- CAV-2010-PnueliSZ #algorithm #framework #named #verification
- Jtlv: A Framework for Developing Verification Algorithms (AP, YS, LDZ), pp. 171–174.
- CAV-2008-CohenPZ #memory management #transaction #verification
- Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses (AC, AP, LDZ), pp. 121–134.
- VMCAI-2007-BalabanPZ #analysis
- Shape Analysis of Single-Parent Heaps (IB, AP, LDZ), pp. 91–105.
- ICALP-v2-2006-BalabanPZ #distributed #protocol #safety
- Invisible Safety of Distributed Protocols (IB, AP, LDZ), pp. 528–539.
- VMCAI-2006-SistlaZZ #component #monitoring #off the shelf
- Monitoring Off-the-Shelf Components (APS, MZ, LDZ), pp. 222–236.
- CAV-2005-AronsEFMMSSTVZ #verification
- Formal Verification of Backward Compatibility of Microcode (TA, EE, LF, SMH, MM, JS, ES, AT, MYV, LDZ), pp. 185–198.
- CAV-2005-BalabanFPZ #invariant #named #verification
- IIV: An Invisible Invariant Verifier (IB, YF, AP, LDZ), pp. 408–412.
- CAV-2005-BarrettFGHPZ #compilation #named #optimisation #validation
- TVOC: A Translation Validator for Optimizing Compilers (CWB, YF, BG, YH, AP, LDZ), pp. 291–295.
- VMCAI-2005-BalabanPZ #abstraction #analysis
- Shape Analysis by Predicate Abstraction (IB, AP, LDZ), pp. 164–180.
- TACAS-2004-FangPPZ #liveness #ranking
- Liveness with Incomprehensible Ranking (YF, NP, AP, LDZ), pp. 482–496.
- VMCAI-2004-FangPPZ #liveness #ranking
- Liveness with Invisible Ranking (YF, NP, AP, LDZ), pp. 223–238.
- FoSSaCS-2003-AronsPZ #abstraction #probability #verification
- Parameterized Verification by Probabilistic Abstraction (TA, AP, LDZ), pp. 87–102.
- VMCAI-2003-PnueliZ #abstraction #model checking
- Model-Checking and Abstraction to the Aid of Parameterized Systems (AP, LDZ), p. 4.
- CAV-2002-PnueliXZ #abstraction #liveness
- Liveness with (0, 1, infty)-Counter Abstraction (AP, JX, LDZ), pp. 107–122.
- VMCAI-2002-ZuckPK #automation #probability #verification
- Automatic Verification of Probabilistic Free Choice (LDZ, AP, YK), pp. 208–224.
- CAV-2001-AronsPRXZ #automation #induction #verification
- Parameterized Verification with Automatically Computed Inductive Assertions (TA, AP, SR, JX, LDZ), pp. 221–234.
- TACAS-2001-PnueliRZ #automation #deduction #invariant #verification
- Automatic Deductive Verification with Invisible Invariants (AP, SR, LDZ), pp. 82–97.
- CAV-1991-Sistla #automation #verification
- Automatic Temporal Verification of Buffer Systems (APS, LDZ), pp. 59–69.
- LICS-1987-SistlaZ #logic #on the
- On the Eventuality Operator in Temporal Logic (APS, LDZ), pp. 153–166.
- LICS-1986-PnueliZ #probability #verification
- Probabilistic Verification by Tableaux (AP, LDZ), pp. 322–331.