Clemens Dubslaff

Clemens Dubslaff

Technische Universität Dresden - Dresden / Germany
Others
AD Scientific Index ID: 1780663
Dresden University of Technology
person_outline Clemens Dubslaff's MOST POPULAR ARTICLES
1-) ProFeat: feature-oriented engineering for family-based probabilistic model checkingP Chrszon, C Dubslaff, S Klüppelholz, C BaierFormal Aspects of Computing 30 (1), 45-75, 2018632018
2-) Energy-utility quantilesC Baier, M Daum, C Dubslaff, J Klein, S KlüppelholzNASA Formal Methods Symposium, 285-299, 2014572014
3-) Probabilistic model checking for energy analysis in software product linesC Dubslaff, S Klüppelholz, C BaierProceedings of the 13th international conference on Modularity, 169-180, 2014482014
4-) Probabilistic model checking for energy analysis in software product linesC Dubslaff, S Klüppelholz, C BaierProceedings of the 13th international conference on Modularity, 169-180, 2014552014
5-) Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automataJ Klein, C Baier, P Chrszon, M Daum, C Dubslaff, S Klüppelholz, ...International Journal on Software Tools for Technology Transfer 20 (2), 179-194, 2018492018