Ausschreibungen/Webseite

Bachelor’s Theses

Topic	Supervisors
Enable Tracing Requirements and Source Code in Visual Studio Code using Large Language Models	Dominik Fuchß, Kevin Feichtinger
Klassifikation von Anforderungen	Sophie Corallo
Trace Links in Anforderungen	Sophie Corallo
An Empirical Study of Observations, Triggers, and Alternatives for Consistency Preservation in Cyber-Physical Systems	Raziyeh Dehghani
Semantiken von Modelländerungen	Thomas Weber
A RAAML driven case study in automotive safety analysis	Muhammad Minhas
Ensuring the Semantics of Event-Based Analysis (de)composition through Constraint Specification	Bahareh Taghavi
Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications	Robert Heinrich, Niclas Kannengießer

Master’s Theses

Topic	Supervisors
Assessing the Scalability of Variability Artifact Transformations using TRAVART	Kevin Feichtinger
LLM-basierte Klassifikation von Quelltextelementen hinsichtlich ihrer Anliegen	Tobias Hey
Abbilden von Sicherheitsanforderungen auf Analyseeingaben	Sophie Corallo
Klassifikation von Anforderungen	Sophie Corallo
Trace Links in Anforderungen	Sophie Corallo
A Fork-Similar Delta Mechanism for Consistency Preservation in EMF-Based Cyber-Physical System Metamodels	Raziyeh Dehghani
Designing a Domain-Specific Language (DSL) for Consistency Preservation Triggers	Raziyeh Dehghani
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
Uncertainty propagation in Software-intensive systems	Raffaela Mirandola
Explainability Requirements in Software-Intensive Systems	Raffaela Mirandola
Ensuring the Semantics of Event-Based Analysis (de)composition through Constraint Specification	Bahareh Taghavi
Maschinelles Lernen von Modelltransformationen aus Transformationsdefinitionen	Christopher Gerking
Kosten-Nutzen-Analyse imperativer Modelltransformationssprachen	Christopher Gerking
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