Boudewijn Haverkort

Research output

Research output per year 1990 1992 1993 1994 2005 2006 2007 2008 2010 2013 2015 2016 2018 2024

• 79 Article
• 67 Other contribution
• 43 Conference contribution
• 20 Book
• 39 More
  • 17 Chapter
  • 17 Paper
  • 2 Foreword/postscript
  • 1 Book editing
  • 1 Conference article
  • 1 Editorial

Research output per year

Research output per year

Search results

• 2024

  Commit2Data

  Haverkort, B., de Jongste, A., van Kuilenburg, P. & Vromans, R., 2024, Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz fuer Informatik. 134 p. (Open Access Series in Informatics)

  Research output: Book/Report › Book editing › Scientific › peer-review

  Open Access

  File
  327 Downloads (Pure)

• Verification of Digital Twins through Statistical Model Checking

  Gunasekaran, R. & Haverkort, B., 3 Dec 2024.

  Research output: Contribution to conference › Paper › Scientific › peer-review

  Open Access

  • Co-simulation 100%
  • Continuous Verification 62%
  • Continuous Evolution 62%
  • Unexpected Behavior 62%
  • Functional Correctness 50%
• 2022

  Minimizing the Maximum Processor Temperature by Temperature-Aware Scheduling of Real-Time Tasks

  Ozceylan, B., Haverkort, B. R., De Graaf, M. & Gerards, M. E. T., 1 Aug 2022, In: IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 30, 8, p. 1084-1097 14 p.

  Research output: Contribution to journal › Article › Scientific › peer-review

  • Temperature-aware Scheduling 100%
  • CPU Temperature 100%
  • Maximum Temperature 100%
  • Thermal Management 100%
  • Real-time Task 100%
  3 Citations (Scopus)
