Boudewijn R.H.M. Haverkort

prof.dr.ir.

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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 3 Similar Profiles
Model checking Engineering & Materials Science
Markov processes Engineering & Materials Science
Performability Mathematics
Power Management Mathematics
Stochastic models Engineering & Materials Science
Petri nets Engineering & Materials Science
Data Center Mathematics
Intrusion detection Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1990 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
Open Access
File
Specifications
Network protocols
Finite automata
Electric power distribution

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

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 journalArticle

Open Access
File
Power Management
Data Center
Evaluation
Specification languages
Servers

Activities 2012 2018

  • 5 Oral presentation
  • 1 Invited talk

Designing Cyber-Physical Systems (CPSs) with aDSL: a Domain Specific Language and Toolchain

Freek van den Berg (Speaker), Bedir Tekinerdogan (Contributor), Vahid Garousi (Contributor), Haverkort, B. R. (Contributor)
19 Mar 2018

Activity: Oral presentation

Automated Performance Evaluation of Service-Oriented Systems

Fredericus Gerrit Brand van den Berg (Speaker), Haverkort, B. R. (Contributor), Jozef Hooman (Contributor)
26 Sep 2017

Activity: Oral presentation

Slachtoffer-dader bemiddeling na strafbare feiten: onderzoek en innovatie

Zebel, S. (Speaker), Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. (Speaker), Giebels, E. (Speaker)
4 Oct 2016

Activity: Oral presentation

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

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. (Speaker), Giebels, E. (Speaker)
31 Aug 2016

Activity: Oral presentation

Design and implementatie van digitale communicatie systemen in slachtoffer-daderbemiddeling

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. (Speaker), Giebels, E. (Speaker)
16 Dec 2016

Activity: Invited talk