1. Quantitative variability modelling and analysis

   • Maurice H. ter Beek
   • Axel Legay

   Foundations for Mastering Change 20 September 2019 Pages: 607 - 612

2. 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

   

3. Verification and abstraction of real-time variability-intensive systems

   • Maxime Cordy
   • Axel Legay

   Foundations for Mastering Change 21 September 2019 Pages: 635 - 649

   

4. 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

   

5. Quantitative properties of featured automata

   • Uli Fahrenberg
   • Axel Legay

   Foundations for Mastering Change 23 September 2019 Pages: 667 - 677

   

6. Applying supervisory control synthesis to priced featured automata and energy problems

   • Davide Basile

   Foundations for Mastering Change 23 September 2019 Pages: 679 - 689

7. 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