Boudewijn R.H.M. Haverkort

prof.dr.ir.

1990 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1990 2018

Filter
Conference contribution
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. 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 proceedingConference contribution

Domain-specific Languages
Performance Evaluation
Process Algebra
Service-oriented
Algebra

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 proceedingConference contribution

Intrusion detection
SCADA systems
Sensors
Monitoring

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Energy conservation
Cooling
Energy utilization
Hot Temperature
Power management
2017
2 Citations

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

Jongerden, M. R. & Haverkort, B. R. 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 proceedingConference contribution

Charging (batteries)
Aging of materials
Kinetics
Degradation
Secondary batteries
3 Citations

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 proceedingConference contribution

Power Management
Data Center
Specification
Specifications
Service Level Agreement
2016
6 Citations

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.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 SMART School on computational social and behavioral sciences. Paris: Laboratory of Excellence SMART, p. -

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citations

Evaluating Load Balancing Policies for Performance and Energy-Efficiency

van den Berg, F., Postema, B. F. & Haverkort, B. R. H. M. Apr 2016 Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2016. Open Publishing Association, p. 98-117 20 p. (Electronic Proceedings in Theoretical Computer Science; vol. 227)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

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-123 10 p. (Electronic Workshops in Computing)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

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 contribution

File
3 Citations

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, p. - 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2015
7 Citations

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
8 Citations

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. Sep 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 proceedingConference contribution

File
8 Citations

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 Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015. Beltran, M., Knottenbelt, W. & Bradley, J. (eds.). Berlin: Springer, p. 208-224 17 p. (Lecture notes in computer science; vol. 9272)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

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 proceedingConference contribution

File
4 Citations

Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques

van den Berg, F., Haverkort, B. R. H. M. & Hooman, J. 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 proceedingConference contribution

File
9 Citations

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.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
6 Citations

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 Proceedings of the 12th European Workshop on Computer 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 contribution

File
2014
8 Citations

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems

van den Berg, F., Remke, A. K. I. & Haverkort, B. R. H. M. 14 Apr 2014 Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014. Turau, V., Kwiatkowska, M., Mangharam, R. & Weyer, C. (eds.). Dagstuhl, Germany: Schloss Dagstuhl, p. 80-93 14 p. (OASICS; vol. 36)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
5 Citations

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 17th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2014. Switzerland: Springer International Publishing, p. 255-259 5 p. (Lecture Notes in Computer Science; vol. 8376)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
14 Citations

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 Proceedings of the 17th International GI/ITG 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)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations

Stochastic Petri Net Models for the Analysis of Trade-Offs in Data Centres with Power Management

Postema, B. F. & Haverkort, B. R. H. M. 10 Jun 2014 Proceedings of the International Workshop on Energy-Efficient Data Centres, E2DC 2014. Klingert, S., Chinnici, M. & Rey Porto, M. (eds.). London: Springer Verlag, p. 52-67 16 p. (Lecture Notes in Computer Science; vol. 8945)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards Simple Models for Energy-Performance Trade-Offs in Data Centers

Haverkort, B. R. H. M. & Postema, B. F. 19 Mar 2014 MMB & DFT 2014 : Proceedings of the International Workshops SOCNET 2014 and FGENET 2014. Bamberg: University of Bamberg Press, p. 113-122 10 p. (Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2013
9 Citations

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 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013). USA: Institute of Electrical and Electronics Engineers, p. 1-12 12 p. (International Conference on Dependable Systems and Networks)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
8 Citations

Analysis of a sewage treatment facility using hybrid Petri nets

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M. Dec 2013 Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013. New York: Association for Computing Machinery, p. 165-174 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
12 Citations

Automated rare event simulation for stochastic Petri nets

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M. 2013 Proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013. Joshi, K., Siegle, M., Stoelinga, M. & d' Argenio, P. R. (eds.). Berlin, Heidelberg: Springer, p. 372-388 17 p. (Lecture Notes in Computer Science; vol. 8054)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Challenges for modelling and analysis in embedded systems and systems-of-systems design

Haverkort, B. R. H. M. Mar 2013 Proceedings Advances in Systems of Systems, AiSoS 2013. Rome: arXiv.org, p. 40-46 7 p. (Electronic Proceedings in Theoretical Computer Science; vol. 133)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Performance evaluation for collision prevention based on a domain specic language

van den Berg, F., Remke, A. K. I., Mooij, A. & Haverkort, B. R. H. M. 29 Sep 2013 Proceedings of the 10th European Workshop on Performance Engineering, EPEW 2013. Balsamo, M. S., Knottenbelt, W. J. & Marin, A. (eds.). Berlin: Springer, p. 276-287 12 p. (Lecture Notes in Computer Science; vol. 8168)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
16 Citations

Survivability evaluation of fluid critical infrastructures using hybrid Petri nets

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M. Dec 2013 Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013. USA: IEEE Computer Society, p. 152-161 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2012

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, p. 36-38 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
13 Citations

Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition

Ghasemieh, H., Remke, A. K. I., Haverkort, B. R. H. M. & Gribaudo, M. Sep 2012 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012). London: Springer Verlag, p. 139-154 16 p. (Lecture Notes in Computer Science; vol. 7595)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
1 Citations

Simulative and Analytical Evaluation for ASD-Based Embedded Software

Sadre, R., Remke, A. K. I., Hettinga, S. & Haverkort, B. R. H. M. Mar 2012 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings. Schmitt, J. B. (ed.). London: Springer Verlag, p. 166-181 16 p. (Lecture Notes in Computer Science; vol. 7201)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Embedded software
Software design
Numerical analysis
Software engineering
Simulators
2011

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

