| 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 | 115 | 2012 |
| 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 | 110 | 2014 |
| A Modest Approach to Checking Probabilistic Timed Automata A Hartmanns, H Hermanns Quantitative Evaluation of Systems, 2009. QEST'09. Sixth International …, 2009 | 86 | 2009 |
| 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 | 72 | 2011 |
| 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 | 65 | 2017 |
| Simulation and Statistical Model Checking for Modestly Nondeterministic Models J Bogdoll, A Hartmanns, H Hermanns Measurement, Modelling, and Evaluation of Computing Systems and …, 2012 | 36 | 2012 |
| 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 | 35 | 2019 |
| A Comparative Analysis of Decentralized Power Grid Stabilization Strategies A Hartmanns, H Hermanns, P Berrang Winter Simulation Conference, 2012 | 29* | 2012 |
| 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 | 28 | 2018 |
| 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 | 27 | 2019 |
| The Quantitative Verification Benchmark Set A Hartmanns, M Klauck, D Parker, T Quatmann, E Ruijters TACAS. LNCS 11427, 0 | 24* | |
| On-the-fly Confluence Detection for Statistical Model Checking A Hartmanns, M Timmer NASA Formal Methods, 337-351, 2013 | 22 | 2013 |
| Reachability and reward checking for stochastic timed automata EM Hahn, A Hartmanns, H Hermanns Electronic Communications of the EASST 70, 2014 | 20 | 2014 |
| Model-checking and Simulation for Stochastic Timed Systems A Hartmanns Formal Methods for Components and Objects, 372-391, 2010 | 20 | 2010 |
| Multi-cost bounded reachability in MDP A Hartmanns, S Junges, JP Katoen, T Quatmann International Conference on Tools and Algorithms for the Construction and …, 2018 | 19 | 2018 |
| Modest – A Unified Language for Quantitative Models A Hartmanns Specification and Design Languages (FDL), 2012 Forum on, 44-51, 2012 | 19 | 2012 |
| Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids A Hartmanns, H Hermanns ISoLA, 2012 | 19 | 2012 |
| Optimistic value iteration A Hartmanns, BL Kaminski International Conference on Computer Aided Verification, 488-511, 2020 | 17 | 2020 |
| Better automated importance splitting for transient rare events CE Budde, PR D’Argenio, A Hartmanns International Symposium on Dependable Software Engineering: Theories, Tools …, 2017 | 17 | 2017 |
| mctau: Bridging the Gap between Modest and UPPAAL J Bogdoll, A David, A Hartmanns, H Hermanns Model Checking Software, 227-233, 2012 | 16 | 2012 |
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusEmail confirmado em cs.uni-saarland.de
