David L. Dill

Available identifiers

zbMath Open dill.david-lMaRDI QIDQ685109

List of research outcomes

Publication	Date of Publication	Type
Checking for language inclusion using simulation preorders	2024-04-29	Paper
Reasoning about vectors: satisfiability modulo a theory of sequences	2023-10-24	Paper
Reluplex: a calculus for reasoning about deep neural networks	2023-06-29	Paper
Reasoning about vectors using an SMT theory of sequences	2022-12-07	Paper
Reluplex: an efficient SMT solver for verifying deep neural networks	2022-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q2848053	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2844808	2013-08-19	Paper
Computer Aided Verification	2010-04-20	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
A Retrospective on Murϕ	2008-07-15	Paper
A Decision Procedure for Bit-Vectors and Arrays	2007-11-29	Paper
Model Checking Software	2006-11-01	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4817526	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4817541	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4809074	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4737130	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4427892	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4427903	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4417953	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4413259	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4804899	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4804919	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4787244	2003-01-09	Paper
Efficient algorithms for approximate time separation of events	2002-11-27	Paper
Formal verification of out-of-order execution with incremental flushing	2002-07-08	Paper
Parallelizing the \(\text{Mur}\varphi\) verifier	2001-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q2723410	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4255564	1999-08-17	Paper
Verification of cache coherence protocols by aggregation of distributed transactions	1999-01-11	Paper
A theory of timed automata	1994-05-05	Paper
Model-checking in dense real-time	1993-12-06	Paper
Verification of a multiprocessor cache protocol using simulation relations and higher-order logic	1993-09-30	Paper
Specification and automatic verification of self-timed queues	1993-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q4036557	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037097	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037098	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037392	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037395	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4038702	1993-05-18	Paper
Symbolic model checking: \(10^{20}\) states and beyond	1992-09-27	Paper
Automatic Verification of Sequential Circuits Using Temporal Logic	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4721963	1986-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: David L. Dill