Probabilistic Model Checking for Energy-Utility Analysis. - Christel Baier; Clemens Dubslaff; Joachim Klein 001; Sascha Klüppelholz; Sascha Wunderlich (Horizons of the Mind, 2014)

Weight monitoring with linear temporal logic: complexity and decidability. - Christel Baier; Joachim Klein 001; Sascha Klüppelholz; Sascha Wunderlich (CSL-LICS, 2014)

Model Checking with Accumulated Weights. - Sascha Wunderlich (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Probabilistic Model Checking and Non-standard Multi-objective Reasoning. - Christel Baier; Clemens Dubslaff; Sascha Klüppelholz; Marcus Daum; Joachim Klein 001; Steffen Märcker; Sascha Wunderlich (FASE, 2014)

Greener Bits: Formal Analysis of Demand Response. - Christel Baier; Sascha Klüppelholz; Hermann de Meer; Florian Niedermeier; Sascha Wunderlich (ATVA, 2016)

Towards Automated Variant Selection for Heterogeneous Tiled Architectures. - Christel Baier; Sascha Klüppelholz; Sascha Wunderlich (Models, Algorithms, Logics and Tools, 2017)

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. - Christel Baier; Joachim Klein 001; Linda Leuschner; David Parker 001; Sascha Wunderlich (CAV (1), 2017)

Maximizing the Conditional Expected Reward for Reaching the Goal. - Christel Baier; Joachim Klein 001; Sascha Klüppelholz; Sascha Wunderlich (TACAS (2), 2017)

A Hardware/Software Stack for Heterogeneous Systems. - Jerónimo Castrillón; Matthias Lieber; Sascha Klüppelholz; Marcus Völp; Nils Asmussen; Uwe Aßmann; Franz Baader; Christel Baier; Gerhard P. Fettweis; Jochen Fröhlich; Andrés Goens; Sebastian Haas; et al. (IEEE Trans. Multi Scale Comput. Syst., 2018)

Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study. - Max Korn; Philipp Chrszon; Sascha Klüppelholz; Christel Baier; Sascha Wunderlich (EPEW, 2022)

Probabilistic Model Checking for Temporal Logics in Weighted Structures - Sascha Wunderlich (2024)