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
Conference contribution

The effect of mobility on local service discovery in the Ahoy ad-hoc network system

Goering, P. T. H., Heijenk, G., Haverkort, B. R. H. M. & Haarman, R., 2007, Proceedings of the European Performance Engineering Workshop, EPEW 2007. London: Springer, p. 284-300 17 p. 10.1007/978-3-540-75211-0_21. (Lecture Notes in Computer Science; vol. 4748, no. LNCS4549).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
21 Downloads (Pure)

The performability tool P'ility

Cloth, L. & Haverkort, B. R. H. M., Sep 2008, Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008. Los Alamitos: IEEE Computer Society, p. 117-118 2 p. 10.1109/QEST.2008.27

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
62 Downloads (Pure)

Time-Bounded Reachability in Tree-Structured QBDs by Abstraction

Klink, D., Remke, A. K. I., Haverkort, B. R. H. M. & Katoen, J. P., Sep 2009, Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09). IEEE Computer Society, p. 133-142 10 p. 10.1109/QEST.2009.9

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
87 Downloads (Pure)

Towards Simple Models for Energy-Performance Trade-Offs in Data Centers

Haverkort, B. R. H. M. & Postema, B. F., 19 Mar 2014, MMB & DFT 2014 : Proceedings of the International Workshops SOCNET 2014 and FGENET 2014. Bamberg: University of Bamberg Press, p. 113-122 10 p. (Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
27 Downloads (Pure)

Uniformization with Representatives - comprehensive transient analysis of infinite-state QBDs

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 11 Oct 2006, First International Conference on Performance Evaluation Methodologies and Tools. New York: Association for Computing Machinery (ACM), p. 7 10 p. 10.1145/1190366.1190372

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
40 Downloads (Pure)

Using Dynamic Queueing Networks as a Tool for Specifying Performability Models

Haverkort, B. R. H. M. & Niemegeers, I. G. M. M., 1 Sep 1990, European Simulation Multi-conference. Nurnberg, BRD, p. 184-191 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

What's under the hood? Improving SCADA security with process awareness

Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 12 Apr 2016, Proceedings of the Joint Workshop on Cyber-physical Security and Resilience in Smart Grids (CPSR-SG 2016). USA: IEEE, p. - 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
8 Citations (Scopus)
121 Downloads (Pure)

Which battery model to use?

Jongerden, M. R. & Haverkort, B. R. H. M., 3 Jul 2008, 24th UK Performance Engineering Workshop: 3–4 July 2008. Argent-Katwala, A., Dingle, N. J. & Harder, U. (eds.). Imperial College London, p. 76-88 13 p. (Department of Computing Technical Reports; vol. 2008, no. 9).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
254 Downloads (Pure)