Seuraa
Marco Roveri
Marco Roveri
University of Trento - Department of Information Engineering and Computer Science
Vahvistettu sähköpostiosoite verkkotunnuksessa unitn.it - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
25242002
NuSMV: A new symbolic model verifier
A Cimatti, E Clarke, F Giunchiglia, M Roveri
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
9651999
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
9582000
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
6262014
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
5522003
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
3462004
Planning in nondeterministic domains under partial observability via symbolic model checking
P Bertoli, A Cimatti, M Roveri, P Traverso
IJCAI 2001, 473-478, 2001
2702001
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
2622011
Conformant planning via symbolic model checking
A Cimatti, M Roveri
Journal of Artificial Intelligence Research 13, 305-338, 2000
2422000
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
2212005
Automatic OBDD-based generation of universal plans in non-deterministic domains
A Cimatti, M Roveri, P Traverso
AAAI/IAAI, 875-881, 1998
2131998
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
2082001
Conformant planning via symbolic model checking and heuristic search
A Cimatti, M Roveri, P Bertoli
Artificial Intelligence 159 (1-2), 127-206, 2004
1582004
Strong planning under partial observability
P Bertoli, A Cimatti, M Roveri, P Traverso
Artificial intelligence 170 (4-5), 337-384, 2006
1502006
Strong Planning in Non-Deterministic Domains Via Model Checking.
A Cimatti, M Roveri, P Traverso
AIPS 98, 36-43, 1998
1481998
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
1322010
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
1272009
A framework for integrating business processes and business requirements
R Kazhamiakin, M Pistore, M Roveri
Proceedings. Eighth IEEE International Enterprise Distributed Object …, 2004
1132004
Verifying SystemC: A software model checking approach
A Cimatti, A Micheli, I Narasamdya, M Roveri
Formal Methods in Computer Aided Design, 51-59, 2010
1032010
Requirements-driven verification of web services
M Pistore, M Roveri, P Busetta
Electronic Notes in Theoretical Computer Science 105, 95-108, 2004
1002004
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20