Hochschulschrift(en), die von Wirsing, Martin begutachtet wurde(n)

Yu, Ning (2016): Injecting continuous time execution into service-oriented computing. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Busch, Marianne (2016): Evaluating & engineering: an approach for the development of secure web applications. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Kroiß, Christian (2016): Simulation and statistical model-checking of logic-based multi-agent system models. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Belzner, Lenz (2016): Simulation-based autonomous systems in discrete and continuous domains. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Meier, Max (2014): Algorithmic composition of music in real-time with soft constraints. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Sampathkumaran, Partha B. (2013): Computing the cost of business processes. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Schroeder, Andreas (2011): Software engineering perspectives on physiological computing. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Zhang, Gefei (2010): Aspect-Oriented State Machines. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Mayer, Philip (2010): MDD4SOA: Model-Driven Development for Service-Oriented Architectures. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Mangold, Florian (2010): Analyse von IT-Anwendungen mittels Zeitvariation. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Rauschmayer, Axel (2010): Connected Information Management. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Hammer, Moritz (2009): How To Touch a Running System: Reconfiguration of Stateful Components. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Al Dehni, Shadi (2008): Model Transformation For Validation Of Software Design. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Barth, Michael (2008): Entwicklung und Bewertung zeitkritischer Softwaremodelle: Simulationsbasierter Ansatz und Methodik. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik