| The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification A Hartmanns, H Hermanns Tools and Algorithms for the Construction and Analysis of Systems, 593-598, 2014 | 256 | 2014 |
| A Compositional Modelling and Analysis Framework for Stochastic Hybrid Systems EM Hahn, A Hartmanns, H Hermanns, JP Katoen Formal Methods in System Design, 1-42, 2012 | 206 | 2012 |
| 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 | 162 | 2017 |
| The Quantitative Verification Benchmark Set A Hartmanns, M Klauck, D Parker, T Quatmann, E Ruijters TACAS. LNCS 11427, 0 | 124* | |
| A Modest Approach to Checking Probabilistic Timed Automata A Hartmanns, H Hermanns Quantitative Evaluation of Systems, 2009. QEST'09. Sixth International …, 2009 | 97 | 2009 |
| Optimistic value iteration A Hartmanns, BL Kaminski International Conference on Computer Aided Verification, 488-511, 2020 | 94 | 2020 |
| Partial Order Methods for Statistical Model Checking and Simulation J Bogdoll, LM Ferrer Fioriti, A Hartmanns, H Hermanns Formal Techniques for Distributed Systems, 59-74, 2011 | 93 | 2011 |
| 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 | 70 | 2019 |
| A statistical model checker for nondeterminism and rare events CE Budde, PR D’Argenio, A Hartmanns, S Sedwards International Conference on Tools and Algorithms for the Construction and …, 2018 | 66 | 2018 |
| On correctness, precision, and performance in quantitative verification: QComp 2020 competition report CE Budde, A Hartmanns, M Klauck, J Křetínský, D Parker, T Quatmann, ... International symposium on leveraging applications of formal methods, 216-241, 2020 | 65 | 2020 |
| TOOLympics 2019: An overview of competitions in formal methods E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 55 | 2019 |
| An efficient statistical model checker for nondeterminism and rare events CE Budde, PR D’Argenio, A Hartmanns, S Sedwards International journal on software tools for technology transfer 22 (6), 759-780, 2020 | 52 | 2020 |
| A practitioner’s guide to MDP model checking algorithms A Hartmanns, S Junges, T Quatmann, M Weininger International Conference on Tools and Algorithms for the Construction and …, 2023 | 51 | 2023 |
| Simulation and Statistical Model Checking for Modestly Nondeterministic Models J Bogdoll, A Hartmanns, H Hermanns Measurement, Modelling, and Evaluation of Computing Systems and …, 2012 | 51 | 2012 |
| ARCH-COMP25 Category Report: Stochastic Models A Abate, O Akbarzadeh, HAP Blom, S Haesaert, S Hassani, A Lavaei, ... arXiv preprint arXiv:2506.17602, 2025 | 42 | 2025 |
| Lightweight statistical model checking in nondeterministic continuous time PR D’Argenio, A Hartmanns, S Sedwards International Symposium on Leveraging Applications of Formal Methods, 336-353, 2018 | 39 | 2018 |
| Explicit model checking of very large MDP using partitioning and secondary storage A Hartmanns, H Hermanns International Symposium on Automated Technology for Verification and …, 2015 | 38 | 2015 |
| Reachability and reward checking for stochastic timed automata EM Hahn, A Hartmanns, H Hermanns EASST electronic communications 70, 2014 | 34 | 2014 |
| In the Quantitative Automata Zoo A Hartmanns, H Hermanns Science of Computer Programming 112, 3-23, 2015 | 33 | 2015 |
| A Comparative Analysis of Decentralized Power Grid Stabilization Strategies A Hartmanns, H Hermanns, P Berrang Winter Simulation Conference, 2012 | 33* | 2012 |
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
