Alessandro Cimatti

Cited by

	All	Since 2017
Citations	21725	6718
h-index	63	33
i10-index	189	115

1500

750

375

1125

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202273 92 172 225 300 553 629 732 808 805 959 945 967 1051 1092 1225 1213 1255 1484 1264 1277 1244 1077 1184 667

Public access

View all

18 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
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyVerified email at unitn.it
Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
Marco BozzanoFondazione Bruno KesslerVerified email at fbk.eu
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at disi.unitn.it
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoVerified email at fbk.eu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Sergio MoverAssistant Professor of Computer Science, École PolytechniqueVerified email at polytechnique.edu
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Andrea MicheliFondazione Bruno KesslerVerified email at fbk.eu
Marco PistoreResearch Director, Service Oriented Applications, Fondazione Bruno Kessler, ItalyVerified email at fbk.eu
Enrico GiunchigliaDIBRIS - Università di GenovaVerified email at unige.it
Roberto BruttomessoExpert Researcher and Software EngineerVerified email at atrenta.com
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Viet Yen NguyenCTO at HypefactorsVerified email at hypefactors.com
Cristian MattareiApple Inc.Verified email at cs.stanford.edu
Marco GarioGitHubVerified email at github.com
Iman NarasamdyaResearcher, Fondazione Bruno KesslerVerified email at fbk.eu

Alessandro Cimatti

Head of Unit, Fondazione Bruno Kessler

Verified email at fbk.eu - Homepage

Formal Verification Model Checking SMT 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 International conference on tools and algorithms for the construction and …, 1999	3185	1999
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	2306	2002
Bounded model checking. A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu Handbook of satisfiability 185 (99), 457-481, 2009	1513	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	1010	1999
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri International conference on computer aided verification, 495-499, 1999	908	1999
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	867	2000
The mathsat5 smt solver A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani International Conference on Tools and Algorithms for the Construction and …, 2013	599	2013
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	502	2003
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	499	2014
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	283	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	263	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	240	2011
Conformant planning via symbolic model checking A Cimatti, M Roveri Journal of Artificial Intelligence Research 13, 305-338, 2000	227	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	218	2002
Automatic OBDD-based generation of universal plans in non-deterministic domains A Cimatti, M Roveri, P Traverso AAAI/IAAI, 875-881, 1998	202	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	201	2001
Planning via model checking: A decision procedure for AR A Cimatti, E Giunchiglia, F Giunchiglia, P Traverso European Conference on Planning, 130-142, 1997	201	1997
Nusmv 2.4 user manual R Cavada, A Cimatti, CA Jochim, G Keighren, E Olivetti, M Pistore, ... CMU and ITC-irst, 2005	200	2005
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	188	2009
Formal verification of diagnosability via symbolic model checking C Pecheur, A Cimatti, R Cimatti Workshop on model checking and artificial intelligence (MoChArt-2002), Lyon …, 2002	173	2002

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