Roveri, Marco

Roveri, Marco  

Mostra records
Risultati 1 - 20 di 129 (tempo di esecuzione: 0.019 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 Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev
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; Marco Roveri
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 Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri; Ralf Wimmer
A New Method for Testing Decision Procedures in Modal and Terminological Logics 1-gen-1996 Fausto Giunchiglia; Marco Roveri; Roberto Sebastiani
Abstraction in Model Checking for Bug Hunting 1-gen-2000 Marco Roveri
Abstraction in Planning via Model Checking 1-gen-1998 Alessandro Cimatti; Fausto Giunchiglia; Marco Roveri
Agent-oriented modeling by interleaving formal and informal specification 1-gen-2003 Anna Perini; Marco Pistore; Marco Roveri; Angelo Susi
Agent-oriented modeling by interleaving formal and informal specification 1-gen-2003 Anna Perini; Marco Pistore; Marco Roveri; Angelo Susi
An Analytic Evaluation of SystemC Encodings in Promela 1-gen-2011 Daniele Campana; Alessandro Cimatti; Iman Narasamdya; Marco Roveri
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 Alessandro Cimatti; Marco Roveri; Paolo Traverso
Boolean Abstraction for Temporal Logic Satisfiability 1-gen-2007 Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Stefano Tonetta
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 1-gen-2011 Alessandro Cimatti; Iman Narasamdya; Marco Roveri
Bounded Verification of Past LTL 1-gen-2004 A. Cimatti; M. Roveri; 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