The following pages link to Lenore D. Zuck (Q439947):
Displaying 40 items.
- Verification of multi-linked heaps (Q439948) (← links)
- (Q812057) (redirect page) (← links)
- Translation and run-time validation of loop transformations (Q812060) (← links)
- Verification of multiprocess probabilistic protocols (Q1079944) (← links)
- Probabilistic verification (Q1803654) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- (Q2769579) (← links)
- $$P^5$$ : Planner-less Proofs of Probabilistic Parameterized Protocols (Q3296338) (← links)
- MODULAR RANKING ABSTRACTION (Q3426785) (← links)
- Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses (Q3512488) (← links)
- Invisible Safety of Distributed Protocols (Q3591451) (← links)
- Liveness by Invisible Invariants (Q3613081) (← links)
- Abstract Counterexamples for Non-disjunctive Abstractions (Q3646262) (← links)
- (Q3711745) (← links)
- (Q3811756) (← links)
- A little knowledge goes a long way (Q4302799) (← links)
- (Q4414374) (← links)
- (Q4417853) (← links)
- (Q4474227) (← links)
- (Q4484481) (← links)
- (Q4531749) (← links)
- (Q4551152) (← links)
- (Q4736998) (← links)
- (Q4804890) (← links)
- (Q5015358) (← links)
- From Verification to Optimizations (Q5172650) (← links)
- Proving the Refuted: Symbolic Model Checkers as Proof Generators (Q5187831) (← links)
- From Model Checking to a Temporal Proof for Partial Models (Q5194652) (← links)
- Real-time sequence transmission problem (Q5255813) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308428) (← links)
- Adaptive algorithms for PASO systems (Q5361417) (← links)
- Parallelizing a Symbolic Compositional Model-Checking Algorithm (Q5391523) (← links)
- Shape Analysis of Single-Parent Heaps (Q5452600) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479145) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711489) (← links)
- Computer Aided Verification (Q5716558) (← links)
- Computer Aided Verification (Q5716568) (← links)
- Computer Aided Verification (Q5716581) (← links)
- A Switch, in Time (Q5857796) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901911) (← links)
