M. Züfle. University of Würzburg, Am Hubland, Informatikgebäude, 97074 Würzburg, Germany, Master Thesis, (Oktober 2017)<b>Würzburg Software Engineering Award sponsored by infosim</b>.
S. Spinner. Karlsruhe Institute of Technology (KIT), Am Fasanengarten 5, 76131 Karlsruhe, Germany, (Juli 2011)Best Graduate Award from the Faculty of Informatics.