Marco Roveri

NUSMV: a new symbolic model checker

Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia et al. · International Journal on Software Tools for Technology Transfer · 2000 · 708 citations

Engineering, Automated Reasoning, Program Analysis +8

Weak, strong, and strong cyclic planning via symbolic model checking

Alessandro Cimatti, Marco Pistore, Marco Roveri et al. · Artificial Intelligence · 2003 · 354 citations · Full text

Engineering, Ai Planning, Automated Reasoning +11

Specifying and analyzing early requirements in Tropos

Ariel Fuxman, Lin Liu, John Mylopoulos et al. · Requirements Engineering · 2004 · 242 citations

Early Requirements, Engineering, Requirement Engineering +6

Safety, Dependability and Performance Analysis of Extended AADL Models

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen et al. · The Computer Journal · 2010 · 214 citations

Engineering, Safety Science, Software Engineering +26

Planning in nondeterministic domains under partial observability via symbolic model checking

Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri et al. · 2001 · 160 citations