The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lenore D. Zuck: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Amir Pnueli, Lenore D. Zuck
    Probabilistic Verification by Tableaux [Citation Graph (1, 0)][DBLP]
    LICS, 1986, pp:322-331 [Conf]
  2. Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck
    Parameterized Verification with Automatically Computed Inductive Assertions. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:221-234 [Conf]
  3. Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck
    TVOC: A Translation Validator for Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:291-295 [Conf]
  4. Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck
    IIV: An Invisible Invariant Verifier. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:408-412 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:185-198 [Conf]
  6. Amir Pnueli, Jessie Xu, Lenore D. Zuck
    Liveness with (0, 1, infty)-Counter Abstraction. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:107-122 [Conf]
  7. A. Prasad Sistla, Lenore D. Zuck
    Automatic Temporal Verification of Buffer Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:59-69 [Conf]
  8. Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck
    The faithfulness of abstract protocol analysis: message authentication. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer and Communications Security, 2001, pp:186-195 [Conf]
  9. Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck
    Network Invariants in Action. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:101-115 [Conf]
  10. Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck
    Taming Interface Specifications. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:548-561 [Conf]
  11. Nick Reingold, Da-Wei Wang, Lenore D. Zuck
    Games I/O Automata Play (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:325-339 [Conf]
  12. Henri B. Weinberg, Lenore D. Zuck
    Timed Ethernet: Real-Time Formal Specification of Ethernet. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:370-385 [Conf]
  13. David Gelernter, Lenore D. Zuck
    On What Linda Is: Formal Description of Linda as a Reactive System. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:187-204 [Conf]
  14. Cory Plock, Benjamin Goldberg, Lenore D. Zuck
    From Requirements to Specifications. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:183-190 [Conf]
  15. Nicholas Carriero, David Gelernter, Lenore D. Zuck
    Bauhaus Linda. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshop, 1994, pp:66-76 [Conf]
  16. Ittai Balaban, Amir Pnueli, Lenore D. Zuck
    Ranking Abstraction as Companion to Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:1-12 [Conf]
  17. Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck
    Liveness by Invisible Invariants. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:356-371 [Conf]
  18. Tamarah Arons, Amir Pnueli, Lenore D. Zuck
    Parameterized Verification by Probabilistic Abstraction. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:87-102 [Conf]
  19. Doron Peled, Amir Pnueli, Lenore D. Zuck
    From Falsification to Verification. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2001, pp:292-304 [Conf]
  20. Michael J. Fischer, Lenore D. Zuck
    Reasoning about Uncertainty in Fault-tolerant Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1988, pp:142-158 [Conf]
  21. Ittai Balaban, Amir Pnueli, Lenore D. Zuck
    Invisible Safety of Distributed Protocols. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:528-539 [Conf]
  22. Amir Pnueli, Lenore D. Zuck
    In and Out of Temporal Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1993, pp:124-135 [Conf]
  23. A. Prasad Sistla, Lenore D. Zuck
    On the Eventuality Operator in Temporal Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:153-166 [Conf]
  24. Orna Lichtenstein, Amir Pnueli, Lenore D. Zuck
    The Glory of the Past. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:196-218 [Conf]
  25. Amir Pnueli, Lenore D. Zuck
    Verification of Multiprocess Probabilistic Protocols. [Citation Graph (0, 0)][DBLP]
    PODC, 1984, pp:12-27 [Conf]
  26. Da-Wei Wang, Lenore D. Zuck
    Tight Bounds for the Sequence Transmission Problem. [Citation Graph (0, 0)][DBLP]
    PODC, 1989, pp:73-83 [Conf]
  27. Da-Wei Wang, Lenore D. Zuck
    Real-Time Sequence Transmission Problem. [Citation Graph (0, 0)][DBLP]
    PODC, 1991, pp:111-123 [Conf]
  28. Jeffery Westbrook, Lenore D. Zuck
    Adaptive Algorithms for PASO Systems. [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:264-273 [Conf]
  29. Doron Peled, Lenore D. Zuck
    From Model Checking to a Temporal Proof. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:1-14 [Conf]
  30. Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
    Liveness with Incomprehensible Ranking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:482-496 [Conf]
  31. Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck
    Automatic Deductive Verification with Invisible Invariants. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:82-97 [Conf]
  32. Ittai Balaban, Amir Pnueli, Lenore D. Zuck
    Shape Analysis by Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:164-180 [Conf]
  33. Amir Pnueli, Lenore D. Zuck
    Model-Checking and Abstraction to the Aid of Parameterized Systems. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:4- [Conf]
  34. Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
    Liveness with Invisible Ranking. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:223-238 [Conf]
  35. A. Prasad Sistla, Min Zhou, Lenore D. Zuck
    Monitoring Off-the-Shelf Components. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:222-236 [Conf]
  36. Lenore D. Zuck, Amir Pnueli, Yonit Kesten
    Automatic Verification of Probabilistic Free Choice. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:208-224 [Conf]
  37. Lenore D. Zuck
    Special issue of VMCAI'03. [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:97-98 [Journal]
  38. Lenore D. Zuck, Amir Pnueli
    Model checking and abstraction to the aid of parameterized systems (a survey). [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:139-169 [Journal]
  39. Amir Pnueli, Lenore D. Zuck
    Verification of Multiprocess Probabilistic Protocols. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1986, v:1, n:1, pp:53-72 [Journal]
  40. Clark W. Barrett, Benjamin Goldberg, Lenore D. Zuck
    Run-Time Validation of Speculative Optimizations using CVC. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  41. Benjamin Goldberg, Lenore D. Zuck, Clark W. Barrett
    Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:53-71 [Journal]
  42. Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck
    Monitoring Interfaces for Faults. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:73-89 [Journal]
  43. Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg
    VOC: A Translation Validator for Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
  44. Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu
    Translation and Run-Time Validation of Optimized Code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
  45. Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu
    Translation and Run-Time Validation of Loop Transformations. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:27, n:3, pp:335-360 [Journal]
  46. Amir Pnueli, Lenore D. Zuck
    Probabilistic Verification [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:103, n:1, pp:1-29 [Journal]
  47. A. Prasad Sistla, Lenore D. Zuck
    Reasoning in a Restricted Temporal Logic [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:102, n:2, pp:167-195 [Journal]
  48. Ittai Balaban, Amir Pnueli, Lenore D. Zuck
    Modular Ranking Abstraction. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:5-44 [Journal]
  49. 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. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1994, v:41, n:6, pp:1267-1297 [Journal]
  50. Joseph Y. Halpern, Lenore D. Zuck
    A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1992, v:39, n:3, pp:449-478 [Journal]
  51. Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck
    The faithfulness of abstract protocol analysis: Message authentication. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2004, v:12, n:6, pp:865-891 [Journal]
  52. Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg
    VOC: A Methodology for the Translation Validation of OptimizingCompilers. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:3, pp:223-247 [Journal]
  53. Lenore D. Zuck, Paul C. Attie, Agostino Cortesi
    Preface by the section editors. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:1, pp:1-3 [Journal]
  54. Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
    Liveness with invisible ranking. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:261-279 [Journal]
  55. Yi Fang, Lenore D. Zuck
    Improved Invariant Generation for Tvoc. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:21-35 [Journal]

  56. Proving the Refuted: Symbolic Model Checkers as Proof Generators. [Citation Graph (, )][DBLP]


  57. Jtlv: A Framework for Developing Verification Algorithms. [Citation Graph (, )][DBLP]


  58. Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses. [Citation Graph (, )][DBLP]


  59. Verifying Correctness of Transactional Memories. [Citation Graph (, )][DBLP]


  60. Test Case Generation for Ultimately Periodic Paths. [Citation Graph (, )][DBLP]


  61. Access Control and Information Flow in Transactional Memory. [Citation Graph (, )][DBLP]


  62. Specification and Verification of LambdaRAM: A Wide-area Distributed Cache for High Performance Computing. [Citation Graph (, )][DBLP]


  63. Shape Analysis of Single-Parent Heaps. [Citation Graph (, )][DBLP]


  64. Abstract Counterexamples for Non-disjunctive Abstractions. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002