- Master thesis: "Model Checking of Probabilistic Graphical Models"
student: David Deininger, 2016, Max Planck Institute for Software Systems
- Bachelor thesis: "Slicing Abstractions for Safety Games"
student: Robin Wagner, 2013, Saarland University
- Master thesis: "Symbolic Encodings of Timed Games with Incomplete Information"
student: Daniel Dahrendorf, 2009, Saarland University