Bozzano, Marco
Bozzano, Marco
FM
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 Comprehensive Approach to On-board Autonomy Verification and Validation
2021-01-01 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
2013-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano
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 Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
2007-01-01 Bertoli, Piergiorgio; Bozzano, Marco; Cimatti, Alessandro
Algorithmic Verification of Invalidation-Based Protocols
2002-01-01 Bozzano, Marco; Delzanno, Giorgio
An effective fixpoint semantics for linear logic programs
2002-01-01 Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; Rossum Peter, Van; S. P., Schulz; Sebastiani, Roberto
An Integrated Process for FDIR Design in Aerospace
2014-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; De Ferluc, R.; Gario, Marco Elio Gustavo; Guiotto, A.; Yushtein, Y.
Analysis of Cyclic Fault Propagation via ASP
2022-01-01 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin; Kimberly, Greg
Automated Analysis of Reliability Architectures
2013-01-01 Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian
Automated generation of FDIR for the compass integrated toolset (AUTOGEF)
2012-01-01 Elena, Alaña; Héctor, Naranjo; Yuri, Yushtein; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Régis de, Ferluc; Gérard, Garcia
Automated Protocol Verification in Linear Logic
2002-01-01 Bozzano, Marco; G., Delzanno
Automated Synthesis of Timed Failure Propagation Graphs
2016-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro
Automated Verification and Tightening of Failure Propagation Models
2016-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Zampedri, Gianni
Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos
2004-01-01 Bozzano, Marco; G., Delzanno
Beyond parameterized verification
2002-01-01 Bozzano, Marco; Delzanno, Giorgio
Causality and Temporal Dependencies in the Design of Fault Management Systems
2017-01-01 Bozzano, Marco
Codesign of Dependable Systems: A Component-Based Language
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 Comprehensive Approach to On-board Autonomy Verification and Validation | 1-gen-2021 | Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco | |
| A Formal Framework for the Specification, Verification and Synthesis of Diagnosers | 1-gen-2013 | Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano | |
| 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 Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis | 1-gen-2007 | Bertoli, Piergiorgio; Bozzano, Marco; Cimatti, Alessandro | |
| Algorithmic Verification of Invalidation-Based Protocols | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio | |
| An effective fixpoint semantics for linear logic programs | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio; Martelli, Maurizio | |
| An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; Rossum Peter, Van; S. P., Schulz; Sebastiani, Roberto | |
| An Integrated Process for FDIR Design in Aerospace | 1-gen-2014 | Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; De Ferluc, R.; Gario, Marco Elio Gustavo; Guiotto, A.; Yushtein, Y. | |
| Analysis of Cyclic Fault Propagation via ASP | 1-gen-2022 | Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Jonas, Martin; Kimberly, Greg | |
| Automated Analysis of Reliability Architectures | 1-gen-2013 | Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian | |
| Automated generation of FDIR for the compass integrated toolset (AUTOGEF) | 1-gen-2012 | Elena, Alaña; Héctor, Naranjo; Yuri, Yushtein; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Régis de, Ferluc; Gérard, Garcia | |
| Automated Protocol Verification in Linear Logic | 1-gen-2002 | Bozzano, Marco; G., Delzanno | |
| Automated Synthesis of Timed Failure Propagation Graphs | 1-gen-2016 | Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro | |
| Automated Verification and Tightening of Failure Propagation Models | 1-gen-2016 | Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Zampedri, Gianni | |
| Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos | 1-gen-2004 | Bozzano, Marco; G., Delzanno | |
| Beyond parameterized verification | 1-gen-2002 | Bozzano, Marco; Delzanno, Giorgio | |
| Causality and Temporal Dependencies in the Design of Fault Management Systems | 1-gen-2017 | Bozzano, Marco | |
| Codesign of Dependable Systems: A Component-Based Language | 1-gen-2009 | Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco |