Bittner, Benjamin
Bittner, Benjamin
ES
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.
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
Diagnosability of fair transition systems
2022-01-01 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
2014-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; De Ferluc, R.; Gario, Marco Elio Gustavo; Guiotto, A.; Yushtein, Y.
Symbolic Synthesis of Observability Requirements for Diagnosability
2011-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive
Symbolic Synthesis of Observability Requirements for Diagnosability
2012-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Xavier, Olive
The xSAP Safety Analysis Platform
2016-01-01 Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study
2017-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions
2014-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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. | |
| 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 | |
| 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 | |
| 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, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto |