Uwe Kühne

According to our database, Uwe Kühne authored at least 2 papers between 2014 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

2014

Towards Symbolic Causality Checking using SAT-Solving.

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

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme X, 2014