researcher

Marco Roveri

Department of Information Engineering and Computer Science of University of Trento

7 papers hereh-index 419.2k citations143 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position

first author1
middle author5
last author1

Across the 7 of 7 papers where every author was matched, so the position is known.

fields

affiliations

Department of Information Engineering and Computer Science of University of Trento

Homepage ORCID 0000-0001-9483-3940

same name

Marco Roveri — 3 papers, h 4
Marco Roveri — 3 papers, h 2
Marco Roveri — 2 papers, h 3

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity

20182023

most citedInvariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF

18 citations · 30 across the 7 of their papers we have counts for

collaborators

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2018★ 8 cited

Satisfiability Modulo Transcendental Functions via Incremental Linearization

Alessandro Cimatti, Alberto Griggio, Ahmed Irfan +2

In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The…

cs.LO2018★ 18 cited

Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF

Alessandro Cimatti, Alberto Griggio, Ahmed Irfan +2

Model checking invariant properties of designs, represented as transition systems, with non-linear real arithmetic (NRA), is an important though very hard problem. On the one hand…