Alessandro Cimatti

Citado por

	Total	Desde 2020
Citas	25109	6062
Índice h	66	32
Índice i10	212	109

1500

750

375

1125

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202573 87 185 233 330 581 649 748 814 796 972 973 961 1078 1116 1244 1200 1261 1472 1257 1297 1253 1084 1205 1255 1162 1239 114

Acceso público

Ver todo

26 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceDirección de correo verificada de unitn.it
Stefano TonettaFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Alberto GriggioResearcher, Fondazione Bruno KesslerDirección de correo verificada de fbk.eu
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyDirección de correo verificada de unitn.it
Marco BozzanoFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoDirección de correo verificada de unitn.it
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoDirección de correo verificada de fbk.eu
Sergio MoverÉcole Polytechnique and LIXDirección de correo verificada de polytechnique.edu
Andrea MicheliFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Armin BiereProfessor of Computer Science, University of FreiburgDirección de correo verificada de informatik.uni-freiburg.de
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, ItalyDirección de correo verificada de fbk.eu
Roberto CavadaFondazione Bruno Kessler (FBK)Dirección de correo verificada de fbk.eu
Yunshan ZhueK12, Inc.Dirección de correo verificada de eK12.com
Enrico GiunchigliaDIBRIS - Università di GenovaDirección de correo verificada de unige.it
Roberto BruttomessoExpert Researcher and Software EngineerDirección de correo verificada de atrenta.com
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteDirección de correo verificada de cs.rwth-aachen.de
Viet Yen NguyenCTO at HypefactorsDirección de correo verificada de hypefactors.com
Armando TacchellaProfessor, Information Processing Systems, University of GenoaDirección de correo verificada de unige.it
Marco GarioGitHubDirección de correo verificada de github.com

Seguir

Alessandro Cimatti

Fondazione Bruno Kessler

Dirección de correo verificada de fbk.eu - Página principal

Formal Verification Model Checking SMT Automated Planning FDIR


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	3514	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	2627	2002
Bounded model checking A Biere Handbook of satisfiability, 739-764, 2021	1760	2021
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	1085	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	1001	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	980	2000
The mathsat5 smt solver A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani International Conference on Tools and Algorithms for the Construction and …, 2013	797	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	706	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	584	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	306	2008
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	271	2011
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
Conformant planning via symbolic model checking A Cimatti, M Roveri Journal of Artificial Intelligence Research 13, 305-338, 2000	241	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	233	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	228	2005
Software model checking via IC3 A Cimatti, A Griggio Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012	217	2012
Automatic OBDD-based generation of universal plans in non-deterministic domains A Cimatti, M Roveri, P Traverso AAAI/IAAI, 875-881, 1998	216	1998
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	210	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	208	2001
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	206	2009

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores