Holger Hermanns

Cited by

	All	Since 2016
Citations	11567	3195
h-index	55	27
i10-index	174	90

780

390

195

585

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202146 41 30 81 84 158 150 266 324 368 347 429 486 478 569 646 687 710 678 777 755 681 707 648 610 529 16

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
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Concept Engineering GmbH, Freiburg, GermanyVerified email at informatik.uni-freiburg.de
Lijun ZhangVerified email at ios.ac.cn
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
Salem DerisaviPrincipal Compiler Engineer/Manager, Untether AIVerified email at untether.ai
Gilles NiesPhD Student, Dependable Systems and Software, Saarland Informatics Campus, Saarland UniversityVerified email at cs.uni-saarland.de
Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
Markus LohreyUniversity of SiegenVerified email at eti.uni-siegen.de
Pepijn CrouzenGoogle inc.Verified email at google.com
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk

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	933	2003
Interactive Markov Chains and the Quest for Quantified Quality H Hermanns Lecture Notes in Computer Science 2428, 2002	666*	2002
Interactive Markov chains H Hermanns Friedrich Alexander Universität Erlangen-Nürnberg, 1998	626*	1998
Interactive Markov Chains H Hermanns PhD Thesis, 1998	626*	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	400	2011
Approximative symbolic model checking of continuous-time Markov chains C Baier, JP Katoen, H Hermanns International Conference on Concurrency Theory, 146-161, 1999	345	1999
Process algebra for performance evaluation H Hermanns, U Herzog, JP Katoen Theoretical computer science 274 (1-2), 43-87, 2002	328	2002
Optimal state-space lumping in Markov chains S Derisavi, H Hermanns, WH Sanders Information Processing Letters 87 (6), 309-315, 2003	247	2003
Syntax, semantics, equivalences, and axioms for MTIPP H Hermanns, M Rettelbach in Proc. of the 2nd Workshop on Process Algebras and Performance Modelling …, 1994	227	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	216	2000
Probabilistic CEGAR H Hermanns, B Wachter, L Zhang Computer Aided Verification, 162-175, 2008	215	2008
Weak bisimulation for fully probabilistic processes C Baier, H Hermanns International Conference on Computer Aided Verification, 119-130, 1997	187	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	179	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	174	2006
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes C Baier, H Hermanns, JP Katoen, BR Haverkort Theoretical Computer Science 345 (1), 2-26, 2005	164	2005
Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains H Hermanns, J Meyer-Kayser, M Siegle 3rd Int. Workshop on the Numerical Solution of Markov Chains, 188-207, 1999	164	1999
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	161	2011
Comparative branching-time semantics for Markov chains C Baier, JP Katoen, H Hermanns, V Wolf Information and computation 200 (2), 149-214, 2005	161	2005
Discrete-time rewards model-checked S Andova, H Hermanns, JP Katoen International Conference on Formal Modeling and Analysis of Timed Systems …, 2003	156	2003
On the logical characterisation of performability properties C Baier, B Haverkort, H Hermanns, JP Katoen International Colloquium on Automata, Languages, and Programming, 780-792, 2000	149	2000

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

Upload PDF

Follow this author

Cited by

Co-authors