Martin Küttler

According to our database, Martin Küttler authored at least 5 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

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, Amnon Barak, Masoud Gholami, Florian Schintke, Thorsten Schütt, Alexander Reinefeld, Matthias Lieber, Wolfgang E. Nagel

Proceedings of the Software for Exascale Computing - SPPEXA 2016-2019, 2020

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

Corrected trees for reliable group communication.

Martin Küttler, Maksym Planeta, Jan Bierbaum, Carsten Weinhold, Hermann Härtig, Amnon Barak, Torsten Hoefler

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

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

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2016

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, Thorsten Schütt, Jan Fajerski, Alexander Reinefeld, Matthias Lieber, Wolfgang E. Nagel

Proceedings of the Software for Exascale Computing - SPPEXA 2013-2015, 2016