Designing Variability Modeling Languages
Abstract elided by the publisher.
Related papers
- Generative software product line development using variability-aware design patterns GPCE 2015
- Model-based security analysis of feature-oriented software product lines GPCE 2018
- Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs CAV 2011
- TurboTransformers: an efficient GPU serving system for transformer models PPoPP 2021
- Enabling Blended Modelling of Timing and Variability in EAST-ADL SLE 2023
- Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables SAS 2010
- A variability-aware module system OOPSLA 2012
- GPU Acceleration of Bounded Model Checking with ParaFROST CAV 2021