Daniel Klink

Compositional Abstraction for Stochastic Systems

Joost-Pieter Katoen, Martin R. Neuhäußer, Daniel Klink, 2009, FORMATS.

Three-Valued Abstraction for Stochastic Systems

Daniel Klink, Daniel Klink, 2010 .

Three-valued abstraction for probabilistic systems

Joost-Pieter Katoen, Martin Leucker, Verena Wolf, 2012, J. Log. Algebraic Methods Program..

Time-bounded reachability in tree-structured QBDs by abstraction

Joost-Pieter Katoen, Boudewijn R. Haverkort, Anne Remke, 2011, Perform. Evaluation.

Abstraction for Stochastic Systems by Erlang's Method of Stages

Joost-Pieter Katoen, Martin Leucker, Verena Wolf, 2008, CONCUR.

Time-Bounded Reachability in Tree-Structured QBDs by Abstraction

Joost-Pieter Katoen, Boudewijn R. Haverkort, Anne Remke, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

Three-Valued Abstraction for Continuous-Time Markov Chains

Joost-Pieter Katoen, Martin Leucker, Verena Wolf, 2007, CAV.