Welkom...

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

Hoogleraar, Design and Analysis of Communication Systems

Expertises

Model Checking
Strategy
Power Management
Specifications
Stochastic Models
Statistical Models
Power Management
Logic
Data Center
Performability
World Wide Web
Reward
Markov Processes
Intrusion Detection

Nevenactiviteiten

  • Bibliotheek, Hof van twente
    Raad van Toezicht
  • Minsterie EZK
    Voorzitter Innovatieprogramma Commit2Data

Publicaties

Recent
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). Hamburg: 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. DOI: 10.1145/3185768.3186310
Habraken, M. M. P., Ahsmann, B., van den Akker , E., van Baars , G., Baartmans, R., Blankendaal, J., ... Thuis, B. (2018). Smart Industry roadmap: Onderzoeksagenda voor HTSM en ICT en routekaart voor de NWA.
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 Verlag. DOI: 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. Paper presented at 19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”, Erlangen, Germany.
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. DOI: 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. DOI: 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). Cham: Springer. DOI: 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). New York, NY, USA: Association for Computing Machinery. DOI: 10.1145/3077839.3084025
Chromik, J. J., Haverkort, B. R. H. M., Remke, A. K. I., Pilch, C., Brackmann, P., Duhme, C., ... Wieland, J. (2017). Context-aware local Intrusion Detection in SCADA systems: a testbed and two showcases. Paper presented at 8th IEEE International Conference on Smart Grid Communications, SmartGridComm 2017, Dresden, Germany.
van den Berg, L. I. S. A., Zebel, S., Stoelinga, M. I. A., Haverkort, B. R. H. M., & Giebels, E. (2016). Design and implementation of digital communication systems for victim-offender mediation. In SMART School on computational social and behavioral sciences (pp. -). Paris: Laboratory of Excellence SMART.
Jongerden, M. R., Hüls, J., Haverkort, B. R. H. M., & Remke, A. K. I. (2016). Assessing the Cost of Energy Independence. In Proceedings of the IEEE International Energy Conference, ENERGYCON 2016 (pp. 1-6). USA: IEEE Power & Energy Society. DOI: 10.1109/ENERGYCON.2016.7514139
Chromik, J. J., Remke, A. K. I., & Haverkort, B. R. H. M. (2016). What's under the hood? Improving SCADA security with process awareness. In Proceedings of the Joint Workshop on Cyber-physical Security and Resilience in Smart Grids (CPSR-SG 2016) (pp. -). USA: IEEE. DOI: 10.1109/CPSRSG.2016.7684100
Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., ... Wognsen, E. R. (2016). Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach. In Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4 (pp. 1-15). France: International Astronautical Federation.
Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T., & Haverkort, B. R. H. M. (2016). Model checking two layers of mean-field models. In L. Fiondella, & A. Puliafito (Eds.), Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday (pp. 341-369). (Springer series in reliability engineering). London: Springer Verlag. DOI: 10.1007/978-3-319-30599-8_13
van den Berg, F., Postema, B. F., & Haverkort, B. R. H. M. (2016). Evaluating Load Balancing Policies for Performance and Energy-Efficiency. In Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2016 (pp. 98-117). (Electronic Proceedings in Theoretical Computer Science; Vol. 227). Open Publishing Association. DOI: 10.4204/EPTCS.227.7
Chromik, J. J., Remke, A. K. I., & Haverkort, B. R. H. M. (2016). Improving SCADA security of a local process with a power grid model. In Proceedings of the 4th International Symposium for ICS & SCADA Cyber Security Research, ICS-CSR 2016 (pp. 114-123). (Electronic Workshops in Computing). UK: BCS Learning & Development Ltd.. DOI: 10.14236/ewic/ICS2016.13
Jongerden, M. R., & Haverkort, B. R. H. M. (2016). Battery Aging and the Kinetic Battery Model. (CTIT technical report; No. TR-CTIT-2016-11). Enschede: Centre for Telematics and Information Technology (CTIT).

Pure Link

Google Scholar Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 5067
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  5067
Postbus 217
7500 AE Enschede

Social Media