Hauke Baller

According to our database, Hauke Baller authored at least 8 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Multikriterielle Minimierung und Priorisierung von Test-Suiten für Software-Produktlinien.

Hauke Baller

PhD thesis, 2017

2016

Incremental model checking of delta-oriented software product lines.

Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck

J. Log. Algebraic Methods Program., 2016

Fault-aware Pareto Frontier Exploration for Dependable System Architectures.

Lukas Märtin, Hauke Baller, Anne Koziolek, Ralf H. Reussner

Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

2015

Towards incremental model slicing for delta-oriented software product lines.

Sascha Lity, Hauke Baller, Ina Schaefer

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

2014

DeltaCCS: A Core Calculus for Behavioral Change.

Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Multi-objective Test Suite Optimization for Incremental Product Family Testing.

Hauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Towards incremental test suite optimization for software product lines.

Hauke Baller, Malte Lochau

Proceedings of the Sixth International Workshop on Feature-Oriented Software Development, 2014

2012

Conditioned model slicing of feature-annotated state machines.

Jochen Kamischke, Malte Lochau, Hauke Baller

Proceedings of the 4th International Workshop on Feature-Oriented Software Development, 2012