Adrian Beer

According to our database, Adrian Beer authored at least 2 papers between 2013 and 2015.

Collaborative distances:

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

2015

Symbolic Causality Checking Using Bounded Model Checking.

Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

2013

Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models.

Adrian Beer, Todor G. Georgiev, Florian Leitner-Fischer, Stefan Leue

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013