Welcome...

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

Chair, Design and Analysis of Communication Systems

About Me

Since 2003 I am 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 focuses on quantitative methods and techniques to support the design of computer and communication systems, these days often addressed as cyber-physical systems. I lately also have been working on themes related to dependability of critical infrastructures and smart grids.

I was born on September 27, 1964, in Lichtenvoorde, a small town in the eastern part of the Netherlands, famous, among others, as the hometown of the Zwarte Cross. After having attended primary school in Lichtenvoorde, I attended the Scholengemeenschap Marianum(gymnasium) in Groenlo, a small city in the vicinity, the hometown of the famous Grolsch beer (the old name for Groenlo is Grol, thus explaining the name Grolsch). These days, Lichtenvoorde and Groenlo are both part of the county Oost-Gelre.

I obtained my Ph.D. in 1991 and my M.Sc in 1986, both from the University of Twente. I did my final master project, in 1986, at the University of Dortmund, Germany.

Scientific Memberships and Honors

Past Positions & Roles

 

  • In the period 2012-2015, I served on the program council of High-Tech NL, the Dutch association for innovative high-tech companies, (applied) research institutions and universities, as representative of the three technical universities in the Netherlands.
  • 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.
  • 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).
  • 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 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
Petri Nets
Markov Processes
Scheduling
Random Processes
Model Checking
Specifications
Semantics

Ancillary Activities

  • Bibliotheek, Hof van twente
    Raad van Toezicht
  • Minsterie EZK
    Voorzitter Innovatieprogramma Commit2Data

Research

My personal 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, and critical infrastructures. Due to my new role as chairman of Commit2Data, I am also working more towards big data and its applications.

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

I wrote a textbook on Performance Evaluation of Computer-Communication Systems (Wiley, 1998), and published 6+ 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 150+ papers in journals and at (full-review) conferences; see DLDB, Google scholar, or the research.utwente database.

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
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 Verlag. DOI: 10.1007/978-3-319-74947-1_21
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. Paper presented at 19th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”, Erlangen, Germany.
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. DOI: 10.1007/978-3-319-68270-9_11
Haverkort, B. R., & Zimmermann, A. (2017). Smart Industry: How ICT Will Change the Game!IEEE internet computing, 21(1), 8-10. DOI: 10.1109/MIC.2017.22
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). Cham: Springer. DOI: 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). New York, NY, USA: The Association for Computing Machinery, Inc.. DOI: 10.1145/3077839.3084025
Chromik, J. J., Haverkort, B. R. H. M., Remke, A. K. I., Pilch, C., Brackmann, P., Duhme, C., ... Wieland, J. (2017). Context-aware local Intrusion Detection in SCADA systems: a testbed and two showcases. Paper presented at 8th IEEE International Conference on Smart Grid Communications, SmartGridComm 2017, Dresden, Germany.

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.

Courses

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 5067
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  5067
P.O. Box 217
7500 AE Enschede
The Netherlands

Social Media