Expertises
Computer Science
- Models
- Model Checking
- Evaluation
- Algorithms
- Data Center
- Performance Evaluation
- Workload
- Case Study
Organisaties
Nevenwerkzaamheden
- Schloss Dagstuhl Leibniz, Leibniz-Zentrum für InformatikChairman, Schloss Dagstuhl Publishing Advisory Board
Publicaties
2025
Running.Christel: A Stochastic Hybrid Case-Study Optimizing Battery Pack Usage (2025)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 (E-pub ahead of print/First online). Willemsen, L., Remke, A., Haverkort, B. R. & Hurink, J. L.https://doi.org/10.1007/978-3-031-97439-7_19Verification 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
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
Onderzoeksprofielen
Verbonden aan opleidingen
Vakken collegejaar 2025/2026
Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
Adres
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 1064
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 1064
Postbus 217
7500 AE Enschede
Scan de QR-code of