Lenore D. Zuck
University of Illinois Chicago(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Security and Verification in Computing, Model-Driven Software Engineering Techniques
Most-Cited Works
- → The glory of the past(1985)462 cited
- → Automatic Deductive Verification with Invisible Invariants(2001)231 cited
- → Parameterized Verification with Automatically Computed Inductive Assertions?(2001)186 cited
- → Liveness with (0,1, ∞)- Counter Abstraction(2002)147 cited
- → A little knowledge goes a long way(1992)135 cited
- → Verification of multiprocess probabilistic protocols(1986)121 cited
- → Probabilistic Verification(1993)88 cited