| A storm is coming: A modern probabilistic model checker C Dehnert, S Junges, JP Katoen, M Volk International Conference on Computer Aided Verification, 592-600, 2017 | 253 | 2017 |
| PROPhESY: A PRObabilistic ParamEter SYnthesis Tool C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ... International Conference on Computer Aided Verification, 214-231, 2015 | 101 | 2015 |
| Parameter synthesis for Markov models: Faster than ever T Quatmann, C Dehnert, N Jansen, S Junges, JP Katoen International Symposium on Automated Technology for Verification and …, 2016 | 64 | 2016 |
| Safety-constrained reinforcement learning for MDPs S Junges, N Jansen, C Dehnert, U Topcu, JP Katoen International Conference on Tools and Algorithms for the Construction and …, 2016 | 55 | 2016 |
| JANI: quantitative model and tool interaction CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini International Conference on Tools and Algorithms for the Construction and …, 2017 | 53 | 2017 |
| Counterexample generation for discrete-time Markov models: An introductory survey E Ábrahám, B Becker, C Dehnert, N Jansen, JP Katoen, R Wimmer International School on Formal Methods for the Design of Computer …, 2014 | 37 | 2014 |
| SMT-based bisimulation minimisation of Markov models C Dehnert, JP Katoen, D Parker International Workshop on Verification, Model Checking, and Abstract …, 2013 | 28 | 2013 |
| Fast debugging of PRISM models C Dehnert, N Jansen, R Wimmer, E Ábrahám, JP Katoen International Symposium on Automated Technology for Verification and …, 2014 | 21 | 2014 |
| The 2019 comparison of tools for the analysis of quantitative formal models EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 20 | 2019 |
| Bounded model checking for probabilistic programs N Jansen, C Dehnert, BL Kaminski, JP Katoen, L Westhofen International Symposium on Automated Technology for Verification and …, 2016 | 16 | 2016 |
| On abstraction of probabilistic systems C Dehnert, D Gebler, M Volpato, DN Jansen International Autumn School on Rigorous Dependability Analysis Using Model …, 2012 | 13 | 2012 |
| Parameter synthesis for markov models S Junges, E Ábrahám, C Hensel, N Jansen, JP Katoen, T Quatmann, ... arXiv preprint arXiv:1903.07993, 2019 | 9 | 2019 |
| Counterexample-driven synthesis for probabilistic program sketches M Češka, C Hensel, S Junges, JP Katoen International Symposium on Formal Methods, 101-120, 2019 | 8 | 2019 |
| Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination C Baier, C Hensel, L Hutschenreiter, S Junges, JP Katoen, J Klein Information and Computation 272, 104504, 2020 | 6 | 2020 |
| The Probabilistic Model Checker Storm C Hensel, S Junges, JP Katoen, T Quatmann, M Volk arXiv preprint arXiv:2002.07080, 2020 | 5 | 2020 |
| Parameter synthesis for probabilistic systems C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ... MBMV, 72-74, 2016 | 4 | 2016 |
| The probabilistic model checker Storm: symbolic methods for probabilistic model checking HC Hensel, D Parker, JP Katoen Fachgruppe Informatik, 2019 | 3 | 2019 |
| Counterexamples for expected rewards T Quatmann, N Jansen, C Dehnert, R Wimmer, E Ábrahám, JP Katoen, ... International Symposium on Formal Methods, 435-452, 2015 | 3 | 2015 |
| Model Repair Revamped M Češka, C Dehnert, N Jansen, S Junges, JP Katoen From Reactive Systems to Cyber-Physical Systems, 107-125, 2019 | | 2019 |
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
