| 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 |
| 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 | 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/Q4817541 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817526 | 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/Q4427903 | 2003-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4427892 | 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/Q4804919 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804899 | 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/Q4038702 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036557 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037392 | 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/Q4037395 | 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 |
