Login / Signup
Martin Küttler
Publication Activity (10 Years)
Years Active: 2017-2019
Publications (10 Years): 3
Top Topics
Verification Method
Model Checking
Replicated Databases
Computation Tree Logic
Top Venues
Int. J. Softw. Tools Technol. Transf.
PPoPP
HotOS
</>
Publications
</>
Linda Herrmann
,
Martin Küttler
,
Tobias Stumpf
,
Christel Baier
,
Hermann Härtig
,
Sascha Klüppelholz
Configuration of inter-process communication with probabilistic model checking.
Int. J. Softw. Tools Technol. Transf.
21 (6) (2019)
Martin Küttler
,
Maksym Planeta
,
Jan Bierbaum
,
Carsten Weinhold
,
Hermann Härtig
,
Amnon Barak
,
Torsten Hoefler
Corrected trees for reliable group communication.
PPoPP
(2019)
Linda Leuschner
,
Martin Küttler
,
Tobias Stumpf
,
Christel Baier
,
Hermann Härtig
,
Sascha Klüppelholz
Towards Automated Configuration of Systems with Non-Functional Constraints.
HotOS
(2017)