Boudewijn Remigius Heinrich Maria Haverkort

prof.dr.ir.

1990 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Activities

  • 17 Oral presentation
  • 1 Invited talk

Designing Cyber-Physical Systems (CPSs) with aDSL: a Domain Specific Language and Toolchain

Freek van den Berg (Speaker), Bedir Tekinerdogan (Contributor), Vahid Garousi (Contributor), Boudewijn R. Haverkort (Contributor)
19 Mar 2018

Activity: Talk or presentationOral presentation

Automated Performance Evaluation of Service-Oriented Systems

Fredericus Gerrit Brand van den Berg (Speaker), Boudewijn R.H.M. Haverkort (Contributor), Jozef Hooman (Contributor)
26 Sep 2017

Activity: Talk or presentationOral presentation

Slachtoffer-dader bemiddeling na strafbare feiten: onderzoek en innovatie

Sven Zebel (Speaker), Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker), Ellen Giebels (Speaker)
4 Oct 2016

Activity: Talk or presentationOral presentation

Design and implementatie van digitale communicatie systemen in slachtoffer-daderbemiddeling

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Sven Zebel (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker), Ellen Giebels (Speaker)
16 Dec 2016

Activity: Talk or presentationInvited talk

Design and implementation of digital communication systems for victim-offender mediation

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Sven Zebel (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker), Ellen Giebels (Speaker)
31 Aug 2016

Activity: Talk or presentationOral presentation

ICT redefines High-Tech Systems

Boudewijn R.H.M. Haverkort (Speaker)
18 Jun 2012

Activity: Talk or presentationOral presentation

Power-aware queueing networks

Boudewijn R.H.M. Haverkort (Speaker)
25 Jan 2005

Activity: Talk or presentationOral presentation

Model Checking Algorithms for Infinite-State Markov Chains

Anne Remke (Speaker), Boudewijn Haverkort (Contributor), L. Cloth (Contributor)
25 Jan 2005

Activity: Talk or presentationOral presentation

Survivability

L. Cloth (Speaker), B.R.H.M. Haverkort (Contributor)
25 Jan 2005

Activity: Talk or presentationOral presentation

Sequential and Distributed Evaluation of Very Large Stochastic Petri Nets

Boudewijn R.H.M. Haverkort (Speaker)
23 Jun 2003

Activity: Talk or presentationOral presentation

Dynamically Reconfiguring distributed tems with the Performability Manager

Leonard Franken (Speaker), Boudewijn R.H.M. Haverkort (Speaker)
25 Mar 1993

Activity: Talk or presentationOral presentation

A Unified Performability Evaluation Framework for Computer and communication systems

A.P.A. van Moorsel (Speaker), Boudewijn R.H.M. Haverkort (Speaker)
25 Mar 1993

Activity: Talk or presentationOral presentation

MGMtool: A Performance Modelling Tool based on Matrix Geometric Techniques

Boudewijn R.H.M. Haverkort (Speaker)
8 Jul 1992

Activity: Talk or presentationOral presentation

Quantitative analysis and modelling

Boudewijn R.H.M. Haverkort (Speaker)
21 Feb 1991

Activity: Talk or presentationOral presentation

Kwantitatieve methoden binnen TIOS

Boudewijn R.H.M. Haverkort (Speaker)
6 Sep 1991

Activity: Talk or presentationOral presentation

Performability Modelling using Dynamic Queueing Networks

Boudewijn R.H.M. Haverkort (Speaker)
25 Oct 1990

Activity: Talk or presentationOral presentation

Quantitative Modelling and Analysis of Computer/Communication Systems

Boudewijn R.H.M. Haverkort (Speaker)
4 May 1990

Activity: Talk or presentationOral presentation