| 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
|
| Semantic tracelinks in Model-Based Systems Engineering
|
Thomas Weber, Arne Lange
|
| Assessing the Scalability of Variability Artifact Transformations using TRAVART
|
Kevin Feichtinger
|
| 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
|
| 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
|
