Lenore D. Zuck

According to our database, Lenore D. Zuck authored at least 94 papers between 1985 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

A Case Study in Analytic Protocol Analysis in ACL2.

Max von Hippel, Panagiotis Manolios, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023

A Formal Analysis of Karn's Algorithm.

Max von Hippel, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck

Proceedings of the Networked Systems - 11th International Conference, 2023

2022

Dynamic relocation in ridesharing via fixpoint construction.

Ian A. Kash, Zhongkai Wen, Lenore D. Zuck

Proceedings of the Uncertainty in Artificial Intelligence, 2022

2020

Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust.

Ufuk Topcu, Nadya Bliss, Nancy J. Cooke, Missy L. Cummings, Ashley J. Llorens, Howard E. Shrobe, Lenore D. Zuck

CoRR, 2020

2019

Formal specification and testing of QUIC.

Kenneth L. McMillan, Lenore D. Zuck

Proceedings of the ACM Special Interest Group on Data Communication, 2019

Compositional Testing of Internet Protocols.

Kenneth L. McMillan, Lenore D. Zuck

Proceedings of the 2019 IEEE Cybersecurity Development, 2019

Invisible Invariants Are Neither.

Lenore D. Zuck, Kenneth L. McMillan

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

2018

P^5 : Planner-less Proofs of Probabilistic Parameterized Protocols.

Lenore D. Zuck, Kenneth L. McMillan, Jordan Torf

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Formal Verification of Optimizing Compilers.

Yiji Zhang, Lenore D. Zuck

Proceedings of the Distributed Computing and Internet Technology, 2018

2017

From model checking to a temporal proof for partial models: preliminary example.

Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi

CoRR, 2017

From Model Checking to a Temporal Proof for Partial Models.

Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Self-Similarity Breeds Resilience.

Sanjiva Prasad, Lenore D. Zuck

Proceedings of the Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, 2016

Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers.

Rigel Gjomemo, Phu H. Phung, Edmund Ballou, Kedar S. Namjoshi, V. N. Venkatakrishnan, Lenore D. Zuck

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

2015

Runtime verification: the application perspective.

Yliès Falcone, Lenore D. Zuck

Int. J. Softw. Tools Technol. Transf., 2015

From Verification to Optimizations.

Rigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V. N. Venkatakrishnan, Lenore D. Zuck

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

A Switch, in Time.

Lenore D. Zuck, Sanjiva Prasad

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Limited Mobility, Eventual Stability.

Lenore D. Zuck, Sanjiva Prasad

Proceedings of the Hardware and Software: Verification and Testing, 2015

2014

Ethics in Data Sharing: Developing a Model for Best Practice.

Sven Dietrich, Jeroen van der Ham, Aiko Pras, Roland van Rijswijk-Deij, Darren Shou, Anna Sperotto, Aimee van Wynsberghe, Lenore D. Zuck

Proceedings of the 35. IEEE Security and Privacy Workshops, 2014

Reasoning about Network Topologies in Space.

Lenore D. Zuck, Kenneth L. McMillan

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Model Check What You Can, Runtime Verify the Rest.

Timothy L. Hinrichs, A. Prasad Sistla, Lenore D. Zuck

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013

Witnessing Program Transformations.

Kedar S. Namjoshi, Lenore D. Zuck

Proceedings of the Static Analysis - 20th International Symposium, 2013

A Witnessing Compiler: A Proof of Concept.

Kedar S. Namjoshi, Giacomo Tagliabue, Lenore D. Zuck

Proceedings of the Runtime Verification - 4th International Conference, 2013

WEBLOG: a declarative language for secure web development.

Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness.

Timothy L. Hinrichs, Diego Martinoia, William C. Garrison III, Adam J. Lee, Alessandro Panebianco, Lenore D. Zuck

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

TamperProof: a server-agnostic defense for parameter tampering attacks on web applications.

Nazari Skrupsky, Prithvi Bisht, Timothy L. Hinrichs, V. N. Venkatakrishnan, Lenore D. Zuck

Proceedings of the Third ACM Conference on Data and Application Security and Privacy, 2013

2012

Editorʼs foreword.

Ahmed Bouajjani, David Harel, Lenore D. Zuck

J. Comput. Syst. Sci., 2012

