Clemens Dubslaff

ProFeat: feature-oriented engineering for family-based probabilistic model checking

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz et al. · Formal Aspects of Computing · 2017 · 85 citations · Full text

Computing, Computer Engineering, Computer Science +13

Probabilistic model checking for energy analysis in software product lines

Clemens Dubslaff, Sascha Klüppelholz, Christel Baier · 2014 · 35 citations

Computing, Computer Engineering, Computer Science +16

Trade-off analysis meets probabilistic model checking

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz · 2014 · 35 citations

Computing, Computer Science, Computer Systems +8

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata

Joachim Klein, Christel Baier, Philipp Chrszon et al. · International Journal on Software Tools for Technology Transfer · 2017 · 28 citations · Full text

Computing, Computer Science, Mathematics +12

Causality in configurable software systems

Clemens Dubslaff, Kallistos Weis, Christel Baier et al. · Proceedings of the 44th International Conference on Software Engineering · 2022 · 24 citations · Full text

Computing, Computer Science, Causal Inference +9