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
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Andrei, Tchaltsev
A Comprehensive Approach to On-Board Autonomy Verification and Validation
2011-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
A Critical Overview and Open Questions for Temporal Planning with Uncertainty
2011-01-01 Rosella, Gennari; Anna, Roubickova; Roveri, Marco
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 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
1996-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
Abstraction in Model Checking for Bug Hunting
2000-01-01 Roveri, Marco
Abstraction in Planning via Model Checking
1998-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; Roveri, Marco
Agent-oriented modeling by interleaving formal and informal specification
2003-01-01 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
Agent-oriented modeling by interleaving formal and informal specification
2003-01-01 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
An Analytic Evaluation of SystemC Encodings in Promela
2011-01-01 Campana, Daniele; Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
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 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Boolean Abstraction for Temporal Logic Satisfiability
2007-01-01 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
Boosting Lazy Abstraction for SystemC with Partial Order Reduction
2011-01-01 Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
Bounded Verification of Past LTL
2004-01-01 Cimatti, Alessandro; Roveri, Marco; 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-2009 | Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Andrei, Tchaltsev | |
| A Comprehensive Approach to On-Board Autonomy Verification and Validation | 1-gen-2011 | Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei | |
| 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 |