Boudewijn R. Haverkort

Orcid: 0000-0002-0654-0740

Affiliations:
  • Tilburg University, Tilburg, Netherlands
  • University of Twente, Enschede, Netherlands (former)


According to our database1, Boudewijn R. Haverkort authored at least 169 papers between 1989 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

IEEE Fellow

IEEE Fellow 2007, "For contributions to performance and dependability evaluation of computer and communication systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study.
CoRR, 2023

2022
Minimizing the Maximum Processor Temperature by Temperature-Aware Scheduling of Real-Time Tasks.
IEEE Trans. Very Large Scale Integr. Syst., 2022

2021
Performance Evaluation: Model-Driven or Problem-Driven?
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

Models Meet Data: Challenges to Create Virtual Entities for Digital Twins.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2020
Machine Learning Data Center Workloads Using Generative Adversarial Networks.
SIGMETRICS Perform. Evaluation Rev., 2020

A Tool for Requirements Analysis of Safety-Critical Cyber-Physical Systems.
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020

2019
A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2018
An integrated testbed for locally monitoring SCADA systems in smart grids.
Energy Inform., 2018

Combining Energy Saving Techniques in Data Centres using Model-Based Analysis.
Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

Zero-Energy Internet-of-Things: Energy-SIM'18 Workshop Keynote Abstract.
Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

Designing Cyber-Physical Systems with aDSL: a Domain-Specific Language and Tool Support.
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

A Tool for Generating Automata of IEC60870-5-104 Implementations.
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements.
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

Fitting Realistic Data Centre Workloads: A Data Science Approach.
Proceedings of the Ninth International Conference on Future Energy Systems, 2018

2017
Smart Industry: How ICT Will Change the Game!
IEEE Internet Comput., 2017

Evaluation of Advanced Data Centre Power Management Strategies.
Proceedings of the Ninth International Workshop on the Practical Application of Stochastic Modelling, 2017

Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases.
Proceedings of the 2017 IEEE International Conference on Smart Grid Communications, 2017

Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Specification of Data Centre Power Management Strategies.
Proceedings of the Eighth International Conference on Future Energy Systems, 2017

iDSL: Automated Performance Evaluation of Service-Oriented Systems.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016
Survivability analysis of a sewage treatment facility using hybrid Petri nets.
Perform. Evaluation, 2016

Preface.
Proceedings of the 8th International Workshop on Practical Application of Stochastic Modeling, 2016

Evaluating load balancing policies for performance and energy-efficiency.
Proceedings of the Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, 2016

Improving SCADA security of a local process with a power grid model.
Proceedings of the 4th International Symposium for ICS & SCADA Cyber Security Research 2016, 2016

Fitting a code-red virus spread model: An account of putting theory into practice.
Proceedings of the 12th International Conference on the Design of Reliable Communication Networks, 2016

2015
On hypothesis testing for statistical model checking.
Int. J. Softw. Tools Technol. Transf., 2015

Hybrid Petri nets with multiple stochastic transition firings.
EAI Endorsed Trans. Self Adapt. Syst., 2015

Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions.
Proceedings of the VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2015

Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques.
Proceedings of the VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2015

A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Computing Response Time Distributions Using Iterative Probabilistic Model Checking.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Energy Resilience Modelling for Smart Houses.
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014
Development of a Smart Grid Simulation Environment.
Proceedings of the Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, 2014

Survivability Evaluation of Gas, Water and Electricity Infrastructures.
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Fluid Survival Tool: A Model Checker for Hybrid Petri Nets.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

Performance of LTE for Smart Grid Communications.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

Stochastic Petri Net Models for the Analysis of Trade-Offs in Data Centres with Power Management.
Proceedings of the Energy Efficient Data Centers - Third International Workshop, 2014

2013
Networking for the Cloud: Challenges and Trends.
Prax. Inf.verarb. Kommun., 2013

Model checking for performability.
Math. Struct. Comput. Sci., 2013

The Dependable Systems-of-Systems Design Challenge.
IEEE Secur. Priv., 2013

Challenges for modelling and analysis in embedded systems and systems-of-systems design.
Proceedings of the Proceedings 1st Workshop on Advances in Systems of Systems, 2013

Analysis of a sewage treatment facility using hybrid Petri nets.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Automated Rare Event Simulation for Stochastic Petri Nets.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets.
Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

Performance Evaluation for Collision Prevention Based on a Domain Specific Language.
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

A logic for model-checking mean-field models.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012
Rare event simulation for highly dependable systems with fast repairs.
Perform. Evaluation, 2012

Simulative and Analytical Evaluation for ASD-Based Embedded Software.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Lifetime Improvement by Battery Scheduling.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011
Time-bounded reachability in tree-structured QBDs by abstraction.
Perform. Evaluation, 2011

Mean-field framework for performance evaluation of push-pull gossip protocols.
Perform. Evaluation, 2011

