Hauke Baller

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 3

Top Topics

Software Product Line

Learning Methodologies

Mutation Testing

Top Venues

J. Log. Algebraic Methods Program.

Braunschweig University of Technology, Germany (PHD)

Education History

Braunschweig University of Technology, Germany

PHD

Publications

Lukas Märtin, Hauke Baller, Anne Koziolek, Ralf H. Reussner
Fault-aware Pareto Frontier Exploration for Dependable System Architectures. ModComp@MoDELS (2016)
Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck
Incremental model checking of delta-oriented software product lines. J. Log. Algebraic Methods Program. 85 (1) (2016)
Sascha Lity, Hauke Baller, Ina Schaefer
Towards incremental model slicing for delta-oriented software product lines. SANER (2015)
Hauke Baller, Malte Lochau
Towards incremental test suite optimization for software product lines. FOSD (2014)
Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck
DeltaCCS: A Core Calculus for Behavioral Change. ISoLA (1) (2014)
Hauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer
Multi-objective Test Suite Optimization for Incremental Product Family Testing. ICST (2014)
Jochen Kamischke, Malte Lochau, Hauke Baller
Conditioned model slicing of feature-annotated state machines. FOSD (2012)