Zilverling

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

Decaan, Faculteit Electrotechniek, Wiskunde en Informatica
EEMCS
Zilverling 1064
b.r.h.m.haverkort@utwente.nl
+31534893766
Visitekaartje
Werkdagen
even
oneven
M
T
W
T
F
op de campus
thuiswerkdag
afwezig

Expertises

  • Computer Science

    • Model Checking
    • Case Study
    • Performance Evaluation
    • Data Center
    • State Space
    • Statistical Model
    • Event Simulation
    • Performability

Organisaties

Publicaties

2026

Running.Christel: A Stochastic Hybrid Case-Study Optimizing Battery Pack Usage (2026)In Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday (pp. 382-407) (Lecture notes in computer science; Vol. 15760). Springer. Willemsen, L., Remke, A., Haverkort, B. R. & Hurink, J. L.https://doi.org/10.1007/978-3-031-97439-7_19

2025

Verification of Digital Twins using Classical & Statistical Model Checking (2025)Electronic proceedings in theoretical computer science, 418, 16-23. Gunasekaran, R. & Haverkort, B.https://doi.org/10.4204/EPTCS.418.2Behavioral Analysis of a Digital Twin using Logging and Model Learning (2025)Journal of object technology, 24(2), 1-14. Gunasekaran, R., Haverkort, B. R. & Kruger, L.https://doi.org/10.5381/jot.2025.24.2.a7

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

Onderzoeksprofielen

Adres

Universiteit Twente

Zilverling (gebouwnr. 11), kamer 1064
Hallenweg 19
7522 NH Enschede

Navigeer naar locatie

Organisaties

Scan de QR-code of
Download vCard