Roveri, Marco

Roveri, Marco  

Mostra records
Risultati 1 - 20 di 129 (tempo di esecuzione: 0.013 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 Critical Overview and Open Questions for Temporal Planning with Uncertainty 1-gen-2011 Rosella Gennari; Anna Roubickova; Marco Roveri
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
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
Codesign of Dependable Systems: A Component-Based Language 1-gen-2009 Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri
Codesign of Dependable Systems: A Component-Based Modeling Language 1-gen-2009 Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 1-gen-2015 Griggio, Alberto; Roveri, Marco