Welkom...

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

Hoogleraar, Ontwerp en Analyse van Communicatiesystemen

Expertises

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

Publicaties

Recent
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
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. , 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). 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/
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
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

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

Navigeer naar locatie

Postadres

Universiteit Twente
Postbus 217
7500 AE Enschede

Social Media