| Publication | Date of Publication | Type |
|---|
| Invariant checking for SMT-based systems with quantifiers | 2024-11-12 | Paper |
| Efficient analysis of cyclic redundancy architectures via Boolean fault propagation | 2024-02-01 | Paper |
| Searching for i-good lemmas to accelerate safety model checking | 2024-01-12 | Paper |
| Verification Modulo theories | 2023-10-30 | Paper |
| Verification of SMT systems with quantifiers | 2023-06-02 | Paper |
| Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test | 2023-06-02 | Paper |
| Analysis of cyclic fault propagation via ASP | 2023-04-04 | Paper |
| \textsc{LTL} falsification in infinite-state systems | 2022-12-08 | Paper |
| Safe Decomposition of Startup Requirements: Verification and Synthesis | 2022-10-13 | Paper |
| Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays | 2022-10-06 | Paper |
| Automatic discovery of fair paths in infinite-state transition systems | 2022-06-22 | Paper |
| Implicit semi-algebraic abstraction for polynomial dynamical systems | 2022-03-25 | Paper |
| Optimization modulo non-linear arithmetic via incremental linearization | 2022-03-24 | Paper |
| Certifying proofs for SAT-based model checking | 2021-12-08 | Paper |
| Universal invariant checking of parametric systems with quantifier-free SMT reasoning | 2021-12-01 | Paper |
| Proving the existence of fair paths in infinite-state systems | 2021-10-18 | Paper |
| Counterexample-guided prophecy for model checking modulo the theory of arrays | 2021-08-04 | Paper |
| Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF | 2020-08-05 | Paper |
| SMT-based satisfiability of first-order LTL with event freezing functions and metric operators | 2020-05-26 | Paper |
| Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations | 2019-05-03 | Paper |
| Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions | 2018-10-24 | Paper |
| Experimenting on solving nonlinear integer arithmetic with incremental linearization | 2018-08-10 | Paper |
| Satisfiability modulo transcendental functions via incremental linearization | 2017-09-22 | Paper |
| Infinite-state invariant checking with IC3 and predicate abstraction | 2017-07-26 | Paper |
| Satisfiability checking and symbolic computation | 2017-06-21 | Paper |
| $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation | 2016-08-30 | Paper |
| A practical approach to satisfiability modulo linear integer arithmetic | 2016-02-23 | Paper |
| Efficient generation of craig interpolants in satisfiability modulo theories | 2015-09-17 | Paper |
| Deciding floating-point logic with abstract conflict driven clause learning | 2014-12-05 | Paper |
| An Abstract Interpretation of DPLL(T) | 2014-11-03 | Paper |
| The MathSAT5 SMT Solver | 2013-08-05 | Paper |
| A Modular Approach to MaxSAT Modulo Theories | 2013-08-05 | Paper |
| Efficient interpolant generation in satisfiability modulo linear integer arithmetic | 2012-08-15 | Paper |
| Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT | 2011-10-07 | Paper |
| Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic | 2011-05-19 | Paper |
| Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories | 2011-05-04 | Paper |
| Satisfiability Modulo the Theory of Costs: Foundations and Applications | 2010-04-27 | Paper |
| Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis | 2009-11-16 | Paper |
| Interpolant Generation for UTVPI | 2009-07-28 | Paper |
| A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories | 2009-03-10 | Paper |
| Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis | 2008-05-27 | Paper |
| To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in $\mathit{SMT}(\mathcal{EUF} \cup \mathcal{T})$ | 2008-05-27 | Paper |
| Efficient Interpolant Generation in Satisfiability Modulo Theories | 2008-04-11 | Paper |
