Michael Müller

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 6

Top Topics

Software Product Line

Modeling Language

High Availability

Top Venues

Datenbank-Spektrum

Publications

Daniel Friesel, Kathrin Elmenhorst, Lennart Kaiser, Michael Müller, Olaf Spinczyk
kconfig-webconf: retrofitting performance models onto kconfig-based software product lines. SPLC (B) (2022)
Daniel Friesel, Michael Müller, Matheus Ferraz, Olaf Spinczyk
On the relation of variability modeling languages and non-functional properties. SPLC (B) (2022)
Jan Mühlig, Michael Müller, Olaf Spinczyk, Jens Teubner
mxkernel: A Novel System Software Stack for Data Processing on Modern Hardware. Datenbank-Spektrum 20 (3) (2020)
Florian Rommel, Christian Dietrich, Daniel Friesel, Marcel Köppen, Christoph Borchert, Michael Müller, Olaf Spinczyk, Daniel Lohmann
From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes. OSDI (2020)
Michael Müller, Thomas Leich, Thilo Pionteck, Gunter Saake, Jens Teubner, Olaf Spinczyk
He..ro DB: A Concept for Parallel Data Processing on Heterogeneous Hardware. ARCS (2020)
Boguslaw Jablkowski, Michael Müller, Olaf Spinczyk
High Availability in Cyber-physical Systems by Self-determined Virtual Machine Replication. SIES (2018)