Conditioned model slicing of feature-annotated state machines. - Jochen Kamischke; Malte Lochau; Hauke Baller (FOSD, 2012)

Towards incremental test suite optimization for software product lines. - Hauke Baller; Malte Lochau (FOSD, 2014)

Multi-objective Test Suite Optimization for Incremental Product Family Testing. - Hauke Baller; Sascha Lity; Malte Lochau; Ina Schaefer (ICST, 2014)

DeltaCCS: A Core Calculus for Behavioral Change. - Malte Lochau; Stephan Mennicke; Hauke Baller; Lars Ribbeck (ISoLA (1), 2014)

Towards incremental model slicing for delta-oriented software product lines. - Sascha Lity; Hauke Baller; Ina Schaefer (SANER, 2015)

Fault-aware Pareto Frontier Exploration for Dependable System Architectures. - Lukas Märtin; Hauke Baller; Anne Koziolek; Ralf H. Reussner (ModComp@MoDELS, 2016)

Incremental model checking of delta-oriented software product lines. - Malte Lochau; Stephan Mennicke; Hauke Baller; Lars Ribbeck (J. Log. Algebraic Methods Program., 2016)

Multikriterielle Minimierung und Priorisierung von Test-Suiten für Software-Produktlinien. - Hauke Baller (Dr. Hut, 2017)