High Availability in Cyber-physical Systems by Self-determined Virtual Machine Replication. - Boguslaw Jablkowski; Michael Müller 009; Olaf Spinczyk (SIES, 2018)

He..ro DB: A Concept for Parallel Data Processing on Heterogeneous Hardware. - Michael Müller 009; Thomas Leich; Thilo Pionteck; Gunter Saake; Jens Teubner; Olaf Spinczyk (ARCS, 2020)

From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes. - Florian Rommel; Christian Dietrich 001; Birte Friesel; Marcel Köppen; Christoph Borchert; Michael Müller 009; Olaf Spinczyk; Daniel Lohmann (OSDI, 2020)

mxkernel: A Novel System Software Stack for Data Processing on Modern Hardware. - Jan Mühlig; Michael Müller 009; Olaf Spinczyk; Jens Teubner (Datenbank-Spektrum, 2020)

On the relation of variability modeling languages and non-functional properties. - Birte Friesel; Michael Müller 009; Matheus F. Ferraz; Olaf Spinczyk (SPLC (B), 2022)

kconfig-webconf: retrofitting performance models onto kconfig-based software product lines. - Birte Friesel; Kathrin Elmenhorst; Lennart Kaiser; Michael Müller 009; Olaf Spinczyk (SPLC (B), 2022)