Holger Hermanns

Cited by

	All	Since 2020
Citations	15126	3942
h-index	57	29
i10-index	222	96

880

440

220

660

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202570 110 171 166 282 330 356 362 440 479 497 545 642 695 731 704 771 781 709 711 683 579 495 597 729 658 873 587

Public access

View all

162 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
Lijun ZhangInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
Boudewijn R. HaverkortUniversity of TwenteVerified email at utwente.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 WimmerAltair Engineering GmbH, Böblingen, Germany and Albert-Ludwigs-Universität 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
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
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.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	1083	2003
Interactive Markov Chains and the Quest for Quantified Quality H Hermanns Lecture Notes in Computer Science 2428, 2002	749*	2002
Interactive Markov chains H Hermanns Friedrich Alexander Universität Erlangen-Nürnberg, 1998	710*	1998
Interactive Markov Chains H Hermanns PhD Thesis, 1998	710*	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	700	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	466	2011
Approximative symbolic model checking of continuous-time Markov chains C Baier, JP Katoen, H Hermanns International Conference on Concurrency Theory, 146-161, 1999	390	1999
Process algebra for performance evaluation H Hermanns, U Herzog, JP Katoen Theoretical computer science 274 (1-2), 43-87, 2002	370	2002
Optimal state-space lumping in Markov chains S Derisavi, H Hermanns, WH Sanders Information processing letters 87 (6), 309-315, 2003	295	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	276	2011
Probabilistic CEGAR H Hermanns, B Wachter, L Zhang Computer Aided Verification, 162-175, 2008	258	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	255	2000
Syntax, semantics, equivalences, and axioms for MTIPP H Hermanns, M Rettelbach Proc. of 2nd Process Algebra and Performance Modelling Workshop, 141, 1994	248	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	234	2014
Weak bisimulation for fully probabilistic processes C Baier, H Hermanns International Conference on Computer Aided Verification, 119-130, 1997	222	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	219	2010
Discrete-time rewards model-checked S Andova, H Hermanns, JP Katoen International Conference on Formal Modeling and Analysis of Timed Systems …, 2003	215	2003
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	211	2006
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	192	2013
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	191	1999

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