Welkom...

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

Hoogleraar, Ontwerp en Analyse van Communicatiesystemen

Expertises

Engineering & Materials Science
Markov Chains
Model Checking
Power Management
Semantics
Statistical Models
Mathematics
Data Center
Performability
Power Management

Publicaties

Recent
Ozceylan, B. (2023). Thermal management under real-time constraints: Utilizing temperature dynamics for optimal performance. [PhD Thesis - Research UT, graduation UT, University of Twente]. University of Twente. https://doi.org/10.3990/1.9789036557962
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. Advance online publication. 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) Article 9420535 (International Workshop on Thermal Investigations of ICs and Systems, THERMINIC; Vol. 2020). IEEE. https://doi.org/10.1109/THERMINIC49743.2020.9420535
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) Article 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). Article 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). 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., 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.
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

Contactgegevens

Bezoekadres

Universiteit Twente
Drienerlolaan 5
7522 NB Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Postbus 217
7500 AE Enschede

Social Media