Holger Hermanns

Cited by

	All	Since 2018
Citations	13414	3647
h-index	56	29
i10-index	197	90

800

400

200

600

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202344 41 32 76 86 154 133 282 322 366 355 427 469 488 560 634 643 720 686 774 787 719 695 656 584 544 606 696 557

Public access

View all

147 articles

13 articles

available

not available

Based on funding mandates

Co-authors

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Christel BaierTU DresdenVerified email at tu-dresden.de
Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityVerified email at uvt.nl
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseVerified email at ios.ac.cn
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerified email at informatik.uni-freiburg.de
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Jan KrčálSaarland UniversityVerified email at fi.muni.cz
Reza PulunganDepartment of Computer Science and Electronics, Universitas Gadjah MadaVerified email at ugm.ac.id
Gilles NiesPhD Student, Dependable Systems and Software, Saarland Informatics Campus, Saarland UniversityVerified email at cs.uni-saarland.de
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Lijun ZhangVerified email at ios.ac.cn
Salem DerisaviCompiler Tech Lead/Manager, Cerebras SystemsVerified email at cerebras.net
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
Roberto SegalaUniversità di VeronaVerified email at univr.it
Pepijn CrouzenGoogle inc.Verified email at google.com

Holger Hermanns

Professor of Computer Science, Saarland University, Saarland Informatics Campus

Verified email at cs.uni-saarland.de - Homepage

Model Checking Stochastic Modelling Dependability Energy Informatics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	1028	2003
Interactive Markov Chains and the Quest for Quantified Quality H Hermanns Lecture Notes in Computer Science 2428, 2002	710*	2002
Interactive Markov chains H Hermanns Friedrich Alexander Universität Erlangen-Nürnberg, 1998	669*	1998
Interactive Markov Chains H Hermanns PhD Thesis, 1998	669*	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	445	2011
Approximative symbolic model checking of continuous-time Markov chains C Baier, JP Katoen, H Hermanns CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The …, 1999	364	1999
Process algebra for performance evaluation H Hermanns, U Herzog, JP Katoen Theoretical computer science 274 (1-2), 43-87, 2002	355	2002
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	283	2021
Optimal state-space lumping in Markov chains S Derisavi, H Hermanns, WH Sanders Information processing letters 87 (6), 309-315, 2003	275	2003
Probabilistic CEGAR H Hermanns, B Wachter, L Zhang Computer Aided Verification, 162-175, 2008	245	2008
Probabilistic reachability for parametric Markov models EM Hahn, H Hermanns, L Zhang International Journal on Software Tools for Technology Transfer 13, 3-19, 2011	244	2011
Syntax, semantics, equivalences, and axioms for MTIPP H Hermanns, M Rettelbach Proc. of the 2nd Workshop on Process Algebras and Performance Modelling, 71-88, 1994	239	1994
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	233	2000
Weak bisimulation for fully probabilistic processes C Baier, H Hermanns Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997	205	1997
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	200	2010
Discrete-time rewards model-checked S Andova, H Hermanns, JP Katoen Formal Modeling and Analysis of Timed Systems: First International Workshop …, 2004	195	2004
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	192	2006
Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains H Hermanns, J Meyer-Kayser, M Siegle Proc. NSMC 99, 188-207, 1999	185	1999
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	178	2014
Comparative branching-time semantics for Markov chains C Baier, JP Katoen, H Hermanns, V Wolf Information and computation 200 (2), 149-214, 2005	178	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors