Expertises
Engineering & Materials Science
# Markov Chains
# Model Checking
# Power Management
# Semantics
# Statistical Models
Mathematics
# Data Center
# Performability
# Power Management
Verbonden aan
Publicaties
Recent
Ozceylan, B.
, Haverkort, B. R. H. M.
, de Graaf, M.
, & Gerards, M. E. T. (2022).
Minimizing the Maximum Processor Temperature by Temperature-Aware Scheduling of Real-Time Tasks.
IEEE transactions on very large scale integration (VLSI) systems,
30(8), 1084-1097.
https://doi.org/10.1109/TVLSI.2022.3160601
Ozceylan, B.
, Haverkort, B. R.
, de Graaf, M.
, & Gerards, M. E. T. (2021).
Improving Temperature Prediction Accuracy Using Kalman and Particle Filtering Methods. In
2020 26th International Workshop on Thermal Investigations of ICs and Systems (THERMINIC) [9420535] (International Workshop on Thermal Investigations of ICs and Systems, THERMINIC; Vol. 2020). IEEE.
https://doi.org/10.1109/THERMINIC49743.2020.9420535
Haverkort, B. R., Finkbeiner, F.
, & de Boer, P-T. (2020).
Machine learning data center workloads using generative adversarial networks.
Performance Evaluation Review,
48(2), 21-23.
https://doi.org/10.1145/3439602.3439611
Ozceylan, B.
, Haverkort, B. R. H. M.
, de Graaf, M.
, & Gerards, M. E. T. (2019).
A Generic Processor Temperature Estimation Method. In M. Rencz, L. Codecasa, & A. Poppe (Eds.),
2019 25th International Workshop on Thermal Investigations of ICs and Systems (THERMINIC) [8923636] IEEE.
https://doi.org/10.1109/THERMINIC.2019.8923636
Chromik, J. J. (2019).
Process-aware SCADA traffic monitoring: A local approach. [PhD Thesis - Research UT, graduation UT, University of Twente]. University of Twente.
https://doi.org/10.3990/1.9789036548014
Buijsrogge, A. (2019).
Rare event simulation for non-Markovian tandem queues. [PhD Thesis - Research UT, graduation UT, University of Twente]. University of Twente.
https://doi.org/10.3990/1.9789036547888
Chromik, J. J.
, Remke, A. K. I.
, Haverkort, B. R. H. M., & Geist, G. (2019).
A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications. In
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks – Industry Track IEEE.
https://doi.org/10.1109/DSN-Industry.2019.00008
Postema, B. F., Geuze, N. J.
, & Haverkort, B. R. (2018).
Fitting realistic data centre workloads a data science approach. In
e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems (pp. 486-491). Association for Computing Machinery.
https://doi.org/10.1145/3208903.3213520
Van Den Berg, F., Garousi, V., Tekinerdogan, B.
, & Haverkort, B. R. (2018).
Designing cyber-physical systems with aDSL: A domain-specific language and tool support. In
2018 13th System of Systems Engineering Conference, SoSE 2018 (pp. 225-232). [8428770] IEEE.
https://doi.org/10.1109/SYSOSE.2018.8428770
Nies, G., Stenger, M., Krčál, J.
, Hermanns, H., Bisgaard, M., Gerhardt, D.
, Haverkort, B.
, Jongerden, M.
, Larsen, K. G., & Wognsen, E. R. (2018).
Mastering operational limitations of LEO satellites – The GOMX-3 approach.
Acta astronautica,
151, 726-735.
https://doi.org/10.1016/j.actaastro.2018.04.040
Postema, B. F. (2018).
Energy-efficient data centres: model-based analysis of power-performance trade-offs. [PhD Thesis - Research UT, graduation UT, University of Twente]. University of Twente.
https://doi.org/10.3990/1.9789036546881
Chromik, J. J.
, Remke, A.
, & Haverkort, B. R. (2018).
An integrated testbed for locally monitoring SCADA systems in smart grids.
Energy Informatics,
1, 1-29. [56].
https://doi.org/10.1186/s42162-018-0058-7
Chromik, J. J.
, Remke, A.
, & Haverkort, B. R. (2018).
Bro in SCADA: dynamic intrusion detection policies based on a system model. In
5th International Symposium for ICS&SCADA Cyber Security Research (ICS-CSR 2018) (pp. 112-121). BCS Learning & Development Ltd..
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.
https://doi.org/10.1145/3185768.3186310
Habraken, M. M. P., Ahsmann, B., van den Akker , E., van Baars , G., Baartmans, R., Blankendaal, J., Bossert, R., Burghardt, P., Duisterwinkel, A., van Eijk , D., van den Eijnde , W., Endhoven, W., Gijsbers, G., Ten Have, K.
, Haverkort, B. R. H. M., van der Horst, T., Jayawardhana, B., Jansson, M., Karelse, F., ... Thuis, B. (2018).
Smart Industry roadmap: Onderzoeksagenda voor HTSM en ICT en routekaart voor de NWA. Smart Industry.
https://www.smartindustry.nl/smart-industry-roadmap/
Postema, B. F.
, & Haverkort, B. R. (2018).
Evaluation of Advanced Data Centre Power Management Strategies.
Electronic notes in theoretical computer science,
337, 173-191.
https://doi.org/10.1016/j.entcs.2018.03.040
van den Berg, F. G. B., Hooman, J.
, & Haverkort, B. R. H. M. (2018).
A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements. In R. German, K-S. Hielscher, & U. R. Krieger (Eds.),
Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings (pp. 295-301). (Lecture Notes in Computer Science; Vol. 10740). Springer.
https://doi.org/10.1007/978-3-319-74947-1_21
Kerkers, M.
, Chromik, J. J.
, Remke, A. K. I.
, & Haverkort, B. R. H. M. (2018).
A Tool for Generating Automata of IEC60870-5-104 Implementations. In R. German, K-S. Hielscher, & U. R. Krieger (Eds.),
Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings (pp. 307-311). (Lecture notes in computer science; Vol. 10740).
https://doi.org/10.1007/978-3-319-74947-1_23
Chromik, J. J.
, Haverkort, B. R. H. M.
, Remke, A. K. I., Pilch, C., Brackmann, P., Duhme, C., Everinghoff, F., Giberlein, A., Teodorowicz, T., & Wieland, J. (2018).
Context-aware local Intrusion Detection in SCADA systems: a testbed and two showcases. In
2017 IEEE International Conference on Smart Grid Communications (SmartGridComm) IEEE.
https://doi.org/10.1109/SmartGridComm.2017.8340672
Pure Link
Google Scholar Link
Verbonden aan Opleidingen
Bachelor
Master
Overig
Vakken Collegejaar 2022/2023
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.
Vakken Collegejaar 2021/2022
Contactgegevens
Bezoekadres
Universiteit Twente
Drienerlolaan 5
7522 NB Enschede
Postadres
Universiteit Twente
Postbus 217
7500 AE Enschede