Boudewijn R. Haverkort
Boudewijn R. Haverkort
Dean, Tilburg School of Humanities & Digital Sciences, Tilburg University
Verified email at - Homepage
Cited by
Cited by
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
Performance Evaluation of Computer Communication Systems: A Model-based Approach
BR Haverkort
John Wiley & Sons, 1998
Which battery model to use?
MR Jongerden, BR Haverkort
IET software 3 (6), 445-457, 2009
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
Performability modelling tools, evaluation techniques, and applications.
BRHM Haverkort
PhD thesis, University of Twente, 1992
Composite performance and dependability analysis
KS Trivedi, JK Muppala, SP Woolet, BR Haverkort
Performance Evaluation 14 (3-4), 197-215, 1992
Battery modeling
MR Jongerden, B Haverkort
CTIT Technical Report Series, University of Twente, 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
On the logical characterisation of performability properties
C Baier, B Haverkort, H Hermanns, JP Katoen
Automata, Languages and Programming: 27th International Colloquium, ICALP …, 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
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
Performability modelling tools and techniques
BR Haverkort, IG Niemegeers
Performance evaluation 25 (1), 17-40, 1996
Markovian models for performance and dependability evaluation
BR Haverkort
School organized by the European Educational Forum, 38-83, 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
Specification techniques for Markov reward models
BR Haverkort, KS Trivedi
Discrete Event Dynamic Systems 3 (2), 219-247, 1993
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
Smart industry: How ICT will change the game!
BR Haverkort, A Zimmermann
IEEE internet computing 21 (1), 8-10, 2017
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
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
Sensitivity and uncertainty analysis of Markov-reward models
BR Haverkort, AMH Meeuwissen
IEEE Transactions on Reliability 44 (1), 147-154, 1995
The system can't perform the operation now. Try again later.
Articles 1–20