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 von SDQ, wie z.B. 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), MCSE (Prof. Koziolek) und SASIS (Prof. Mirandola), 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
LLM-Assisted Style Customization of Xtext-Based Domain-Specific Languages	Bowen Jiang Weixing Zhang
LLM-assisted Generation and Testing of Model Transformation Language Code	Bowen Jiang Weixing Zhang
Guidelines and Selection Criteria for Composing Analysis Techniques	Bahareh Taghavi
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch
A Library-Based Annotation Mechanism for Change Propagation	Raziyeh Dehghani
Towards a Minimal Abductive Reasoning Layer for SASIS	Vincenzo Scotti Nicolas Schuler
Optimize Uncertainty Analysis through Annotation Merging	Nathan Hagel Johannes Mäkelburg
Analyze the Effect of Uncertainty on a System's Consistency	Nathan Hagel Johannes Mäkelburg
Extend Uncertainty Quantification in view-based Modeling	Nathan Hagel Johannes Mäkelburg
Connecting UnCertaGator with Zonotope-Based Uncertainty Propagation	Nathan Hagel Johannes Mäkelburg
Implementing V-SUMM for Two Metamodels Integration	Minakshi Kaushik
Automated Consistency Checker for Multi-View Models	Minakshi Kaushik
Remodelling Metamodels for V-SUMM Integration	Minakshi Kaushik
Case Study-Driven Synchronization of BPMN and SysML Diagrams	Raziyeh Dehghani Thomas Völk
AI Planning for Consistency Repair	Benedikt Jutz Bowen Jiang
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
Developing a TraVarT Extension to Transform UVL Models Into Clafer and Vice Versa	Kevin Feichtinger
Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen	Nicolas Boltz Leonie Sterz

Masterarbeiten

Thema	Betreuer/-in
LLM-assisted Generation and Testing of Model Transformation Language Code	Bowen Jiang Weixing Zhang
Guidelines and Selection Criteria for Composing Analysis Techniques	Bahareh Taghavi
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch
Industry Thesis - GenAI for Microservice Performance Modeling & Analysis	Maximilian Hummel
A Library-Based Annotation Mechanism for Change Propagation	Raziyeh Dehghani
Enhancing Trust in Neuro-Symbolic Explanations via Calibrated Linguistic Uncertainty	Vincenzo Scotti Nicolas Schuler
Closing the Neuro-Symbolic Loop: Active Correction with Spatial Logic and Automated Knowledge Refinement	Vincenzo Scotti Nicolas Schuler
Optimize Uncertainty Analysis through Annotation Merging	Nathan Hagel Johannes Mäkelburg
Analyze the Effect of Uncertainty on a System's Consistency	Nathan Hagel Johannes Mäkelburg
Extend Uncertainty Quantification in view-based Modeling	Nathan Hagel Johannes Mäkelburg
Connecting UnCertaGator with Zonotope-Based Uncertainty Propagation	Nathan Hagel Johannes Mäkelburg
Real-Time Editing of Views in a Multi-Model Environment	Benedikt Jutz
Locking Strategies for V-SUMs	Benedikt Jutz
V-SUMM Based Consistency Checking for Evolving Models	Minakshi Kaushik
Large Language Models as Recommender Systems in Uncertainty-Aware Requirement Engineering	Tobias Hey Vincenzo Scotti
V-SUMM for Heterogeneous Metamodels	Minakshi Kaushik
Towards White-Box Optimization in Self-Adaptive Systems	Ehsan Elahi
SysML–RAAML Consistency Validation Engine with EVL-Based Rule Pack	Muhammad Minhas
Reactive Incremental Fault Tree Analysis (FTA) for Model-Driven Safety Assurance using VIATRA	Muhammad Minhas
AI Planning for Consistency Repair	Benedikt Jutz Bowen Jiang
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
Web-Based Variability Artifact Exploration and Transformation	Kevin Feichtinger
Investigating the Traceability of Variability Artifact Transformations	Kevin Feichtinger
Higher-Order Consistency Preservation Rules	Erik Burger Dirk Neumann
Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen	Nicolas Boltz Leonie Sterz
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
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

Hilfskräfte

Thema	Betreuer
Tutorinnen und Tutoren für die Vorlesung „Programmieren“ (jedes Semester)	Programmieren/Übungsleitung
Building a V-SUM for a Brake System	Kevin Feichtinger Minakshi Kaushik
Supporting V-SUM via Metamodel Preparation and Integration	Minakshi Kaushik
Weiterentwicklung des ARDoCo-Frameworks für Traceability Link Recovery & Konsistenzanalyse	Jan Keim Dominik Fuchß Sophie Corallo

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.