Marco Roveri

Citado por

	Total	Desde 2019
Citas	11754	3092
Índice h	44	25
Índice i10	104	59

700

350

175

525

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202430 58 91 136 250 314 353 439 421 506 552 506 580 591 633 551 630 685 541 586 577 486 503 567 573 383

Acceso público

Ver todo

15 artículos

3 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Alessandro CimattiFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, ItalyDirección de correo verificada de fbk.eu
Stefano TonettaFondazione 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
Andrea MicheliFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Alberto GriggioResearcher, Fondazione 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
Marco BozzanoFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Roberto CavadaFondazione Bruno Kessler (FBK)Dirección de correo verificada de fbk.eu
Enrico GiunchigliaDIBRIS - Università di GenovaDirección de correo verificada de unige.it
Armando TacchellaProfessor, Information Processing Systems, University of GenoaDirección de correo verificada de unige.it
Viet Yen NguyenCTO at HypefactorsDirección de correo verificada de hypefactors.com
Sergio MoverÉcole Polytechnique and LIXDirección de correo verificada de polytechnique.edu
Iman NarasamdyaResearcher, Fondazione Bruno KesslerDirección de correo verificada de fbk.eu
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteDirección de correo verificada de cs.rwth-aachen.de
John MylopoulosUniversity of OttawaDirección de correo verificada de cs.toronto.edu
Roderick BloemGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
Angelo SusiResearcher, Fondazione Bruno Kessler (FBK), ItalyDirección de correo verificada de fbk.eu

Seguir

Marco Roveri

University of Trento - Department of Information Engineering and Computer Science

Dirección de correo verificada de unitn.it - Página principal

Formal Methods Artificial Intelligence Computer Science


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	2593	2002
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999	986	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	961	2000
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	668	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	567	2003
Specifying and analyzing early requirements in Tropos A Fuxman, L Liu, J Mylopoulos, M Pistore, M Roveri, P Traverso Requirements Engineering 9, 132-150, 2004	353	2004
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	266	2011
Conformant planning via symbolic model checking A Cimatti, M Roveri Journal of Artificial Intelligence Research 13, 305-338, 2000	240	2000
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	225	2005
Automatic OBDD-based generation of universal plans in non-deterministic domains A Cimatti, M Roveri, P Traverso AAAI/IAAI, 875-881, 1998	215	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	208	2001
Conformant planning via symbolic model checking and heuristic search A Cimatti, M Roveri, P Bertoli Artificial Intelligence 159 (1-2), 127-206, 2004	159	2004
Strong Planning in Non-Deterministic Domains Via Model Checking. A Cimatti, M Roveri, P Traverso AIPS 98, 36-43, 1998	158	1998
Strong planning under partial observability P Bertoli, A Cimatti, M Roveri, P Traverso Artificial intelligence 170 (4-5), 337-384, 2006	153	2006
RATSY–a new requirements analysis tool with synthesis R Bloem, A Cimatti, K Greimel, G Hofferek, R Könighofer, M Roveri, ... Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010	131	2010
The COMPASS approach: Correctness, modelling and performability of aerospace systems M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri Computer Safety, Reliability, and Security: 28th International Conference …, 2009	130	2009
A framework for integrating business processes and business requirements R Kazhamiakin, M Pistore, M Roveri Proceedings. Eighth IEEE International Enterprise Distributed Object …, 2004	114	2004
Verifying SystemC: A software model checking approach A Cimatti, A Micheli, I Narasamdya, M Roveri Formal Methods in Computer Aided Design, 51-59, 2010	107	2010
Requirements-driven verification of web services M Pistore, M Roveri, P Busetta Electronic Notes in Theoretical Computer Science 105, 95-108, 2004	101	2004

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