20 citations · 25 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017★ 20 cited
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination
Lisa Hutschenreiter, Christel Baier, Joachim Klein
Parametric Markov chains have been introduced as a model for families of stochastic systems that rely on the same graph structure, but differ in the concrete transition probabiliti…
cs.LO2012★ 5 cited
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Christel Baier, Marcus Daum, Benjamin Engel +6
Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore comp…