Lenore Zuck

Q: What Schools Are Affiliated With Lenore Zuck

Lenore Zuck is affiliated with the following schools: Weizmann Institute of Science, Tel Aviv University, Stanford University, University of Illinois Chicago

Lenore Zuck's AcademicInfluence.com Rankings

Lenore Zuck

Computer Science

#11253

World Rank

#11903

Historical Rank

Computational Linguistics

#2998

World Rank

#3033

Historical Rank

Machine Learning

#5445

World Rank

#5517

Historical Rank

Artificial Intelligence

#5881

World Rank

#5971

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Lenore Zuck Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Lenore D. Zuck is an Israeli-American computer scientist whose research involves formal methods in software engineering, as well as information privacy. She is a research professor of computer science at the University of Illinois Chicago.

(See a Problem?)

Lenore Zuck's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Glory of the Past (1985) (543)
Automatic Deductive Verification with Invisible Invariants (2001) (254)
Parameterized Verification with Automatically Computed Inductive Assertions (2001) (195)
Liveness with (0, 1, infty)-Counter Abstraction (2002) (174)
Verification of multiprocess probabilistic protocols (1984) (143)
A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols (1992) (142)
Probabilistic Verification (1993) (109)
Liveness with (0, 1, ∞)-counter abstraction (2002) (108)
Shape Analysis by Predicate Abstraction (2005) (97)
Jtlv: A Framework for Developing Verification Algorithms (2010) (91)
VOC: A Methodology for the Translation Validation of OptimizingCompilers (2003) (89)
TVOC: A Translation Validator for Optimizing Compilers (2005) (82)
Reliable communication over unreliable channels (1994) (72)
VOC: A Translation Validator for Optimizing Compilers (2002) (69)
Model checking and abstraction to the aid of parameterized systems (a survey) (2004) (67)
Network Invariants in Action (2002) (63)
Verifying Correctness of Transactional Memories (2007) (59)
Translation and Run-Time Validation of Loop Transformations (2005) (56)
Liveness with invisible ranking (2004) (56)
The faithfulness of abstract protocol analysis: message authentication (2001) (55)
From Falsification to Verification (2001) (48)
Tight bounds for the sequence transmission problem (1989) (45)
Formal Verification of Backward Compatibility of Microcode (2005) (44)
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers (2005) (43)
Probabilistic Verification by Tableaux (1986) (40)
From model checking to a temporal proof (2001) (36)
Witnessing Program Transformations (2013) (35)
Formal specification and testing of QUIC (2019) (34)
On What Linda Is: Formal Description of Linda as a Reactive System (1997) (32)
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses (2008) (27)
Reasoning in a Restricted Temporal Logic (1993) (24)
Shape Analysis of Single-Parent Heaps (2007) (24)
Model-Checking and Abstraction to the Aid of Parameterized Systems (2002) (24)
Reasoning about Uncertainty in Fault-tolerant Distributed Systems (1988) (24)
Liveness with Incomprehensible Ranking (2004) (23)
Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness (2013) (23)
Translation and Run-Time Validation of Optimized Code (2002) (23)
Parameterized Verification by Probabilistic Abstraction (2003) (22)
Automatic Verification of Probabilistic Free Choice (2002) (20)
Validation of Optimizing Compilers (2001) (20)
Timed Ethernet: Real-Time Formal Specification of Ethernet (1992) (18)
From Model Checking to a Temporal Proof for Partial Models (2017) (17)
IIV: An Invisible Invariant Verifier (2005) (17)
TamperProof: a server-agnostic defense for parameter tampering attacks on web applications (2013) (17)
Monitoring Interfaces for Faults (2006) (17)
In and out of temporal logic (1993) (17)
Modular Ranking Abstraction (2007) (16)
Liveness by Invisible Invariants (2006) (14)
Automatic Temporal Verification of Buffer Systems (1991) (13)
Model Check What You Can, Runtime Verify the Rest (2014) (13)
From requirements to specifications (2005) (12)
Ethics in Data Sharing: Developing a Model for Best Practice (2014) (11)
Taming Interface Specifications (2005) (11)
Invisible Invariants and Abstract Interpretation (2011) (11)
On the Eventuality Operator in Temporal Logic (1987) (11)
A Witnessing Compiler: A Proof of Concept (2013) (11)
Invisible Safety of Distributed Protocols (2006) (10)
Ranking Abstraction as Companion to Predicate Abstraction (2005) (9)
From Verification to Optimizations (2015) (9)
Specification and Verification of LambdaRAM- A Wide-area Distributed Cache for High Performance Computing (2008) (9)
Games I/O Automata Play (Extended Abstract) (1992) (9)
Monitoring Off-the-Shelf Components (2006) (8)
Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust (2020) (8)
WAVES: Automatic Synthesis of Client-Side Validation Code for Web Applications (2012) (8)
Runtime verification: the application perspective (2012) (7)
Real-time sequence transmission problem (1991) (6)
Verification of Transactional Memories that Support Non-Transactional Memory Accesses (2008) (6)
Access Control and Information Flow in Transactional Memory (2009) (5)
Parallelizing a Symbolic Compositional Model-Checking Algorithm (2010) (5)
Proving the Refuted: Symbolic Model Checkers as Proof Generators (2010) (5)
The faithfulness of abstract protocol analysis (2001) (5)
Relative Knowledge and Belief (Extended Abstract). (1987) (4)
WEBLOG: a declarative language for secure web development (2013) (4)
Test Case Generation for Ultimately Periodic Paths (2007) (4)
An Invisible Invariant Verifier (2005) (4)
Run-Time Validation of Speculative Optimizations using CVC (2003) (4)
Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers (2016) (3)
Invisible Invariants Are Neither (2019) (3)
Improved Invariant Generation for Tvoc (2007) (3)
Abstract Counterexamples for Non-disjunctive Abstractions (2009) (3)
Ethical and Secure Data Sharing across Borders (2012) (3)
Compositional Testing of Internet Protocols (2019) (3)
Verification of multi-linked heaps (2012) (2)
Shape analysis by augmentation, abstraction, and transformation (2007) (2)
Uncertain Knowledge in Distributed Systems. (1988) (2)
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings (2002) (2)
P^5 : Planner-less Proofs of Probabilistic Parameterized Protocols (2018) (2)
CAVEAT: Facilitating interactive and secure client-side validators for ruby on rails applications (2013) (2)
Ethics in Data Sharing (Dagstuhl Seminar 14052) (2014) (2)
Formal Verification of Optimizing Compilers (2018) (1)
Limited Mobility, Eventual Stability (2015) (1)
Adaptive algorithms for PASO systems (1994) (1)
On Policies and Intents (2012) (1)
Don't Repeat Yourself: Automatically Synthesizing Client-side Validation Code for Web Applications (2012) (1)
Preface by the section editors (2004) (1)
On what linda is (1997) (1)
Runtime verification: the application perspective (2014) (0)
A Switch, in Time (2015) (0)
Special issue of VMCAI'03 (2004) (0)
Must Organic certification fundamentally change for an Organic World (2014) (0)
Review: David Harel, Dynamic Logic (1989) (0)
Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (2008) (0)
Improved Invariant Generation for Tvoc Yi Fang 1 (2007) (0)
Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation (2002) (0)
Dynamic relocation in ridesharing via fixpoint construction (2022) (0)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2008) (0)
SPECIAL S ECTION O N T OOLS A ND A LGORITHMS F OR THE C ONSTRUCTION A ND A NALYSIS O F S YSTEMS (2006) (0)
Obituary of Amir Pnueli (1941-2009) (2010) (0)
Adaptive Algorithms for Paso Systems Adaptive Algorithms for Paso Systems (1994) (0)
Self-Similarity Breeds Resilience (2016) (0)
An Annotation Framework for LLVM Compiler Infrastructure (2013) (0)
Editorʼs foreword (2012) (0)
Speech: A Modest Proposal to the NSA (2014) (0)
Dynamic Relocation in Ridesharing via Fixpoint Construction (Supplementary material) (2022) (0)
Transformational Development of Reactive Systems (2002) (0)
Reasoning about Network Topologies in Space (2014) (0)
Lecture Notes in Computer Science: Preface (2005) (0)

This paper list is powered by the following services:

Other Resources About Lenore Zuck

en.wikipedia.org

What Schools Are Affiliated With Lenore Zuck?

Lenore Zuck is affiliated with the following schools:

Lenore Zuck's Academic­Influence.com Rankings

Why Is Lenore Zuck Influential?

Lenore Zuck's Published Works

Published Works

Other Resources About Lenore Zuck

What Schools Are Affiliated With Lenore Zuck?

Lenore Zuck's AcademicInfluence.com Rankings