Boudewijn R. Haverkort

• Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
• Performance of computer communication systems
• Validation of stochastic systems
• Computer Performance Evaluation. Modelling Techniques and Tools
• Performability modelling
• Quantitative Evaluation of Systems