Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability. - Reinhard Tartler; Anil Kurmus; Bernhard Heinloth; Valentin Rothberg; Andreas Ruprecht; Daniela Dorneanu; Rüdiger Kapitza; Wolfgang Schröder-Preikschat; Daniel Lohmann (HotDep, 2012)

Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring. - Anil Kurmus; Reinhard Tartler; Daniela Dorneanu; Bernhard Heinloth; Valentin Rothberg; Andreas Ruprecht; Wolfgang Schröder-Preikschat; Daniel Lohmann; Rüdiger Kapitza (NDSS, 2013)

Towards scalable configuration testing in variable software. - Valentin Rothberg; Christian Dietrich 001; Andreas Ziegler 002; Daniel Lohmann (GPCE, 2016)

Function Multiverses for Dynamic Variability. - Valentin Rothberg; Christian Dietrich 001; Alexander Graf; Daniel Lohmann (FAS*W@SASO/ICCAC, 2016)

Feature Models in Linux: From Symbols to Semantics. - Valentin Rothberg; Nicolas Dintzner; Andreas Ziegler 002; Daniel Lohmann (VaMoS, 2016)

Analyzing the Impact of Feature Changes in Linux. - Andreas Ziegler 002; Valentin Rothberg; Daniel Lohmann (VaMoS, 2016)

cHash: Detection of Redundant Compilations via AST Hashing. - Christian Dietrich 001; Valentin Rothberg; Ludwig Füracker; Andreas Ziegler 002; Daniel Lohmann (USENIX ATC, 2017)