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
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
Improving LLM-based Code Generation for Model Transformation Languages	Nathan Hagel Bowen Jiang
Enabling Branching Support in Server-Side Vitruvius	Martin Armbruster Raziyeh Dehghani Arne Lange
Case Study-Driven Synchronization of BPMN and SysML Diagrams	Raziyeh Dehghani Thomas Völk
Informative Decision-Making for Change Propagation	Thomas Weber Lars König Raziyeh Dehghani
A Library-Based Annotation Mechanism for Change Propagation	Thomas Weber Lars König Raziyeh Dehghani
A Flexible Mechanism for Advancing Maturity in Change Propagation	Thomas Weber Raziyeh Dehghani
Views in the Development of Cyber-Physical Systems	Lars König Kevin Feichtinger
AI Planning for Consistency Repair	Benedikt Jutz Bowen Jiang
Towards a Minimal Abductive Reasoning Layer for SASIS	Vincenzo Scotti Nicolas Schuler
Building a Benchmark for LLM-assisted Formal Verification	Dominik Fuchß Tobias Hey
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
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
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch

Masterarbeiten

Thema	Betreuer/-in
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
Guidelines and Selection Criteria for Composing Analysis Techniques	Bahareh Taghavi
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
Enabling Branching Support in Server-Side Vitruvius	Martin Armbruster Raziyeh Dehghani Arne Lange
Towards White-Box Optimization in Self-Adaptive Systems	Ehsan Elahi
Informative Decision-Making for Change Propagation	Thomas Weber Lars König Raziyeh Dehghani
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
A Library-Based Annotation Mechanism for Change Propagation	Thomas Weber Lars König Raziyeh Dehghani
A Flexible Mechanism for Advancing Maturity in Change Propagation	Thomas Weber Raziyeh Dehghani
AI Planning for Consistency Repair	Benedikt Jutz Bowen Jiang
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
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
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
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
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

Hilfskräfte

Thema	Betreuer
Supporting V-SUM via Metamodel Preparation and Integration	Minakshi Kaushik
Enabling Branching Support in Server-Side Vitruvius	Martin Armbruster Raziyeh Dehghani Arne Lange
A Flexible Mechanism for Advancing Maturity in Change Propagation	Thomas Weber Raziyeh Dehghani
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.