Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking
2015 ◽
Vol 182
◽
pp. 56-70
◽
Maurice H. ter Beek
◽
Axel Legay
◽
Alberto Lluch Lafuente
◽
Andrea Vandin
Thomas Thüm
◽
Jens Meinicke
◽
Fabian Benduhn
◽
Martin Hentschel
◽
Alexander von Rhein
◽
...
Clemens Dubslaff
◽
Sascha Klüppelholz
◽
Christel Baier
Andreas Classen
◽
Patrick Heymans
◽
Pierre-Yves Schobbens
◽
Axel Legay
2016 ◽
Vol 85
(1)
◽
pp. 245-267
◽
Malte Lochau
◽
Stephan Mennicke
◽
Hauke Baller
◽
Lars Ribbeck
Peter Höfner
◽
Maryam Kamali
2019 ◽
Vol 18
(4)
◽
pp. 340
Ming Yu Huang
◽
Yu Mei Liu
Alexander Gruler
◽
Martin Leucker
◽
Kathrin Scheidemann
M. H. ter Beek
◽
A. Legay
◽
A. Lluch Lafuente
◽
A. Vandin
Carlo Ghezzi
◽
Amir Molzam Sharifloo