Completed Theses

 

Topic Author Degree

A hierarchical approach to monitoring SCADA networks Link

Verena Menzel Master
Entwicklung einer webbasierten Benutzerschnittstelle für einen Statistical Model Checker hybrider Petri Netze mit generellen Transitionen Link Felix Ludwig Bachelor
Comparison of SCADA protocols and implementation of IEC 104 and MQTT in Mosaik Link Thomas Teodorowicz Bachelor
Comparing and improving modular simulation approaches for SCADA Christof Duhme Bachelor
Analyse des Kinetic Battery Models mit Hybriden Petri Netzen Mathis Niehage Bachelor
Vergleich und Implementierung von Hypothesentests für das statistische Model Checking Link Fabian Edenfeld Bachelor
Analyse intelligenter Haushaltsgeräte in Smart Homes zur Maximierung der Eigennutzung lokaler Stromproduktion Link Anna-Lisa Linnemann Bachelor
Vergleich der Parametric Reachability Analysis und der Region-based Analysis zur Untersuchung von Hybrid Petri nets with a general one-shot Transition (HPnG) anhand eines Fallbeispiels Link Thore Thießen Bachelor
Battery charge and discharge simulation on the basis of the Kinetic Battery Model Sebastian Herbold Bachelor
Development of an event-based simulator for model checking hybrid Petri nets with random variables Link Carina Pilch Master
Translating Model Checking of Hybrid Petri Nets into Operations on Nef Polyhedra Link Adrian Godde Master
Synthesis of smart appliances in smart homes with batteries to maximize self-use Fabian Stein Bachelor
Analyse sicherheitskritischer Aspekte eine Kläranlage mit Methoden des quantitativen Model Checkings Link David Könning  Master
An overview on statistical model checking Khao Vu Bachelor
Energy storage in Smart Homes: Grid-convenience versus self-use Link Jannik Hüls Master
CSL Model Checking von QBDs in PRISM Link Stefanie Drerup Bachelor
Erreichbarkeit in QBDs mithilfe von MDP Abstraktion Link Joanna Delicaris Bachelor
Sequence Attacks on SCADA Systems Link Benedikt Ferling Bachelor
Effiziente Traversierung von Zustands Bäumen zur Prüfung von Wahrscheinlichkeitsgrenzen in Hybriden Petri Netzen Link Christopher Distelkämper Bachelor
Simulation von Hybriden Petri Netzen mit druckabhängigen Transitionen Link Alexander Boesel Bachelor