☰

Lenore D. Zuck

Affiliations: 
Computer Science New York University, New York, NY, United States 
Area:
Computer Science
Google:
"Lenore Zuck"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Ittai Balaban grad student 2007 NYU
Ariel Cohen grad student 2008 NYU
Uri Klein grad student 2011 NYU

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Skrupsky N, Monshizadeh M, Bisht P, et al. (2013) WAVES: Automatic synthesis of client-side validation code for web applications Proceedings of the 2012 Ase International Conference On Cyber Security, Cybersecurity 2012. 46-53
Balaban I, Pnueli A, Sa'Ar Y, et al. (2012) Verification of multi-linked heaps Journal of Computer and System Sciences. 78: 853-876
Falcone Y, Zuck LD. (2012) Runtime verification: The application perspective Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7609: 284-291
McMillan KL, Zuck LD. (2011) Invisible invariants and abstract interpretation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6887: 249-262
Balaban I, Pnueli A, Zuck LD. (2010) Proving the refuted: Symbolic model checkers as proof generators Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5930: 221-236
McMillan KL, Zuck LD. (2009) Abstract counterexamples for non-disjunctive abstractions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5797: 176-188
Balaban I, Pnueli A, Zuck LD. (2007) Modular ranking abstraction International Journal of Foundations of Computer Science. 18: 5-44
Fang Y, Zuck LD. (2007) Improved Invariant Generation for Tvoc Electronic Notes in Theoretical Computer Science. 176: 21-35
Balaban I, Pnueli A, Zuck LD. (2007) Shape analysis of single-parent heaps Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4349: 91-105
Fang Y, Piterman N, Pnueli A, et al. (2006) Liveness with invisible ranking International Journal On Software Tools For Technology Transfer. 8: 261-279
See more...