Parallel and Distributed Methods in Verification.
J. Log. Comput., 2011

An Adaptive Resource Control Mechanism in Multi-hop Ad-Hoc Networks.
Proceedings of the Wired/Wireless Internet Communications, 2011

Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study.
Proceedings of the Computer Performance Engineering, 2011

2010
Computing Optimal Schedules for battery Usage in Embedded Systems.
IEEE Trans. Ind. Informatics, 2010

Performability assessment by model checking of Markov reward models.
Formal Methods Syst. Des., 2010

Performance evaluation and model checking join forces.
Commun. ACM, 2010

Automating the Mean-Field Method for Large Dynamic Gossip Networks.
Proceedings of the QEST 2010, 2010

Computing Lifetimes for Battery-Powered Devices.
Proceedings of the Operations Research Proceedings 2010, 2010

Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks.
Proceedings of the Measurement, 2010

Quantitative Verification in Practice.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Evaluating repair strategies for a water-treatment facility using Arcade.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

A First Experimental Investigation of the Practical Efficiency of Battery Scheduling.
Proceedings of the ARCS '10, 2010

2009
Which battery model to use?
IET Softw., 2009

A Massively Scalable Architecture For Instant Messaging & Presence.
Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, 2009

Mean-Field Analysis for the Evaluation of Gossip Protocols.
Proceedings of the QEST 2009, 2009

Time - It's time for a change.
Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009

Adaptive resource control in 2-hop ad-hoc networks.
Proceedings of the International Conference on Ultra Modern Telecommunications, 2009

The 3TU embedded systems master in the Netherlands.
Proceedings of the 2009 Workshop on Embedded Systems Education, 2009

Maximizing system lifetime by battery scheduling.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008
Quantitative analysis of gossiping protocols.
SIGMETRICS Perform. Evaluation Rev., 2008

MeanField analysis for the evaluation of gossip protocols.
SIGMETRICS Perform. Evaluation Rev., 2008

A Centralized Feedback Control Model for Resource Management in Wireless Networks.
Prax. Inf.verarb. Kommun., 2008

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking.
Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

A Control-Theoretic Modeling Approach for Service Differentiation in Multi-hop Ad-hoc Networks.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

The Performability Tool P'ility.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Performance and Dependability Evaluation: Successes, Failures and Challenges.
Proceedings of the Computer Performance Engineering, 2008

Changes in the Web from 2000 to 2007.
Proceedings of the Managing Large-Scale Service Deployment, 2008

Architectural dependability evaluation with Arcade.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices.
Proceedings of the Design, Automation and Test in Europe, 2008

Reachability in continuous-time Markov reward decision processes.
Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008

Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2008

2007
Model Checking Markov Chains with Actions and State Labels.
IEEE Trans. Software Eng., 2007

CSL model checking algorithms for QBDs.
Theor. Comput. Sci., 2007

Formal analysis techniques for gossiping protocols.
ACM SIGOPS Oper. Syst. Rev., 2007

Versatile stochastic models for networks with asymmetric TCP sources.
Perform. Evaluation, 2007

Preface.
Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 2007

CSL Model Checking Algorithms for Infinite-State Structured Markov Chains.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

A Fixed-Point Algorithm for Closed Queueing Networks.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Faster SPDL Model Checking Through Property-Driven State Space Generation.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won't Tell About the Equilibrium Distribution.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Computing Battery Lifetime Distributions.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems.
Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

07101 Executive Summary -- Quantitative Aspects of Embedded Systems.
Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

2006
Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia.
IEEE Trans. Dependable Secur. Comput., 2006

Distributed disk-based algorithms for model checking very large Markov chains.
Formal Methods Syst. Des., 2006

A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Measuring and Modeling of Application Flow Length in Commercial GPRS Networks.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

CSL model checking of Deterministic and Stochastic Petri Nets.
Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006

2005
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes.
Theor. Comput. Sci., 2005

Sequential and distributed model checking of Petri nets.
Int. J. Softw. Tools Technol. Transf., 2005

Performance and verification.
SIGMETRICS Perform. Evaluation Rev., 2005

Model checking meets performance evaluation.
SIGMETRICS Perform. Evaluation Rev., 2005

Model Checking Infinite-State Markov Chains.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Model Checking for Survivability.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

2004
The pseudo-self-similar traffic model: application and validation.
Perform. Evaluation, 2004

Model Checking Action- and State-Labelled Markov Chains.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003
Model-Checking Algorithms for Continuous-Time Markov Chains.
IEEE Trans. Software Eng., 2003

Fitting world-wide web request traces with the EM-algorithm.
Perform. Evaluation, 2003

A Class-Based Least-Recently Used Caching Algorithm for World-Wide Web Proxies.
Proceedings of the Computer Performance Evaluations, 2003

2002
Introduction to the Special Section on Petri Nets and Performance Models.
IEEE Trans. Software Eng., 2002

