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

Model Checking

Strategy

Power Management

Specifications

Stochastic Models

Statistical Models

Power Management

Logic

Data Center

Performability

World Wide Web

Reward

Markov Processes

Intrusion Detection

Faculteit Elektrotechniek, Wiskunde en Informatica (EWI), Design and Analysis of Communication Systems (DACS)

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

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.

Postema, B. F., & Haverkort, B. R. (2018). Evaluation of Advanced Data Centre Power Management Strategies. Electronic notes in theoretical computer science, 337, 173-191. DOI: 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 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

van der Molen, I., Berendsen, J., Gerardts, R., Haverkort, B. R. H. M., Meijerink, B. J., Misana-Ter Huurne, E. F. J., ... Torenvlied, R. (2017). Verkenning doelrealisatie communicatiemiddelen Caribisch Nederland.

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.

Ghasemieh, H., Remke, A. K. I., & Haverkort, B. R. H. M. (2016). Survivability analysis of a sewage treatment facility using hybrid Petri nets. Performance evaluation, 97, 36-56. DOI: 10.1016/j.peva.2015.11.004

Jongerden, M. R., Hüls, J., Remke, A., & Haverkort, B. R. (2016). Does Your Domestic Photovoltaic Energy System Survive Grid Outages?Energies, 9(9), [736]. DOI: 10.3390/en9090736

Kolesnichenko, A. V., Haverkort, B. R. H. M., Remke, A. K. I., & de Boer, P-T. (2016). Fitting a code-red virus spread model: An account of putting theory into practice. 39-46. DOI: 10.1109/DRCN.2016.7470833

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).

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W., & Haverkort, B. R. H. M. (2015). On hypothesis testing for statistical model checking. International journal on software tools for technology transfer, 17(4), 377-395. DOI: 10.1007/s10009-014-0350-1

Postema, B. F., & Haverkort, B. R. H. M. (2015). Energie besparen in datacentra. Bits en chips, 9, 44-45.

Naar mijn profiel