| Topic
|
Supervisors
|
| View Type Conformity in Model-Driven Development
|
Lars König
|
| Componentization of Model Consistency Rules
|
Lars König
|
| 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
|
| Extending the Vitruvius Framework with Variability-aware Consistency Preservation Rules
|
Fabian Eger
|
| A Library-Based Annotation Mechanism for Change Propagation
|
Lars König, Raziyeh Dehghani
|
| Product Line Engineering for Metamodels
|
Arne Lange, Fabian Eger
|
| Informative Decision-Making for Change Propagation
|
Lars König, Raziyeh Dehghani
|
| A Flexible Mechanism for Advancing Maturity in Change Propagation
|
Raziyeh Dehghani
|
| 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
|
| Guidelines and Selection Criteria for Composing Analysis Techniques
|
Bahareh Taghavi
|
| 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
|
| Large Language Models as Recommender Systems in Uncertainty-Aware Requirement Engineering
|
Tobias Hey, Vincenzo Scotti
|
| V-SUMM for Heterogeneous Metamodels
|
Minakshi Kaushik
|
| Enabling Branching Support in Server-Side Vitruvius
|
Martin Armbruster, Raziyeh Dehghani, Arne Lange
|
| 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
|
| 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
|
| Utilizing Context to Improve LLM-assisted Formal Verification
|
Tobias Hey, Tianhai Liu
|
| Mitigation of Confidentiality Violations in Architectural Runtime Models
|
Nicolas Boltz, Nils Niehues
|
| 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
|
| 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
|
