G. Schneider, M. Schuba, and B. Haverkort. Computer Performance Evaluation (Tools), volume 1469 of Lecture Notes in Computer Science, page 63-74. Springer, (1998)
F. van den Berg, B. Haverkort, and J. Hooman. ModelEd, TestEd, TrustEd, volume 10500 of Lecture Notes in Computer Science, page 214-236. Springer, (2017)
L. Arge, M. de Berg, H. Haverkort, and K. Yi. Cache-Oblivious and Cache-Aware Algorithms, volume 04301 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)
B. Haverkort, J. Katoen, and L. Thiele. Quantitative Aspects of Embedded Systems, volume 07101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
B. Haverkort, J. Katoen, and L. Thiele. Quantitative Aspects of Embedded Systems, volume 07101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)