| Topic
|
Supervisors
|
| A Library-Based Annotation Mechanism for Change Propagation
|
Lars König, Raziyeh Dehghani
|
| Informative Decision-Making for Change Propagation
|
Lars König, Raziyeh Dehghani
|
| A Flexible Mechanism for Advancing Maturity in Change Propagation
|
Raziyeh Dehghani
|
| 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
|
| V-SUMM for Heterogeneous Metamodels
|
Minakshi Kaushik
|
| Enabling Branching Support in Server-Side Vitruvius
|
Martin Armbruster, Raziyeh Dehghani, Arne Lange
|
| 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
|
| 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
|
| 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
|
