Boudewijn R.H.M. Haverkort

prof.dr.ir.

1990 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1990 2018

Filter
Chapter
2017

iDSL: Automated Performance Evaluation of Service-Oriented Systems

van den Berg, F. G. B., Haverkort, B. R. H. M. & Hooman, J. 27 Sep 2017 ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Langerak, R. & Rensink, A. (eds.). Springer, (Lecture Notes in Computer Science; vol. 10500)

Research output: Chapter in Book/Report/Conference proceedingChapter

Image processing
X rays
2016

Model checking two layers of mean-field models

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M. Apr 2016 Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday. Fiondella, L. & Puliafito, A. (eds.). London: Springer Verlag, p. 341-369 29 p. (Springer series in reliability engineering)

Research output: Chapter in Book/Report/Conference proceedingChapter

2011
8 Citations

Decomposition-Based Queueing Network Analysis with FiFiQueues

Sadre, R. & Haverkort, B. R. H. M. 2011 Queueing Networks: A Fundamental Approach. Boucherie, R. J., van Dijk, N. & van Dijk, N. M. (eds.). New York: Springer Science+Business Media, p. 643-699 57 p. (International Series in Operations Research & Management Science; vol. 154, no. 154)

Research output: Chapter in Book/Report/Conference proceedingChapter

File
2002
21 Citations

Automated performance and dependability evaluation using model checking

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P. 2002 Computer Performance Evaluation. Calzarossa, M. & Tucci, S. (eds.). Berlin: Springer Verlag, p. 261-289 29 p. (Lecture Notes in Computer Science; vol. 2459)

Research output: Chapter in Book/Report/Conference proceedingChapter

File

Automated performance and dependability evaluation using model checking

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P. 2002 Lecture Notes in Computer Science 2459: Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures. Calzarossa, M. & Tucci, S. (eds.). Rome, Italy: Springer, p. - 29 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1994

High-speed networks for the interconnection of clusters of workstations

Haverkort, B. R. H. M. 1994 Proceedings of Praxisorientierte parallelverarbeitung. Muenchen/Wenen: Hanser Verlag, p. 99-110 12 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations

Modelling aspects of model-based dynamic QoS management by the performability manager

Franken, L., Pijpers, R. H. & Haverkort, B. R. H. M. 1994 Lecture notes in computer science 794: proceedings of computer performance evaluation: modelling techniques and tools. Berlijn: Springer Verlag, p. 89-110 22 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Polling models: theory and applications

Haverkort, B. R. H. M. 1994 Proceedings of performance and reliability evaluation. Wenen: Oldenbourg verlag, Wenen, p. 237-266 30 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

22 Citations

Techniques and tools for reliability and performance evaluation: problems and perspectives

Trivedi, K. S., Haverkort, B. R. H. M., Rindos, A. & Mainkar, V. 1994 Lecture notes in computer science 794: proceedings of computer performance evaluation: modelling techniques and tools. Wenen: Springer Verlag, p. 1-24 24 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Xmgm: a performance analysis tool based on matrix geometric networks

Haverkort, B. R. H. M., van Moorsel, A. P. A. & Speelman, D. H. J. 1994 Proceedings Mascots '94 conferentie. Los Alamitos, CA, USA: IEEE Computer Society Press, p. 152-157 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1993

MGMtool: A Performance Analysis Tool Based on Matrix Geometric Methods

Haverkort, B. R. H. M., van Moorsel, A. P. A. & Dijkstra, A. 1993 Computer Performance Evaluation 1992: Modelling Techniques and Tools. Edinburgh: Edinburgh University Press, p. 312-316

Research output: Chapter in Book/Report/Conference proceedingChapter

The X-11 Protocol over N-ISDN: A Performance Study

van der Werff, M. R. & Haverkort, B. R. H. M. 1993 Proceedings of the 10th United Kingdom Teletraffic Symposium. British Telecom, p. -

Research output: Chapter in Book/Report/Conference proceedingChapter

1992

DyQNtool - a performability modelling tool based on the dynamic queueing network concepts

Haverkort, B. R. H. M. & Velthuijzen van zanten, P. 1992 Modelling techniques and tools for computer performance evaluation. Amsterdam: North Holland, p. 181-195

Research output: Chapter in Book/Report/Conference proceedingChapter

Fault injection simulation: a variance reduction technique for systems with rare events

van Moorsel, A. P. A., Haverkort, B. R. H. M. & Niemegeers, I. G. M. M. 1992 Dependable computing and fault-tolerant system. New York: Springer Verlag, p. 115-134

Research output: Chapter in Book/Report/Conference proceedingChapter

MGMtool: A performance modelling tool based on matrix geometric techniques

Haverkort, B. R. H. M., van Moorsel, A. P. A. & Dijkstra, A. 1992 Performance tools 1992. Edinburgh: Edinburgh University Press, p. 397-401

Research output: Chapter in Book/Report/Conference proceedingChapter

1991

Fault injection: a varance reduction technique for studying the performance consequences of rarely occuring failures in communication networks

van Moorsel, A. P. A., Haverkort, B. R. H. M. & Niemegeers, I. G. M. M. 1991 Proceedings First international workshop on performability modelling of computer and communication systems. Enschede: Universiteit Twente, p. 99-116 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

On the mutual performance-dependability influence in dynamic queueing networks

Haverkort, B. R. H. M. & Niemegeers, I. G. M. M. 1991 Proceedings First international workshop on performability modelling of computer and communication systems. Enschede: Universiteit Twente, p. 33-40 8 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Research and development in Japan

Haverkort, B. R. H. M. 1991 Japan and Telematics. Enschede: S.V.I. Inter-Actief, p. 38-46 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter