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
Automatic Generation of Graphical Editors for Safety Analysis Models from NeoJoin View Definitions	Lars König Muhammad Minhas
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch
Copy-on-Write Representations of EMF Models	Benedikt Jutz
Assessing Simulation Model Credibility	Sebastian Weber
Metadata-Based Simulator Selection	Sebastian Weber
Building an Evaluation Catalogue of Context-Dependent DFD Models	Benjamin Arp
A Catalogue of Context Dimensions for Security Analysis	Benjamin Arp
A Strategy for Composing Information Leakage Metrics	Fatma Chebbi Bahareh Taghavi
Locking Strategies for V-SUMs	Benedikt Jutz
Identifikation von Ebenen fuer Informationslecksquantifizierung	Martin Armbruster Fatma Chebbi
Guidelines and Selection Criteria for Composing Analysis Techniques	Bahareh Taghavi
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
Case Study-Driven Synchronization of BPMN and SysML Diagrams	Raziyeh Dehghani Thomas Völk

Masterarbeiten

Thema	Betreuer/-in
Automatic Generation of Graphical Editors for Safety Analysis Models from NeoJoin View Definitions	Lars König Muhammad Minhas
Designing a Design Challenge for Lightweight Evaluation of Interactive Inconsistency Repair	Arne Lange Miriam Boß
Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors	Robin Maisch
Copy-on-Write Representations of EMF Models	Benedikt Jutz
Assessing Simulation Model Credibility	Sebastian Weber
Metadata-Based Simulator Selection	Sebastian Weber
Formalizing Quality Properties of Variability Model Transformations	Kevin Feichtinger
Explainability in DOPLER Decision Model Definition and Configuration	Kevin Feichtinger Fabian Eger
Solver Representations for String Decision Variables	Kevin Feichtinger Fabian Eger
Guarantees for Reactions	Benedikt Jutz Bowen Jiang Terru Stübinger
Locking Strategies for V-SUMs	Benedikt Jutz
A Practical Quantitative Assessment of Timed Information Leakage	Fatma Chebbi
Guidelines and Selection Criteria for Composing Analysis Techniques	Bahareh Taghavi
Industry Thesis - GenAI for Microservice Performance Modeling & Analysis	Maximilian Hummel
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
Large Language Models as Recommender Systems in Uncertainty-Aware Requirement Engineering	Tobias Hey Vincenzo Scotti
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
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
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
Enabling the Concurrent Editing of Multiple Models	Benedikt Jutz
Integrated Framework for Multidisciplinary Engineering for CPPS	Kevin Feichtinger
Tutorinnen und Tutoren für die Vorlesung „Programmieren“ (jedes Semester)	Programmieren/Übungsleitung

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.