Holger Hermanns

Cited by

	All	Since 2020
Citations	14656	3542
h-index	57	28
i10-index	215	93

960

480

240

720

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202549 38 26 75 108 166 144 293 331 372 354 433 473 492 545 635 647 729 715 769 788 716 700 681 574 532 590 707 681 944 84

Public access

View all

157 articles

14 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
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseVerified email at ios.ac.cn
Boudewijn R. HaverkortTilburg School of Humanities & Digital Sciences, Tilburg UniversityVerified email at uvt.nl
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
Lijun ZhangInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
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 dfki.de
Salem DerisaviCompiler Tech Lead/Manager, Cerebras SystemsVerified email at cerebras.net
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Lei SongMicrosoft Research AsiaVerified email at microsoft.com
Roberto SegalaUniversità di VeronaVerified email at univr.it
Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de

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	1061	2003
Interactive Markov Chains and the Quest for Quantified Quality H Hermanns Lecture Notes in Computer Science 2428, 2002	738*	2002
Interactive Markov chains H Hermanns Friedrich Alexander Universität Erlangen-Nürnberg, 1998	698*	1998
Interactive Markov Chains H Hermanns PhD Thesis, 1998	698*	1998
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	564	2021
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	464	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	380	1999
Process algebra for performance evaluation H Hermanns, U Herzog, JP Katoen Theoretical computer science 274 (1-2), 43-87, 2002	366	2002
Optimal state-space lumping in Markov chains S Derisavi, H Hermanns, WH Sanders Information processing letters 87 (6), 309-315, 2003	286	2003
Probabilistic reachability for parametric Markov models EM Hahn, H Hermanns, L Zhang International Journal on Software Tools for Technology Transfer 13, 3-19, 2011	268	2011
Probabilistic CEGAR H Hermanns, B Wachter, L Zhang Computer Aided Verification, 162-175, 2008	253	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	247	2000
Syntax, semantics, equivalences, and axioms for MTIPP H Hermanns, M Rettelbach Proc. of 2nd Process Algebra and Performance Modelling Workshop, 141, 1994	245	1994
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	219	2014
Weak bisimulation for fully probabilistic processes C Baier, H Hermanns Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997	219	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	215	2010
Discrete-time rewards model-checked S Andova, H Hermanns, JP Katoen Formal Modeling and Analysis of Timed Systems: First International Workshop …, 2004	206	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	204	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	190	1999
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	187	2013

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