Yang, Y., Heijenk, G. & Haverkort, B. R. H. M. Jun 2011 9th IFIP international conference on Wired/Wireless Internet Communications, WWIC 2011. Masip Bruin, X., Verchere, D., Tsaoussidis, V. & Yannuzzi, M. (eds.). Berlin: Springer Verlag, p. 309-322 14 p. (Lecture Notes in Computer Science; vol. 6649)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
14 Citations

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. Oct 2011 Proceedings of the 8th European Performance Engineering Workshop, EPEW 2011. Thomas, N. (ed.). London: Springer Verlag, p. 133-147 15 p. (Lecture Notes in Computer Science; vol. 6977)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2 Citations

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

Haverkort, B. R. H. M. Sep 2011 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011). Fahrenberg, U. & Tripakis, S. (eds.). Heidelberg: Springer Verlag, p. 18-24 7 p. (Lecture Notes in Computer Science; vol. 6919)

Research output: Chapter in Book/Report/Conference proceedingConference 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. 7 Sep 2011 QEST 2011: Fast Abstracts. Katoen, J. P. & Van Houdt, B. (eds.). Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT), p. 9-10 2 p. (CTIT Workshop Proceedings; vol. WP11-03)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Lifetime improvement by battery scheduling

Jongerden, M. R. & Haverkort, B. R. H. M. Jul 2011 Proceedings of the 27th annual UK Performance Engineering Workshop, UKPEW2011. England: Inprint and Design, p. 56-71 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2010

A first Experimental Investigation of the Practical Efficiency of Battery Scheduling

Miliche, D., de Graaf, M., Hoekstra, G., Jongerden, M. R. & Haverkort, B. R. H. M. Feb 2010 Work shop on Ultra-Low Power Sensor Networks (WUPS). VDE Verlag GMBH, p. 241-246 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
14 Citations

Automating the mean-field method for large dynamic gossip networks

Bakhshi, R., Endrullis, J., Endrullis, S., Fokkink, W. & Haverkort, B. R. H. M. Sep 2010 Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST 2010). USA: IEEE Computer Society, p. 241-250 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Computing lifetimes for battery-powered devices

Jongerden, M. R. & Haverkort, B. R. H. M. Sep 2010 Proceedings of the International Conference on Operations Research, OR2010. London: Springer Verlag, p. 193-198 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
12 Citations

Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

Haverkort, B. R. H. M., Kuntz, G. W. M., Remke, A. K. I., Roolvink, S. & Stoelinga, M. I. A. Jul 2010 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN). Los Alamitos: IEEE Computer Society Press, p. 419-424 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Formal Performability Evaluation of Architectural Models of Critical Infrastructures

Haverkort, B. R. H. M., Kuntz, G. W. M., Remke, A. K. I. & Roolvink, S. 5 Sep 2010 Proceedings of the ESREL 2010 Annual Conference. Ale, B. J. M., Papazoglou, I. A. & Zio, E. (eds.). London: Taylor & Francis, p. 27-34 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Probabilistic verification of Architectural software models using SoftArc and Prism

Haverkort, B. R. H. M., Kuntz, G. W. M., Leitner-Fischer, F., Remke, A. K. I. & Roolvink, S. 5 Sep 2010 Proceedings of the ESREL 2010 Annual Conference. London: Taylor & Francis, p. 852-860 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Quantitative Verification in Practice

Haverkort, B. R. H. M., Katoen, J-P. & Larsen, K. G. 2010 Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Berlin: Springer Verlag, p. 127-127 1 p. (Lecture Notes in Computer Science; vol. 6416)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Systems analysis
Model checking
Embedded systems
Data structures
Cables
7 Citations

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. 2010 Proceedings of the Seventh International Conference on Quantitative Evaluation of SysTems (QEST) 2010. Los Alamitos: IEEE Press, p. 251-260 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
1 Citations

Setting the parameters right for two-hop IEEE 802.11e ad hoc networks

Remke, A. K. I., Haverkort, B. R. H. M., Heijenk, G. & Bax, J. Mar 2010 15th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems. Müller-Clostermann, B., Echtle, K. & Rathgeb, E. P. (eds.). London: Springer Verlag, p. 168-182 15 p. (Lecture Notes in Computer Science; vol. 5987)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2009
1 Citations

Adaptive Resource Control in 2-hop Ad-Hoc Networks

Yang, Y., Heijenk, G. & Haverkort, B. R. H. M. 12 Oct 2009 Proceedings of the International Conference on Ultra Modern Telecommunications 2009. St. Petersburg: IEEE Communications Society, p. 199:1-199:9 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
22 Citations

Maximizing System Lifetime by Battery Scheduling

Jongerden, M. R., Haverkort, B. R. H. M., Bohnenkamp, H. C. & Katoen, J. P. 29 Jun 2009 Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009. Los Alamitos: IEEE Computer Society Press, p. 63-72 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
22 Citations

Mean-Field Analysis for the Evaluation of Gossip Protocols

Bakshi, R., Cloth, L., Fokkink, W. & Haverkort, B. R. H. M. Sep 2009 IEEE Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09). Los Alamitos: IEEE Computer Society Press, p. 247-256 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

The 3TU Embedded Systems master in the Netherlands

Smit, G. J. M., van der Hoeven, G., Groote, J. F., Otten, R. H. J. M., Tonino, H., Juurlink, B. H. H. & Haverkort, B. R. H. M. 15 Oct 2009 2009 Workshop on Embedded Systems Education. Grenoble, France: Association for Computing Machinery, p. 8-12 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File