Boudewijn R. Haverkort

ORCID

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 25

Top Venues

EPEW

VALUETOOLS

Electron. Notes Theor. Comput. Sci.

MMB

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Hossain Muhammad Muctadir, David A. Manrique Negrin, Raghavendran Gunasekaran, Loek Cleophas, Mark van den Brand, Boudewijn R. Haverkort
Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study. CoRR (2023)
Baver Ozceylan, Boudewijn R. Haverkort, Maurits de Graaf, Marco E. T. Gerards
Minimizing the Maximum Processor Temperature by Temperature-Aware Scheduling of Real-Time Tasks. IEEE Trans. Very Large Scale Integr. Syst. 30 (8) (2022)
Boudewijn R. Haverkort
Performance Evaluation: Model-Driven or Problem-Driven? QEST (2021)
Mark van den Brand, Loek Cleophas, Raghavendran Gunasekaran, Boudewijn R. Haverkort, David A. Manrique Negrin, Hossain Muhammad Muctadir
Models Meet Data: Challenges to Create Virtual Entities for Digital Twins. MoDELS (Companion) (2021)
Freek van den Berg, Boudewijn R. Haverkort
A Tool for Requirements Analysis of Safety-Critical Cyber-Physical Systems. MMB (2020)
Boudewijn R. Haverkort, Felix Finkbeiner, Pieter-Tjerk de Boer
Machine Learning Data Center Workloads Using Generative Adversarial Networks. SIGMETRICS Perform. Evaluation Rev. 48 (2) (2020)
Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort, Gerard Geist
A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications. DSN (Industry Track) (2019)
Björn F. Postema, Niels J. Geuze, Boudewijn R. Haverkort
Fitting Realistic Data Centre Workloads: A Data Science Approach. e-Energy (2018)
Freek van den Berg, Jozef Hooman, Boudewijn R. Haverkort
A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements. MMB (2018)
Boudewijn R. Haverkort
Zero-Energy Internet-of-Things: Energy-SIM'18 Workshop Keynote Abstract. ICPE Companion (2018)
Max Kerkers, Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort
A Tool for Generating Automata of IEC60870-5-104 Implementations. MMB (2018)
Björn F. Postema, Boudewijn R. Haverkort
Evaluation of Advanced Data Centre Power Management Strategies. Electron. Notes Theor. Comput. Sci. 337 (2018)
Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort
An integrated testbed for locally monitoring SCADA systems in smart grids. Energy Inform. 1 (1) (2018)
Freek van den Berg, Vahid Garousi, Bedir Tekinerdogan, Boudewijn R. Haverkort
Designing Cyber-Physical Systems with aDSL: a Domain-Specific Language and Tool Support. SoSE (2018)
Björn F. Postema, Tobias Van Damme, Claudio De Persis, Pietro Tesi, Boudewijn R. Haverkort
Combining Energy Saving Techniques in Data Centres using Model-Based Analysis. ICPE Companion (2018)
Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman
iDSL: Automated Performance Evaluation of Service-Oriented Systems. ModelEd, TestEd, TrustEd (2017)
Boudewijn R. Haverkort, Armin Zimmermann
Smart Industry: How ICT Will Change the Game! IEEE Internet Comput. 21 (1) (2017)
Marijn R. Jongerden, Boudewijn R. Haverkort
Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration. QEST (2017)
Justyna J. Chromik, Carina Pilch, Pascal Brackmann, Christof Duhme, Franziska Everinghoff, Artur Giberlein, Thomas Teodorowicz, Julian Wieland, Boudewijn R. Haverkort, Anne Remke
Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases. SmartGridComm (2017)
Björn F. Postema, Boudewijn R. Haverkort
Specification of Data Centre Power Management Strategies. e-Energy (2017)
Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas
Preface. Electron. Notes Theor. Comput. Sci. 327 (2016)
Freek van den Berg, Björn F. Postema, Boudewijn R. Haverkort
Evaluating load balancing policies for performance and energy-efficiency. QAPL (2016)
Anna Kolesnichenko, Boudewijn R. Haverkort, Anne Remke, Pieter-Tjerk de Boer
Fitting a code-red virus spread model: An account of putting theory into practice. DRCN (2016)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
Survivability analysis of a sewage treatment facility using hybrid Petri nets. Perform. Evaluation 97 (2016)
Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort
Improving SCADA security of a local process with a power grid model. ICS-CSR (2016)
Björn F. Postema, Boudewijn R. Haverkort
An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres. EPEW (2015)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Gianfranco Ciardo
Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions. VALUETOOLS (2015)
Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman
Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques. VALUETOOLS (2015)
Freek van den Berg, Anne Remke, Boudewijn R. Haverkort
iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. EPEW (2015)
Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke
Computing Response Time Distributions Using Iterative Probabilistic Model Checking. EPEW (2015)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
Hybrid Petri nets with multiple stochastic transition firings. EAI Endorsed Trans. Self Adapt. Syst. 1 (3) (2015)
J. Delamare, B. Bitachon, Z. Peng, Y. Wang, Boudewijn R. Haverkort, Marijn R. Jongerden
Development of a Smart Grid Simulation Environment. Electron. Notes Theor. Comput. Sci. 318 (2015)
Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn R. Jongerden, René Rydhof Hansen, Kim Guldstrand Larsen
A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. FORMATS (2015)
Hamed Ghasemieh, Boudewijn R. Haverkort, Marijn R. Jongerden, Anne Remke
Energy Resilience Modelling for Smart Houses. DSN (2015)
Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort
On hypothesis testing for statistical model checking. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario
Survivability Evaluation of Gas, Water and Electricity Infrastructures. Electron. Notes Theor. Comput. Sci. 310 (2015)
Björn F. Postema, Boudewijn R. Haverkort
Stochastic Petri Net Models for the Analysis of Trade-Offs in Data Centres with Power Management. E2DC (2014)
Georgios Karagiannis, Giang T. Pham, A. Dung Nguyen, Geert J. Heijenk, Boudewijn R. Haverkort, Frans Campfens
Performance of LTE for Smart Grid Communications. MMB/DFT (2014)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
Hybrid Petri nets with multiple stochastic transition firings. VALUETOOLS (2014)
Björn F. Postema, Anne Remke, Boudewijn R. Haverkort, Hamed Ghasemieh
Fluid Survival Tool: A Model Checker for Hybrid Petri Nets. MMB/DFT (2014)
Freek van den Berg, Anne Remke, Boudewijn R. Haverkort
A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. MCPS (2014)
Freek van den Berg, Anne Remke, Arjan J. Mooij, Boudewijn R. Haverkort
Performance Evaluation for Collision Prevention Based on a Domain Specific Language. EPEW (2013)
Boudewijn R. Haverkort
Challenges for modelling and analysis in embedded systems and systems-of-systems design. AiSoS (2013)
Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort
Automated Rare Event Simulation for Stochastic Petri Nets. QEST (2013)
Idilio Drago, Ricardo de Oliveira Schmidt, Rick Hofstede, Anna Sperotto, Morteza Karimzadeh, Boudewijn R. Haverkort, Aiko Pras
Networking for the Cloud: Challenges and Trends. Prax. Inf.verarb. Kommun. 36 (4) (2013)
Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Model checking for performability. Math. Struct. Comput. Sci. 23 (4) (2013)
Boudewijn R. Haverkort
The Dependable Systems-of-Systems Design Challenge. IEEE Secur. Priv. 11 (5) (2013)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
Analysis of a sewage treatment facility using hybrid Petri nets. VALUETOOLS (2013)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets. PRDC (2013)
Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Boudewijn R. Haverkort
A logic for model-checking mean-field models. DSN (2013)
Marijn R. Jongerden, Boudewijn R. Haverkort
Lifetime Improvement by Battery Scheduling. MMB/DFT (2012)
Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort
Rare event simulation for highly dependable systems with fast repairs. Perform. Evaluation 69 (7-8) (2012)
Ramin Sadre, Anne Remke, Sjors Hettinga, Boudewijn R. Haverkort
Simulative and Analytical Evaluation for ASD-Based Embedded Software. MMB/DFT (2012)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Marco Gribaudo
Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition. FORMATS (2012)
Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen
Time-bounded reachability in tree-structured QBDs by abstraction. Perform. Evaluation 68 (2) (2011)
Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort
Mean-field framework for performance evaluation of push-pull gossip protocols. Perform. Evaluation 68 (2) (2011)
Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort
An Adaptive Resource Control Mechanism in Multi-hop Ad-Hoc Networks. WWIC (2011)
Boudewijn R. Haverkort
Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? FORMATS (2011)
Anna Kolesnichenko, Anne Remke, Pieter-Tjerk de Boer, Boudewijn R. Haverkort
Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study. EPEW (2011)
Ivana Cerná, Boudewijn R. Haverkort
Parallel and Distributed Methods in Verification. J. Log. Comput. 21 (1) (2011)
Damien Miliche, Maurits de Graaf, Gerard Hoekstra, Marijn R. Jongerden, Boudewijn R. Haverkort
A First Experimental Investigation of the Practical Efficiency of Battery Scheduling. ARCS Workshops (2010)
Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga
Evaluating repair strategies for a water-treatment facility using Arcade. DSN (2010)
Marijn R. Jongerden, Boudewijn R. Haverkort
Computing Lifetimes for Battery-Powered Devices. OR (2010)
Marijn R. Jongerden, Alexandru Mereacre, Henrik C. Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen
Computing Optimal Schedules for battery Usage in Embedded Systems. IEEE Trans. Ind. Informatics 6 (3) (2010)
Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen
Quantitative Verification in Practice. ISoLA (2) (2010)
Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort
Rare Event Simulation for Highly Dependable Systems with Fast Repairs. QEST (2010)
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Performance evaluation and model checking join forces. Commun. ACM 53 (9) (2010)
Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn R. Haverkort
A Massively Scalable Architecture For Instant Messaging & Presence. Electron. Notes Theor. Comput. Sci. 261 (2010)
Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan J. Fokkink, Boudewijn R. Haverkort
Automating the Mean-Field Method for Large Dynamic Gossip Networks. QEST (2010)
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Performability assessment by model checking of Markov reward models. Formal Methods Syst. Des. 36 (1) (2010)
Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Jesper Bax
Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks. MMB/DFT (2010)
Boudewijn R. Haverkort
Time - It's time for a change. MASCOTS (2009)
Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort
Mean-Field Analysis for the Evaluation of Gossip Protocols. QEST (2009)
Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen
Maximizing system lifetime by battery scheduling. DSN (2009)
Marijn R. Jongerden, Boudewijn R. Haverkort
Which battery model to use? IET Softw. 3 (6) (2009)
Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort
Adaptive resource control in 2-hop ad-hoc networks. ICUMT (2009)
Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. QEST (2009)
Yimeng Yang, Boudewijn R. Haverkort, Geert J. Heijenk
A Control-Theoretic Modeling Approach for Service Differentiation in Multi-hop Ad-hoc Networks. QEST (2008)
Anne Remke, Boudewijn R. Haverkort
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. FORMATS (2008)
Ivana Cerná, Boudewijn R. Haverkort
Preface. Electron. Notes Theor. Comput. Sci. 198 (1) (2008)
Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort
MeanField analysis for the evaluation of gossip protocols. SIGMETRICS Perform. Evaluation Rev. 36 (3) (2008)
Lucia Cloth, Boudewijn R. Haverkort
The Performability Tool P'ility. QEST (2008)
Yimeng Yang, Boudewijn R. Haverkort, Geert J. Heijenk
A Centralized Feedback Control Model for Resource Management in Wireless Networks. Prax. Inf.verarb. Kommun. 31 (1) (2008)
Boudewijn R. Haverkort, Markus Siegle, Maarten van Steen
Quantitative analysis of gossiping protocols. SIGMETRICS Perform. Evaluation Rev. 36 (3) (2008)
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS (2008)
Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electron. Notes Theor. Comput. Sci. 220 (2) (2008)
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Reachability in continuous-time Markov reward decision processes. Logic and Automata (2008)
Lucia Cloth, Boudewijn R. Haverkort
Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. DATE (2008)
Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Lucia Cloth
Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. ASMTA (2008)
Ramin Sadre, Boudewijn R. Haverkort
Changes in the Web from 2000 to 2007. DSOM (2008)
Boudewijn R. Haverkort
Performance and Dependability Evaluation: Successes, Failures and Challenges. EPEW (2008)
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
Architectural dependability evaluation with Arcade. DSN (2008)
Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele
07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems (2007)
Ramin Sadre, Boudewijn R. Haverkort, Patrick Reinelt
A Fixed-Point Algorithm for Closed Queueing Networks. EPEW (2007)
Anne Remke, Boudewijn R. Haverkort
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. FORMATS (2007)
Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
CSL model checking algorithms for QBDs. Theor. Comput. Sci. 382 (1) (2007)
Matthias Kuntz, Boudewijn R. Haverkort
Faster SPDL Model Checking Through Property-Driven State Space Generation. EPEW (2007)
Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort
Computing Battery Lifetime Distributions. DSN (2007)
Alexander Bell, Boudewijn R. Haverkort
Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won't Tell About the Equilibrium Distribution. EPEW (2007)
Patrick Goering, Geert J. Heijenk, Boudewijn R. Haverkort, Robbert Haarman
The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System. EPEW (2007)

Boudewijn R. Haverkort.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Boudewijn R. Haverkort