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

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.
2016
	Ronja Nocon. Pattern based analysis of monotonicity on Dynamic Fault Trees. Bachelor Thesis at RWTH Aachen University, 2016.
	Thomas Mertens. Efficient reuse of learnt information for control-flow oriented IC3 algorithms. Master thesis at RWTH Aachen University, 2016.
	Frederick Prinz. Generalisation methods for control-flow oriented IC3 algorithms. Master thesis at RWTH Aachen University, 2016.
	Tim Quatmann. Multi-Objective Model Checking of Markov Automata. Master Thesis at RWTH Aachen University, 2016.
	Tom Janson. Accelerated Model Repair using Heuristic Analysis of Subsystems. Bachelor Thesis at RWTH Aachen University, 2016.
	Isabelle Tülleners. Graph-based Heap Abstraction for Balanced Data Structures. Bachelor Thesis at RWTH Aachen University, 2016.
	Hannah Arndt. Heap Abstraction Beyond Context-Freeness. Bachelor Thesis at RWTH Aachen University, 2016.
	Hanna Franzen. Graph-Based Symbolic Execution for Pointer Programs with Data. Bachelor Thesis at RWTH Aachen University, 2016.
	Simon Feiden. Extending Probability Generating Function Semantics to Negative Variable Valuations. at RWTH Aachen University, 2016.
	Raoul Schaffranek. Modelling a Purely Functional Subset of EcmaScript2015. Bachelor Thesis at RWTH Aachen University, 2016.
	Louis Wachtmeister. Analysing Cryptographically-Masked Information Flows Using Slicing. Bachelor Thesis at RWTH Aachen University, 2016.
	David Korzeniewski. McMillan Prefixes for Stochastic Petri Nets. Master Thesis at RWTH Aachen University, 2016.
Show all