Lenore D. Zuck

Available identifiers

zbMath Open zuck.lenore-dMaRDI QIDQ439947

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5015358	2021-12-07	Paper
A Switch, in Time	2021-04-07	Paper
$$P^5$$ : Planner-less Proofs of Probabilistic Parameterized Protocols	2020-07-07	Paper
From Model Checking to a Temporal Proof for Partial Models	2019-09-16	Paper
Adaptive algorithms for PASO systems	2017-09-29	Paper
Real-time sequence transmission problem	2015-06-19	Paper
From Verification to Optimizations	2015-02-04	Paper
Verification of multi-linked heaps	2012-08-17	Paper
Parallelizing a Symbolic Compositional Model-Checking Algorithm	2011-04-06	Paper
Proving the Refuted: Symbolic Model Checkers as Proof Generators	2010-03-09	Paper
Abstract Counterexamples for Non-disjunctive Abstractions	2009-11-19	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
Liveness by Invisible Invariants	2009-03-11	Paper
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses	2008-07-15	Paper
Shape Analysis of Single-Parent Heaps	2008-04-04	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Invisible Safety of Distributed Protocols	2007-09-11	Paper
MODULAR RANKING ABSTRACTION	2007-03-13	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Translation and run-time validation of loop transformations	2006-01-23	Paper
Computer Aided Verification	2006-01-10	Paper
Computer Aided Verification	2006-01-10	Paper
Computer Aided Verification	2006-01-10	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Model checking and abstraction to the aid of parameterized systems (a survey)	2004-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q4736998	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4474227	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4417853	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4414374	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4484481	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4804890	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4551152	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4531749	2002-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q2769579	2002-02-05	Paper
A little knowledge goes a long way	1994-11-13	Paper
Probabilistic verification	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q3811756	1988-01-01	Paper
Verification of multiprocess probabilistic protocols	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3711745	1985-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Lenore D. Zuck