Daniel Klink

According to our database, Daniel Klink authored at least 6 papers between 2007 and 2012.

Collaborative distances:

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

2012

Three-valued abstraction for probabilistic systems.

Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf

J. Log. Algebraic Methods Program., 2012

2010

Three-Valued Abstraction for Stochastic Systems.

Daniel Klink

PhD thesis, 2010

2009

Time-Bounded Reachability in Tree-Structured QBDs by Abstraction.

Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen

Proceedings of the QEST 2009, 2009

Compositional Abstraction for Stochastic Systems.

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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2008

Abstraction for Stochastic Systems by Erlang's Method of Stages.

Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Three-Valued Abstraction for Continuous-Time Markov Chains.

Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf

Proceedings of the Computer Aided Verification, 19th International Conference, 2007