| Publication | Date of Publication | Type |
|---|
Specifiable robustness in reactive synthesis
Formal Methods in System Design | 2023-05-08 | Paper |
Accelerated deletion-based extraction of minimal unsatisfiable cores
Journal on Satisfiability, Boolean Modeling and Computation | 2021-12-09 | Paper |
Vacuity in synthesis
Formal Methods in System Design | 2021-12-08 | Paper |
Real-time solving of computationally hard problems using optimal algorithm portfolios
Annals of Mathematics and Artificial Intelligence | 2021-08-02 | Paper |
Learning the language of software errors
Journal of Artificial Intelligence Research | 2020-05-14 | Paper |
Regression verification for unbalanced recursive functions
| 2020-01-03 | Paper |
Cyclic-routing of unmanned aerial vehicles
Journal of Computer and System Sciences | 2019-06-25 | Paper |
Proof-guided underapproximation-widening for multi-process systems
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Decision procedures. An algorithmic point of view
Texts in Theoretical Computer Science. An EATCS Series | 2017-03-30 | Paper |
Synthesizing non-vacuous systems
Lecture Notes in Computer Science | 2017-02-21 | Paper |
Learning general constraints in CSP
Artificial Intelligence | 2016-09-07 | Paper |
Learning General Constraints in CSP
Integration of AI and OR Techniques in Constraint Programming | 2016-07-25 | Paper |
Cyclic routing of unmanned aerial vehicles
Integration of AI and OR Techniques in Constraint Programming | 2016-06-27 | Paper |
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
Formal Methods in System Design | 2016-02-25 | Paper |
Model counting of monotone conjunctive normal form formulas with spectra
INFORMS Journal on Computing | 2016-01-25 | Paper |
Learning the Language of Error
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
Mining backbone literals in incremental SAT. A new kind of incremental data
Lecture Notes in Computer Science | 2015-11-20 | Paper |
Proving mutual termination
Formal Methods in System Design | 2015-10-20 | Paper |
Compositional sequentialization of periodic programs
Lecture Notes in Computer Science | 2014-11-03 | Paper |
Ultimately incremental SAT
Lecture Notes in Computer Science | 2014-09-26 | Paper |
Beyond vacuity: towards the strongest passing formula
Formal Methods in System Design | 2014-06-30 | Paper |
Generating minimum transitivity constraints in P-time for deciding equality logic
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Reduced functional consistency of uninterpreted functions
| 2013-09-26 | Paper |
Preprocessing in incremental SAT
Theory and Applications of Satisfiability Testing – SAT 2012 | 2013-08-12 | Paper |
Regression verification for multi-threaded programs
Lecture Notes in Computer Science | 2012-06-15 | Paper |
Linear completeness thresholds for bounded model checking
Computer Aided Verification | 2011-08-19 | Paper |
Faster Extraction of High-Level Minimal Unsatisfiable Cores
Theory and Applications of Satisfiability Testing - SAT 2011 | 2011-06-17 | Paper |
Variants of LTL query checking
Hardware and Software: Verification and Testing | 2011-04-06 | Paper |
Inference rules for proving the equivalence of recursive procedures
Time for Verification | 2010-09-07 | Paper |
Underapproximation for model-checking based on universal circuits
Information and Computation | 2010-04-08 | Paper |
Predicate abstraction with minimum predicates
Lecture Notes in Computer Science | 2010-02-05 | Paper |
A framework for satisfiability modulo theories
Formal Aspects of Computing | 2009-11-13 | Paper |
\textsc{HaifaSat}: a SAT solver based on an abstraction/refinement model
| 2009-10-12 | Paper |
Before and after vacuity
Formal Methods in System Design | 2009-07-06 | Paper |
An approach for extracting a small unsatisfiable core
Formal Methods in System Design | 2009-07-06 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2009-05-15 | Paper |
Inference rules for proving the equivalence of recursive procedures
Acta Informatica | 2008-08-19 | Paper |
Three optimizations for assume-guarantee reasoning with \(L^{*}\)
Formal Methods in System Design | 2008-07-30 | Paper |
Local Restarts
Theory and Applications of Satisfiability Testing – SAT 2008 | 2008-05-27 | Paper |
Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
Texts in Theoretical Computer Science. An EATCS Series | 2008-02-27 | Paper |
Underapproximation for Model-Checking Based on Random Cryptographic Constructions
Computer Aided Verification | 2007-11-29 | Paper |
Optimized L*-Based Assume-Guarantee Reasoning
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Deciding Bit-Vector Arithmetic with Abstraction
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Hardware and Software, Verification and Testing
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Building small equality graphs for deciding equality logic with uninterpreted functions
Information and Computation | 2006-04-28 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | 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-15 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Efficient verification of sequential and concurrent C programs
Formal Methods in System Design | 2004-11-22 | Paper |
Accelerating bounded model checking of safety properties
Formal Methods in System Design | 2004-09-09 | Paper |
scientific article; zbMATH DE number 1979549 (Why is no real title available?)
| 2003-09-14 | Paper |
scientific article; zbMATH DE number 1953038 (Why is no real title available?)
| 2003-07-25 | Paper |
scientific article; zbMATH DE number 1903358 (Why is no real title available?)
| 2003-05-01 | Paper |
scientific article; zbMATH DE number 1903355 (Why is no real title available?)
| 2003-05-01 | Paper |
The small model property: How small can it be?
Information and Computation | 2003-01-14 | Paper |
