Bozzano, Marco

Bozzano, Marco  

FM  

Mostra records
Risultati 1 - 20 di 95 (tempo di esecuzione: 0.011 secondi).
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