Holger Hermanns

Cited by

	All	Since 2018
Citations	13044	3327
h-index	56	27
i10-index	191	85

840

420

210

630

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202339 40 29 77 86 129 173 277 318 367 341 435 463 492 532 651 646 674 686 832 769 704 701 646 593 517 607 718 245

Public access

View all

136 articles

16 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 Concept Engineering GmbH, Freiburg, 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
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Gilles NiesPhD Student, Dependable Systems and Software, Saarland Informatics Campus, Saarland UniversityVerified email at cs.uni-saarland.de
Lijun ZhangVerified email at ios.ac.cn
Salem DerisaviCompiler Tech Lead/Manager, Cerebras SystemsVerified email at cerebras.net
Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Pepijn CrouzenGoogle inc.Verified email at google.com
William H SandersCarnegie Mellon UniversityVerified email at cmu.edu

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	1013	2003
Interactive Markov Chains and the Quest for Quantified Quality H Hermanns Lecture Notes in Computer Science 2428, 2002	701*	2002
Interactive Markov chains H Hermanns Friedrich Alexander Universität Erlangen-Nürnberg, 1998	658*	1998
Interactive Markov Chains H Hermanns PhD Thesis, 1998	658*	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	442	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	367	1999
Process algebra for performance evaluation H Hermanns, U Herzog, JP Katoen Theoretical computer science 274 (1-2), 43-87, 2002	352	2002
Optimal state-space lumping in Markov chains S Derisavi, H Hermanns, WH Sanders Information processing letters 87 (6), 309-315, 2003	273	2003
Probabilistic CEGAR H Hermanns, B Wachter, L Zhang Computer Aided Verification, 162-175, 2008	242	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	239	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	238	1994
Model checking continuous-time Markov chains by transient analysis C Baier, B Haverkort, H Hermanns, JP Katoen Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	229	2000
Weak bisimulation for fully probabilistic processes C Baier, H Hermanns Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997	202	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	196	2010
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	190	2006
Discrete-time rewards model-checked S Andova, H Hermanns, JP Katoen Lecture notes in computer science 2791, 88-104, 2004	187	2004
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	184	2021
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	184	1999
Comparative branching-time semantics for Markov chains C Baier, JP Katoen, H Hermanns, V Wolf Information and computation 200 (2), 149-214, 2005	175	2005
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: 20th …, 2014	168	2014

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