Verification of multi-linked heaps.

Ittai Balaban, Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck

J. Comput. Syst. Sci., 2012

Don't Repeat Yourself: Automatically Synthesizing Client-side Validation Code for Web Applications.

Nazari Skrupsky, Maliheh Monshizadeh, Prithvi Bisht, Timothy L. Hinrichs, Venkat N. Venkatakrishnan, Lenore D. Zuck

Proceedings of the 3rd USENIX Conference on Web Application Development, 2012

On Policies and Intents.

Matthew L. Bolton, Celeste M. Wallace, Lenore D. Zuck

Proceedings of the Information Systems Security, 8th International Conference, 2012

Ethical and Secure Data Sharing across Borders.

José M. Fernandez, Andrew S. Patrick, Lenore D. Zuck

Proceedings of the Financial Cryptography and Data Security, 2012

WAVES: Automatic Synthesis of Client-Side Validation Code for Web Applications.

Nazari Skrupsky, Maliheh Monshizadeh, Prithvi Bisht, Timothy L. Hinrichs, V. N. Venkatakrishnan, Lenore D. Zuck

Proceedings of the 2012 ASE International Conference on Cyber Security, 2012

2011

Invisible Invariants and Abstract Interpretation.

Kenneth L. McMillan, Lenore D. Zuck

Proceedings of the Static Analysis - 18th International Symposium, 2011

2010

Parallelizing a Symbolic Compositional Model-Checking Algorithm.

Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova

Proceedings of the Hardware and Software: Verification and Testing, 2010

Jtlv: A Framework for Developing Verification Algorithms.

Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Proving the Refuted: Symbolic Model Checkers as Proof Generators.

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Proceedings of the Concurrency, 2010

2009

Abstract Counterexamples for Non-disjunctive Abstractions.

Kenneth L. McMillan, Lenore D. Zuck

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

2008

Specification and Verification of LambdaRAM: A Wide-area Distributed Cache for High Performance Computing.

Venkatram Vishwanath, Lenore D. Zuck, Jason Leigh

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Access Control and Information Flow in Transactional Memory.

Ariel Cohen, Ron van der Meyden, Lenore D. Zuck

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses.

Ariel Cohen, Amir Pnueli, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Modular Ranking Abstraction.

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Int. J. Found. Comput. Sci., 2007

Shape Analysis of Single-Parent Heaps.

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Proceedings of the Verification, 2007

Test Case Generation for Ultimately Periodic Paths.

Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck

Proceedings of the Hardware and Software: Verification and Testing, 2007

Verifying Correctness of Transactional Memories.

Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

Liveness with invisible ranking.

Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck

Int. J. Softw. Tools Technol. Transf., 2006

Improved Invariant Generation for Tvoc.

Yi Fang, Lenore D. Zuck

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

Monitoring Off-the-Shelf Components.

A. Prasad Sistla, Min Zhou, Lenore D. Zuck

Proceedings of the Verification, 2006

Invisible Safety of Distributed Protocols.

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

Liveness by Invisible Invariants.

Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Translation and Run-Time Validation of Loop Transformations.

Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu

Formal Methods Syst. Des., 2005

Monitoring Interfaces for Faults.

Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck

Proceedings of the Fifth Workshop on Runtime Verification, 2005

Shape Analysis by Predicate Abstraction.

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Proceedings of the Verification, 2005

Ranking Abstraction as Companion to Predicate Abstraction.

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

From Requirements to Specifications.

Cory Plock, Benjamin Goldberg, Lenore D. Zuck

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Taming Interface Specifications.

Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

TVOC: A Translation Validator for Optimizing Compilers.

Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

IIV: An Invisible Invariant Verifier.

Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Formal Verification of Backward Compatibility of Microcode.

Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Preface by the section editors.

Lenore D. Zuck, Paul C. Attie, Agostino Cortesi

Int. J. Softw. Tools Technol. Transf., 2004

The faithfulness of abstract protocol analysis: Message authentication.

Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck

J. Comput. Secur., 2004

Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers.

Benjamin Goldberg, Lenore D. Zuck, Clark W. Barrett

Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

Model checking and abstraction to the aid of parameterized systems (a survey).

Lenore D. Zuck, Amir Pnueli

Comput. Lang. Syst. Struct., 2004

