TU BRAUNSCHWEIG

Hauke Baller

Dr.-Ing.

Lehre

  • Compiler I - SS13 SS15
  • Compiler II - WS12/13 WS13/14
  • Compilerbau Praktikum - WS13/14 SS15
  • Grundlagen Reaktiver Systeme - WS12/13
  • Logik in der Informatik - SS16
  • Prozessalgebra - WS14/15
  • Seminar Programmierung und Reaktive Systeme - SS14
  • SummerCamp - Planspiel Automotive Design - SS15

Veröffentlichungen

2016
[MBKR16] Fault-aware Pareto Frontier Exploration for Dependable System Architectures (Lukas Märtin, Hauke Baller, Anne Koziolek, Ralf H. Reussner), In Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2016, 2016.
[LMB+16] Incremental model checking of delta-oriented software product lines (Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck), In J. Log. Algebr. Meth. Program., volume 85, 2016. [pdf] [doi]
2014
[BLL+2014] Multi-objective Test Suite Optimization for Incremental Product Family Testing (Hauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer), In Software Testing, Verification and Validation (ICST), 2014 IEEE Seventh International Conference on, 2014. [doi]
[LMB+14] DeltaCCS: A Core Calculus for Behavioral Change (Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck), Chapter in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (Tiziana Margaria, Bernhard Steffen, eds.), Springer Berlin Heidelberg, volume 8802, 2014. [pdf] [doi]
[BL2014] Towards Incremental Test Suite Optimization for Software Product Lines (Hauke Baller, Malte Lochau), In Proceedings of the 6th International Workshop on Feature-Oriented Software Development, ACM, 2014. [pdf] [doi]
2012
[KLB12] Conditioned model slicing of feature-annotated state machines (Jochen Kamischke, Malte Lochau, Hauke Baller), In Proceedings of the 4th International Workshop on Feature-Oriented Software Development, ACM, 2012. [pdf] [doi]

Betreute studentische Arbeiten

  • Daniel Hummel: Delta-orientierte Produktauswahl und Produktreihenfolge für das modellbasierte Testen von Software-Produktlinien, Masterarbeit, Betreuer: S. Lity, H. Baller
  • Philipp Offensand: Synchronisationsmechanismen in Prozesslagebren, Bachelorarbeit, Betreuer: S. Mennicke, H. Baller
  • Isabella Urbanke (TU Darmstadt): Multikriterielle Optimierung und Priorisierung von Test-Suiten für Software-Produktlinien mit genetischen Algorithmen, Studienarbeit, Betreuer: M. Lochau (TU Darmstadt), H. Baller
  • Marvin Schulze: Greedy-basierte Testsuiteoptimierung für Software-Produktlinien, Bachelorarbeit, Betreuer: H. Baller

Sonstiges

Synthetische Datensätze SPL Testsuite Optimierung

Implementierung und Datensätze für FSE 2016


  aktualisiert am 17.01.2018
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang