Seguir
Boudewijn R. Haverkort
Boudewijn R. Haverkort
Dean, Tilburg School of Humanities & Digital Sciences, Tilburg University
Dirección de correo verificada de uvt.nl - Página principal
Título
Citado por
Citado por
Año
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
10452003
Performance Evaluation of Computer Communication Systems: A Model-based Approach
BR Haverkort
John Wiley & Sons, 1998
4701998
Which battery model to use?
MR Jongerden, BR Haverkort
IET software 3 (6), 445-457, 2009
4122009
Performability modelling tools, evaluation techniques, and applications.
BRHM Haverkort
PhD thesis, University of Twente, 1992
242*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
2412000
Composite performance and dependability analysis
KS Trivedi, JK Muppala, SP Woolet, BR Haverkort
Performance Evaluation 14 (3-4), 197-215, 1992
2351992
Battery modeling
MR Jongerden, B Haverkort
CTIT Technical Report Series, University of Twente, 2008
2202008
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
1822005
On the logical characterisation of performability properties
C Baier, B Haverkort, H Hermanns, JP Katoen
Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000
1622000
Fitting world-wide web request traces with the EM-algorithm
REA Khayari, R Sadre, BR Haverkort
Performance Evaluation 52 (2-3), 175-191, 2003
1562003
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
1332000
Performability modelling tools and techniques
BR Haverkort, IG Niemegeers
Performance evaluation 25 (1), 17-40, 1996
1191996
Markovian models for performance and dependability evaluation
BR Haverkort
School organized by the European Educational Forum, 38-83, 2000
1182000
Smart industry: How ICT will change the game!
BR Haverkort, A Zimmermann
IEEE internet computing 21 (1), 8-10, 2017
1122017
Performance evaluation and model checking join forces
C Baier, BR Haverkort, H Hermanns, JP Katoen
Communications of the ACM 53 (9), 76-85, 2010
1102010
Specification techniques for Markov reward models
BR Haverkort, KS Trivedi
Discrete Event Dynamic Systems 3 (2), 219-247, 1993
1091993
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
1042002
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
882007
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
771999
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
771997
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20