Alessandro Cimatti - Google Scholar Citations

Cited by

	All	Since 2015
Citations	18791	6527
h-index	58	33
i10-index	181	121

1500

750

375

1125

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202071 86 175 235 296 550 626 720 815 835 976 930 982 1096 1113 1244 1232 1287 1475 1255 1282 1158 69

Co-authors

Marco RoveriResearcher at Fondazione Bruno KesslerVerified email at fbk.eu
Roberto SebastianiAssociate Professor in Computer Science, DISI, University of Trento, ItalyVerified email at unitn.it
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
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
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
Armin BiereJohannes Kepler University LinzVerified email at jku.at
Marco PistoreResearch Director, Service Oriented Applications, Fondazione Bruno Kessler, ItalyVerified email at fbk.eu
Sergio MoverAssistant Professor of Computer Science, École PolytechniqueVerified email at polytechnique.edu
Andrea MicheliFondazione Bruno KesslerVerified 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 GarioSiemens Corporate TechnologyVerified email at siemens.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	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	2718	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	1955	2002
Bounded model checking. A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu Advances in computers 58 (11), 117-148, 2003	971	2003
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	911	1999
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri International conference on computer aided verification, 495-499, 1999	797	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	734	2000
Perseus: Randomized point-based value iteration for POMDPs MTJ Spaan, N Vlassis Journal of artificial intelligence research 24, 195-220, 2005	700	2005
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	415	2003
The mathsat5 smt solver A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani International Conference on Tools and Algorithms for the Construction and …, 2013	398	2013
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	315	2014
Planning in nondeterministic domains under partial observability via symbolic model checking P Bertoli, A Cimatti, M Roveri, P Traverso IJCAI 2001, 473-478, 2001	253	2001
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	236	2008
Bounded Model Checking. A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu Handbook of satisfiability 185 (99), 457-481, 2009	216	2009
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	214	2011
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	206	2002
Conformant planning via symbolic model checking A Cimatti, M Roveri Journal of Artificial Intelligence Research 13, 305-338, 2000	206	2000
Automatic OBDD-based generation of universal plans in non-deterministic domains A Cimatti, M Roveri, P Traverso AAAI/IAAI, 875-881, 1998	184	1998
Planning via model checking: A decision procedure for AR A Cimatti, E Giunchiglia, F Giunchiglia, P Traverso European Conference on Planning, 130-142, 1997	184	1997
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	179	2001
Nusmv 2.4 user manual R Cavada, A Cimatti, CA Jochim, G Keighren, E Olivetti, M Pistore, ... CMU and ITC-irst, 2005	176	2005

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

Upload PDF

Follow this author

Cited by

Co-authors