Variability Management in Operating Systems (VAMOS)

Third party funded individual grant


Acronym: VAMOS

Start date : 01.10.2008

End date : 31.10.2011

close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability (2012) Tartler R, Kurmus A, Heinloth B, Rothberg V, Ruprecht A, Dorneanu D, Kapitza R, et al. Conference contribution, Conference Contribution A Robust Approach for Variability Extraction from the Linux Build System (2012) Dietrich C, Tartler R, Schröder-Preikschat W, Lohmann D Conference contribution Configuration coverage in the analysis of large-scale system software (2012) Tartler R, Lohmann D, Dietrich C, Egger C, Sincero J Journal article