Marco Roveri

From MaRDI portal
Person:329421

Available identifiers

zbMath Open roveri.marcoDBLP83/563WikidataQ62051622 ScholiaQ62051622MaRDI QIDQ329421

List of research outcomes





PublicationDate of PublicationType
Verification Modulo theories2023-10-30Paper
A Markovian model for the spread of the SARS-CoV-2 virus2023-06-30Paper
Optimization modulo non-linear arithmetic via incremental linearization2022-03-24Paper
Certifying proofs for SAT-based model checking2021-12-08Paper
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF2020-08-05Paper
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators2020-05-26Paper
A new method for testing decision procedures in modal logics2019-10-01Paper
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions2018-10-24Paper
Experimenting on solving nonlinear integer arithmetic with incremental linearization2018-08-10Paper
Satisfiability modulo transcendental functions via incremental linearization2017-09-22Paper
Dynamic controllability via timed game automata2016-10-21Paper
Formal Verification of Infinite-State BIP Models2016-01-08Paper
HRELTL: a temporal logic for hybrid systems2015-12-07Paper
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty2015-11-18Paper
Solving strong controllability of temporal problems with uncertainty using SMT2015-04-29Paper
Requirements-driven verification of web services2013-09-11Paper
Software model checking with explicit scheduler and symbolic threads2012-08-15Paper
Boosting Lazy Abstraction for SystemC with Partial Order Reduction2011-05-19Paper
From Sequential Extended Regular Expressions to NFA with Symbolic Labels2011-02-11Paper
Requirements Validation for Hybrid Systems2009-06-30Paper
SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA2008-05-20Paper
Diagnostic Information for Realizability2008-04-04Paper
Boolean Abstraction for Temporal Logic Satisfiability2007-11-29Paper
Strong planning under partial observability2007-10-23Paper
Symbolic Implementation of Alternating Automata2007-09-06Paper
Formal Methods in Computer-Aided Design2006-10-20Paper
Weak, strong, and strong cyclic planning via symbolic model checking2006-02-07Paper
Conformant planning via symbolic model checking and heuristic search2006-02-07Paper
https://portal.mardi4nfdi.de/entity/Q48188182004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q47369972004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47371242004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q48049092003-05-01Paper
https://portal.mardi4nfdi.de/entity/Q27695952002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q45272712001-06-04Paper
NuSMV: A new symbolic model checker2000-01-01Paper

Research outcomes over time

This page was built for person: Marco Roveri