Boudewijn R. Haverkort

Cited by

	All	Since 2018
Citations	7119	1264
h-index	38	17
i10-index	115	34

420

210

105

315

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202325 49 50 60 64 46 84 67 112 125 150 147 234 183 296 272 318 338 393 387 407 409 396 358 400 386 329 236 249 227 211 12

Public access

View all

14 articles

8 articles

available

not available

Based on funding mandates

Co-authors

Anne RemkeUniversität MünsterVerified email at wwu.de
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Christel BaierTU DresdenVerified email at tu-dresden.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
Hamed GhasemiehPhD, University of TwenteVerified email at utwente.nl
Freek van den BergPostdoctoral researcherVerified email at vdberg.us
Aad van MoorselProfessor of Computer Science, University of Birmingham, UKVerified email at bham.ac.uk
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Björn F. PostemaTeacher, Christian University of Applied ScienceVerified email at utwente.nl
Geert HeijenkProfessor, University of TwenteVerified email at heijenk.com
Kishor TrivediChaired Professor of Electrical and Computer Engineering, Duke UniversityVerified email at duke.edu
Werner ScheinhardtAssistant professor, University of TwenteVerified email at utwente.nl
Rena BakhshiVU University AmsterdamVerified email at bakhshi.org
Justyna ChromikPhD candidate, University of TwenteVerified email at utwente.nl
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
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 model checking


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	1004	2003
Performance Evaluation of Computer Communication Systems: A Model-based Approach BR Haverkort John Wiley & Sons, 1998	448	1998
Which battery model to use? MR Jongerden, BR Haverkort IET software 3 (6), 445-457, 2009	392	2009
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
Performability modelling tools, evaluation techniques, and applications. BRHM Haverkort PhD thesis, University of Twente, 1992	227*	1992
Composite performance and dependability analysis KS Trivedi, JK Muppala, SP Woolet, BR Haverkort Performance Evaluation 14 (3-4), 197-215, 1992	220	1992
Battery modeling MR Jongerden, B Haverkort CTIT Technical Report Series, University of Twente, 2008	214	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	162	2005
On the logical characterisation of performability properties C Baier, B Haverkort, H Hermanns, JP Katoen Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000	156	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	154	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	125	2000
Performability modelling tools and techniques BR Haverkort, IG Niemegeers Performance evaluation 25 (1), 17-40, 1996	113	1996
Markovian models for performance and dependability evaluation BR Haverkort Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer …, 2001	109	2001
Performance evaluation and model checking join forces C Baier, BR Haverkort, H Hermanns, JP Katoen Communications of the ACM 53 (9), 76-85, 2010	104	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	101	2002
Specification techniques for Markov reward models BR Haverkort, KS Trivedi Discrete Event Dynamic Systems 3 (2-3), 219-247, 1993	100	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	88	2007
Smart industry: How ICT will change the game! BR Haverkort, A Zimmermann IEEE internet computing 21 (1), 8-10, 2017	79	2017
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	77	1999
Sensitivity and uncertainty analysis of Markov-reward models BR Haverkort, AMH Meeuwissen IEEE Transactions on Reliability 44 (1), 147-154, 1995	75	1995

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