Number of items: **14**.

Yu, Ning (2016): Injecting continuous time execution into service-oriented computing. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Busch, Marianne (2016): Evaluating & engineering: an approach for the development of secure web applications. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Kroiß, Christian (2016): Simulation and statistical model-checking of logic-based multi-agent system models. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Belzner, Lenz (2016): Simulation-based autonomous systems in discrete and continuous domains. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Meier, Max (2014): Algorithmic composition of music in real-time with soft constraints. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Sampathkumaran, Partha B. (2013): Computing the cost of business processes. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Schroeder, Andreas (2011): Software engineering perspectives on physiological computing. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Zhang, Gefei (2010): Aspect-Oriented State Machines. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Mayer, Philip (2010): MDD4SOA: Model-Driven Development for Service-Oriented Architectures. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Mangold, Florian (2010): Analyse von IT-Anwendungen mittels Zeitvariation. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Rauschmayer, Axel (2010): Connected Information Management. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Hammer, Moritz (2009): How To Touch a Running System: Reconfiguration of Stateful Components. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Al Dehni, Shadi (2008): Model Transformation For Validation Of Software Design. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Barth, Michael (2008): Entwicklung und Bewertung zeitkritischer Softwaremodelle: Simulationsbasierter Ansatz und Methodik. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics