Thesis Projects

If you are interested in writing your master or bachelor thesis in the MOVES group, please contact Prof. Dr. Joost-Pieter Katoen, Prof. Dr. Thomas Noll, or the person indicated with the topics below.

Open topics

Open since Type Topic Supervisor
Mar 2014 B/M Observing Stochastic Games by Timed Automata Christian Dehnert
Apr 2014 B Interprocedural Heap-Analysis using Contracts Christina Jansen
Oct 2015 M Invariants for Conditional Weakest-Preexpectations Benjamin Kaminski
Feb 2017 B How Fast is Your Modern Probabilistic Model Checker Sebastian Junges
Apr 2017 B Parameter synthesis for Continuous-Time Markov Chains Matthias Volk
Aug 2017 B/M Static state space reduction techniques for MDPs Sebastian Junges
Sep 2017 B Topological strategy iteration for MDP model checking Tim Quatmann

Current projects

Student Type Topic Supervisor
Sven Deserno Master Thesis Probabilistic Model Checking for Markov Chain Families Sebastian Junges, Benjamin Kaminski
 Felix Bier Master Thesis From Graph Grammars to Forest Automata and Back Christoph Matheja
Sabrina Kowarsch Master Thesis Modeling and Analysis of a Spacecraft Mission Harold Bruintjes

Past projects

Daniel Cloerkes. A Cyclic Proof System for Graph Grammar Inclusion. Bachelor Thesis at RWTH Aachen University, 2017.
Dustin Jungen. Repairs in Dynamic Fault Trees. Bachelor Thesis at RWTH Aachen University, 2017.
Michael Deutschen. Petri net semantics for Dynamic Fault Trees. Master Thesis at RWTH Aachen University, 2017.
Kevin Batz. Proof Rules for Expected Run-Times of Probabilistic Programs. Bachelor Thesis at RWTH Aachen University, 2017.
Show all