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
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
Lukas Westhofen	Master Thesis	Formal Verification of Industrial C Code	Philipp Berger

Past projects

2018
	Alexander Bork. Analysing Dynamic Fault Trees by GSPNs. Bachelor Thesis at RWTH Aachen University, 2018.
	Sabrina Kowarsch. Modeling and Analysis of a Spacecraft Mission. Master Thesis at RWTH Aachen University, 2018.
	Fabian Schneider. A Unified Algebraic Shape Domain. Master Thesis at RWTH Aachen University, 2018.
	Felix Bier. From Forest Automata to Hyperedge Replacement Grammars and Back. Master Thesis at RWTH Aachen University, 2018.
2017
	Sven Deserno. Probabilistic Model Checking for Markov Chain Families. Master Thesis at RWTH Aachen University, 2017.
	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