Activities per year
Activities
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
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
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
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
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
Survivability
L. Cloth (Speaker), B.R.H.M. Haverkort (Contributor)25 Jan 2005
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
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
Quantitative analysis and modelling
Boudewijn R.H.M. Haverkort (Speaker)21 Feb 1991
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
Performability Modelling using Dynamic Queueing Networks
Boudewijn R.H.M. Haverkort (Speaker)25 Oct 1990
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