FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing. - Carsten Weinhold; Adam Lackorzynski; Jan Bierbaum; Martin Küttler; Maksym Planeta; Hermann Härtig; Amnon Shiloh; Ely Levy; Tal Ben-Nun; Amnon Barak; Thomas Steinke 001; Thorsten Schütt; et al. (Software for Exascale Computing, 2016)

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)

Corrected trees for reliable group communication. - Martin Küttler; Maksym Planeta; Jan Bierbaum; Carsten Weinhold; Hermann Härtig; Amnon Barak; Torsten Hoefler (PPoPP, 2019)

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)

FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing. - Carsten Weinhold; Adam Lackorzynski; Jan Bierbaum; Martin Küttler; Maksym Planeta; Hannes Weisbach; Matthias Hille; Hermann Härtig; Alexander Margolin; Dror Sharf; Ely Levy; Pavel Gak; et al. (Software for Exascale Computing, 2020)