Sebastian Junges

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 Sebastian Junges's perspective

Ordered by how strongly the researchers Sebastian Junges 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 SMT-LIB Standard Version 2.0
  3. The Ins and Outs of the Probabilistic Model Checker MRMC (2009 Sixth International Conference on the Quantitative Evaluation of Systems)
  4. PRISM 4.0: Verification of Probabilistic Real-Time Systems (International Conference on Computer Aided Verification)
  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