Boudewijn Remigius Heinrich Maria Haverkort

prof.dr.ir.

1990 …2019

Research output per year

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

Research Output

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 proceedingChapterAcademicpeer-review

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, p. 341-369 29 p. (Springer series in reliability engineering).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2011

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, p. 643-699 57 p. (International Series in Operations Research & Management Science; vol. 154, no. 154).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
11 Citations (Scopus)
89 Downloads (Pure)
2002

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 proceedingChapterAcademic

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, p. 261-289 29 p. (Lecture Notes in Computer Science; vol. 2459).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
22 Citations (Scopus)
36 Downloads (Pure)
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 proceedingChapterAcademic

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

Franken, L. J. N., Pijpers, R. H. & Haverkort, B. R. H. M., 1994, Computer Performance Evaluation Modelling Techniques and Tools: 7th International Conference Vienna, Austria, May 3–6, 1994. Proceedings. Haring, G. & Kotsis, G. (eds.). Berlin, Heidelberg: Springer, p. 89-110 22 p. (Lecture Notes in Computer Science; vol. 794).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
3 Citations (Scopus)
15 Downloads (Pure)

Polling models: theory and applications

Haverkort, B. R. H. M., 1994, Performance and reliability evaluation: Tutorial papers of the 7th International Conference on Modelling Techniques and Tools for Computer Performance. Nagl, L., Haring, G. & Kotsis, G. (eds.). Vienna: Oldenbourg Wissenschaftsverlag, p. 237-266 30 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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

Trivedi, K. S., Haverkort, B. R., Rindos, A. & Mainkar, V., 1994, Computer Performance Evaluation Modelling Techniques and Tools: 7th International Conference, Vienna, Austria, May 3–6, 1994. Proceedings. Haring, G. & Kotsis, G. (eds.). Berlin, Heidelberg: Springer, p. 1-24 24 p. (Lecture Notes in Computer Science; vol. 794).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
22 Citations (Scopus)
15 Downloads (Pure)

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 proceedingChapterAcademic

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 proceedingChapterAcademic

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 proceedingChapterProfessional

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 proceedingChapterAcademic

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, p. 115-134

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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 proceedingChapterAcademic

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 proceedingChapterProfessional

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 proceedingChapterProfessional

Research and development in Japan

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

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional