Research Output per year
Research Output 1990 2018
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 proceeding › Chapter › Academic › peer-review
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, p. 341-369 29 p. (Springer series in reliability engineering).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
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 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 proceeding › Chapter › Academic
File
2002
22
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, p. 261-289 29 p. (Lecture Notes in Computer Science; vol. 2459).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
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 proceeding › Chapter › Academic
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 proceeding › Chapter › Academic
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, p. 89-110 22 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
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 proceeding › Chapter › Academic
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, p. 1-24 24 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
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 proceeding › Chapter › Academic
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-316Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
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 proceeding › Chapter › Professional
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-195Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
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-134Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
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-401Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
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 proceeding › Chapter › Professional
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 proceeding › Chapter › Professional
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 proceeding › Chapter › Professional