Christian Dehnert

International Conference on Computer Aided Verification · 2017

A researcher in the Science corpus: 1 paper; trusts 0 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Papers from Christian Dehnert's perspective

Ordered by how strongly the researchers Christian Dehnert trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Model-Checking Algorithms for Continuous-Time Markov Chains (IEEE Trans. Software Eng.)
  2. The Ins and Outs of the Probabilistic Model Checker MRMC (2009 Sixth International Conference on the Quantitative Evaluation of Systems)
  3. PRISM 4.0: Verification of Probabilistic Real-Time Systems (International Conference on Computer Aided Verification)
  4. The SMT-LIB Standard Version 2.0
  5. Probabilistic programming
  6. Z3: An Efficient SMT Solver
  7. Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
  8. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (International Conference on Computer Aided Verification)
  9. Markov Decision Processes: Discrete Stochastic Dynamic Programming
  10. Bisimulation through Probabilistic Testing

Their papers