Ausschreibungen

Neue Ausschreibung erstellen

Auf dieser Seite finden Sie Bachelor- und Studienarbeiten sowie Ausschreibungen für Mitarbeiter- und Hilfskraftstellen:

• Bachelorarbeiten
• Masterarbeiten
• Stellen als Hilfskraft

Informationen zum generellen Ablauf von Abschlussarbeiten bei SDQ erhalten Sie auf der Seite Abschlussarbeit/Studienarbeit.

Nicht alle offenen bzw. möglichen Themen sind ausgeschrieben und über diese Seite auffindbar. Bei allgemeinem Interesse an den Themen unseres Lehrstuhl, architekturbasierte Qualitätsvorhersagen für Software und modellgetriebene Software-Entwicklung mit dem Schwerpunkt auf Modellkonsistenzhaltung, kontaktieren Sie einfach eine/-n der Mitarbeiterinnen und Mitarbeiter der Gruppen DSiS (Prof. Reussner) und MCSE (Prof. Koziolek), ggf. schon anhand der von ihnen auf ihren Webseiten beschriebenen Forschungsinteressen. Es lässt sich dann üblicherweise ein Thema entsprechend unserer aktuellen Forschungsthemen erstellen, sowie speziell auf Ihre Interessen zuschneiden. Sie können auch ein individuelles Thema vorschlagen.

Falls Sie eine Bachelorarbeit suchen und ein Thema interessant finden, dass hier nur als Masterarbeit ausgeschrieben ist, dann kontaktieren Sie bitte den Betreuer / die Betreuerin, um zu erfragen, ob das Thema auch als Bachelorarbeit bearbeitet werden kann. Meistens kann ein reduzierte Aufgabenstellung als Bachelorarbeit formuliert werden.

Bachelorarbeiten

Thema	Betreuer/-in
The Structure of Design Argumentations in Code Changes	Tobias Hey Haoyu Liu
Towards a Minimal Abductive Reasoning Layer for SASIS	Vincenzo Scotti Nicolas Schuler
Building a Benchmark for LLM-assisted Formal Verification	Dominik Fuchß Tobias Hey
Energy consumption of compression algorithms across CPU platforms	Ralf Sieger
A Contrastive Learning Framework for Semantic Consistency Verification of SysML and Simulink Models	Rahul Sharma
Automated Generation of a Consistency Benchmark for Cyber-Physical Systems Modeling	Rahul Sharma
Mitigation of Confidentiality Violations in Architectural Runtime Models	Nicolas Boltz Nils Niehues
Design of a Measurement Metamodel and Synchronization Strategy for Data Integration in Vitruvius	Manar Mazkatli Martin Armbruster Raziyeh Dehghani
Developing a TraVarT Extension to Transform UVL Models Into Clafer and Vice Versa	Kevin Feichtinger
A Temporal Change Propagation Mechanism in Model Driven Development	Lars König Raziyeh Dehghani
Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen	Nicolas Boltz Leonie Sterz
Feature Annotated View Specification and View Generation	Erik Burger
A Framework for Transforming Data Tables into Descriptive Models	Raziyeh Dehghani
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch

Masterarbeiten

Thema	Betreuer/-in
The Structure of Design Argumentations in Code Changes	Tobias Hey Haoyu Liu
Enhancing Trust in Neuro-Symbolic Explanations via Calibrated Linguistic Uncertainty	Vincenzo Scotti Nicolas Schuler
A Contrastive Learning Framework for Semantic Consistency Verification of SysML and Simulink Models	Rahul Sharma
Automated Generation of a Consistency Benchmark for Cyber-Physical Systems Modeling	Rahul Sharma
Utilizing Context to Improve LLM-assisted Formal Verification	Tobias Hey Tianhai Liu
Mitigation of Confidentiality Violations in Architectural Runtime Models	Nicolas Boltz Nils Niehues
Componentization of Model Consistency Rules	Lars König
Design of a Measurement Metamodel and Synchronization Strategy for Data Integration in Vitruvius	Manar Mazkatli Martin Armbruster Raziyeh Dehghani
Web-Based Variability Artifact Exploration and Transformation	Kevin Feichtinger
Investigating the Traceability of Variability Artifact Transformations	Kevin Feichtinger
Solver Representations for DOPLER Decision Models	Kevin Feichtinger
Higher-Order Consistency Preservation Rules	Erik Burger Dirk Neumann
Feature-Annotated Reactions Language	Erik Burger Dirk Neumann
A Temporal Change Propagation Mechanism in Model Driven Development	Lars König Raziyeh Dehghani
Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen	Nicolas Boltz Leonie Sterz
Feature Annotated Reactions Language	Erik Burger
Properties and Granularities of Transactions in the Development of Cyber-Physical Systems	Benedikt Jutz
Datenflussanalyse für Konsistenzerhaltung	Nicolas Boltz Benedikt Jutz
Performanzanalyse von Konsistenzerhaltungsframeworks	Sebastian Weber Nicolas Boltz Benedikt Jutz
A Survey of Model Management Approaches	Benedikt Jutz
A Framework for Transforming Data Tables into Descriptive Models	Raziyeh Dehghani
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch
Semantic tracelinks in Model-Based Systems Engineering	Thomas Weber Arne Lange
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
Classification of composition operators for model-based analysis	Robert Heinrich Bahareh Taghavi

Hilfskräfte

Thema	Betreuer
Weiterentwicklung des ARDoCo-Frameworks für Traceability Link Recovery & Konsistenzanalyse	Jan Keim Dominik Fuchß Sophie Corallo
Development of the Model Query Language NeoJoin	Lars König
Unterstützung beim CI/CD Build- Prozess großer Forschungsprojekte	Nicolas Boltz Ralf Sieger
Tutorinnen und Tutoren für die Vorlesung „Programmieren“ (jedes Semester)	Programmieren/Übungsleitung
Support in the Development of CIPM	Manar Mazkatli Martin Armbruster
Aufbereiten und Dokumentieren von Projektwissen für die Lehre	Robert Heinrich Nicolas Boltz

Promotionsstellen

Derzeit gibt es bei SDQ mehrere offene Promotionsstellen in unterschiedlichen Projekten, so z.B. im SFB 1608.

Wenn Sie Interesse an einer Promotion bei SDQ haben, und Vorwissen in Softwaretechnik und einem oder mehreren der folgenden Themen besitzen, bewerben Sie sich bitte bei uns.

• Model-Driven Engineering
• Software-Architektur
• Software Performance-Auswertung und -Vorhersage
• Computerlinguistik/Natural language processing
• Artifact Evaluation

Senden Sie ihre Bewerbung mit Lebenslauf und passendem Motivationsschreiben für eines der o.g. Themen an Ralf Reussner und Anne Koziolek.