Benjamin Bittner

According to our database, Benjamin Bittner authored at least 10 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Diagnosability of fair transition systems.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová

Artif. Intell., 2022

2017

Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016

Formal failure analyses for effective fault management: an aerospace perspective.

Benjamin Bittner

PhD thesis, 2016

The xSAP Safety Analysis Platform.

Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Automated Synthesis of Timed Failure Propagation Graphs.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Automated Verification and Tightening of Failure Propagation Models.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2014

An Integrated Process for FDIR Design in Aerospace.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Régis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

Towards Pareto-optimal parameter synthesis for monotonic cost functions.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Compositional Analysis Using Component-Oriented Interpolation.

Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2012

Symbolic Synthesis of Observability Requirements for Diagnosability.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012