Boudewijn R. Haverkort

Cited by

	All	Since 2016
Citations	6432	1505
h-index	36	18
i10-index	108	42

420

210

105

315

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202122 43 53 68 59 45 79 79 130 89 146 144 223 188 276 279 301 341 365 398 398 410 389 344 387 379 298 235 203 3

Co-authors

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Anne RemkeUniversität MünsterVerified email at wwu.de
Christel BaierTU DresdenVerified email at tu-dresden.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Marijn JongerdenHAN University of Applied SciencesVerified email at han.nl
Ramin SadreUniversité catholique de LouvainVerified email at uclouvain.be
Pieter-Tjerk de BoerAssociate professor, University of TwenteVerified email at utwente.nl
Freek van den BergPostdoctoral researcherVerified email at vdberg.us
Hamed GhasemiehPhD, University of TwenteVerified email at utwente.nl
Aad van MoorselProfessor of Computer Science, Newcastle University, UKVerified email at ncl.ac.uk
Björn F. PostemaTeacher, Christian University of Applied ScienceVerified email at utwente.nl
Kishor TrivediChaired Professor of Electrical and Computer Engineering, Duke UniversityVerified email at duke.edu
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Geert HeijenkProfessor, University of TwenteVerified email at heijenk.com
Werner ScheinhardtAssistant professor, University of TwenteVerified email at utwente.nl
Rena BakhshiVU University AmsterdamVerified email at bakhshi.org
Daniël ReijsbergenSingapore University of Technology and DesignVerified email at sutd.edu.sg
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Justyna ChromikPhD candidate, University of TwenteVerified email at utwente.nl
Pepijn CrouzenGoogle inc.Verified email at google.com

Boudewijn R. Haverkort

Dean, Tilburg School of Humanities & Digital Sciences, Tilburg University

Verified email at uvt.nl - Homepage

cyber-physical systems critical infrastructures performance & dependability battery modelling stochastic models


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	917	2003
Performance Evaluation of Computer Communication Systems: A Model-based Approach BR Haverkort John Wiley & Sons, 1998	418	1998
Which battery model to use? MR Jongerden, BR Haverkort IET software 3 (6), 445-457, 2009	327	2009
Performability modelling tools, evaluation techniques, and applications. BRHM Haverkort	218	1992
Composite performance and dependability analysis KS Trivedi, JK Muppala, SP Woolet, BR Haverkort Performance Evaluation 14 (3-4), 197-215, 1992	211	1992
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	210	2000
Battery modeling MR Jongerden, B Haverkort Enschede, January, 38, 2008	185	2008
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	160	2005
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	148	2000
Fitting world-wide web request traces with the EM-algorithm REA Khayari, R Sadre, BR Haverkort Performance Evaluation 52 (2-3), 175-191, 2003	145	2003
On the use of model checking techniques for dependability evaluation BR Haverkort, H Hermanns, JP Katoen Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000 …, 2000	114	2000
Performability modelling tools and techniques BR Haverkort, IG Niemegeers Performance evaluation 25 (1), 17-40, 1996	110	1996
Markovian models for performance and dependability evaluation BR Haverkort School organized by the European Educational Forum, 38-83, 2000	100	2000
Performance evaluation and model checking join forces C Baier, BR Haverkort, H Hermanns, JP Katoen Communications of the ACM 53 (9), 76-85, 2010	99	2010
Model checking performability properties B Haverkort, L Cloth, H Hermanns, JP Katoen, C Baier Proceedings International Conference on Dependable Systems and Networks, 103-112, 2002	96	2002
Specification techniques for Markov reward models BR Haverkort, KS Trivedi Discrete Event Dynamic Systems 3 (2-3), 219-247, 1993	91	1993
Model checking Markov chains with actions and state labels C Baier, L Cloth, BR Haverkort, M Kuntz, M Siegle IEEE Transactions on Software Engineering 33 (4), 209-224, 2007	87	2007
On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets B Haverkort, A Bell, H Bohnenkamp Proceedings 8th International Workshop on Petri Nets and Performance Models …, 1999	74	1999
Steady-state analysis of infinite stochastic Petri nets: Comparing the spectral expansion and the matrix-geometric method BR Haverkort, A Ost Proceedings of the Seventh International Workshop on Petri Nets and …, 1997	69	1997
Mean-field analysis for the evaluation of gossip protocols R Bakhshi, L Cloth, W Fokkink, B Haverkort 2009 Sixth International Conference on the Quantitative Evaluation of …, 2009	64	2009

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