S. Spinner. Karlsruhe Institute of Technology (KIT), Am Fasanengarten 5, 76131 Karlsruhe, Germany, (July 2011)Best Graduate Award from the Faculty of Informatics.
R. Nou, S. Kounev, and J. Torres. Formal Methods and Stochastic Models for Performance Evaluation, Proceedings of the 4th European Performance Engineering Workshop (EPEW 2007), Berlin, Germany, September 27-28, 2007, 4748, page 125--140. Heidelberg, Germany, Springer, (September 2007)