Follow
Alessandro Cimatti
Alessandro Cimatti
Verified email at fbk.eu - Homepage
Title
Cited by
Cited by
Year
Symbolic model checking without BDDs
A Biere, A Cimatti, E Clarke, Y Zhu
Tools and Algorithms for the Construction and Analysis of Systems: 5th …, 1999
32651999
Nusmv 2: An opensource tool for symbolic model checking
A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ...
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
23612002
Bounded model checking.
A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu
Handbook of satisfiability 185 (99), 457-481, 2009
15602009
Symbolic model checking using SAT procedures instead of BDDs
A Biere, A Cimatti, EM Clarke, M Fujita, Y Zhu
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 317-320, 1999
10371999
NuSMV: A new symbolic model verifier
A Cimatti, E Clarke, F Giunchiglia, M Roveri
CAV 99, 495-499, 1999
9301999
NuSMV: a new symbolic model checker
A Cimatti, E Clarke, F Giunchiglia, M Roveri
International Journal on Software Tools for Technology Transfer 2, 410-425, 2000
8972000
The mathsat5 smt solver
A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
6282013
The nuXmv Symbolic Model Checker
R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, A Micheli, S Mover, ...
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
5402014
Weak, strong, and strong cyclic planning via symbolic model checking
A Cimatti, M Pistore, M Roveri, P Traverso
Artificial Intelligence 147 (1-2), 35-84, 2003
5132003
The MathSAT 4 SMT Solver: Tool Paper
R Bruttomesso, A Cimatti, A Franzén, A Griggio, R Sebastiani
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
2882008
Planning in nondeterministic domains under partial observability via symbolic model checking
P Bertoli, A Cimatti, M Roveri, P Traverso
IJCAI 2001, 473-478, 2001
2672001
Safety, dependability and performance analysis of extended AADL models
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri
The Computer Journal 54 (5), 754-775, 2011
2482011
Conformant planning via symbolic model checking
A Cimatti, M Roveri
Journal of Artificial Intelligence Research 13, 305-338, 2000
2342000
A SAT based approach for solving formulas over boolean and linear mathematical propositions
G Audemard, P Bertoli, A Cimatti, A Korniłowicz, R Sebastiani
Automated Deduction—CADE-18: 18th International Conference on Automated …, 2002
2242002
MBP: a model based planner
P Bertoli, A Cimatti, M Pistore, M Roveri, P Traverso
Proc. of the IJCAI’01 Workshop on Planning under Uncertainty and Incomplete …, 2001
2062001
Automatic OBDD-based generation of universal plans in non-deterministic domains
A Cimatti, M Roveri, P Traverso
AAAI/IAAI, 875-881, 1998
2061998
Nusmv 2.4 user manual
R Cavada, A Cimatti, CA Jochim, G Keighren, E Olivetti, M Pistore, ...
CMU and ITC-irst, 2005
2042005
Planning via model checking: A decision procedure for AR
A Cimatti, E Giunchiglia, F Giunchiglia, P Traverso
Recent Advances in AI Planning: 4th European Conference on Planning, ECP'97 …, 1997
2031997
Software model checking via large-block encoding
D Beyer, A Cimatti, A Griggio, ME Keremoglu, R Sebastiani
2009 Formal Methods in Computer-Aided Design, 25-32, 2009
1902009
Software model checking via IC3
A Cimatti, A Griggio
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
1842012
The system can't perform the operation now. Try again later.
Articles 1–20