Sequential and Distributed Model Checking of Petri Net Specifications.
Proceedings of the Parallel and Distributed Model Checking, 2002

Automated Performance and Dependability Evaluation Using Model Checking.
Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

The Mean Value of the Maximum.
Proceedings of the Process Algebra and Probabilistic Methods, 2002

A Validation of the Pseudo Self-Similar Traffic Model.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Model Checking Performability Properties.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Enabling Network Caching of Dynamic Web Objects.
Proceedings of the Computer Performance Evaluation, 2002

Simulation for Continuous-Time Markov Chains.
Proceedings of the CONCUR 2002, 2002

2001
Performance and dependability techniques and tools.
Perform. Evaluation, 2001

Entwurf, Implementierung und Bewertung eines Kryptographiemoduls für Client-Server Handelssysteme.
Proceedings of the Information Age Economy: 5. Internationale Tagung Wirtschaftsinformatik 2001, 2001

Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes.
Proceedings of the Process Algebra and Probabilistic Methods, 2001

Flows in Networks of MAP/MAP/1 Queues.
Proceedings of the Proceedings 11th GI/ITG Conference on Measuring, 2001

2000
Performance evaluation of multicast communication in packet-switched networks.
Perform. Evaluation, 2000

On the Use of Model Checking Techniques for Dependability Evaluation.
Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

Are Stochastic Process Algebras Good for Performance and Dependability Evaluation.
Proceedings of the ICALP Workshops 2000, 2000

On the Logical Characterisation of Performability Properties.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Markovian Models for Performance and Dependability Evaluation.
Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

Model Checking Continuous-Time Markov Chains by Transient Analysis.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

FiFiQueues: Fixed-point Analysis of Queueing Networks with Finite-Buffer Stations.
Proceedings of the MMB '99, 1999

Semi-numerical Solution of Stochastic Process Algebra Models.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

Structural Decomposition and Serial Solution of SPN Models of the ATM GAUSS Switch.
Proceedings of the Application of Petri Nets to Communication Networks, 1999

Performance Evaluation of Polling-Based Communication Systems Using SPNs.
Proceedings of the Application of Petri Nets to Communication Networks, 1999

1998
Analysis of windowing mechanisms with infinite-state stochastic Petri nets.
SIGMETRICS Perform. Evaluation Rev., 1998

Approximate analysis of networks of PH|PH|1|K queues with customer losses: Test results.
Ann. Oper. Res., 1998

QNA-MC: A Performance Evaluation Tool for Communication Networks with Multicast Data Streams.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

Performance of computer communication systems - a model-based approach.
Wiley, ISBN: 978-0-471-97228-0, 1998

1997
Quality of service management using generic modelling and monitoring techniques.
Distributed Syst. Eng., 1997

Steady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method.
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

Untersuchungen zum Verbindungsmanagement bei Videoverkehr mit Matrix-geometrischen stochastichen Petrinetzen.
Proceedings of the MMB '97, 1997

1996
A mean-value analysis of slotted-ring network models.
Telecommun. Syst., 1996

Performability Modelling Tools and Techniques.
Perform. Evaluation, 1996

Design and evaluation of a connection management mechanism for an ATM-based connectionless service.
Distributed Syst. Eng., 1996

1995
In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models.
Comput. J., 1995

Using the probabilistic evaluation tool for the analytical solution of large Markov models.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Approximate Analysis of Networks of PH|PH|1|<i>K</i> Queues: Theory & Tool Support.
Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995

1994
The performability manager.
IEEE Netw., 1994

Xmgm: Performance Modeling Using Matrix Geometric Techniques.
Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives.
Proceedings of the Computer Performance Evaluation, 1994

Modelling Aspects of Model-Based Dynamic QoS Management by the Performability Manager.
Proceedings of the Computer Performance Evaluation, 1994

Performance evaluation of threshold-based ATM cell scheduling policies under Markov modulated Poisson traffic using stochastic Petri nets.
Proceedings of the ATM Networks, 1994

1993
Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets.
Perform. Evaluation, 1993

Specification techniques for Markov reward models.
Discret. Event Dyn. Syst., 1993

1992
Composite Performance and Dependability Analysis.
Perform. Evaluation, 1992

Sensitivity and Uncertainty Analysis in Performability Modeling.
Proceedings of the 11th Symposium on Reliable Distributed Systems, 1992

A Method for Analysing the Performance Aspects of the Fault-Tolerance Mechanisms in FDDI.
Proceedings of the Proceedings IEEE INFOCOM '92, 1992

1991
Approximate Performability Analysis using Generalized Stochastic Petri Nets.
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

Performability modelling tools, evaluation techniques, and applications.
University Twente, ISBN: 978-90-9003915-2, 1991

1990
Performability Modelling Tools, Evaluation Techniques and Applications.
PhD thesis, 1990

1989
Performability Modelling Using Dynamic Queueing Networks.
Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1989


  Loading...