Alberto Griggio

Available identifiers

zbMath Open griggio.albertoWikidataQ124324030 ScholiaQ124324030MaRDI QIDQ479835

List of research outcomes

Publication	Date of Publication	Type
Verification Modulo theories	2023-10-30	Paper
Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test	2023-06-02	Paper
Verification of SMT systems with quantifiers	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
https://portal.mardi4nfdi.de/entity/Q2786906	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alberto Griggio