| 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 | 546 | 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, 2022 | 215 | 2022 |
| 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 | 155 | 2015 |
| 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 | 148 | 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 | 127 | 2017 |
| 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 | 107 | 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ý, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 65 | 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 | 59 | 2014 |
| Parameter Synthesis for Markov Models: Covering the Parameter Space S Junges, E Ábrahám, C Hensel, N Jansen, JP Katoen, T Quatmann, ... arXiv preprint arXiv:1903.07993, 2019 | 56 | 2019 |
| SMT-based bisimulation minimisation of Markov models C Dehnert, JP Katoen, D Parker Verification, Model Checking, and Abstract Interpretation: 14th …, 2013 | 37 | 2013 |
| 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 | 34 | 2020 |
| 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 | 34 | 2014 |
| 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 | 32 | 2016 |
| Counterexample-driven synthesis for probabilistic program sketches M Češka, C Hensel, S Junges, JP Katoen International symposium on formal methods, 101-120, 2019 | 27 | 2019 |
| On abstraction of probabilistic systems C Dehnert, D Gebler, M Volpato, DN Jansen International Autumn School on Rigorous Dependability Analysis Using Model …, 2012 | 21 | 2012 |
| Kroening D Păsăreanu CS et al C Dehnert PROPhESY: a probabilistic parameter synthesis tool Computer Aided Verification, 2015 | 12 | 2015 |
| 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 | 10 | 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 | 10 | 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 | 5 | 2016 |
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
