Roveri, Marco

Roveri, Marco  

Ingegneria e scienza dell'Informaz (29/10/12-)  

Mostra records
Risultati 1 - 20 di 123 (tempo di esecuzione: 0.041 secondi).
Titolo Anno di pubblicazione Autori Unitn File
6th International Workshop on Systems Software Verification, SSV 2011 1-gen-2012 Marco Roveri +
A new method for testing decision procedures in modal and terminological logics 1-gen-1996 Giunchiglia, FaustoRoveri, MarcoSebastiani, Roberto
A new method for testing decision procedures in modal logics 1-gen-1997 Giunchiglia, FaustoRoveri, MarcoSebastiani, Roberto
Abstraction in Model Checking for Bug Hunting 1-gen-2000 Marco Roveri
Abstraction in planning via model checking 1-gen-1998 Giunchiglia, FaustoM. Roveri +
Agent-oriented modeling by interleaving formal and informal specification 1-gen-2003 Perini, AnnaRoveri, MarcoSusi, Angelo +
An Analytic Evaluation of SystemC Encodings in Promela 1-gen-2011 Alessandro CimattiMarco Roveri +
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 1-gen-1998 Alessandro CimattiMarco Roveri +
Boolean Abstraction for Temporal Logic Satisfiability 1-gen-2007 Roveri, MarcoTonetta, Stefano +
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 1-gen-2011 Roveri M +
Bounded Verification of Past LTL 1-gen-2004 A. CimattiM. Roveri +
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 1-gen-2016 Alessandro CimattiAhmed IrfanAlberto GriggioMarco RoveriRoberto Sebastiani
Certifying Proofs for LTL Model Checking 1-gen-2018 Alberto GriggioMarco RoveriStefano Tonetta
Certifying proofs for {SAT}-based model checking 1-gen-2021 Marco RoveriGriggio, Alberto +
Codesign of Dependable Systems: A Component-Based Modeling Language 1-gen-2009 Alessandro CimattiMarco Roveri +
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 1-gen-2015 Griggio AlbertoRoveri Marco
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 1-gen-2009 Alessandro CimattiMarco Roveri +
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2009 Alessandro CimattiMarco Roveri +
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2011 Alessandro CimattiMarco Roveri +
A Comprehensive Approach to On-board Autonomy Verification and Validation 1-gen-2021 Roveri, Marco +