L. Froihofer:
"Middleware Support for Adaptive Dependability through Explicit Runtime Integrity Constraints";
Supervisor, Reviewer: M. Jazayeri, C. Ghezzi, K. Göschka; Institut für Informationssysteme, AB Verteilte Systeme, 2007; oral examination: 2007-10-30.