Analysing the Kconfig semantics and its analysis tools. - Sascha El-Sharkawy; Adam Krafczyk; Klaus Schmid (GPCE, 2015)

An Empirical Study of Configuration Mismatches in Linux. - Sascha El-Sharkawy; Adam Krafczyk; Klaus Schmid (SPLC (A), 2017)

Reverse engineering variability in an industrial product line: observations and lessons learned. - Sascha El-Sharkawy; Saura Jyoti Dhar; Adam Krafczyk; Slawomir Duszynski; Tobias Beichter; Klaus Schmid (SPLC, 2018)

Reverse engineering code dependencies: converting integer-based variability to propositional logic. - Adam Krafczyk; Sascha El-Sharkawy; Klaus Schmid (SPLC (2), 2018)

MetricHaven: more than 23, 000 metrics for measuring quality attributes of software product lines. - Sascha El-Sharkawy; Adam Krafczyk; Klaus Schmid (SPLC (B), 2019)

Fast static analyses of software product lines: an example with more than 42, 000 metrics. - Sascha El-Sharkawy; Adam Krafczyk; Klaus Schmid (VaMoS, 2020)