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 · 716 citations

Computing, Computer Engineering, Computer Science +9

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

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

Computing, Autonomous Systems, Formal Methods +6

Specifying and analyzing early requirements in Tropos

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

Engineering, Systems Engineering, Formal Methods +10

Safety, Dependability and Performance Analysis of Extended AADL Models

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

Engineering, Aerospace Engineering, Computer Science +17

Planning in nondeterministic domains under partial observability via symbolic model checking

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

Computing, Computer Science, Algorithms +12