עקוב אחר
Alessandro Cimatti
Alessandro Cimatti
Fondazione Bruno Kessler
כתובת אימייל מאומתת בדומיין fbk.eu - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
35121999
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‏
26282002
Bounded model checking‏
A Biere‏
Handbook of satisfiability, 739-764, 2021‏
17692021
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‏
10831999
NuSMV: A new symbolic model verifier‏
A Cimatti, E Clarke, F Giunchiglia, M Roveri‏
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999‏
10031999
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‏
9792000
The mathsat5 smt solver‏
A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani‏
International Conference on Tools and Algorithms for the Construction and …, 2013‏
7972013
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‏
7182014
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‏
5772003
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‏
3062008
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‏
2682011
Planning in nondeterministic domains under partial observability via symbolic model checking‏
P Bertoli, A Cimatti, M Roveri, P Traverso‏
IJCAI 2001, 473-478, 2001‏
2682001
Conformant planning via symbolic model checking‏
A Cimatti, M Roveri‏
Journal of Artificial Intelligence Research 13, 305-338, 2000‏
2372000
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‏
2322002
Nusmv 2.4 user manual‏
R Cavada, A Cimatti, CA Jochim, G Keighren, E Olivetti, M Pistore, ...‏
CMU and ITC-irst 11, 22-45, 2005‏
2282005
Software model checking via IC3‏
A Cimatti, A Griggio‏
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012‏
2172012
Automatic OBDD-based generation of universal plans in non-deterministic domains‏
A Cimatti, M Roveri, P Traverso‏
AAAI/IAAI, 875-881, 1998‏
2131998
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‏
2131997
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‏
2082001
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‏
2072009
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20