Welcome...

prof.dr.ir. B.R.H.M. Haverkort (Boudewijn)

Full professor, Design and Analysis of Communication Systems

About Me

Welcome on my former homepage. As of January 1, 2019, I will work at Tilburg University as Dean of the Tilburg School of Humanities and Digital Sciences. You can reach me there at b.r.h.m.haverkort@uvt.nl .

From 2003 until the end of 2018, I was full professor for Design and Analysis of Communication Systems at the University of Twente, in the faculty for Electrical Engineering, Mathematics and Computer Science (EEMCS).

My work, both in research and teaching, focuses on the design and analysis of cyber-physical systems, that is, computer and communication systems that interact with their physical environment. Over the last few years, I have been working on themes related to security and safety of critical infrastructures, smart grids and energy storage, wearable computing systems, smart industry and energy-efficient data centers. My research is mostly funded through national (NWO) and international projects (EU).

Next to the technical content, I have always enjoyed research management. I was Head of the Department of Computer Science (May 2017--November 2018, as well as in the academic year 2008-2009) and I am chairman of the national research and innovation program Commit2Data, since 2016.

I obtained my Ph.D. in 1991 and my M.Sc in 1986, both from the University of Twente. I wrote my master's thesis, in 1986, at the University of Dortmund, Germany.

Scientific Memberships and Honors

