Activities per year
Activities
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 2018Activity: 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 2017Activity: 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 2016Activity: 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 2016Activity: 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 2016Activity: Talk or presentation › Oral presentation
-
ICT redefines High-Tech Systems
Boudewijn R.H.M. Haverkort (Speaker)
18 Jun 2012Activity: Talk or presentation › Oral presentation
-
Power-aware queueing networks
Boudewijn R.H.M. Haverkort (Speaker)
25 Jan 2005Activity: Talk or presentation › Oral presentation
-
Survivability
L. Cloth (Speaker) & B.R.H.M. Haverkort (Contributor)
25 Jan 2005Activity: Talk or presentation › Oral presentation
-
Model Checking Algorithms for Infinite-State Markov Chains
Anne Remke (Speaker), Boudewijn Haverkort (Contributor) & L. Cloth (Contributor)
25 Jan 2005Activity: Talk or presentation › Oral presentation
-
Sequential and Distributed Evaluation of Very Large Stochastic Petri Nets
Boudewijn R.H.M. Haverkort (Speaker)
23 Jun 2003Activity: Talk or presentation › Oral presentation
-
Performance Engineering of WWW Proxy Servers
Boudewijn R.H.M. Haverkort (Speaker)
13 Mar 2003Activity: Talk or presentation › Oral presentation
-
Dynamically Reconfiguring distributed tems with the Performability Manager
Leonard Franken (Speaker) & Boudewijn R.H.M. Haverkort (Speaker)
25 Mar 1993Activity: 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 1993Activity: Talk or presentation › Oral presentation
-
MGMtool: A Performance Modelling Tool based on Matrix Geometric Techniques
Boudewijn R.H.M. Haverkort (Speaker)
8 Jul 1992Activity: 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 1992Activity: Talk or presentation › Oral presentation
-
Quantitative analysis and modelling
Boudewijn R.H.M. Haverkort (Speaker)
21 Feb 1991Activity: Talk or presentation › Oral presentation
-
Kwantitatieve methoden binnen TIOS
Boudewijn R.H.M. Haverkort (Speaker)
6 Sep 1991Activity: Talk or presentation › Oral presentation
-
Quantitative Modelling and Analysis of Computer/Communication Systems
Boudewijn R.H.M. Haverkort (Speaker)
4 May 1990Activity: 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 1990Activity: Talk or presentation › Oral presentation
-
Performability Modelling using Dynamic Queueing Networks
Boudewijn R.H.M. Haverkort (Speaker)
25 Oct 1990Activity: Talk or presentation › Oral presentation