Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
David L. Dill - MaRDI portal

David L. Dill

From MaRDI portal
(Redirected from Person:1193585)
Person:685109

Available identifiers

zbMath Open dill.david-lMaRDI QIDQ685109

List of research outcomes





PublicationDate of PublicationType
Checking for language inclusion using simulation preorders2024-04-29Paper
Reasoning about vectors: satisfiability modulo a theory of sequences2023-10-24Paper
Reluplex: a calculus for reasoning about deep neural networks2023-06-29Paper
Reasoning about vectors using an SMT theory of sequences2022-12-07Paper
Reluplex: an efficient SMT solver for verifying deep neural networks2022-07-01Paper
https://portal.mardi4nfdi.de/entity/Q28480532013-09-25Paper
https://portal.mardi4nfdi.de/entity/Q28448082013-08-19Paper
Computer Aided Verification2010-04-20Paper
Correct Hardware Design and Verification Methods2010-02-05Paper
A Retrospective on Murϕ2008-07-15Paper
A Decision Procedure for Bit-Vectors and Arrays2007-11-29Paper
Model Checking Software2006-11-01Paper
Formal Methods in Computer-Aided Design2006-10-20Paper
Correct Hardware Design and Verification Methods2006-10-20Paper
Automated Technology for Verification and Analysis2006-10-10Paper
Computer Aided Verification2005-08-25Paper
https://portal.mardi4nfdi.de/entity/Q48175262004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q48175412004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q48090742004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q47371302004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44278922003-09-14Paper
https://portal.mardi4nfdi.de/entity/Q44279032003-09-14Paper
https://portal.mardi4nfdi.de/entity/Q44179532003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44132592003-07-17Paper
https://portal.mardi4nfdi.de/entity/Q48048992003-05-01Paper
https://portal.mardi4nfdi.de/entity/Q48049192003-05-01Paper
https://portal.mardi4nfdi.de/entity/Q47872442003-01-09Paper
Efficient algorithms for approximate time separation of events2002-11-27Paper
Formal verification of out-of-order execution with incremental flushing2002-07-08Paper
Parallelizing the \(\text{Mur}\varphi\) verifier2001-09-09Paper
https://portal.mardi4nfdi.de/entity/Q27234102001-07-05Paper
https://portal.mardi4nfdi.de/entity/Q42555641999-08-17Paper
Verification of cache coherence protocols by aggregation of distributed transactions1999-01-11Paper
A theory of timed automata1994-05-05Paper
Model-checking in dense real-time1993-12-06Paper
Verification of a multiprocessor cache protocol using simulation relations and higher-order logic1993-09-30Paper
Specification and automatic verification of self-timed queues1993-09-30Paper
https://portal.mardi4nfdi.de/entity/Q40365571993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40370971993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40370981993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40373921993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40373951993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40387021993-05-18Paper
Symbolic model checking: \(10^{20}\) states and beyond1992-09-27Paper
Automatic Verification of Sequential Circuits Using Temporal Logic1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47219631986-01-01Paper

Research outcomes over time

This page was built for person: David L. Dill