Special issue of VMCAI'03.

Lenore D. Zuck

Comput. Lang. Syst. Struct., 2004

Liveness with Incomprehensible Ranking.

Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2003

VOC: A Methodology for the Translation Validation of OptimizingCompilers.

Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg

J. Univers. Comput. Sci., 2003

Run-Time Validation of Speculative Optimizations using CVC.

Clark W. Barrett, Benjamin Goldberg, Lenore D. Zuck

Proceedings of the Third Workshop on Run-time Verification, 2003

Model-Checking and Abstraction to the Aid of Parameterized Systems.

Amir Pnueli, Lenore D. Zuck

Proceedings of the Verification, 2003

Parameterized Verification by Probabilistic Abstraction.

Tamarah Arons, Amir Pnueli, Lenore D. Zuck

Proceedings of the Foundations of Software Science and Computational Structures, 2003

2002

Translation and Run-Time Validation of Optimized Code.

Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu

Proceedings of the Runtime Verification 2002, 2002

VOC: A Translation Validator for Optimizing Compilers.

Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg

Proceedings of the Compiler Optimization Meets Compiler Verification, 2002

Automatic Verification of Probabilistic Free Choice.

Lenore D. Zuck, Amir Pnueli, Yonit Kesten

Proceedings of the Verification, 2002

Network Invariants in Action.

Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck

Proceedings of the CONCUR 2002, 2002

Liveness with (0, 1, infty)-Counter Abstraction.

Amir Pnueli, Jessie Xu, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Automatic Deductive Verification with Invisible Invariants.

Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

From Model Checking to a Temporal Proof.

Doron A. Peled, Lenore D. Zuck

Proceedings of the Model Checking Software, 2001

From Falsification to Verification.

Doron A. Peled, Amir Pnueli, Lenore D. Zuck

Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

Parameterized Verification with Automatically Computed Inductive Assertions.

Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1997

On What Linda Is: Formal Description of Linda as a Reactive System.

David Gelernter, Lenore D. Zuck

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1994

Reliable Communication Over Unreliable Channels.

Yehuda Afek, Hagit Attiya, Alan D. Fekete, Michael J. Fischer, Nancy A. Lynch, Yishay Mansour, Da-Wei Wang, Lenore D. Zuck

J. ACM, 1994

Adaptive Algorithms for PASO Systems.

Jeffery R. Westbrook, Lenore D. Zuck

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

Bauhaus Linda.

Nicholas Carriero, David Gelernter, Lenore D. Zuck

Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994

1993

Probabilistic Verification

Amir Pnueli, Lenore D. Zuck

Inf. Comput., March, 1993

Reasoning in a Restricted Temporal Logic

A. Prasad Sistla, Lenore D. Zuck

Inf. Comput., February, 1993

In and Out of Temporal Logic

Amir Pnueli, Lenore D. Zuck

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1992

A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols.

Joseph Y. Halpern, Lenore D. Zuck

J. ACM, 1992

Timed Ethernet: Real-Time Formal Specification of Ethernet.

Henri B. Weinberg, Lenore D. Zuck

Proceedings of the CONCUR '92, 1992

Games I/O Automata Play (Extended Abstract).

Nick Reingold, Da-Wei Wang, Lenore D. Zuck

Proceedings of the CONCUR '92, 1992

1991

Real-Time Sequence Transmission Problem.

Da-Wei Wang, Lenore D. Zuck

Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

Automatic Temporal Verification of Buffer Systems.

A. Prasad Sistla, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989

Tight Bounds for the Sequence Transmission Problem.

Da-Wei Wang, Lenore D. Zuck

Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989

1988

Reasoning about Uncertainty in Fault-tolerant Distributed Systems.

Michael J. Fischer, Lenore D. Zuck

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1987

On the Eventuality Operator in Temporal Logic

A. Prasad Sistla, Lenore D. Zuck

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

Verification of Multiprocess Probabilistic Protocols.

Amir Pnueli, Lenore D. Zuck

Distributed Comput., 1986

Probabilistic Verification by Tableaux

Amir Pnueli, Lenore D. Zuck

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985

The Glory of the Past.

Orna Lichtenstein, Amir Pnueli, Lenore D. Zuck

Proceedings of the Logics of Programs, 1985