Research Interests

Formal methods, stochastic modeling, Markov decision processes and Markov chains, phase type distributions, simulation, optimization, stochastic shortest path problems, and cognitive human decision models

Publications

• List of Publications

Presentations

• Poster presentation at Workshop on Optimization under Uncertainty (PRONTO 2018),  TU Dortmund, Dortmund, Germany, September 2018
• Lorentz Center Workshop "Safety of Future Systems: Science meets Industry", Leiden, the Netherlands, April 2018
• 19th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems (MMB), Friedrich-Alexander-University in Erlangen, Erlangen, Germany, February 2018
• Internal Workshop on Modeling internal states of cognition and mental workload, TU Dortmund, Dortmund, Germany, June 2017
• 13th European Workshop on Performance Engineering, Chios, Greece, October 2016
• Poster presentation at Dagstuhl Seminar, Germany, May 2016
• International Workshop on Vehicle Routing under Uncertainty, TU Dortmund, Dortmund, Germany, September 2015
• Twentieth International Conference on Analytical & Stochastic Modelling Techniques & Applications, Ghent, Belgium, July 2013

• 4th International ICST Conference on Simulation Tools and Techniques, Barcelona, Spain, March 2011

Teaching (Exercises in german)

• Theoretische Informatik für Studierende der Angewandten Informatik (Spring 2010)
• Modellierung und Analyse eingebetteter und verteilter Systeme (Fall 2011-2018)
• Betriebssysteme (Spring 2011)
• Modellgestützte Analyse und Optimierung (Spring 2012-2018)

(Co)-supervised Theses 

• Kevin Fiedler: Interaktive Simulationsmodelle zur Messung von Benutzerverhalten (Bachelor thesis, 2017)

Projects

• Graduiertenkolleg 1855 "Diskrete Optimierung technischer Systeme unter Unsicherheit"
• Research & Development in open-source project  "Driving assistance system for autonomous guided vehicles (openTCS)", October 2006 - April 2010

Participations

• Lorentz Center Workshop "Safety of Future Systems: Science meets Industry", Leiden, the Netherlands, April 2018
• Dagstuhl Seminar, 11th Joint Workshop of German Research Training Groups in Computer Science, June 2017
• Dagstuhl Seminar, Event 16213, Gemeinsamer Workshop der Graduiertenkollegs: GRK 1780 Crossworlds der TU Chemnitz & GRK 1907 RoSI der TU Dresden, May 2016

• Participation in ROCKS Autumn School, October 2012