Boudewijn R.H.M. Haverkort

1990 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1990 2018

Book editing

The International Conference on Dependable Systems and Networks 2005

Bondavelli, A., Haverkort, B. R. H. M. & Tang, D. 2005 Los Alamitos, California: IEEE Computer Society.

Research output: Book/ReportBook editing


QEST 2004: First International Conference on the Quantitative Evaluation of Systems: Proceedings

Haverkort, B. R. H. M., Franceschinis, G., Katoen, J. P. & Woodside, M. 2004 Los Alamitos, CA, USA: IEEE Computer Society. 360 p.

Research output: Book/ReportBook editing

Validation of stochastic systems

Baier, C., Haverkort, B. R. H. M., Hermanns, H., Katoen, J. P. & Siegle, M. 2004 Berlin: Springer. 467 p. (Lecture notes in computer science; no. 2925)

Research output: Book/ReportBook editing


Computer Performance Evaluation: Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings

Haverkort, B. R. H. M. (ed.), Bohnenkamp, H. C. (ed.) & Smith, C. U. (ed.) Mar 2000 Springer Verlag. 384 p. (Lecture Notes in Computer Science; vol. 1786)

Research output: Book/ReportBook editing