Bittner, Benjamin

Bittner, Benjamin  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) File
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 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
Diagnosability of fair transition systems 1-gen-2022 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Vozárová, Viktória
FAME: A Model-Based Environment 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.
Symbolic Synthesis of Observability Requirements for Diagnosability 1-gen-2011 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive
Symbolic Synthesis of Observability Requirements for Diagnosability 1-gen-2012 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study 1-gen-2017 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 1-gen-2014 Bittner B.; Bozzano M.; Cimatti A.; Gario M.; Griggio A.
The xSAP Safety Analysis Platform 1-gen-2016 Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni