Daniel Klink

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Three-valued abstraction for probabilistic systems.
J. Log. Algebraic Methods Program., 2012

2011
Time-bounded reachability in tree-structured QBDs by abstraction.
Perform. Evaluation, 2011

2010
Three-Valued Abstraction for Stochastic Systems.
PhD thesis, 2010

2009
Compositional Abstraction for Stochastic Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2008
Abstraction for Stochastic Systems by Erlang's Method of Stages.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
Three-Valued Abstraction for Continuous-Time Markov Chains.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007


  Loading...