Linda Leuschner

A Hardware/Software Stack for Heterogeneous Systems

Gerhard Fettweis, Christel Baier, Wolfgang Lehner, 2018, IEEE Transactions on Multi-Scale Computing Systems.

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes

Christel Baier, Joachim Klein, David Parker, 2017, CAV.

Towards Automated Configuration of Systems with Non-Functional Constraints

Christel Baier, Sascha Klüppelholz, Hermann Härtig, 2017, HotOS.

Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking

Christel Baier, Sascha Klüppelholz, Clemens Dubslaff, 2014, Petri Nets.

Compositionality in Probabilistic Model Checking

Linda Leuschner, 2014, Joint Workshop of the German Research Training Groups in Computer Science.

The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware

Gerhard Fettweis, Christel Baier, Wolfgang Lehner, 2016 .