Activities per year
- 22 results
Search results
-
Designing Cyber-Physical Systems (CPSs) with aDSL: a Domain Specific Language and Toolchain
van den Berg, F. (Speaker), Tekinerdogan, B. (Contributor), Garousi, V. (Contributor) & Haverkort, B. R. (Contributor)
19 Mar 2018Activity: Talk or presentation › Oral presentation
-
Automated Performance Evaluation of Service-Oriented Systems
van den Berg, F. G. B. (Speaker), Haverkort, B. R. H. M. (Contributor) & Hooman, J. (Contributor)
26 Sept 2017Activity: Talk or presentation › Oral presentation
-
Slachtoffer-dader bemiddeling na strafbare feiten: onderzoek en innovatie
Zebel, S. (Speaker), van den Berg, L. I. S. A. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. H. M. (Speaker) & Giebels, E. (Speaker)
4 Oct 2016Activity: Talk or presentation › Oral presentation
-
Design and implementation of digital communication systems for victim-offender mediation
van den Berg, L. I. S. A. (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. H. M. (Speaker) & Giebels, E. (Speaker)
31 Aug 2016Activity: Talk or presentation › Oral presentation
-
Design and implementatie van digitale communicatie systemen in slachtoffer-daderbemiddeling
van den Berg, L. I. S. A. (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. H. M. (Speaker) & Giebels, E. (Speaker)
16 Dec 2016Activity: Talk or presentation › Invited talk
-
ICT redefines High-Tech Systems
Haverkort, B. R. H. M. (Speaker)
18 Jun 2012Activity: Talk or presentation › Oral presentation
-
Model Checking Algorithms for Infinite-State Markov Chains
Remke, A. (Speaker), Haverkort, B. (Contributor) & Cloth, L. (Contributor)
25 Jan 2005Activity: Talk or presentation › Oral presentation
-
Survivability
Cloth, L. (Speaker) & Haverkort, B. R. H. M. (Contributor)
25 Jan 2005Activity: Talk or presentation › Oral presentation
-
Power-aware queueing networks
Haverkort, B. R. H. M. (Speaker)
25 Jan 2005Activity: Talk or presentation › Oral presentation
-
Sequential and Distributed Evaluation of Very Large Stochastic Petri Nets
Haverkort, B. R. H. M. (Speaker)
23 Jun 2003Activity: Talk or presentation › Oral presentation
-
Performance Engineering of WWW Proxy Servers
Haverkort, B. R. H. M. (Speaker)
13 Mar 2003Activity: Talk or presentation › Oral presentation
-
A Unified Performability Evaluation Framework for Computer and communication systems
van Moorsel, A. P. A. (Speaker) & Haverkort, B. R. H. M. (Speaker)
25 Mar 1993Activity: Talk or presentation › Oral presentation
-
Dynamically Reconfiguring distributed tems with the Performability Manager
Franken, L. (Speaker) & Haverkort, B. R. H. M. (Speaker)
25 Mar 1993Activity: Talk or presentation › Oral presentation
-
MGMtool: A Performance Modelling Tool based on Matrix Geometric Techniques
Haverkort, B. R. H. M. (Speaker)
8 Jul 1992Activity: Talk or presentation › Oral presentation
-
Research in Tele-Informatics and Open systems: an Overview
Haverkort, B. R. H. M. (Speaker)
20 Mar 1992Activity: Talk or presentation › Oral presentation
-
Some Solutions to Problems with Large and Stiff Markov Reward Models: Truncation Technique
Haverkort, B. R. H. M. (Speaker)
8 Dec 1992Activity: Talk or presentation › Oral presentation
-
Performability Modelling Tools
Haverkort, B. R. H. M. (Speaker)
20 Mar 1992Activity: Talk or presentation › Oral presentation
-
Kwantitatieve methoden binnen TIOS
Haverkort, B. R. H. M. (Speaker)
6 Sept 1991Activity: Talk or presentation › Oral presentation
-
Quantitative analysis and modelling
Haverkort, B. R. H. M. (Speaker)
21 Feb 1991Activity: Talk or presentation › Oral presentation
-
Quantitative Modelling and Analysis of Computer/Communication Systems
Haverkort, B. R. H. M. (Speaker)
4 May 1990Activity: Talk or presentation › Oral presentation
-
Simulation of Waiting Time Distributions in Token Systems with possible Token Losses
Haverkort, B. R. H. M. (Speaker)
15 Jun 1990Activity: Talk or presentation › Oral presentation
-
Performability Modelling using Dynamic Queueing Networks
Haverkort, B. R. H. M. (Speaker)
25 Oct 1990Activity: Talk or presentation › Oral presentation