| Model-checking algorithms for continuous-time Markov chains C Baier, B Haverkort, H Hermanns, JP Katoen IEEE Transactions on software engineering 29 (6), 524-541, 2003 | 1098 | 2003 |
| What do we want from Explainable Artificial Intelligence (XAI)?–A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research M Langer, D Oster, T Speith, H Hermanns, L Kästner, E Schmidt, A Sesing, ... Artificial intelligence 296, 103473, 2021 | 822 | 2021 |
| Interactive Markov Chains and the Quest for Quantified Quality H Hermanns Lecture Notes in Computer Science 2428, 2002 | 756* | 2002 |
| Interactive Markov chains H Hermanns Friedrich Alexander Universität Erlangen-Nürnberg, 1998 | 716* | 1998 |
| Interactive Markov Chains H Hermanns PhD Thesis, 1998 | 716* | 1998 |
| The ins and outs of the probabilistic model checker MRMC JP Katoen, IS Zapreev, EM Hahn, H Hermanns, DN Jansen Performance evaluation 68 (2), 90-104, 2011 | 467 | 2011 |
| Approximative symbolic model checking of continuous-time Markov chains C Baier, JP Katoen, H Hermanns International Conference on Concurrency Theory, 146-161, 1999 | 395 | 1999 |
| Process algebra for performance evaluation H Hermanns, U Herzog, JP Katoen Theoretical computer science 274 (1-2), 43-87, 2002 | 371 | 2002 |
| Optimal state-space lumping in Markov chains S Derisavi, H Hermanns, WH Sanders Information processing letters 87 (6), 309-315, 2003 | 298 | 2003 |
| Probabilistic reachability for parametric Markov models EM Hahn, H Hermanns, L Zhang International Journal on Software Tools for Technology Transfer 13 (1), 3-19, 2011 | 281 | 2011 |
| Probabilistic CEGAR H Hermanns, B Wachter, L Zhang Computer Aided Verification, 162-175, 2008 | 262 | 2008 |
| Model checking continuous-time Markov chains by transient analysis C Baier, B Haverkort, H Hermanns, JP Katoen International conference on computer aided verification, 358-372, 2000 | 260 | 2000 |
| The Modest Toolset: An integrated environment for quantitative modelling and verification A Hartmanns, H Hermanns International Conference on Tools and Algorithms for the Construction and …, 2014 | 256 | 2014 |
| Syntax, semantics, equivalences, and axioms for MTIPP H Hermanns, M Rettelbach Proc. of 2nd Process Algebra and Performance Modelling Workshop, 141, 1994 | 249 | 1994 |
| On probabilistic automata in continuous time C Eisentraut, H Hermanns, L Zhang 2010 25th Annual IEEE Symposium on Logic in Computer Science, 342-351, 2010 | 224 | 2010 |
| Weak bisimulation for fully probabilistic processes C Baier, H Hermanns International Conference on Computer Aided Verification, 119-130, 1997 | 223 | 1997 |
| MoDeST: A compositional modeling formalism for hard and softly timed systems H Bohnenkamp, PR d'Argenio, H Hermanns, JP Katoen IEEE Transactions on Software Engineering 32 (10), 812-830, 2006 | 216 | 2006 |
| Discrete-time rewards model-checked S Andova, H Hermanns, JP Katoen International Conference on Formal Modeling and Analysis of Timed Systems …, 2003 | 216 | 2003 |
| A compositional modelling and analysis framework for stochastic hybrid systems EM Hahn, A Hartmanns, H Hermanns, JP Katoen Formal Methods in System Design 43 (2), 191-232, 2013 | 206 | 2013 |
| Comparative branching-time semantics for Markov chains C Baier, JP Katoen, H Hermanns, V Wolf Information and computation 200 (2), 149-214, 2005 | 194 | 2005 |
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
