Tobias Mühlbauer

Peer-Reviewed

T. Mühlbauer, W. Rödiger, A. Reiser, A. Kemper, T. Neumann (2013). ScyPer: A Hybrid OLTP&OLAP Distributed Main Memory Database System for Scalable Real-Time Analytics.GI-Fachtagung Datenbanksysteme für Business, Technologie und Web (BTW 2013).

M. Steinkamp, T. Mühlbauer (2013). HyDash: A Dashboard for Real-Time Business Intelligence based on the HyPer Main Memory Database System.GI-Fachtagung Datenbanksysteme für Business, Technologie und Web (BTW 2013).

J. Eckhardt, T. Mühlbauer, J. Meseguer, M. Wirsing (2012). Statistical Model-Checking for Composite Actor Systems.International Workshop on Algebraic Development Techniques (WADT 2012).
Abstract

J. Eckhardt, T. Mühlbauer, M. AlTurki, J. Meseguer, M. Wirsing (2012). Stable Availability under Denial of Service Attacks through Formal Patterns.International Conference on Fundamental Approaches to Software Engineering (FASE 2012), volume 7212 of Lecture Notes in Computer Science. Springer, 2012.
Download

J. Eckhardt, T. Mühlbauer (2012). Enhancing Safety and Security of Distributed Systems through Formal Patterns.Engineering Secure Software and Systems Doctoral Symposium (ESSoS-DS 2012), volume 834 of CEUR. 2012.
Download

Invited

M. Wirsing, J. Eckhardt, T. Mühlbauer, J. Meseguer, (2012). Design and Analysis of Cloud-Based Architectures with KLAIM and Maude.International Workshop on Rewriting Logic and its Applications (WRLA 2012), volume 7571 of Lecture Notes in Computer Science. Springer, 2012.
Download

Theses

T. Mühlbauer (2011). Formal Specification and Analysis of Cloud Computing Management.Master’s Thesis
Download

T. Mühlbauer (2009). Data Feeding Strategies in Distributed e-Science Grids.Bachelor’s Thesis

Technical Reports

J. Eckhardt, T. Mühlbauer, J. Meseguer (2011). Automatic Generation of CINNI Instances for the Maude System.Download