Boudewijn Remigius Heinrich Maria Haverkort

prof.dr.ir.

1990 …2019

Research output per year

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

Research Output

Filter
Book 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. 384 p. (Lecture Notes in Computer Science; vol. 1786)

Research output: Book/ReportBook editingAcademic

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 editingAcademic

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 editingAcademic

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 editingAcademic