Lenore D. Zuck

Affiliations:
  • University of Illinois at Chicago, USA


According to our database1, Lenore D. Zuck authored at least 90 papers between 1985 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Formal specification and testing of QUIC.
Proceedings of the ACM Special Interest Group on Data Communication, 2019

Compositional Testing of Internet Protocols.
Proceedings of the 2019 IEEE Cybersecurity Development, 2019

Invisible Invariants Are Neither.
Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

2018
P^5 : Planner-less Proofs of Probabilistic Parameterized Protocols.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Formal Verification of Optimizing Compilers.
Proceedings of the Distributed Computing and Internet Technology, 2018

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

From Model Checking to a Temporal Proof for Partial Models.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016
Self-Similarity Breeds Resilience.
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.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

2015
Runtime verification: the application perspective.
Int. J. Softw. Tools Technol. Transf., 2015

From Verification to Optimizations.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

A Switch, in Time.
Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Limited Mobility, Eventual Stability.
Proceedings of the Hardware and Software: Verification and Testing, 2015

2014
Ethics in Data Sharing: Developing a Model for Best Practice.
Proceedings of the 35. IEEE Security and Privacy Workshops, 2014

Reasoning about Network Topologies in Space.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Model Check What You Can, Runtime Verify the Rest.
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013
Witnessing Program Transformations.
Proceedings of the Static Analysis - 20th International Symposium, 2013

A Witnessing Compiler: A Proof of Concept.
Proceedings of the Runtime Verification - 4th International Conference, 2013

WEBLOG: a declarative language for secure web development.
Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness.
Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

TamperProof: a server-agnostic defense for parameter tampering attacks on web applications.
Proceedings of the Third ACM Conference on Data and Application Security and Privacy, 2013

2012
Editorʼs foreword.
J. Comput. Syst. Sci., 2012

Verification of multi-linked heaps.
J. Comput. Syst. Sci., 2012

Don't Repeat Yourself: Automatically Synthesizing Client-side Validation Code for Web Applications.
Proceedings of the 3rd USENIX Conference on Web Application Development, 2012

On Policies and Intents.
Proceedings of the Information Systems Security, 8th International Conference, 2012

Ethical and Secure Data Sharing across Borders.
Proceedings of the Financial Cryptography and Data Security, 2012

WAVES: Automatic Synthesis of Client-Side Validation Code for Web Applications.
Proceedings of the 2012 ASE International Conference on Cyber Security, 2012

2011
Invisible Invariants and Abstract Interpretation.
Proceedings of the Static Analysis - 18th International Symposium, 2011

2010
Parallelizing a Symbolic Compositional Model-Checking Algorithm.
Proceedings of the Hardware and Software: Verification and Testing, 2010

Jtlv: A Framework for Developing Verification Algorithms.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Proving the Refuted: Symbolic Model Checkers as Proof Generators.
Proceedings of the Concurrency, 2010

2009
Abstract Counterexamples for Non-disjunctive Abstractions.
Proceedings of the Reachability Problems, 3rd International Workshop, 2009

2008
Specification and Verification of LambdaRAM: A Wide-area Distributed Cache for High Performance Computing.
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.
Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Modular Ranking Abstraction.
Int. J. Found. Comput. Sci., 2007

Improved Invariant Generation for Tvoc.
Electron. Notes Theor. Comput. Sci., 2007

Shape Analysis of Single-Parent Heaps.
Proceedings of the Verification, 2007

Test Case Generation for Ultimately Periodic Paths.
Proceedings of the Hardware and Software: Verification and Testing, 2007

Verifying Correctness of Transactional Memories.
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006
Liveness with invisible ranking.
Int. J. Softw. Tools Technol. Transf., 2006

Monitoring Interfaces for Faults.
Electron. Notes Theor. Comput. Sci., 2006

Monitoring Off-the-Shelf Components.
Proceedings of the Verification, 2006

Invisible Safety of Distributed Protocols.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

Liveness by Invisible Invariants.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005
Translation and Run-Time Validation of Loop Transformations.
Formal Methods Syst. Des., 2005

Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers.
Electron. Notes Theor. Comput. Sci., 2005

Shape Analysis by Predicate Abstraction.
Proceedings of the Verification, 2005

Ranking Abstraction as Companion to Predicate Abstraction.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

From Requirements to Specifications.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Taming Interface Specifications.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

TVOC: A Translation Validator for Optimizing Compilers.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

IIV: An Invisible Invariant Verifier.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Formal Verification of Backward Compatibility of Microcode.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
Preface by the section editors.
Int. J. Softw. Tools Technol. Transf., 2004

The faithfulness of abstract protocol analysis: Message authentication.
J. Comput. Secur., 2004

Model checking and abstraction to the aid of parameterized systems (a survey).
Comput. Lang. Syst. Struct., 2004

Special issue of VMCAI'03.
Comput. Lang. Syst. Struct., 2004

Liveness with Incomprehensible Ranking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2003
VOC: A Methodology for the Translation Validation of OptimizingCompilers.
J. Univers. Comput. Sci., 2003

Run-Time Validation of Speculative Optimizations using CVC.
Electron. Notes Theor. Comput. Sci., 2003

Model-Checking and Abstraction to the Aid of Parameterized Systems.
Proceedings of the Verification, 2003

Parameterized Verification by Probabilistic Abstraction.
Proceedings of the Foundations of Software Science and Computational Structures, 2003

2002
Translation and Run-Time Validation of Optimized Code.
Electron. Notes Theor. Comput. Sci., 2002

VOC: A Translation Validator for Optimizing Compilers.
Electron. Notes Theor. Comput. Sci., 2002

Automatic Verification of Probabilistic Free Choice.
Proceedings of the Verification, 2002

Network Invariants in Action.
Proceedings of the CONCUR 2002, 2002

Liveness with (0, 1, infty)-Counter Abstraction.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Automatic Deductive Verification with Invisible Invariants.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

From Model Checking to a Temporal Proof.
Proceedings of the Model Checking Software, 2001

From Falsification to Verification.
Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

Parameterized Verification with Automatically Computed Inductive Assertions.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1997
On What Linda Is: Formal Description of Linda as a Reactive System.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1994
Reliable Communication Over Unreliable Channels.
J. ACM, 1994

Adaptive Algorithms for PASO Systems.
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

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

1993
Probabilistic Verification
Inf. Comput., March, 1993

Reasoning in a Restricted Temporal Logic
Inf. Comput., February, 1993

In and Out of Temporal Logic
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.
J. ACM, 1992

Timed Ethernet: Real-Time Formal Specification of Ethernet.
Proceedings of the CONCUR '92, 1992

Games I/O Automata Play (Extended Abstract).
Proceedings of the CONCUR '92, 1992

1991
Real-Time Sequence Transmission Problem.
Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

Automatic Temporal Verification of Buffer Systems.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989
Tight Bounds for the Sequence Transmission Problem.
Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989

1988
Reasoning about Uncertainty in Fault-tolerant Distributed Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

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

1986
Verification of Multiprocess Probabilistic Protocols.
Distributed Comput., 1986

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

1985
The Glory of the Past.
Proceedings of the Logics of Programs, 1985


  Loading...