Zilverling

prof.dr.ir. B.R.H.M. Haverkort (Boudewijn)

Decaan
EEMCS
Zilverling 1064
b.r.h.m.haverkort@utwente.nl
+31534893766
Visitekaartje

Expertises

  • Computer Science

    • Models
    • Model Checking
    • Evaluation
    • Algorithms
    • Data Center
    • Performance Evaluation
    • Workload
    • Case Study

Organisaties

Publicaties

2024

Verification of Digital Twins through Statistical Model Checking (2024)CEUR workshop proceedings, 3855. Gunasekaran, R. & Haverkort, B. R.https://ceur-ws.org/Vol-3855/m4s3.pdf

2023

Thermal management under real-time constraints: Utilizing temperature dynamics for optimal performance (2023)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Ozceylan, B.https://doi.org/10.3990/1.9789036557962

2022

Minimizing the Maximum Processor Temperature by Temperature-Aware Scheduling of Real-Time Tasks (2022)IEEE transactions on very large scale integration (VLSI) systems, 30(8), 1084-1097. Ozceylan, B., Haverkort, B. R. H. M., de Graaf, M. & Gerards, M. E. T.https://doi.org/10.1109/TVLSI.2022.3160601

2021

Improving Temperature Prediction Accuracy Using Kalman and Particle Filtering Methods (2021)In 2020 26th International Workshop on Thermal Investigations of ICs and Systems (THERMINIC). Article 9420535 (International Workshop on Thermal Investigations of ICs and Systems, THERMINIC; Vol. 2020). IEEE. Ozceylan, B., Haverkort, B. R., de Graaf, M. & Gerards, M. E. T.https://doi.org/10.1109/THERMINIC49743.2020.9420535

2020

Machine learning data center workloads using generative adversarial networks (2020)SIGMETRICS performance evaluation review, 48(2), 21-23. Haverkort, B. R., Finkbeiner, F. & de Boer, P.-T.https://doi.org/10.1145/3439602.3439611

Onderzoeksprofielen

Scan de QR-code of
Download vCard