Marco Roveri

Cited by

	All	Since 2018
Citations	10808	2779
h-index	43	24
i10-index	95	50

720

360

180

540

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202366 100 129 237 302 356 427 430 508 540 505 571 580 629 542 644 711 541 584 577 478 508 530 102

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, ItalyVerified email at fbk.eu
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyVerified email at unitn.it
Andrea MicheliFondazione Bruno KesslerVerified email at fbk.eu
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at unitn.it
Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoVerified email at fbk.eu
Marco BozzanoFondazione Bruno KesslerVerified email at fbk.eu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Viet Yen NguyenCTO at HypefactorsVerified email at hypefactors.com
Enrico GiunchigliaDIBRIS - Università di GenovaVerified email at unige.it
Iman NarasamdyaResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
Sergio MoverAssistant Professor of Computer Science, École PolytechniqueVerified email at polytechnique.edu
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerified email at unige.it
Angelo SusiResearcher, Fondazione Bruno Kessler (FBK), ItalyVerified email at fbk.eu
Thomas NollRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Ingo PillSilicon Austria Labs GmbH, Inffeldgasse 33, 8010 GrazVerified email at silicon-austria.com

Marco Roveri

University of Trento - Department of Information Engineering and Computer Science

Verified email at unitn.it - Homepage

Formal Methods Artificial Intelligence Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	2381	2002
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri CAV 99, 495-499, 1999	934	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	902	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	549	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	514	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	342	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	251	2011
Conformant planning via symbolic model checking A Cimatti, M Roveri Journal of Artificial Intelligence Research 13, 305-338, 2000	234	2000
Automatic OBDD-based generation of universal plans in non-deterministic domains A Cimatti, M Roveri, P Traverso AAAI/IAAI, 875-881, 1998	207	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	206	2001
Nusmv 2.4 user manual R Cavada, A Cimatti, CA Jochim, G Keighren, E Olivetti, M Pistore, ... CMU and ITC-irst, 2005	204	2005
Conformant planning via symbolic model checking and heuristic search A Cimatti, M Roveri, P Bertoli Artificial Intelligence 159 (1-2), 127-206, 2004	155	2004
Strong planning under partial observability P Bertoli, A Cimatti, M Roveri, P Traverso Artificial intelligence 170 (4-5), 337-384, 2006	139	2006
Strong Planning in Non-Deterministic Domains Via Model Checking. A Cimatti, M Roveri, P Traverso AIPS 98, 36-43, 1998	136	1998
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	133	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	126	2009
A framework for integrating business processes and business requirements R Kazhamiakin, M Pistore, M Roveri Proceedings. Eighth IEEE International Enterprise Distributed Object …, 2004	108	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	100	2010
Requirements-driven verification of web services M Pistore, M Roveri, P Busetta Electronic Notes in Theoretical Computer Science 105, 95-108, 2004	98	2004

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