Roveri, Marco
Roveri, Marco
Ingegneria e scienza dell'Informaz (29/10/12-)
6th International Workshop on Systems Software Verification, SSV 2011
2012-01-01 Brauer, Jörg; Roveri, Marco; Tews, Hendrik
A new method for testing decision procedures in modal and terminological logics
1996-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
A new method for testing decision procedures in modal logics
1997-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
Abstraction in Model Checking for Bug Hunting
2000-01-01 Roveri, Marco
Abstraction in planning via model checking
1998-01-01 Cimatti, A.; Giunchiglia, Fausto; Roveri, M.
Agent-oriented modeling by interleaving formal and informal specification
2003-01-01 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
An Analytic Evaluation of SystemC Encodings in Promela
2011-01-01 Campana, Daniele; Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains
1998-01-01 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Boolean Abstraction for Temporal Logic Satisfiability
2007-01-01 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
Boosting Lazy Abstraction for SystemC with Partial Order Reduction
2011-01-01 Cimatti, Alessandro; Narasamdya, Iman; Roveri, M
Bounded Verification of Past LTL
2004-01-01 Cimatti, A.; Roveri, M.; Sheridan, D.
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic
2016-01-01 Cimatti, Alessandro; Irfan, Ahmed; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
Certifying Proofs for LTL Model Checking
2018-01-01 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Certifying proofs for {SAT}-based model checking
2021-01-01 Alberto, Griggio; Roveri, Marco; Stefano, Tonetta; Griggio, Alberto
Codesign of Dependable Systems: A Component-Based Modeling Language
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking
2015-01-01 Griggio, Alberto; Roveri, Marco
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas; Roveri, Marco
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2011-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
A Comprehensive Approach to On-board Autonomy Verification and Validation
2021-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco