Benjamin Bittner

According to our database1, Benjamin Bittner authored at least 8 papers between 2012 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016
The xSAP Safety Analysis Platform.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Automated Synthesis of Timed Failure Propagation Graphs.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Automated Verification and Tightening of Failure Propagation Models.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2014
An Integrated Process for FDIR Design in Aerospace.
Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

Towards Pareto-optimal parameter synthesis for monotonic cost functions.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

Compositional Analysis Using Component-Oriented Interpolation.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2012
Symbolic Synthesis of Observability Requirements for Diagnosability.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012


  Loading...