Tobias Winkler

profilbild-winkler
Email
tobias.winkler at cs.rwth-aachen.de
Address
Room 4231
Ahornstraße 55
D-52074 Aachen

I am a PhD student in the Software Modeling and Verification Group headed by Professor J.-P. Katoen. Moreover, I am an associated doctoral researcher in the research training group UnRAVel.

Research

My research focuses on automatic formal analysis of probabilistic systems, both from a theoretical and practical point of view. More specifically, my current interests include:

  • Probabilistic Model Checking
  • Parametric Markov Models
  • Stochastic Games
  • Probabilistic Programming

I supervise our UnRAVeL student assistants Johannes Lehmann and Adrian Gallus (together with Kevin Batz and Benjamin Kaminski).

Thesis projects

If you are interested in writing a Bachelor/Master’s thesis in any of the areas mentioned above, don’t hesitate to contact me. You can also check our list of open topics.

Current thesis projects

I am currently supervising the following projects:

  • Automata-based Model Checking of Recursive Systems – Christina Gehnen, Bachelor’s thesis.

Teaching

Current semester

Past semesters

Publications

You can also find me on dblp.

2020
arXiv:2007.06327 [bibtex] [issue] Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Kevin Batz, Kevin Stefan Batz, Lutz Klinkenberg, Tobias Winkler. Generating Functions for Probabilistic Programs, 2020. https://arxiv.org/abs/2007.06327
DOI [bibtex] [issue] Joost-Pieter Katoen, Krishnendu Chatterjee, Maximilian Weininger, Tobias Winkler. Stochastic Games with Lexicographic Reachability-Safety Objectives, International Conference on Computer Aided Verification (CAV20), Volume 12225 of LNCS, 398-420, Springer, 2020.
[bibtex] [issue] Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Kevin Batz, Lutz Klinkenberg, Tobias Winkler. Generating Functions for Probabilistic Programs, 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR2020), LNCS, Springer, 2020.
2019
DOI fulltext PDF [bibtex] [issue] Guillermo A. Pérez, Joost-Pieter Katoen, Sebastian Junges, Tobias Winkler. On the Complexity of Reachability in Parametric Markov Decision Processes, CONCUR 2019, Volume 140 of Leibniz international proceedings in informatics : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August, 2019.