Daniel Klink

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Computing Systems

Probabilistic Model

Top Venues

J. Log. Algebraic Methods Program.

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
Three-valued abstraction for probabilistic systems. J. Log. Algebraic Methods Program. 81 (4) (2012)
Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen
Time-bounded reachability in tree-structured QBDs by abstraction. Perform. Evaluation 68 (2) (2011)
Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer
Compositional Abstraction for Stochastic Systems. FORMATS (2009)
Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. QEST (2009)
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR (2008)
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
Three-Valued Abstraction for Continuous-Time Markov Chains. CAV (2007)