Positions & Roles

  • Since 2016, I am chairman of the national research and innovation program Commit2Data, on behalf of the Topteam ICT.
  • Since mid 2018, I serve on the scientific advisory board of the Fraunhofer Project Centre at the University of Twente, which focuses on Smart Industry and Intelligent manufacturing Systems.
  • In the period March 2009—February 2013, I have been scientific director and chairman of the Embedded Systems Institute in Eindhoven. ESI was an independent public-private open innovation applied research institute for high-tech embedded systems, employing around 35 FTE. As of January 1, 2013, ESI has been acquired by TNO.
  • In 2012 I served on the program council of Point-One, the Dutch innovation program for high tech systems. As of January 1, 2013, Point-One has been transformed into High-Tech NL; in 2013 I served on the program council of High-Tech NL..
  • Throughout 2011, I have been serving on an advisory committee of the Province of Overijssel to shape the Innovation Policy for the Region Twente for the next 5 years.
  • Board member of the Dutch computer science research school ASCI (Advanced School on Computing and Imaging), November 2005 – November 2015.
  • Chairman of the Supervisory Board of Breedned (2009-2011).
  • Head of the Department of Computer Science and Member of the management team of the EEMCS faculty at the University of Twente (August 2008-February 2009; again since May 2017).
  • Member the management team of 3TU.NIRICT, the National Institute for Research on ICT (August 2008-February 2009).
  • Co-leading the 3TU Centre of Excellence on Dependable ICT Systems (CeDICT) as part of NIRICT (2005-2009).
  • Professor (C3) for Distributed Systems in the Department of Computer Science at the Rheinisch-Westfälische Technische Hochschule (RWTH) in Aachen, Germany (October 1995-December 2002).
  • Lecturer ("Univesritair Docent) at the University of Twente, in the Department of Computer Science (January 1990 through September 1995).
  • Visiting scientist in the Teletraffic Research Centre at the University of Adelaide in Australia (spring 1993).

Expertise

Model Checking
Model
Specifications
Markov Processes
Performability
Petri Nets
Modeling
Reward

Research

My research focuses on model-driven design of embedded computer-communication systems and the evaluation of their performance and dependability. Since 2000, I have also been working on stochastic model checking techniques. During my term as director of ESI, I have become interested in system design and engineering as a discipline, especially in relation to industrial applicability (now also addressed under the name of ‘smart industry’). Lately, I also focus more on energy systems, such as smart grids, critical infrastructures and energy-efficient data centers. Due to my role as chairman of Commit2Data, I am also working more towards big data and its applications.

I have guided numerous master students through their final project, and have had the honor of acting more than 30 times as PhD advisor (“promotor”).

I wrote a textbook on Performance Evaluation of Computer-Communication Systems (Wiley, 1998), and published close to 10 conference proceedings (with IEEE and Springer) and did put together multi-author books on performability (Wiley, 2001) and on validation of stochastic systems (Springer, 2003). I published around 200 papers in journals and at (full-review) conferences; see, for instance, Google scholar, or the https://dblp.uni-trier.de/pers/hd/h/Haverkort:Boudewijn_R= .

I have been member of well over 100 international program committee of conferences in my field, acted as chairman of a number of international conferences (TOOLS 2001, PNPM 2001, MMB 2001, QEST 2004, DSN/PDS 2005, PDMC 2006, PDMC 2007, QEST 2015), and have edited more than 10 special issues for various journals.

Publications

Recent
Ozceylan, B. , Haverkort, B. R. , de Graaf, M. , & Gerards, M. E. T. (2021). Improving Temperature Prediction Accuracy Using Kalman and Particle Filtering Methods. In 2020 26th International Workshop on Thermal Investigations of ICs and Systems (THERMINIC) (pp. 1-6). [9420535] https://doi.org/10.1109/THERMINIC49743.2020.9420535
Ozceylan, B. , Haverkort, B. R. H. M. , de Graaf, M. , & Gerards, M. E. T. (2019). A Generic Processor Temperature Estimation Method. In M. Rencz, L. Codecasa, & A. Poppe (Eds.), 2019 25th International Workshop on Thermal Investigations of ICs and Systems (THERMINIC) IEEE. https://doi.org/10.1109/THERMINIC.2019.8923636
Chromik, J. J. , Remke, A. K. I. , Haverkort, B. R. H. M., & Geist, G. (2019). A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications. In 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks – Industry Track IEEE. https://doi.org/10.1109/DSN-Industry.2019.00008
Van Den Berg, F., Garousi, V., Tekinerdogan, B. , & Haverkort, B. R. (2018). Designing cyber-physical systems with aDSL: A domain-specific language and tool support. In 2018 13th System of Systems Engineering Conference, SoSE 2018 (pp. 225-232). [8428770] IEEE. https://doi.org/10.1109/SYSOSE.2018.8428770
Kerkers, M. , Chromik, J. J. , Remke, A. K. I. , & Haverkort, B. R. H. M. (2018). A Tool for Generating Automata of IEC60870-5-104 Implementations. In R. German, K-S. Hielscher, & U. R. Krieger (Eds.), Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings (pp. 307-311). (Lecture notes in computer science; Vol. 10740). https://doi.org/10.1007/978-3-319-74947-1_23
Habraken, M. M. P., Ahsmann, B., van den Akker , E., van Baars , G., Baartmans, R., Blankendaal, J., Bossert, R., Burghardt, P., Duisterwinkel, A., van Eijk , D., van den Eijnde , W., Endhoven, W., Gijsbers, G., Ten Have, K. , Haverkort, B. R. H. M., van der Horst, T., Jayawardhana, B., Jansson, M., Karelse, F., ... Thuis, B. (2018). Smart Industry roadmap: Onderzoeksagenda voor HTSM en ICT en routekaart voor de NWA. Smart Industry. https://www.smartindustry.nl/smart-industry-roadmap/
Nies, G., Stenger, M., Krčál, J. , Hermanns, H., Bisgaard, M., Gerhardt, D. , Haverkort, B. , Jongerden, M. , Larsen, K. G., & Wognsen, E. R. (2018). Mastering operational limitations of LEO satellites – The GOMX-3 approach. Acta astronautica, 151, 726-735. https://doi.org/10.1016/j.actaastro.2018.04.040
Postema, B. F., Geuze, N. J. , & Haverkort, B. R. (2018). Fitting realistic data centre workloads a data science approach. In e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems (pp. 486-491). Association for Computing Machinery (ACM). https://doi.org/10.1145/3208903.3213520
Chromik, J. J. , Remke, A. , & Haverkort, B. R. (2018). Bro in SCADA: dynamic intrusion detection policies based on a system model. In 5th International Symposium for ICS&SCADA Cyber Security Research (ICS-CSR 2018) (pp. 112-121). BCS Learning & Development Ltd..
Postema, B. F., Van Damme, T., De Persis, C., Tesi, P. , & Haverkort, B. R. H. M. (2018). Combining Energy Saving Techniques in Data Centres using Model-Based Analysis. In ICPE'18. Companion of the 2018 ACM/SPEC International Conference on Performance Engineering (pp. 67-72). ACM Press. https://doi.org/10.1145/3185768.3186310
van den Berg, F. G. B., Hooman, J. , & Haverkort, B. R. H. M. (2018). A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements. In R. German, K-S. Hielscher, & U. R. Krieger (Eds.), Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings (pp. 295-301). (Lecture Notes in Computer Science; Vol. 10740). Springer. https://doi.org/10.1007/978-3-319-74947-1_21
Chromik, J. J. , Haverkort, B. R. H. M. , Remke, A. K. I., Pilch, C., Brackmann, P., Duhme, C., Everinghoff, F., Giberlein, A., Teodorowicz, T., & Wieland, J. (2018). Context-aware local Intrusion Detection in SCADA systems: a testbed and two showcases. In 2017 IEEE International Conference on Smart Grid Communications (SmartGridComm) IEEE. https://doi.org/10.1109/SmartGridComm.2017.8340672
Jongerden, M. R. , & Haverkort, B. R. (2017). Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration. In N. Bertrand, & L. Bortolussi (Eds.), Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings (pp. 88-103). (Lecture Notes in Computer Science; Vol. 10503). Springer. https://doi.org/10.1007/978-3-319-66335-7_6
Postema, B. F. , & Haverkort, B. R. (2017). Specification of data centre power management strategies. In Proceedings of the 8th International Conference on Future Energy Systems, e-Energy 2017 (pp. 284-289). Association for Computing Machinery (ACM). https://doi.org/10.1145/3077839.3084025
Haverkort, B. R., & Zimmermann, A. (2017). Smart Industry: How ICT Will Change the Game! IEEE internet computing, 21(1), 8-10. https://doi.org/10.1109/MIC.2017.22
van den Berg, F. G. B. , Haverkort, B. R. H. M., & Hooman, J. (2017). iDSL: Automated Performance Evaluation of Service-Oriented Systems. In R. Langerak, & A. Rensink (Eds.), ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Lecture Notes in Computer Science; Vol. 10500). Springer. https://doi.org/10.1007/978-3-319-68270-9_11

UT Research Information System

Google Scholar Link

Education

At the UT, I have been teaching courses on computer networking and model-based performance and dependability evaluation of computer and communication systems in the B.Sc. and M.Sc. programs for Electrical Engineering, Computer Science and Embedded Systems. Lately, I have also become active in the new program on Creative Technology. In the past, at the RWTH Aachen, I also taught courses on Operating Systems, Computer Architecture and Distributed Systems, primarily for Computer Science students.

Affiliated Study Programmes

Bachelor

Master

Other

Courses

Contact Details

Visiting Address

University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands

Social Media