Bozzano, Marco

Bozzano, Marco  

Mostra records
Risultati 1 - 20 di 88 (tempo di esecuzione: 0.02 secondi).
Titolo Data di pubblicazione Autore(i) File
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2011 Marco Bozzano; Alessandro Cimatti; Marco Roveri; Andrei Tchaltsev
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 Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri; 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 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 B.; Bozzano M.; Cimatti A.; De Ferluc R. ; Gario M.; Guiotto A. ; Yushtein Y.
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 Marco Bozzano; 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 Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll; Marco Roveri
Codesign of Dependable Systems: A Component-Based Modeling Language 1-gen-2009 Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll
COMPASS 3.0 1-gen-2019 Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano
COMPASS Tool 1-gen-2010 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer; Cavada, Roberto
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2009 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Andrei, Tchaltsev