An overview on analysis tools for software product lines. - Jens Meinicke; Thomas Thüm; Reimar Schröter; Fabian Benduhn; Gunter Saake (SPLC Workshops, 2014)

Potential synergies of theorem proving and model checking for software product lines. - Thomas Thüm; Jens Meinicke; Fabian Benduhn; Martin Hentschel 002; Alexander von Rhein; Gunter Saake (SPLC, 2014)

FeatureIDE: An extensible framework for feature-oriented software development. - Thomas Thüm; Christian Kästner; Fabian Benduhn; Jens Meinicke; Gunter Saake; Thomas Leich (Sci. Comput. Program., 2014)

A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines. - Fabian Benduhn; Thomas Thüm; Malte Lochau; Thomas Leich; Gunter Saake (VaMoS, 2015)

FeatureIDE: taming the preprocessor wilderness. - Jens Meinicke; Thomas Thüm; Reimar Schröter; Sebastian Krieter; Fabian Benduhn; Gunter Saake; Thomas Leich (ICSE (Companion Volume), 2016)

Feature-model interfaces: the highway to compositional analyses of highly-configurable systems. - Reimar Schröter; Sebastian Krieter; Thomas Thüm; Fabian Benduhn; Gunter Saake (ICSE, 2016)

Mutation Operators for Preprocessor-Based Variability. - Mustafa Al-Hajjaji; Fabian Benduhn; Thomas Thüm; Thomas Leich; Gunter Saake (VaMoS, 2016)

Mastering Software Variability with FeatureIDE - Jens Meinicke; Thomas Thüm; Reimar Schröter; Fabian Benduhn; Thomas Leich; Gunter Saake (Springer, 2017)

Modularization of Refinement Steps for Agile Formal Methods. - Fabian Benduhn; Thomas Thüm; Ina Schaefer; Gunter Saake (ICFEM, 2017)

Efficient Mutation Testing in Configurable Systems. - Mustafa Al-Hajjaji; Jacob Krüger; Fabian Benduhn; Thomas Leich; Gunter Saake (VACE@ICSE, 2017)

Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces. - Reimar Schröter; Sebastian Krieter; Thomas Thüm; Fabian Benduhn; Gunter Saake (Software Engineering, 2017)

Composing annotations without regret? Practical experiences using FeatureC. - Jacob Krüger; Marcus Pinnecke; Andy Kenner; Christopher Kruczek; Fabian Benduhn; Thomas Leich; Gunter Saake (Softw. Pract. Exp., 2018)