Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems. - Kathrin Danielle Scheidemann (SPLC, 2006)

Modeling and Model Checking Software Product Lines. - Alexander Gruler; Martin Leucker; Kathrin Danielle Scheidemann (FMOODS, 2008)

Calculating and Modeling Common Parts of Software Product Lines. - Alexander Gruler; Martin Leucker; Kathrin Danielle Scheidemann (SPLC, 2008)

Verifying families of system configurations. - Kathrin Danielle Scheidemann (2008)