BibTeX records: Hauke Baller

• > Home > Persons > Hauke Baller

@phdthesis{DBLP:phd/dnb/Baller17,
  author       = {Hauke Baller},
  title        = {Multikriterielle Minimierung und Priorisierung von Test-Suiten f{\"{u}}r
                  Software-Produktlinien},
  school       = {Braunschweig University of Technology, Germany},
  year         = {2017},
  url          = {http://www.dr.hut-verlag.de/978-3-8439-3285-1.html},
  urn          = {urn:nbn:de:101:1-2017100618028},
  isbn         = {978-3-8439-3285-1},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Baller17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/LochauMBR16,
  author       = {Malte Lochau and
                  Stephan Mennicke and
                  Hauke Baller and
                  Lars Ribbeck},
  title        = {Incremental model checking of delta-oriented software product lines},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {85},
  number       = {1},
  pages        = {245--267},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jlamp.2015.09.004},
  doi          = {10.1016/J.JLAMP.2015.09.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/LochauMBR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/MartinBKR16,
  author       = {Lukas M{\"{a}}rtin and
                  Hauke Baller and
                  Anne Koziolek and
                  Ralf H. Reussner},
  editor       = {Federico Ciccozzi and
                  Ivano Malavolta},
  title        = {Fault-aware Pareto Frontier Exploration for Dependable System Architectures},
  booktitle    = {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), Saint-Malo, France, October 2nd, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1723},
  pages        = {25--30},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1723/4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/models/MartinBKR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcre/LityBS15,
  author       = {Sascha Lity and
                  Hauke Baller and
                  Ina Schaefer},
  editor       = {Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
                  Bram Adams and
                  Alexander Serebrenik},
  title        = {Towards incremental model slicing for delta-oriented software product
                  lines},
  booktitle    = {22nd {IEEE} International Conference on Software Analysis, Evolution,
                  and Reengineering, {SANER} 2015, Montreal, QC, Canada, March 2-6,
                  2015},
  pages        = {530--534},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/SANER.2015.7081871},
  doi          = {10.1109/SANER.2015.7081871},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/LityBS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gpce/BallerL14,
  author       = {Hauke Baller and
                  Malte Lochau},
  editor       = {Thorsten Berger and
                  M{\'{a}}rcio Ribeiro},
  title        = {Towards incremental test suite optimization for software product lines},
  booktitle    = {Sixth International Workshop on Feature-Oriented Software Development,
                  {FOSD} '14, V{\"{a}}ster{\aa}s, Sweden, September 14, 2014},
  pages        = {30--36},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2660190.2662115},
  doi          = {10.1145/2660190.2662115},
  timestamp    = {Wed, 23 Feb 2022 11:06:29 +0100},
  biburl       = {https://dblp.org/rec/conf/gpce/BallerL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/BallerLLS14,
  author       = {Hauke Baller and
                  Sascha Lity and
                  Malte Lochau and
                  Ina Schaefer},
  title        = {Multi-objective Test Suite Optimization for Incremental Product Family
                  Testing},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {303--312},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.43},
  doi          = {10.1109/ICST.2014.43},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BallerLLS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/LochauMBR14,
  author       = {Malte Lochau and
                  Stephan Mennicke and
                  Hauke Baller and
                  Lars Ribbeck},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {DeltaCCS: {A} Core Calculus for Behavioral Change},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Technologies for Mastering Change - 6th International Symposium, ISoLA
                  2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8802},
  pages        = {320--335},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45234-9\_23},
  doi          = {10.1007/978-3-662-45234-9\_23},
  timestamp    = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/LochauMBR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gpce/KamischkeLB12,
  author       = {Jochen Kamischke and
                  Malte Lochau and
                  Hauke Baller},
  editor       = {Ina Schaefer and
                  Thomas Th{\"{u}}m},
  title        = {Conditioned model slicing of feature-annotated state machines},
  booktitle    = {4th International Workshop on Feature-Oriented Software Development,
                  {FOSD} '12, Dresden, Germany - September 24 - 25, 2012},
  pages        = {9--16},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2377816.2377818},
  doi          = {10.1145/2377816.2377818},
  timestamp    = {Wed, 23 Feb 2022 11:06:29 +0100},
  biburl       = {https://dblp.org/rec/conf/gpce/KamischkeLB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}