Find Research Outputs

Search in all content

Filters for Research Output

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011

Author

  • Boudewijn Haverkort
Article

An integrated testbed for locally monitoring SCADA systems in smart grids

Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 6 Nov 2018, In : Energy Informatics. 1, p. 1-29 29 p.

Research output: Contribution to journalArticleScientificpeer-review

Does Your Domestic Photovoltaic Energy System Survive Grid Outages?

Jongerden, M. R., Hüls, J., Remke, A. & Haverkort, B. R., 9 Sep 2016, In : Energies. 9, 9

Research output: Contribution to journalArticleScientificpeer-review

8 Citations (Scopus)

Energie besparen in datacentra

Postema, B. F. & Haverkort, B. R. H. M., 20 Nov 2015, In : Bits en chips. 9, p. 44-45 2 p.

Research output: Contribution to journalArticleScientificpeer-review

Evaluation of Advanced Data Centre Power Management Strategies

Postema, B. F. & Haverkort, B. R., 9 May 2018, In : Electronic notes in theoretical computer science. 337, p. 173-191 19 p.

Research output: Contribution to journalArticleScientificpeer-review

3 Citations (Scopus)

Mean-field framework for performance evaluation of push–pull gossip protocols

Bakhshi, R., Cloth, L., Fokkink, W. & Haverkort, B. R. H. M., Feb 2011, In : Performance Evaluation. 68, 2, p. 157-179 23 p.

Research output: Contribution to journalArticleScientificpeer-review

20 Citations (Scopus)

Model checking for performability

Baier, C., Hahn, E. M., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Aug 2013, In : Mathematical structures in computer science. 23, Special Issue 04, p. 751-795 45 p.

Research output: Contribution to journalArticleScientificpeer-review

15 Citations (Scopus)

Networking for the Cloud: Challenges and Trends

Drago, I., de Oliveira Schmidt, R., Hofstede, R. J., Sperotto, A., Karimzadeh Motallebi Azar, M., Haverkort, B. R. H. M. & Pras, A., 11 Dec 2013, In : PIK: Praxis der Informationsverarbeitung und Kommunikation. 36, 4, p. 207-214 8 p.

Research output: Contribution to journalArticleScientificpeer-review

On hypothesis testing for statistical model checking

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., Aug 2015, In : International journal on software tools for technology transfer. 17, 4, p. 377-395 19 p.

Research output: Contribution to journalArticleScientificpeer-review

12 Citations (Scopus)

Parallel and Distributed Methods in Verification

Cerná, I. & Haverkort, B. R. H. M., Feb 2011, In : Journal for Logic and Computation. 21, 1, p. 1-3 3 p.

Research output: Contribution to journalArticleScientificpeer-review

1 Citation (Scopus)

Rare event simulation for highly dependable systems with fast repairs

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., Jul 2012, In : Performance Evaluation. 69, 7-8, p. 336-355 20 p.

Research output: Contribution to journalArticleScientificpeer-review

7 Citations (Scopus)

Smart Industry

Haverkort, B. R. & Zimmermann, A., 2017, In : IEEE Internet Computing. 21, 1, p. 8-10 3 p.

Research output: Contribution to journalArticleScientificpeer-review

15 Citations (Scopus)

Survivability analysis of a sewage treatment facility using hybrid Petri nets

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M., Mar 2016, In : Performance Evaluation. 97, p. 36-56 21 p.

Research output: Contribution to journalArticleScientificpeer-review

6 Citations (Scopus)

The Dependable Systems-of-Systems Design Challenge

Haverkort, B. R. H. M., Sep 2013, In : IEEE security & privacy. 11, 5, p. 62-65 4 p.

Research output: Contribution to journalArticleScientificpeer-review

2 Citations (Scopus)

Time-bounded reachability in tree-structured QBDs by abstraction

Klink, D., Remke, A. K. I., Haverkort, B. R. H. M. & Katoen, J. P., Feb 2011, In : Performance Evaluation. 68, 2, p. 105-125 21 p.

Research output: Contribution to journalArticleScientificpeer-review

5 Citations (Scopus)
Book

A logic for model-checking of mean-field models

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., 30 Mar 2012, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series)

Research output: Book/ReportBookScientific

A Score Function for State of Charge Profiles for Rechargeable Batteries

Ramsgaard Wognsen, E., Jongerden, M. R. & Haverkort, B. R. H. M., Oct 2015, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series)

Research output: Book/ReportBookScientific

Battery Aging and the Kinetic Battery Model

Jongerden, M. R. & Haverkort, B. R. H. M., Nov 2016, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT technical report)

Research output: Book/ReportBookScientific

Smart Industry roadmap: Onderzoeksagenda voor HTSM en ICT en routekaart voor de NWA

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., van Keulen, F. & 10 others, van Kranenburg, H., van Lente, H., van Lier, B., Meinders, T., Post, J., Puik, E., Renders, W., Snijder, P. L., Sol, E-J. & Thuis, B., 5 Feb 2018, https://www.smartindustry.nl/smart-industry-roadmap/.

