A. Hartmann: "Eine Methode der effizienten und verifizierbaren Programmannotation für den Transport von Escape-Informationen"; Supervisor, Reviewer: J. Knoop; Friedrich-Schiller-Universität Jena, Deutschland, 2006; oral examination: 2006-07.