Sascha Klüppelholz

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

Symbolic Model Checking for Channel-based Component Connectors

Sascha Klüppelholz, Christel Baier · Electronic Notes in Theoretical Computer Science · 2007 · 39 citations · Full text

Computing, Computer Science, Formal Methods +15

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

Weight monitoring with linear temporal logic

Christel Baier, Joachim Klein, Sascha Klüppelholz et al. · 2014 · 30 citations

Computing, Computer Science, Computer Systems +17