ir. B.F. Postema (Björn)

About Me

I am a Ph.D. candidate at the faculty of  Electrical Engineering, Mathematics and Computer Science of the  University of Twente. I am affiliated with the group  Design and Analysis of Communication Systems group. I was born in 't Harde, 1989, and in 2013 I obtained my Master's degree in Computer Science for the track  Methods and Tools for Verification with the final topic  Fluid Survival Tool: A model checker for hybrid Petri nets at the  University of Twente in Enschede with the committee of  Anne Remke (1st supervisor),  Rom Langerak (2nd supervisor),  Boudewijn Haverkort and  Hamed Ghasemieh. In November 2013, I began my Ph.D. research on the topic of data centre energy-efficiency under the supervision of  Boudewijn Haverkort.


Power Management
Data Center
Power Management
Energy Conservation
Hot Temperature



Postema, B. F., Van Damme, T., De Persis, C., Tesi, P., & Haverkort, B. R. H. M. (2018). Combining Energy Saving Techniques in Data Centres using Model-Based Analysis. In ICPE'18. Companion of the 2018 ACM/SPEC International Conference on Performance Engineering (pp. 67-72). ACM Press. DOI: 10.1145/3185768.3186310
Postema, B. F., & Haverkort, B. R. (2017). Specification of data centre power management strategies. In Proceedings of the 8th International Conference on Future Energy Systems, e-Energy 2017 (pp. 284-289). New York, NY, USA: Association for Computing Machinery. DOI: 10.1145/3077839.3084025
van den Berg, F., Postema, B. F., & Haverkort, B. R. H. M. (2016). Evaluating Load Balancing Policies for Performance and Energy-Efficiency. In Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2016 (pp. 98-117). (Electronic Proceedings in Theoretical Computer Science; Vol. 227). Open Publishing Association. DOI: 10.4204/EPTCS.227.7
Schot, N. J., Velthuis, P. J. E., & Postema, B. F. (2016). Capabilities of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres. In A. K. I. Remke, A. K. I. Remke, B. R. H. M. Haverkort, & B. R. H. M. Haverkort (Eds.), Proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems (MMB & DFT 2016) (pp. 183-198). (Lecture Notes in Computer Science; Vol. 9629). Switzerland: Springer International Publishing. DOI: 10.1007/978-3-319-31559-1_15
Postema, B. F., & Haverkort, B. R. H. M. (2015). An AnyLogic simulation model for power and performance analysis of data centres. In M. Beltrán, W. Knottenbelt, & J. Bradley (Eds.), Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015 (pp. 258-272). (Lecture Notes in Computer Science; Vol. 9272). Switzerland: Springer International Publishing. DOI: 10.1007/978-3-319-23267-6_17
Postema, B. F., Remke, A. K. I., Haverkort, B. R. H. M., & Ghasemieh, H. (2014). Fluid Survival Tool: A Model Checker for Hybrid Petri Nets. In 17th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2014 (pp. 255-259). (Lecture Notes in Computer Science; Vol. 8376). Switzerland: Springer International Publishing. DOI: 10.1007/978-3-319-05359-2_18
Haverkort, B. R. H. M., & Postema, B. F. (2014). Towards Simple Models for Energy-Performance Trade-Offs in Data Centers. In MMB & DFT 2014 : Proceedings of the International Workshops SOCNET 2014 and FGENET 2014 (pp. 113-122). (Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg). Bamberg: University of Bamberg Press.
Postema, B. F., & Haverkort, B. R. H. M. (2014). Stochastic Petri Net Models for the Analysis of Trade-Offs in Data Centres with Power Management. In S. Klingert, M. Chinnici, & M. Rey Porto (Eds.), Proceedings of the International Workshop on Energy-Efficient Data Centres, E2DC 2014 (pp. 52-67). (Lecture Notes in Computer Science; Vol. 8945). London: Springer Verlag. DOI: 10.1007/978-3-319-15786-3_4

Google Scholar Link

Contact Details

Visiting Address

University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands

Social Media