Abgeschlossene Arbeiten

 

Thema Autor Abschluss
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
Simulation von Batterie Lade- und Entladevorgängen anhand des 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