Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. - Christel Baier; Clemens Dubslaff; Sascha Klüppelholz; Linda Leuschner (Petri Nets, 2014)

Compositionality in Probabilistic Model Checking. - Linda Leuschner (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

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)

Towards Automated Configuration of Systems with Non-Functional Constraints. - Linda Leuschner; Martin Küttler; Tobias Stumpf; Christel Baier; Hermann Härtig; Sascha Klüppelholz (HotOS, 2017)

Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance. - Linda Herrmann; Christel Baier; Christof Fetzer; Sascha Klüppelholz; Markus Napierkowski (EPEW, 2018)

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)

Formal configuration of fault-tolerant systems. - Linda Herrmann (2018)

Configuration of inter-process communication with probabilistic model checking. - Linda Herrmann; Martin Küttler; Tobias Stumpf; Christel Baier; Hermann Härtig; Sascha Klüppelholz (Int. J. Softw. Tools Technol. Transf., 2019)