Marco Roveri

Available identifiers

zbMath Open roveri.marcoDBLP83/563WikidataQ62051622 ScholiaQ62051622MaRDI QIDQ329421

List of research outcomes

Publication	Date of Publication	Type
Verification Modulo theories	2023-10-30	Paper
A Markovian model for the spread of the SARS-CoV-2 virus	2023-06-30	Paper
Optimization modulo non-linear arithmetic via incremental linearization	2022-03-24	Paper
Certifying proofs for SAT-based model checking	2021-12-08	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
A new method for testing decision procedures in modal logics	2019-10-01	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
Dynamic controllability via timed game automata	2016-10-21	Paper
Formal Verification of Infinite-State BIP Models	2016-01-08	Paper
HRELTL: a temporal logic for hybrid systems	2015-12-07	Paper
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty	2015-11-18	Paper
Solving strong controllability of temporal problems with uncertainty using SMT	2015-04-29	Paper
Requirements-driven verification of web services	2013-09-11	Paper
Software model checking with explicit scheduler and symbolic threads	2012-08-15	Paper
Boosting Lazy Abstraction for SystemC with Partial Order Reduction	2011-05-19	Paper
From Sequential Extended Regular Expressions to NFA with Symbolic Labels	2011-02-11	Paper
Requirements Validation for Hybrid Systems	2009-06-30	Paper
SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA	2008-05-20	Paper
Diagnostic Information for Realizability	2008-04-04	Paper
Boolean Abstraction for Temporal Logic Satisfiability	2007-11-29	Paper
Strong planning under partial observability	2007-10-23	Paper
Symbolic Implementation of Alternating Automata	2007-09-06	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Weak, strong, and strong cyclic planning via symbolic model checking	2006-02-07	Paper
Conformant planning via symbolic model checking and heuristic search	2006-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q4818818	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4736997	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4737124	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4804909	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q2769595	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4527271	2001-06-04	Paper
NuSMV: A new symbolic model checker	2000-01-01	Paper

Research outcomes over time

This page was built for person: Marco Roveri