Ausschreibungen/Webseite/DSiS

Bachelor’s Theses

Topic	Supervisors
Enable Tracing Requirements and Source Code in Visual Studio Code using Large Language Models	Dominik Fuchß, Kevin Feichtinger
Semantiken von Modelländerungen	Thomas Weber
A RAAML driven case study in automotive safety analysis	Muhammad Minhas
Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications	Robert Heinrich, Niclas Kannengießer

Topic	Supervisors
Semantic tracelinks in Model-Based Systems Engineering	Thomas Weber, Arne Lange
Assessing the Scalability of Variability Artifact Transformations using TRAVART	Kevin Feichtinger
Properties and Granularities of Transactions in the Development of Cyber-Physical Systems	Thomas Weber
Semantiken von Modelländerungen	Thomas Weber
Optimizing dependencies in safety analysis models	Muhammad Minhas
A unified framework for safety analysis models	Muhammad Minhas
Classification of composition operators for model-based analysis	Robert Heinrich, Bahareh Taghavi
Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications	Robert Heinrich, Niclas Kannengießer