Roveri, Marco

Roveri, Marco  

ES  

Mostra records
Risultati 1 - 20 di 129 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autore(i) File
6th International Workshop on Systems Software Verification, SSV 2011 1-gen-2012 Jörg, Brauer; Roveri, Marco; Hendrik, Tews
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2011 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Andrei, Tchaltsev
A Critical Overview and Open Questions for Temporal Planning with Uncertainty 1-gen-2011 Rosella, Gennari; Anna, Roubickova; Roveri, Marco
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 1-gen-2020 Beirami, H.; Calzà, D.; Cimatti, A.; Islam, M.; Roveri, M.; Svaizer, P.
A Framework for Integrating Business Processes and Business Requirements 1-gen-2004 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
A Model Checker for AADL 1-gen-2010 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer
A New Method for Testing Decision Procedures in Modal and Terminological Logics 1-gen-1996 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
Abstraction in Model Checking for Bug Hunting 1-gen-2000 Roveri, Marco
Abstraction in Planning via Model Checking 1-gen-1998 Cimatti, Alessandro; Giunchiglia, Fausto; Roveri, Marco
Agent-oriented modeling by interleaving formal and informal specification 1-gen-2003 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
Agent-oriented modeling by interleaving formal and informal specification 1-gen-2003 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
An Analytic Evaluation of SystemC Encodings in Promela 1-gen-2011 Campana, Daniele; Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 1-gen-2015 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 1-gen-1998 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Boolean Abstraction for Temporal Logic Satisfiability 1-gen-2007 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 1-gen-2011 Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
Bounded Verification of Past LTL 1-gen-2004 Cimatti, Alessandro; Roveri, Marco; D., Sheridan
Certifying Proofs for LTL Model Checking 1-gen-2018 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Certifying proofs for SAT-based model checking 1-gen-2021 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano