| Publication | Date of Publication | Type |
|---|
Lazy self-composition for security verification
Computer Aided Verification | 2023-05-05 | Paper |
| Syntax-guided synthesis for lemma generation in hardware model checking | 2021-10-18 | Paper |
| Synthesizing environment invariants for modular hardware verification | 2020-08-05 | Paper |
Propositional SAT solving
Handbook of Model Checking | 2018-07-20 | Paper |
| Fast interpolating BMC | 2018-03-01 | Paper |
IC3 -- flipping the E in ICE
Lecture Notes in Computer Science | 2017-02-21 | Paper |
On computing minimal independent support and its applications to sampling and counting
Constraints | 2016-04-12 | Paper |
Using flow specifications of parameterized cache coherence protocols for verifying deadlock freedom
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
SAT based verification of network data planes
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Parallel assertions for architectures with weak memory models
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
Specification and encoding of transaction interaction properties
Formal Methods in System Design | 2012-09-27 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
Analysis of cyclic combinational circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 2008-12-21 | Paper |
On Solving the Partial MAX-SAT Problem
Lecture Notes in Computer Science | 2007-09-04 | Paper |
Solving Quantified Boolean Formulas with Circuit Observability Don’t Cares
Lecture Notes in Computer Science | 2007-09-04 | Paper |
Lemma Learning in SMT on Linear Constraints
Lecture Notes in Computer Science | 2007-09-04 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
| scientific article; zbMATH DE number 2090309 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2080763 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2017360 (Why is no real title available?) | 2003-12-14 | Paper |
| scientific article; zbMATH DE number 1903342 (Why is no real title available?) | 2003-05-01 | Paper |
Limits of using signatures for permutation independent Boolean comparison
Formal Methods in System Design | 2002-09-18 | Paper |
Application of BDDs in Boolean matching techniques for formal logic combinational verification
International Journal on Software Tools for Technology Transfer. STTT | 2002-07-25 | Paper |
| scientific article; zbMATH DE number 1760153 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1693500 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1249731 (Why is no real title available?) | 1999-02-09 | Paper |
Establishing latch correspondence for sequential circuits using distinguishing signatures
Integration | 1999-01-12 | Paper |
Technology mapping for low power in logic synthesis
Integration | 1997-02-27 | Paper |
Permutation and phase independent Boolean comparison
Integration | 1995-02-19 | Paper |
