Boudewijn R.H.M. Haverkort

Activities

Activities per year 1990 1990 1991 1992 1993 2003 2005 2016 2018

• 21 Oral presentation
• 1 Invited talk

Activities per year

Search results

• 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 presentation › Oral 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 presentation › Oral presentation

• 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 presentation › Oral 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 presentation › Oral 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 presentation › Invited talk

• ICT redefines High-Tech Systems

  Boudewijn R.H.M. Haverkort (Speaker)

  18 Jun 2012

  Activity: Talk or presentation › Oral presentation

• Power-aware queueing networks

  Boudewijn R.H.M. Haverkort (Speaker)

  25 Jan 2005

  Activity: Talk or presentation › Oral presentation

• Survivability

  L. Cloth (Speaker) & B.R.H.M. Haverkort (Contributor)

  25 Jan 2005

  Activity: Talk or presentation › Oral presentation

• Model Checking Algorithms for Infinite-State Markov Chains

  Anne Remke (Speaker), Boudewijn Haverkort (Contributor) & L. Cloth (Contributor)

  25 Jan 2005

  Activity: Talk or presentation › Oral presentation

• Performance Engineering of WWW Proxy Servers

  Boudewijn R.H.M. Haverkort (Speaker)

  13 Mar 2003

  Activity: Talk or presentation › Oral presentation

• Sequential and Distributed Evaluation of Very Large Stochastic Petri Nets

  Boudewijn R.H.M. Haverkort (Speaker)

  23 Jun 2003

  Activity: Talk or presentation › Oral presentation

• Dynamically Reconfiguring distributed tems with the Performability Manager

  Leonard Franken (Speaker) & Boudewijn R.H.M. Haverkort (Speaker)

  25 Mar 1993

  Activity: Talk or presentation › Oral 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 presentation › Oral presentation

• Research in Tele-Informatics and Open systems: an Overview

  Boudewijn R.H.M. Haverkort (Speaker)

  20 Mar 1992

  Activity: Talk or presentation › Oral presentation

• Performability Modelling Tools

  Boudewijn R.H.M. Haverkort (Speaker)

  20 Mar 1992

  Activity: Talk or presentation › Oral presentation

• MGMtool: A Performance Modelling Tool based on Matrix Geometric Techniques

  Boudewijn R.H.M. Haverkort (Speaker)

  8 Jul 1992

  Activity: Talk or presentation › Oral presentation

• Some Solutions to Problems with Large and Stiff Markov Reward Models: Truncation Technique

  Boudewijn R.H.M. Haverkort (Speaker)

  8 Dec 1992

  Activity: Talk or presentation › Oral presentation

• Kwantitatieve methoden binnen TIOS

  Boudewijn R.H.M. Haverkort (Speaker)

  6 Sep 1991

  Activity: Talk or presentation › Oral presentation

• Quantitative analysis and modelling

  Boudewijn R.H.M. Haverkort (Speaker)

  21 Feb 1991

  Activity: Talk or presentation › Oral presentation

• Simulation of Waiting Time Distributions in Token Systems with possible Token Losses

  Boudewijn R.H.M. Haverkort (Speaker)

  15 Jun 1990

  Activity: Talk or presentation › Oral presentation

• Quantitative Modelling and Analysis of Computer/Communication Systems

  Boudewijn R.H.M. Haverkort (Speaker)

  4 May 1990

  Activity: Talk or presentation › Oral presentation

• Performability Modelling using Dynamic Queueing Networks

  Boudewijn R.H.M. Haverkort (Speaker)

  25 Oct 1990

  Activity: Talk or presentation › Oral presentation