Bachelor’s/Master’s Theses at DSiS

Open theses topics at DSiS are also listed in the SDQ wiki (in German). There, also general information about the process of writing a theses at DSiS is available.

Not all possible theses topics are listed there. If you are interested in writing a theses at DSiS that is related to our research topics, please contact one of our staff members or the head members of our research groups. We can usually find a topic that fits the student’s as well as our research interests.

Bachelor’s Theses

Topic Supervisors
Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications Robert Heinrich, Niclas Kannengießer
Zeitbehaftete Informationsflussanalyse zur genauen Erkennung von verdeckten Zeitkanälen Christopher Gerking
Extraktion eines Testkorpus von zeitbehafteten Vertraulichkeitsschwachstellen aus Java-Programmen Christopher Gerking
Generation of Checkpoints for Hardware Architecture Simulators Sebastian Weber

Master’s Theses

Topic Supervisors
Design-time optimization of runtime adaptation strategies using evolutionary algorithms Martina Rapp
Design-time optimization of runtime adaptation strategies using Reinforcement learning-based methods Martina Rapp
Maschinelles Lernen von Modelltransformationen aus Transformationsdefinitionen Christopher Gerking
Kosten-Nutzen-Analyse imperativer Modelltransformationssprachen Christopher Gerking
Modellierung von Angriffen für quantitative Sicherheitsanalysen Frederik Reiche, Florian Lanzinger
Classification of composition operators for model-based analysis Robert Heinrich, Bahareh Taghavi
Designing an Emfatic-like Language for View Definition Lars König
Properties and Granularities of Transactions in the Development of Cyber-Physical Systems Thomas Weber
Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications Robert Heinrich, Niclas Kannengießer
Zeitbehaftete Informationsflussanalyse zur genauen Erkennung von verdeckten Zeitkanälen Christopher Gerking
Extraktion eines Testkorpus von zeitbehafteten Vertraulichkeitsschwachstellen aus Java-Programmen Christopher Gerking
Generation of Checkpoints for Hardware Architecture Simulators Sebastian Weber