Thesis/Theses examined by Hennicker, Rolf

Klarl, Annabelle (2016): Helena: Handling massively distributed systems with ELaborate ENsemble Architectures. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Bauer, Sebastian (2012): Modal specification theories for component-based design. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Janisch, Stephan (2010): Behaviour and Refinement of Port-Based Components with Synchronous and Asynchronous Communication. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Kraus, Andreas (2007): Model Driven Software Engineering for Web Applications. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics