Teaching

Handling backwards incompatible interface changes, EngD, scientific supervisor

Family-based Fault-tree Analysis, M.Sc., supervised together with Clemens Dubslaff

Towards Inferring Piping & Instrumentation Diagrams from Static Fault Trees, M.Sc.

Improving the Performance of Multi-Objective Evolutionary Algorithms for Fault Tree Inference, B.Sc., supervised together with Lisandro Jimenez Roa

Modeling and Analyzing Board Games through Markov Decision Processes, B.Sc., supervised together with Milan Lopuhaä-Zwakenberg

Fuzzy Markov chains, M.Sc., supervised together with Moritz Hahn

Automatic Inference of Fault Trees using Reinforcement Learning, M.Sc., supervised together with Lisandro A. Jimenez-Roa and Moritz Hahn

Using binary decision diagrams to compute the risk of section maintenance in water supply networks, B.Sc., supervised together with Moritz Hahn

Using Machine Learning to Predict Ground Force Absenteeism at KLM, B.Sc., supervised together with Vyvian van der Linden from KLM (Capstone project)

Modeling and Analysis of Board Games, B.Sc., supervised together with Christina Kolb

Calculating the Risk of Valve Failures when Maintaining Water Supply Net- works, B.Sc., supervised together with Moritz Hahn

Dynamic Fault Tree Analysis using Binary Decision Diagrams, B.Sc., supervised together with Shahid Khan

Analyzing Critical Components in Dynamic Fault Trees, B.Sc.

Parameter Synthesis for Continuous-Time Markov Chains, B.Sc.

Repairs in Dynamic Fault Trees: a Petri net semantics, B.Sc.

Analysing Dynamic Fault Trees by GSPNs, B.Sc.

Implementing an Incremental Solver for Difference Logic, B.Sc., supervised together with Gereon Kremer

Repairs in Dynamic Fault Trees, B.Sc., supervised together with Sebastian Junges

GSPN Semantics for Dynamic Fault Trees, M.Sc., supervised together with Sebastian Junges

Pattern-based detection of Monotonicity in Dynamic Fault Trees, B.Sc., supervised together with Sebastian Junges