Volume 21, Issue 6

December 2019

Quantitative Variability Modelling and Analysis

Filter by

Volume:

Sort by

Date published:

New to old Old to new

7 articles in this issue

Quantitative variability modelling and analysis
Maurice H. ter Beek
Axel Legay
Foundations for Mastering Change 20 September 2019 Pages: 607 - 612
Sampling strategies for product lines with unbounded parametric real-time constraints
Lars Luthmann
Timo Gerecht
Malte Lochau
Foundations for Mastering Change 24 September 2019 Pages: 613 - 633
Verification and abstraction of real-time variability-intensive systems
Maxime Cordy
Axel Legay
Foundations for Mastering Change 21 September 2019 Pages: 635 - 649
Configuration of inter-process communication with probabilistic model checking
Linda Herrmann
Martin Küttler
Sascha Klüppelholz
Foundations for Mastering Change 26 October 2019 Pages: 651 - 666
Quantitative properties of featured automata
Uli Fahrenberg
Axel Legay
Foundations for Mastering Change 23 September 2019 Pages: 667 - 677
Applying supervisory control synthesis to priced featured automata and energy problems
Davide Basile
Foundations for Mastering Change 23 September 2019 Pages: 679 - 689
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form
Ferruccio Damiani
Michael Lienhardt
Luca Paolini
Foundations for Mastering Change 23 September 2019 Pages: 691 - 707

Search