Alessandro Cimatti

Cited by

	All	Since 2018
Citations	23500	7007
h-index	63	34
i10-index	203	116

1500

750

375

1125

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202374 86 183 240 319 572 647 760 805 804 966 971 962 1056 1112 1252 1178 1281 1498 1275 1308 1261 1078 1170 1193 987

Public access

View all

21 articles

1 article

available

not available

Based on funding mandates

Co-authors

Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyVerified email at unitn.it
Marco BozzanoFondazione Bruno KesslerVerified email at fbk.eu
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at unitn.it
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoVerified email at fbk.eu
Sergio MoverÉcole Polytechnique and LIXVerified email at polytechnique.edu
Andrea MicheliFondazione Bruno KesslerVerified email at fbk.eu
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Yunshan ZhueK12, Inc.Verified email at eK12.com
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, ItalyVerified email at fbk.eu
Enrico GiunchigliaDIBRIS - Università di GenovaVerified email at unige.it
Roberto CavadaFondazione Bruno Kessler (FBK)Verified email at fbk.eu
Roberto BruttomessoExpert Researcher and Software EngineerVerified email at atrenta.com
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Viet Yen NguyenCTO at HypefactorsVerified email at hypefactors.com
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Marco GarioGitHubVerified email at github.com

Alessandro Cimatti

Fondazione Bruno Kessler

Verified email at fbk.eu - Homepage

Formal Verification Model Checking SMT Automated Planning FDIR


Title Sort by citations Sort by year Sort by 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	3356	1999
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	2466	2002
Bounded model checking. A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu Handbook of satisfiability 185 (99), 457-481, 2009	1640	2009
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	1058	1999
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999	954	1999
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	939	2000
The mathsat5 smt solver A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani International Conference on Tools and Algorithms for the Construction and …, 2013	699	2013
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	601	2014
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	539	2003
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	294	2008
Planning in nondeterministic domains under partial observability via symbolic model checking P Bertoli, A Cimatti, M Roveri, P Traverso IJCAI 2001, 473-478, 2001	269	2001
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	257	2011
Conformant planning via symbolic model checking A Cimatti, M Roveri Journal of Artificial Intelligence Research 13, 305-338, 2000	243	2000
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	230	2002
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	221	2005
Automatic OBDD-based generation of universal plans in non-deterministic domains A Cimatti, M Roveri, P Traverso AAAI/IAAI, 875-881, 1998	210	1998
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	207	2001
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	205	1997
Software model checking via IC3 A Cimatti, A Griggio Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012	194	2012
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	191	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors