Alessandro Cimatti

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

Symbolic model checking using SAT procedures instead of BDDs

Armin Biere, Alessandro Cimatti, E. M. Clarke et al. · 1999 · 697 citations

Computing, Computer Engineering, Computer Science +16

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

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