Klarl, Annabelle (2016): Helena: Handling massively distributed systems with ELaborate ENsemble Architectures. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
Bauer, Sebastian (2012): Modal specification theories for component-based design. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
Janisch, Stephan (2010): Behaviour and Refinement of Port-Based Components with Synchronous and Asynchronous Communication. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
Kraus, Andreas (2007): Model Driven Software Engineering for Web Applications. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik