| Topic
|
Supervisors
|
| AI Planning for Consistency Repair
|
Benedikt Jutz, Bowen Jiang
|
| The Structure of Design Argumentations in Code Changes
|
Tobias Hey, Haoyu Liu
|
| 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
|
| Design of a Measurement Metamodel and Synchronization Strategy for Data Integration in Vitruvius
|
Manar Mazkatli, Martin Armbruster, Raziyeh Dehghani
|
| 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
|
| Feature-Annotated Reactions Language
|
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
|
| Feature Annotated Reactions Language
|
Erik Burger
|
| 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
|
| A Framework for Transforming Data Tables into Descriptive Models
|
Raziyeh Dehghani
|
| 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
|
| Classification of composition operators for model-based analysis
|
Robert Heinrich, Bahareh Taghavi
|
