| Topic
|
Supervisors
|
| Performanzanalyse von Konsistenzerhaltungsframeworks
|
Sebastian Weber, Thomas Weber, Nicolas Boltz, Benedikt Jutz
|
| Datenflussanalyse für Konsistenzerhaltung
|
Thomas Weber, Nicolas Boltz, Benedikt Jutz
|
| Transaction management in Vitruvius
|
Benedikt Jutz
|
| A Survey of Model Management Approaches
|
Benedikt Jutz
|
| A Framework for Transforming Data Tables into Descriptive Models
|
Raziyeh Dehghani
|
| LLM-based Architecture Design Decision Analysis for Software Evolution
|
Tobias Hey, Haoyu Liu
|
| The Structure of Design Argumentations in Code Changes
|
Tobias Hey, Haoyu Liu
|
| OSCTI-driven Security Assessment for Self-Adaptive Systems
|
Raffaela Mirandola, Lin Cui
|
| Exploring RAG and Context Information for Trace Link Recovery
|
Dominik Fuchß
|
| Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors
|
Robin Maisch
|
| Semantic tracelinks in Model-Based Systems Engineering
|
Thomas Weber, Arne Lange
|
| 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
|
| 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
|