• 2021

  Models Meet Data: Challenges to Create Virtual Entities for Digital Twins

  Van Den Brand, M., Cleophas, L., Gunasekaran, R., Haverkort, B., Negrin, D. A. M. & Muctadir, H. M., 2021, Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021. Institute of Electrical and Electronics Engineers Inc., p. 225-228 4 p. (Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Data Challenge 100%
  • Digital Twin 100%
  • Virtual Entity 100%
  • Physical Objects 60%
  • Physical Entity 60%
  17 Citations (Scopus)

• Performance Evaluation: Model-Driven or Problem-Driven?

  Haverkort, B. R., 2021, Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Proceedings. Abate, A. & Marin, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-11 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12846 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Performance Evaluation 100%
  • Performance Evaluation Model 100%
  • Communication System 100%
  • Technique 100%
  • Communication Systems 50%
  1 Citation (Scopus)
• 2020

  A tool for requirements analysis of safety-critical cyber-physical systems

  van den Berg, F. & Haverkort, B. R., 2020, Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Proceedings. Hermanns, H. & Hermanns, H. (eds.). Springer, p. 242-258 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12040 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Requirements Analysis 100%
  • Critical Cyber-Physical Systems 100%
  • Safety-critical 100%
  • Cyber Physical Systems 100%
  • Freedom of Speech 50%

• Improving Temperature Prediction Accuracy Using Kalman and Particle Filtering Methods

  Ozceylan, B., Haverkort, B. R., De Graaf, M. & Gerards, M. E. T., 14 Sept 2020, 2020 26th International Workshop on Thermal Investigations of ICs and Systems, THERMINIC 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 9420535. (2020 26th International Workshop on Thermal Investigations of ICs and Systems, THERMINIC 2020 - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  Open Access

  File

  • Prediction Accuracy 100%
  • Kalman Filter Algorithm 100%
  • Thermal Model 100%
  • Particle Filtering 100%
  • Temperature Prediction Accuracy 100%
  3 Citations (Scopus)

  106 Downloads (Pure)

• Machine learning data center workloads using generative adversarial networks

  Haverkort, B. R., Finkbeiner, F. & De Boer, P. T., 23 Nov 2020, In: Performance Evaluation Review. 48, 2, p. 21-23 3 p.

  Research output: Contribution to journal › Article › Scientific › peer-review

  • Machine Learning Datasets 100%
  • Datacenter Workload 100%
  • Generative Adversarial Networks 100%
  • Data Center 100%
  • Machine Learning 100%
  1 Citation (Scopus)
• 2019

  A generic processor temperature estimation method

  Ozceylan, B., Haverkort, B., De Graaf, M. & Gerards, M., 2019, THERMINIC 2019 - 2019 25th International Workshop Thermal Investigations of ICs and Systems. Institute of Electrical and Electronics Engineers Inc., 6 p. 8923636

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Estimation Method 100%
  • CPU Temperature 100%
  • Temperature Estimation 100%
  • Embedded Devices 100%
  • Embedded Device 100%

• A parser for deep packet inspection of IEC-104: A practical solution for industrial applications

  Chromik, J. J., Remke, A. K. I., Haverkort, B. & Geist, G., 2019, Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN 2019 Industry Track. Institute of Electrical and Electronics Engineers Inc., p. 5-8 4 p. 8805799. (Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN 2019 Industry Track).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Parser 100%
  • Industrial Application 100%
  • IEC 104 100%
  • Deep Packet Inspection 100%
  • Illustrates 100%
• 2018

  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. (Editor), Hielscher, K.-S. (Editor) & Krieger, U. R. (Editor), 2018, Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. German, R., Hielscher, K.-S. & Krieger, U. R. (eds.). Springer Verlag, p. 295-301 7 p. (Lecture Notes in Computer Science; vol. 10740).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Performance Evaluation 100%
  • Domain-specific Languages 100%
  • Toolchain 100%
  • Domain-specific languages 100%
  • Evaluating Performance 50%
  1 Citation (Scopus)

• 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 journal › Article › Scientific › peer-review

  Open Access

  • Smart Grid 100%
  • SCADA 100%
  • Testbed 100%
  • Monitoring Approach 66%
  • Control Network 66%

• A Tool for Generating Automata of IEC60870-5-104 Implementations

  Kerkers, M., Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 2018.

  Research output: Contribution to conference › Paper › Other research output

  • Automaton 100%
  • State Automaton 100%
  • Power Distribution Network 100%
  • Communication Protocol 100%
  • Automata 100%

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

  Chromik, J. J., Remke, A. & Haverkort, B. R., 30 Aug 2018, 5th International Symposium for ICS&SCADA Cyber Security Research (ICS-CSR 2018). Hamburg: BCS Learning & Development Ltd., p. 112-121 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Policy-based 100%
  • Intrusion Detection 100%
  • SCADA 100%
  • Detection Scheme 100%
  • Sensor Reading 100%

• 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, ICPE'18. Companion of the 2018 ACM/SPEC International Conference on Performance Engineering . ACM Press, p. 67-72 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Energy Management 100%
  • Model-based Analysis 100%
  • Energy Conservation 100%
  • Model-Based Analysis 100%
  • Energy Saving 100%
  1 Citation (Scopus)

• Context-aware local Intrusion Detection in SCADA systems: a testbed and two showcases

  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, 2017 IEEE International Conference on Smart Grid Communications, SmartGridComm 2017. Institute of Electrical and Electronics Engineers Inc., p. 467-472 6 p. 8340672. (2017 IEEE International Conference on Smart Grid Communications, SmartGridComm 2017).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Context-aware 100%
  • Intrusion Detection 100%
  • SCADA 100%
  • Testbed 100%
  • Local Intrusion Detection 100%

• Designing cyber-physical systems with aDSL: A domain-specific language and tool support

  Van Den Berg, F., Garousi, V., Tekinerdogan, B. & Haverkort, B. R., 7 Aug 2018, 2018 13th System of Systems Engineering Conference, SoSE 2018. Institute of Electrical and Electronics Engineers Inc., p. 225-232 8 p. 8428770. (2018 13th System of Systems Engineering Conference, SoSE 2018).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Domain-specific Languages 100%
  • Language Support 100%
  • Tool Support 100%
  • Domain-specific Tools 100%
  • Cyber-physical Systems 100%
  6 Citations (Scopus)

• 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 journal › Article › Scientific › peer-review

  • Datacenter Power Management 100%
  • Power Management Strategy 100%
  • Data Center 100%
  • Power Management 100%
  • Energy Engineering 33%
  7 Citations (Scopus)

• Fitting realistic data centre workloads a data science approach

  Postema, B. F., Geuze, N. J. & Haverkort, B. R., 12 Jun 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, p. 486-491 6 p. (e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Electronic Commerce 100%
  • Dutch Company 100%
  • Social Networks 100%
  • Design Information 100%
  • Financial Services 100%
  2 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., Jongerden, M., Larsen, K. G. & Wognsen, E. R., Oct 2018, In: Acta Astronautica. 151, p. 726-735 10 p.

  Research output: Contribution to journal › Article › Scientific › peer-review

  • Low Earth Orbit Satellites 100%
  • Operating Limit 100%
  • Stochastics 100%
  • Step Procedure 100%
  • Formal Method 100%
  12 Citations (Scopus)

• 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/Report › Book › Scientific
• 2017

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

  Jongerden, M. R., Haverkort, B. R., Bertrand, N. (Editor) & Bortolussi, L. (Editor), 11 Aug 2017, Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Bertrand, N. & Bortolussi, L. (eds.). Cham: Springer, p. 88-103 16 p. (Lecture Notes in Computer Science; vol. 10503).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Kinetic Battery Model 100%
  • Battery Aging 100%
  • Battery Degradation 100%
  • Battery Charging 100%
  • Battery Model 100%
  13 Citations (Scopus)

• iDSL: Automated Performance Evaluation of Service-Oriented Systems

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

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review

  • Latency 100%
  • Performance Evaluation 100%
  • Service System 100%
  • Service Evaluation 100%
  • State Space 100%
  3 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 journal › Article › Scientific › peer-review

  • Smart Industry 100%
  • Production Chain 33%
  • Value Chain 33%
  • Information Communication Technology 33%
  • Efficient Production 33%
  68 Citations (Scopus)

• Specification of data centre power management strategies

  Postema, B. F. & Haverkort, B. R., 16 May 2017, Proceedings of the 8th International Conference on Future Energy Systems, e-Energy 2017. New York, NY, USA: Association for Computing Machinery, p. 284-289 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Datacenter Power Management 100%
  • Power Management Strategy 100%
  • Data Center 100%
  • Power Management 100%
  • Performance Measurement 33%
  4 Citations (Scopus)

• 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/Report › Book › Scientific

  • Rapport 100%
  • Burgers 100%
• 2016

  Assessing the Cost of Energy Independence

  Jongerden, M. R., Hüls, J., Haverkort, B. R. H. M. & Remke, A. K. I., Apr 2016, Proceedings of the IEEE International Energy Conference, ENERGYCON 2016. USA: IEEE Power & Energy Society, p. 1-6 6 p. (IEEE Aerospace and Electronic Systems Society).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Energy Cost 100%
  • Energy Independence 100%
  • Energy Engineering 100%
  • Disruption Management 100%
  • Energy Generation 100%
  9 Citations (Scopus)

• 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/Report › Book › Scientific

  • Kinetic Battery Model 100%
  • Battery Aging 100%
  • Battery Model 100%
  • Limited Time 50%
  • Model Complexity 50%

• 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 Sept 2016, SMART School on computational social and behavioral sciences. Paris: Laboratory of Excellence SMART, (Laboratory of Excellence SMART).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

• Does Your Domestic Photovoltaic Energy System Survive Grid Outages?

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

  Research output: Contribution to journal › Article › Scientific › peer-review

  • Photovoltaic Energy System 100%
  • Grid Outages 100%
  • Outages 100%
  • Energy Systems 100%
  • Photovoltaics 100%
  20 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, Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems. Open Publishing Association, p. 98-117 20 p. (Electronic Proceedings in Theoretical Computer Science; vol. 227).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Energy Efficiency 100%
  • Performance Efficiency 100%
  • Load Balancing Algorithm 100%
  • Load Balancing 100%
  • State of Power 66%
  1 Citation (Scopus)

• Fitting a code-red virus spread model: An account of putting theory into practice

  Kolesnichenko, A. V., Haverkort, B. R. H. M., Remke, A. K. I. & de Boer, P.-T., Mar 2016, p. 39-46. 8 p.

  Research output: Contribution to conference › Paper › Other research output

  • Putting 100%
  • Theory into Practice 100%
  • Virus Spread 100%
  • Code Red 100%
  • Spreading Model 100%
  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, Proceedings of the 4th International Symposium for ICS & SCADA Cyber Security Research, ICS-CSR 2016. UK: BCS Learning & Development Ltd., p. 114-124 10 p. (Electronic Workshops in Computing).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Physical Processes 100%
  • Intrusion Detection 100%
  • Smart Grid 100%
  • Local Processes 100%
  • SCADA Security 100%

• Mastering operational limitations of LEO satellites - The GOMX3 approach

  Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B., Jongerden, M., Larsen, K. G. & Wognsen, E. R., 2016, In: Proceedings of the International Astronautical Congress, IAC.

  Research output: Contribution to journal › Conference article

  • Operating Limit 100%
  • LEO Satellite 100%
  • Limitations 100%
  • Battery Model 100%
  • Low Earth Orbit 100%
  4 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., Sept 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 proceeding › Conference contribution › Scientific › peer-review

  File

  • Low Earth Orbit Satellites 100%
  • Operating Limit 100%
  • Stochastics 100%
  • Step Procedure 100%
  • Formal Method 100%
  45 Downloads (Pure)

• Measurement, modelling and evaluation of dependable computer and communication systems: 18th international GI/ITG conference, MMB & DFT 2016 münster, Germany, april 4-6, 2016 proceedings

  Remke, A. & Haverkort, B. R., 2016, Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems - 18th International GI/ITG Conference, MMB and DFT 2016, Proceedings. Remke, A. & Haverkort, B. R. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9629).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

• 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 proceeding › Chapter › Scientific › peer-review

  • Two-layer 100%
  • Mean Field 100%
  • Mean-field Model 100%
  • Mean-field Method 100%
  • Model Checking 100%

• Preface

  Remke, A. & Haverkort, B. R., 2016, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9629, p. V-VI

  Research output: Contribution to journal › Editorial › Scientific › peer-review

• 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 journal › Article › Scientific › peer-review

  • Survivability Analysis 100%
  • Hybrid Petri Nets 100%
  • Sewage Treatment Plant 100%
  • Petri Net 100%
  • Sewage Treatment 100%
  11 Citations (Scopus)

• What's under the hood? Improving SCADA security with process awareness

  Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 12 Apr 2016, Proceedings of the Joint Workshop on Cyber-physical Security and Resilience in Smart Grids (CPSR-SG 2016). USA: Institute of Electrical and Electronics Engineers ( IEEE ), p. 6

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Distribution System 100%
  • Power Distribution 100%
  • Intrusion Detection System 100%
  • Physical Infrastructure 100%
  • Detecting Intrusion 100%
  22 Citations (Scopus)
• 2015

  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 proceeding › Conference contribution › Scientific › peer-review

  • Modeling Approach 100%
  • Simulation Model 100%
  • Event Model 100%
  • Performance Analysis 100%
  • Restricted Model 100%
  8 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. (Editor) & Vicario, E. (Editor), Sept 2015, Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015. Sankaranarayanan, S. & Vicario, E. (eds.). London: Springer Verlag, p. 305-320 16 p. (Lecture Notes in Computer Science; vol. 9268).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Score Function 100%
  • Embedded Systems 100%
  • Battery Power 100%
  • Cycle Life 100%
  • Reinforcement Learning 100%
  20 Citations (Scopus)

• 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/Report › Book › Scientific

  • Score Function 100%
  • Charging Profile 100%
  • Rechargeable Batteries 100%
  • State of Charge 100%
  • Secondary Battery 100%

• 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 proceeding › Conference contribution › Scientific › peer-review

  • Response Time Distribution 100%
  • System Designer 100%
  • Non-deterministic 100%
  • Probabilistic Model Checking 100%
  • Model Checking 100%
  8 Citations (Scopus)

• 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, Proceedings of the 29th and 30th Annual UK Performance Engineering Workshops (UKPEW 2014). Amsterdam: Elsevier, p. 19-29 11 p. (Electronic Notes in Theoretical Computer Science; vol. 318).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  Open Access

  • Simulation Environment 100%
  • Smart Grid Simulation 100%
  • Smart Grid 100%
  • Simulation Model 66%
  • Energy Engineering 50%
  5 Citations (Scopus)

• Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques

  van den Berg, F., Haverkort, B. R. H. M., Hooman, J., Knottenbelt, W. (Editor), Wolter, K. (Editor), Busic, A. (Editor), Gribaudo, M. (Editor) & Reinecke, P. (Editor), Dec 2015, Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015. Knottenbelt, W., Wolter, K., Busic, A., Gribaudo, M. & Reinecke, P. (eds.). Brussels, Belgium: Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, p. 158-163 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Latency 100%
  • Performance-based 100%
  • Latency Distribution 100%
  • State Space 100%
  • Performance Evaluation 100%
  4 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 journal › Article › Scientific › peer-review

  • Postema 100%

• Energy Resilience Modeling for Smart Houses

  Ghasemieh, H., Haverkort, B. R. H. M., Jongerden, M. R. & Remke, A. K. I., Jun 2015, Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015. USA: IEEE Computer Society, p. 275-286 12 p. (IEEE Computer Society).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • Resilience 100%
  • Resilience Model 100%
  • Smart Home 100%
  • Energy Resilience 100%
  • Energy Engineering 100%
  30 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 proceeding › Conference contribution › Scientific › peer-review

  • Performance Prediction 100%
  • Performance Analysis 100%
  • System Designer 100%
  • Non-deterministic 100%
  • Medical Imaging Systems 100%
  9 Citations (Scopus)

• 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 journal › Article › Scientific › peer-review

  • Hypothesis Testing 100%
  • Statistical Model Checking 100%
  • Statistical Model 100%
  21 Citations (Scopus)