Alessandro Cimatti
Alessandro Cimatti
Email verificata su fbk.eu - Home page
TitoloCitata daAnno
Symbolic model checking without BDDs
A Biere, A Cimatti, E Clarke, Y Zhu
International conference on tools and algorithms for the construction andá…, 1999
25941999
Nusmv 2: An opensource tool for symbolic model checking
A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ...
International Conference on Computer Aided Verification, 359-364, 2002
18472002
Bounded model checking.
A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu
Advances in computers 58 (11), 117-148, 2003
8902003
Symbolic model checking using SAT procedures instead of BDDs
A Biere, A Cimatti, EM Clarke, M Fujita, Y Zhu
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), 317-320, 1999
8831999
NuSMV: A new symbolic model verifier
A Cimatti, E Clarke, F Giunchiglia, M Roveri
International conference on computer aided verification, 495-499, 1999
7491999
NuSMV: a new symbolic model checker
A Cimatti, E Clarke, F Giunchiglia, M Roveri
International Journal on Software Tools for Technology Transfer 2 (4), 410-425, 2000
6812000
Perseus: Randomized point-based value iteration for POMDPs
MTJ Spaan, N Vlassis
Journal of artificial intelligence research 24, 195-220, 2005
6682005
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
3852003
The mathsat5 smt solver
A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani
International Conference on Tools and Algorithms for the Construction andá…, 2013
3422013
The nuXmv symbolic model checker
R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, A Micheli, S Mover, ...
International Conference on Computer Aided Verification, 334-342, 2014
2562014
Planning in nondeterministic domains under partial observability via symbolic model checking
P Bertoli, A Cimatti, M Roveri, P Traverso
IJCAI 2001, 473-478, 2001
2472001
The MathSATá4 SMT Solver
R Bruttomesso, A Cimatti, A FranzÚn, A Griggio, R Sebastiani
International Conference on Computer Aided Verification, 299-303, 2008
2232008
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, 2010
2052010
A SAT based approach for solving formulas over boolean and linear mathematical propositions
G Audemard, P Bertoli, A Cimatti, A Korniłowicz, R Sebastiani
International Conference on Automated Deduction, 195-210, 2002
2022002
Conformant planning via symbolic model checking
A Cimatti, M Roveri
Journal of Artificial Intelligence Research 13, 305-338, 2000
1962000
Bounded Model Checking.
A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu
Handbook of satisfiability 185 (99), 457-481, 2009
1942009
Automatic OBDD-based generation of universal plans in non-deterministic domains
A Cimatti, M Roveri, P Traverso
AAAI/IAAI, 875-881, 1998
1821998
Planning via model checking: A decision procedure for AR
A Cimatti, E Giunchiglia, F Giunchiglia, P Traverso
European Conference on Planning, 130-142, 1997
1791997
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
1782001
Nusmv 2.4 user manual
R Cavada, A Cimatti, CA Jochim, G Keighren, E Olivetti, M Pistore, ...
CMU and ITC-irst, 2005
1682005
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20