Marco Roveri

Available identifiers

zbMath Open roveri.marcoWikidataQ62051622 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
https://portal.mardi4nfdi.de/entity/Q2847799	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

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: Marco Roveri