| A Storm is Coming: A Modern Probabilistic Model Checker C Dehnert, S Junges, JP Katoen, M Volk Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 464 | 2017 |
| PROPhESY: A PRObabilistic ParamEter SYnthesis Tool C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ... Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 144 | 2015 |
| Safety-constrained reinforcement learning for MDPs S Junges, N Jansen, C Dehnert, U Topcu, JP Katoen Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 114 | 2016 |
| JANI: quantitative model and tool interaction CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 106 | 2017 |
| The probabilistic model checker Storm C Hensel, S Junges, JP Katoen, T Quatmann, M Volk International Journal on Software Tools for Technology Transfer, 1-22, 2021 | 97 | 2021 |
| Parameter synthesis for Markov models: faster than ever T Quatmann, C Dehnert, N Jansen, S Junges, JP Katoen Automated Technology for Verification and Analysis: 14th International …, 2016 | 92 | 2016 |
| The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report) EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 55 | 2019 |
| Counterexample generation for discrete-time Markov models: An introductory survey E Ábrahám, B Becker, C Dehnert, N Jansen, JP Katoen, R Wimmer Formal Methods for Executable Software Models: 14th International School on …, 2014 | 52 | 2014 |
| Parameter synthesis for Markov models S Junges, E Ábrahám, C Hensel, N Jansen, JP Katoen, T Quatmann, ... arXiv preprint arXiv:1903.07993, 2019 | 36 | 2019 |
| SMT-Based Bisimulation Minimisation of Markov Models. C Dehnert, JP Katoen, D Parker VMCAI 7737, 28-47, 2013 | 35 | 2013 |
| Fast debugging of PRISM models C Dehnert, N Jansen, R Wimmer, E Ábrahám, JP Katoen Automated Technology for Verification and Analysis: 12th International …, 2014 | 32 | 2014 |
| 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 | 25 | 2020 |
| Bounded model checking for probabilistic programs N Jansen, C Dehnert, BL Kaminski, JP Katoen, L Westhofen Automated Technology for Verification and Analysis: 14th International …, 2016 | 23 | 2016 |
| On abstraction of probabilistic systems C Dehnert, D Gebler, M Volpato, DN Jansen Stochastic Model Checking. Rigorous Dependability Analysis Using Model …, 2014 | 19 | 2014 |
| Counterexample-driven synthesis for probabilistic program sketches M Češka, C Hensel, S Junges, JP Katoen Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 17 | 2019 |
| Counterexamples for expected rewards T Quatmann, N Jansen, C Dehnert, R Wimmer, E Ábrahám, JP Katoen, ... FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 8 | 2015 |
| The probabilistic model checker Storm: symbolic methods for probabilistic model checking HC Hensel, D Parker, JP Katoen Fachgruppe Informatik, 2019 | 7 | 2019 |
| Parameter synthesis for probabilistic systems C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ... MBMV, 72-74, 2016 | 6 | 2016 |
| Model repair revamped: On the automated synthesis of markov chains M Ceska, C Dehnert, N Jansen, S Junges, JP Katoen arXiv preprint arXiv:2105.13411, 2021 | 5 | 2021 |
| Model Repair Revamped: —On the Automated Synthesis of Markov Chains— M Češka, C Dehnert, N Jansen, S Junges, JP Katoen From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A …, 2019 | 1 | 2019 |
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
