Validating Safety Arguments with Lean | 0 | 0.34 | 2021 |
A Lean Approach to Building Valid Model-Based Safety Arguments | 0 | 0.34 | 2021 |
MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts | 0 | 0.34 | 2020 |
Heterogeneous megamodel management using collection operators | 0 | 0.34 | 2020 |
Querying Automotive System Models and Safety Artifacts with MMINT and Viatra | 0 | 0.34 | 2019 |
Mmint-A: A Tool For Automated Change Impact Assessment On Assurance Cases | 2 | 0.38 | 2018 |
A Tool-supported Methodology for Validation and Refinement of Early-stage Domain Models | 0 | 0.34 | 2016 |
Migrating Automotive Product Lines: A Case Study | 5 | 0.44 | 2015 |
Enriching megamodel management with collection-based operators | 6 | 0.62 | 2015 |
MMINT: A Graphical Tool for Interactive Model Management. | 9 | 0.53 | 2015 |
Mu-Mmint: an IDE for model uncertainty | 2 | 0.36 | 2015 |
Lifting model transformations to product lines | 20 | 0.76 | 2014 |
Supporting early decision-making in the presence of uncertainty | 7 | 0.48 | 2014 |
Transformation of Models Containing Uncertainty. | 18 | 0.70 | 2013 |
Managing requirements uncertainty with partial models | 38 | 1.07 | 2012 |
Is my model right? Let me ask the expert | 9 | 0.50 | 2011 |