| 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
Journal of Automated Reasoning | 2023-10-24 | Paper |
Reluplex: a calculus for reasoning about deep neural networks
Formal Methods in System Design | 2023-06-29 | Paper |
Reasoning about vectors using an SMT theory of sequences
(available as arXiv preprint) | 2022-12-07 | Paper |
Reluplex: an efficient SMT solver for verifying deep neural networks
(available as arXiv preprint) | 2022-07-01 | Paper |
| A practical approach to partial functions in CVC Lite | 2013-09-25 | Paper |
| Producing proofs from an arithmetic decision procedure in elliptical LF | 2013-08-19 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Semi-formal verification of memory systems by symbolic simulation
Lecture Notes in Computer Science | 2010-02-05 | Paper |
A Retrospective on Murϕ
25 Years of Model Checking | 2008-07-15 | Paper |
A Decision Procedure for Bit-Vectors and Arrays
Computer Aided Verification | 2007-11-29 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2102703 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2102688 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2090315 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2086596 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1979550 (Why is no real title available?) | 2003-09-14 | Paper |
| scientific article; zbMATH DE number 1979541 (Why is no real title available?) | 2003-09-14 | Paper |
| scientific article; zbMATH DE number 1956605 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1950573 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1903374 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1903356 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1852168 (Why is no real title available?) | 2003-01-09 | Paper |
Efficient algorithms for approximate time separation of events
Sādhanā | 2002-11-27 | Paper |
Formal verification of out-of-order execution with incremental flushing
Formal Methods in System Design | 2002-07-08 | Paper |
Parallelizing the \(\text{Mur}\varphi\) verifier
Formal Methods in System Design | 2001-09-09 | Paper |
| scientific article; zbMATH DE number 1614688 (Why is no real title available?) | 2001-07-05 | Paper |
| scientific article; zbMATH DE number 1324662 (Why is no real title available?) | 1999-08-17 | Paper |
Verification of cache coherence protocols by aggregation of distributed transactions
Theory of Computing Systems | 1999-01-11 | Paper |
A theory of timed automata
Theoretical Computer Science | 1994-05-05 | Paper |
Model-checking in dense real-time
Information and Computation | 1993-12-06 | Paper |
Verification of a multiprocessor cache protocol using simulation relations and higher-order logic
Formal Methods in System Design | 1993-09-30 | Paper |
Specification and automatic verification of self-timed queues
Formal Methods in System Design | 1993-09-30 | Paper |
| scientific article; zbMATH DE number 177824 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 176728 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177523 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177246 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177247 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177526 (Why is no real title available?) | 1993-05-18 | Paper |
Symbolic model checking: \(10^{20}\) states and beyond
Information and Computation | 1992-09-27 | Paper |
Automatic Verification of Sequential Circuits Using Temporal Logic
IEEE Transactions on Computers | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3993457 (Why is no real title available?) | 1986-01-01 | Paper |
