author-photo

Joachim Klein

Dresden University of Technology

43

Papers

796

Citations

Citation Trend

Filter By

Papers (31) Sort By

Journal Conference Others

Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination

2019 Information & Computation
Show All
- Source
- Cite
- Save
Citations (18)
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination

2018
Show All
- Source
- Cite
- Save
Citations (6)
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata

2018 International Journal on Software Tools for Technology Transfer
Show All
- Source
- Cite
- Save
Citations (21)
Computing Conditional Probabilities: Implementation and Evaluation

2017 ICSE | International Conference on Software Engineering
Show All
- Source
- Cite
- Save
Citations (2)
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination.

2017
Show All
- Source
- Cite
- Save
Citations (14)
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes

2017 CAV | Computer Aided Verification
Show All
- Source
- Cite
- Save
Citations (44)
Maximizing the Conditional Expected Reward for Reaching the Goal

2017 TACAS | Tools and Algorithms for Construction and Analysis of Systems
Show All
- Source
- Cite
- Save
Citations (17)
Markov Chains and Unambiguous Automata

2016 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (2)
Markov Chains and Unambiguous Büchi Automata

2016 CAV | Computer Aided Verification
Show All
- Source
- Cite
- Save
Citations (23)
Advances in Symbolic Probabilistic Model Checking with PRISM

2016 TACAS | Tools and Algorithms for Construction and Analysis of Systems
Show All
- Source
- Cite
- Save
Citations (14)