Skip to main content
main-content
Top

Journal

International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer 6/2019

Issue 6/2019

Quantitative Variability Modelling and Analysis

Table of Contents ( 7 Articles )

20-09-2019 | Foundations for Mastering Change | Issue 6/2019

Quantitative variability modelling and analysis

Maurice H. ter Beek, Axel Legay

24-09-2019 | Foundations for Mastering Change | Issue 6/2019

Sampling strategies for product lines with unbounded parametric real-time constraints

Lars Luthmann, Timo Gerecht, Malte Lochau

21-09-2019 | Foundations for Mastering Change | Issue 6/2019

Verification and abstraction of real-time variability-intensive systems

Maxime Cordy, Axel Legay

26-10-2019 | Foundations for Mastering Change | Issue 6/2019

Configuration of inter-process communication with probabilistic model checking

Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz

23-09-2019 | Foundations for Mastering Change | Issue 6/2019

Quantitative properties of featured automata

Uli Fahrenberg, Axel Legay

23-09-2019 | Foundations for Mastering Change | Issue 6/2019

Applying supervisory control synthesis to priced featured automata and energy problems

Davide Basile

23-09-2019 | Foundations for Mastering Change | Issue 6/2019

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form

Ferruccio Damiani, Michael Lienhardt, Luca Paolini

Current Publications

Premium Partner

    Image Credits