World's Best Scientists 2026 revealed!
Boudewijn R. Haverkort

Boudewijn R. Haverkort

D-Index & Metrics

Computer Science

D-Index
40
Citations
7666
World Ranking
9231
National Ranking
164

Research.com Recognitions

  • 2007 - IEEE Fellow For contributions to performance and dependability evaluation of computer and communication systems

Overview

Boudewijn R. Haverkort is affiliated with Tilburg University in the Netherlands and has contributed to research primarily in the fields of Engineering and Computer Science. The scientist's work spans various subfields including Industrial and Manufacturing Engineering, Hardware and Architecture, Electrical and Electronic Engineering, Artificial Intelligence, and Computational Theory and Mathematics.

The main topics of their research include:

  • Digital Transformation in Industry
  • Manufacturing Process and Optimization
  • Flexible and Reconfigurable Manufacturing Systems
  • Real-Time Systems Scheduling
  • Technology Assessment and Management
  • Parallel Computing and Optimization Techniques
  • Embedded Systems Design Techniques

Recent papers authored or co-authored by Boudewijn R. Haverkort include:

  • Current trends in digital twin development, maintenance, and operation: an interview study, 2024, Software & Systems Modeling
  • Models Meet Data: Challenges to Create Virtual Entities for Digital Twins, 2021, 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
  • Minimizing the Maximum Processor Temperature by Temperature-Aware Scheduling of Real-Time Tasks, 2022, IEEE Transactions on Very Large Scale Integration (VLSI) Systems
  • Machine Learning Data Center Workloads Using Generative Adversarial Networks, 2020, ACM SIGMETRICS Performance Evaluation Review
  • The practicalities of a partial lottery to allocate research funding, 2024, Research Evaluation

Frequent co-authors working with Boudewijn R. Haverkort include:

  • Raghavendran Gunasekaran
  • Hossain Muhammad Muctadir
  • David A. Manrique Negrin
  • Loek Cleophas
  • Mark van den Brand

The scientist has published in venues such as Software & Systems Modeling, the 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), IEEE Transactions on Very Large Scale Integration (VLSI) Systems, ACM SIGMETRICS Performance Evaluation Review, and Research Evaluation.

Boudewijn R. Haverkort was recognized as an IEEE Fellow in 2007 for contributions to performance and dependability evaluation of computer and communication systems.

Best Publications

  • Model-checking algorithms for continuous-time Markov chains

    C. Baier;B. Haverkort;H. Hermanns;J.-P. Katoen

  • Validation of Stochastic Systems : A Guide to Current Research

    Christel Baier;Boudewijn R. Haverkort;Joost-Pieter Katoen;Holger Hermanns

  • Which battery model to use

    Marijn R. Jongerden;Boudewijn R. Haverkort

  • Performability modelling tools and techniques

    Boudewijn R. Haverkort;Ignas G. Niemegeers

  • Model Checking Continuous-Time Markov Chains by Transient Analysis

    Christel Baier;Boudewijn R. Haverkort;Holger Hermanns;Joost-Pieter Katoen

  • Composite performance and dependability analysis

    Kishor S. Trivedi;Jogesh K. Muppala;Steven P. Woolet;Boudewijn R.H.M. Haverkort

  • Performability Modelling Tools, Evaluation Techniques and Applications

    B.R.H.M. Haverkort

  • Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

    Christel Baier;Holger Hermanns;Joost-Pieter Katoen;Boudewijn R. Haverkort

  • On the Logical Characterisation of Performability Properties

    Christel Baier;Boudewijn R. Haverkort;Holger Hermanns;Joost-Pieter Katoen

  • Fitting world-wide web request traces with the EM-algorithm

    Rachid El Abdouni Khayari;Ramin Sadre;Boudewijn R. Haverkort

  • Validation of stochastic systems

    Christel Baier;Boudewijn R. Haverkort;Holger Hermanns;Joost-Pieter Katoen

  • Performance of computer communication systems

    Boudewijn R. Haverkort

  • On the use of model checking techniques for dependability evaluation

    B.R. Haverkort;H. Hermanns;J.-P. Katoen

  • Performance evaluation and model checking join forces

    Christel Baier;Boudewijn R. Haverkort;Holger Hermanns;Joost-Pieter Katoen

  • Model checking performability properties

    B. Haverkort;L. Cloth;H. Hermanns;J.-P. Katoen

  • Specification Techniques for Markov Reward Models

    Boudewijn R. Haverkort;Kishor S. Trivedi

  • Model Checking Markov Chains with Actions and State Labels

    C. Baier;L. Cloth;B.R. Haverkort;M. Kuntz

  • Formal Methods: Applications and Technology

    Luboš Brim;Boudewijn Haverkort;Martin Leucker;Jaco van de Pol

  • Smart Industry: How ICT Will Change the Game!

    Boudewijn R. Haverkort;Armin Zimmermann

  • Performance and reliability analysis of computer systems: An example-based approach using the sharpe software package

    Boudewijn R. Haverkort

  • IEEE Transactions on Dependable and Secure Computing

    J. Arlat;A. Bondavalli;B.R.H.M. Haverkort;P. Verissimo

Frequent Co-Authors

Joost-Pieter Katoen
Joost-Pieter Katoen RWTH Aachen University
Holger Hermanns
Holger Hermanns Saarland University
Christel Baier
Christel Baier TU Dresden
Kishor S. Trivedi
Kishor S. Trivedi Duke University
Wan Fokkink
Wan Fokkink Vrije Universiteit Amsterdam
Mariëlle Stoelinga
Mariëlle Stoelinga University of Twente
Martin Leucker
Martin Leucker University of Lübeck
Lothar Thiele
Lothar Thiele ETH Zurich
Kim Guldstrand Larsen
Kim Guldstrand Larsen Aalborg University
Aiko Pras
Aiko Pras University of Twente

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA often opens doors to related fields and versatile career options. Many students ask, can you get a physics degree online? The answer is yes—there are various accredited online programs in physics that offer flexibility for busy students or working professionals.

Data science is another booming field. If you’re considering a more affordable path, it’s worth researching what is the cheapest data science course in the us? Many reputable universities now offer online degrees and certificates at competitive rates without compromising on quality.

Engineering is closely tied to computer science. Interested in expanding your knowledge? Explore online electrical engineering courses USA—these courses can supplement your CS studies and improve job prospects in tech-driven industries.

For those seeking a quick skills boost or credentials that lead to high salaries, check out these certificate programs that pay well. Online certifications in IT, cybersecurity, and data analysis can be completed in less time and often lead to lucrative job opportunities.

Best Scientists Citing Boudewijn R. Haverkort

Trending Scientists