Research output: Book/ReportBookScientific

Verkenning doelrealisatie communicatiemiddelen Caribisch Nederland

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, University of Twente.

Research output: Book/ReportBookScientific

Chapter

Decomposition-Based Queueing Network Analysis with FiFiQueues

Sadre, R. & Haverkort, B. R. H. M., 2011, Queueing Networks: A Fundamental Approach. Boucherie, R. J., van Dijk, N. & van Dijk, N. M. (eds.). New York: Springer Science + Business Media, p. 643-699 57 p. (International Series in Operations Research & Management Science).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

11 Citations (Scopus)

iDSL: Automated Performance Evaluation of Service-Oriented Systems

van den Berg, F. G. B., Haverkort, B. R. H. M. & Hooman, J., 27 Sep 2017, ModelEd, TestEd, TrustEd. Langerak, R. & Rensink, A. (eds.). Springer, (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

3 Citations (Scopus)

Model checking two layers of mean-field models

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., Apr 2016, Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday. Fiondella, L. & Puliafito, A. (eds.). London: Springer Verlag, p. 341-369 29 p. (Springer series in reliability engineering).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Conference contribution

An AnyLogic simulation model for power and performance analysis of data centres

Postema, B. F. & Haverkort, B. R. H. M., Aug 2015, Computer Performance Engineering: European Workshop on Performance Engineering, EPEW 2015. Beltran, M., Knottenbelt, W. & Bradley, J. (eds.). Switzerland: Springer International Publishing AG, p. 258-272 15 p. (Lecture Notes in Computer Science ; vol. 9272).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

7 Citations (Scopus)

Computing Response Time Distributions Using Iterative Probabilistic Model Checking

van den Berg, F., Hooman, J., Hartmanns, A., Haverkort, B. R. H. M. & Remke, A. K. I., 31 Aug 2015, Computer Performance Engineering: European Workshop on Performance Engineering, EPEW 2015. Beltran, M., Knottenbelt, W. & Bradley, J. (eds.). Berlin: Springer, 17 p. (Lecture Notes in Computer Science; vol. 9272).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

8 Citations (Scopus)

Fast simulation for slow paths in Markov models

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., Jun 2012, Proceedings of the Ninth International Workshop on Rare Event Simulation, RESIM 2012. Trondheim, Norway: NTNU University Press, 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Fluid Survival Tool: A Model Checker for Hybrid Petri Nets

Postema, B. F., Remke, A. K. I., Haverkort, B. R. H. M. & Ghasemieh, H., 17 Mar 2014, Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: International Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB&DFT 2014. Fischbach, K. & Krieger, U. (eds.). Switzerland: Springer International Publishing AG, 5 p. (Lecture Notes in Computer Science; vol. 8376).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

5 Citations (Scopus)

iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems

van den Berg, F., Remke, A. K. I. & Haverkort, B. R. H. M., 30 Aug 2015, Computer Performance Engineering: European Workshop on Performance Engineering, EPEW 2015. Beltran, M., Knottenbelt, W. & Bradley, J. (eds.). Berlin: Springer, p. 227-242 16 p. (Lecture Notes in Computer Science; vol. 9272).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

7 Citations (Scopus)

Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach

Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B. R. H. M., Jongerden, M. R., Larsen, K. G. & Wognsen, E. R., Sep 2016, Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4. France: International Astronautical Federation, p. 1-15 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

File
1 Downloads (Pure)

Performance of LTE for smart grid communications

Karagiannis, G., Pham, G. T., Nguyen, A. D., Heijenk, G., Haverkort, B. R. H. M. & Campfens, F., Mar 2014, Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: International Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB&DFT 2014. Fischbach, K. & Krieger, U. R. (eds.). London: Springer, p. 225-239 15 p. (Lecture Notes in Computer Science; vol. 8376).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

16 Citations (Scopus)
Other contribution

A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements

van den Berg, F. G. B., Hooman, J., Haverkort, B. R. H. M., German, R. (ed.), Hielscher, K-S. (ed.) & Krieger, U. R. (ed.), 2018, 7 p. Springer Verlag.

Research output: Other contribution

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems

van den Berg, F., Remke, A. K. I., Haverkort, B. R. H. M., Turau, V. (ed.), Kwiatkowska, M. (ed.), Mangharam, R. (ed.) & Weyer, C. (ed.), 14 Apr 2014, 14 p. Dagstuhl, Germany : Schloss Dagstuhl - Leibniz fuer Informatik.

Research output: Other contribution

9 Citations (Scopus)

A logic for model-checking mean-field models

Kolesnichenko, A. V., de Boer, P-T., Remke, A. K. I. & Haverkort, B. R. H. M., Jun 2013, 12 p. USA : Institute of Electrical and Electronics Engineers ( IEEE ).

Research output: Other contribution

9 Citations (Scopus)

An adaptive resource control mechanism in multi-hop ad-hoc networks

Yang, Y., Heijenk, G., Haverkort, B. R. H. M., Masip Bruin, X. (ed.), Verchere, D. (ed.), Tsaoussidis, V. (ed.) & Yannuzzi, M. (ed.), Jun 2011, 14 p. Berlin : Springer Verlag.

Research output: Other contribution

Analysis of a sewage treatment facility using hybrid Petri nets

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M., Dec 2013, 10 p. New York : Association for Computing Machinery (ACM).

Research output: Other contribution

10 Citations (Scopus)

A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

Wognsen, E. R., Haverkort, B. R. H. M., Jongerden, M. R., Hansen, R. R., Larsen, K. G., Sankaranarayanan, S. (ed.) & Vicario, E. (ed.), Sep 2015, 16 p. London : Springer Verlag.

Research output: Other contribution

9 Citations (Scopus)

Assessing the Cost of Energy Independence

Jongerden, M. R., Hüls, J., Haverkort, B. R. H. M. & Remke, A. K. I., Apr 2016, 6 p. USA : IEEE Power & Energy Society.

Research output: Other contribution

8 Citations (Scopus)

Automated rare event simulation for stochastic Petri nets

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W., Haverkort, B. R. H. M., Joshi, K. (ed.), Siegle, M., Stoelinga, M. & d' Argenio, P. R. (ed.), 2013, 17 p. Berlin, Heidelberg : Springer.

Research output: Other contribution

1 Citation (Scopus)

Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration

Jongerden, M. R., Haverkort, B. R., Bertrand, N. (ed.) & Bortolussi, L. (ed.), 11 Aug 2017, 16 p. Cham : Springer.

Research output: Other contribution

4 Citations (Scopus)

Bro in SCADA: dynamic intrusion detection policies based on a system model

Chromik, J. J., Remke, A. & Haverkort, B. R., 30 Aug 2018, 10 p. Hamburg : BCS Learning & Development Ltd.

Research output: Other contribution

Combining Energy Saving Techniques in Data Centres using Model-Based Analysis

Postema, B. F., Van Damme, T., De Persis, C., Tesi, P. & Haverkort, B. R. H. M., 2018, 6 p. ACM Press.

Research output: Other contribution

Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T., Haverkort, B. R. H. M. & Thomas, N. (ed.), Oct 2011, 15 p. London : Springer Verlag.

Research output: Other contribution

15 Citations (Scopus)

Design and implementation of digital communication systems for victim-offender mediation

van den Berg, L. I. S. A., Zebel, S., Stoelinga, M. I. A., Haverkort, B. R. H. M. & Giebels, E., 5 Sep 2016, Paris : Laboratory of Excellence SMART.

Research output: Other contribution

Development of a Smart Grid Simulation Environment

Delamare, J., Bitachon, B., Peng, Z., Wang, Y., Haverkort, B. R. H. M. & Jongerden, M. R., Nov 2015, 11 p. Amsterdam : Elsevier.

Research output: Other contribution

3 Citations (Scopus)

Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques

van den Berg, F., Haverkort, B. R. H. M., Hooman, J., Knottenbelt, W. (ed.), Wolter, K. (ed.), Busic, A. (ed.), Gribaudo, M. (ed.) & Reinecke, P. (ed.), Dec 2015, 6 p. Brussels, Belgium : Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering.

Research output: Other contribution

4 Citations (Scopus)

Energy Resilience Modeling for Smart Houses

Ghasemieh, H., Haverkort, B. R. H. M., Jongerden, M. R. & Remke, A. K. I., Jun 2015, 12 p. USA : IEEE Computer Society.

Research output: Other contribution

16 Citations (Scopus)

Evaluating Load Balancing Policies for Performance and Energy-Efficiency

van den Berg, F., Postema, B. F. & Haverkort, B. R. H. M., Apr 2016, 20 p. Open Publishing Association.

Research output: Other contribution

1 Citation (Scopus)

Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?

Haverkort, B. R. H. M., Fahrenberg, U. (ed.) & Tripakis, S. (ed.), Sep 2011, 7 p. Heidelberg : Springer Verlag.

Research output: Other contribution

2 Citations (Scopus)

Improving SCADA security of a local process with a power grid model

Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., Aug 2016, 10 p. UK : BCS Learning & Development Ltd.

Research output: Other contribution

Is Quantitative Analysis of Stuxnet Possible?

Kolesnichenko, A. V., de Boer, P-T., Remke, A. K. I., Zambon, E., Haverkort, B. R. H. M., Katoen, J. P. & Van Houdt, B. (ed.), 7 Sep 2011, 2 p. Enschede, The Netherlands : Centre for Telematics and Information Technology (CTIT).

Research output: Other contribution