Roveri, Marco
Roveri, Marco
6th International Workshop on Systems Software Verification, SSV 2011
2012-01-01 Jörg, Brauer; Roveri, Marco; Hendrik, Tews
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2011-01-01 Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Andrei, Tchaltsev
A Critical Overview and Open Questions for Temporal Planning with Uncertainty
2011-01-01 Rosella Gennari; Anna Roubickova; Marco Roveri
A Data-driven Approach for RUL Prediction of an Experimental Filtration System
2020-01-01 Beirami, H.; Calzà, D.; Cimatti, A.; Islam, M.; Roveri, M.; Svaizer, P.
A Framework for Integrating Business Processes and Business Requirements
2004-01-01 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
A Model Checker for AADL
2010-01-01 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
1996-01-01 Fausto Giunchiglia; Marco Roveri; Roberto Sebastiani
Abstraction in Model Checking for Bug Hunting
2000-01-01 Marco Roveri
Abstraction in Planning via Model Checking
1998-01-01 Alessandro Cimatti; Fausto Giunchiglia; Marco Roveri
Agent-oriented modeling by interleaving formal and informal specification
2003-01-01 Anna Perini; Marco Pistore; Marco Roveri; Angelo Susi
Agent-oriented modeling by interleaving formal and informal specification
2003-01-01 Anna Perini; Marco Pistore; Marco Roveri; Angelo Susi
An Analytic Evaluation of SystemC Encodings in Promela
2011-01-01 Daniele Campana; Alessandro Cimatti; Iman Narasamdya; Marco Roveri
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
2015-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains
1998-01-01 Alessandro Cimatti; Marco Roveri; Paolo Traverso
Boolean Abstraction for Temporal Logic Satisfiability
2007-01-01 Alessandro Cimatti; Marco Roveri; Viktor Schuppan; Stefano Tonetta
Boosting Lazy Abstraction for SystemC with Partial Order Reduction
2011-01-01 Alessandro Cimatti; Iman Narasamdya; Marco Roveri
Bounded Verification of Past LTL
2004-01-01 A. Cimatti; M. Roveri; D. Sheridan
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 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
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 |