52 citations · 217 across the 36 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.SE2013
Probabilistic Model Checking for Energy Analysis in Software Product Lines
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
In a software product line (SPL), a collection of software products is defined by their commonalities in terms of features rather than explicitly specifying all products one-by-one…
cs.LO2013★ 6 cited
Computing Quantiles in Markov Reward Models
Michael Ummels, Christel Baier
Probabilistic model checking mainly concentrates on techniques for reasoning about the probabilities of certain path properties or expected values of certain random variables. For…