Holger Hermanns

Model-checking algorithms for continuous-time markov chains

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns et al. · IEEE Transactions on Software Engineering · 2003 · 770 citations

Engineering, Computer Engineering, Computer Science +17

What do we want from Explainable Artificial Intelligence (XAI)? – A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research

Markus Langer, Daniel Oster, Timo Speith et al. · Artificial Intelligence · 2021 · 592 citations · Full text

Computing, Computer Science, Artificial Intelligence +10

The ins and outs of the probabilistic model checker MRMC

Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn et al. · Performance Evaluation · 2010 · 250 citations

Computing, Computer Science, Formal Methods +14

Process algebra for performance evaluation

Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen · Theoretical Computer Science · 2002 · 245 citations

Business, Computer Science, Systems Engineering +8

Optimal state-space lumping in Markov chains

Salem Derisavi, Holger Hermanns, William H. Sanders · Information Processing Letters · 2003 · 204 citations

Engineering, Computer Science, Mathematics +13