Expertises
Engineering & Materials Science
# Model Checking
# Power Management
# Semantics
# Statistical Models
Mathematics
# Data Center
# Model Checking
# 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.
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) IEEE.
https://doi.org/10.1109/THERMINIC.2019.8923636
Chromik, J. J. (2019).
Process-aware SCADA traffic monitoring: A local approach. University of Twente.
https://doi.org/10.3990/1.9789036548014
Buijsrogge, A. (2019).
Rare event simulation for non-Markovian tandem queues. 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 (ACM).
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
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
van den Berg, F. G. B.
, Haverkort, B. R. H. M., & Hooman, J. (2017).
iDSL: Automated Performance Evaluation of Service-Oriented Systems. In R. Langerak, & A. Rensink (Eds.),
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Lecture Notes in Computer Science; Vol. 10500). Springer.
https://doi.org/10.1007/978-3-319-68270-9_11
Haverkort, B. R., & Zimmermann, A. (2017).
Smart Industry: How ICT Will Change the Game!
IEEE internet computing,
21(1), 8-10.
https://doi.org/10.1109/MIC.2017.22
Jongerden, M. R.
, & Haverkort, B. R. (2017).
Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration. In N. Bertrand, & L. Bortolussi (Eds.),
Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings (pp. 88-103). (Lecture Notes in Computer Science; Vol. 10503). Springer.
https://doi.org/10.1007/978-3-319-66335-7_6
van der Molen, I., Berendsen, J., Gerardts, R.
, Haverkort, B. R. H. M.
, Meijerink, B. J., Misana-Ter Huurne, E. F. J., Rojer, G., Schoop, R.
, & Torenvlied, R. (2017).
Verkenning doelrealisatie communicatiemiddelen Caribisch Nederland. University of Twente.
https://www.wodc.nl/onderzoeksdatabase/2737-communicatiemiddelen-bij-calamiteiten-rampen-en-crises-in-caribisch-nederland.aspx
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). Association for Computing Machinery (ACM).
https://doi.org/10.1145/3077839.3084025
Morshed, S. (2017).
Energy-efficient medium access control for transmit reference modulation. University of Twente.
https://doi.org/10.3990/1.9789036544061
Pure Link
Google Scholar Link
Verbonden aan Opleidingen
Bachelor
Master
Overig
Vakken Collegejaar 2021/2022
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 2020/2021
Contactgegevens
Bezoekadres
Universiteit Twente
Drienerlolaan 5
7522 NB Enschede
Postadres
Universiteit Twente
Postbus 217
7500 AE Enschede