| Publication | Date of Publication | Type |
|---|
Specifiable robustness in reactive synthesis
Formal Methods in System Design | 2023-05-08 | Paper |
Vacuity in synthesis
Formal Methods in System Design | 2021-12-08 | Paper |
Combining experts' causal judgments
Artificial Intelligence | 2021-08-16 | Paper |
Combining experts' causal judgments
Artificial Intelligence | 2021-08-16 | Paper |
| Timed vacuity | 2021-05-04 | Paper |
Learning the language of software errors
Journal of Artificial Intelligence Research | 2020-05-14 | Paper |
Function summarization modulo theories
EPiC Series in Computing | 2019-07-04 | Paper |
Lookahead-Based SMT Solving
EPiC Series in Computing | 2019-07-04 | Paper |
| Lattice-based refinement in bounded model checking | 2018-12-07 | Paper |
| Theory refinement for program verification | 2017-11-15 | Paper |
What causes a system to satisfy a specification?
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
The computational complexity of structure-based causality
Journal of Artificial Intelligence Research | 2017-04-10 | Paper |
Synthesizing non-vacuous systems
Lecture Notes in Computer Science | 2017-02-21 | Paper |
Learning the Language of Error
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
Erratum for “What causes a system to satisfy a specification?”
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Beyond vacuity: towards the strongest passing formula
Formal Methods in System Design | 2014-06-30 | Paper |
| Automatic verification of fault-tolerant register emulations | 2013-10-07 | Paper |
Explaining counterexamples using causality
Formal Methods in System Design | 2012-09-27 | Paper |
Variants of LTL query checking
Hardware and Software: Verification and Testing | 2011-04-06 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2010-02-05 | Paper |
A lower bound for testing juntas
Information Processing Letters | 2009-07-21 | Paper |
Before and after vacuity
Formal Methods in System Design | 2009-07-06 | Paper |
Explaining Counterexamples Using Causality
Computer Aided Verification | 2009-06-30 | Paper |
Efficient Automatic STE Refinement Using Responsibility
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
Coverage metrics for temporal logic model checking
Formal Methods in System Design | 2006-11-17 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 2243367 (Why is no real title available?) | 2006-01-04 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
\(\omega\)-regular languages are testable with a constant number of queries
Theoretical Computer Science | 2005-02-09 | Paper |
| scientific article; zbMATH DE number 2019622 (Why is no real title available?) | 2003-12-17 | Paper |
| scientific article; zbMATH DE number 1796124 (Why is no real title available?) | 2002-09-04 | Paper |
Which bases admit non-trivial shrinkage of formulae?
Computational Complexity | 2002-07-22 | Paper |
| Which formulae shrink under random restrictions? | 2002-03-24 | Paper |
| scientific article; zbMATH DE number 1701778 (Why is no real title available?) | 2002-02-05 | Paper |
