Sebastian Krieter

Sebastian Krieter is a postdoctoral researcher at the SoftVarE working group at the SP institute. He (co)authored more than 40 peer-reviewed publications and is part of the development team of the open-source project FeatureIDE.

Research interests:

  • Variability modeling and analysis
  • Configuration management
  • Software product line testing

 

Materials

  Filename Info Modified
thesis_topics_22-06-29.pdf thesis_topics_22-06-29.pdf 1 MB 04.07.2022 16:19

Publications

2021

24.
Pett, Tobias; Krieter, Sebastian; Thüm, Thomas; Lochau, Malte; Schaefer, Ina
AutoSMP: An Evaluation Platform for Sampling Algorithms
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 41-44
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461002.3473073
ISBN:9781450384704
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2021/2021-SPLC-Pett.pdf
23.
Sundermann, Chico; Heß, Tobias; Engelhardt, Dominik; Arens, Rahel; Herschel, Johannes; Jedelhauser, Kevin; Jutz, Benedikt; Krieter, Sebastian; Schaefer, Ina
Integration of UVL in FeatureIDE
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Page 73-79
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461002.3473940
ISBN:9781450384704
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2021/2021-MODEVAR-Sundermann.pdf
22.
Krieter, Sebastian; Arens, Rahel; Nieke, Michael; Sundermann, Chico; Heß, Tobias; Thüm, Thomas; Seidl, Christoph
Incremental Construction of Modal Implication Graphs for Evolving Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 64-74
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3471148
ISBN:9781450384698
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2021/2021-SPLC-Krieter.pdf
21.
Pett, Tobias; Krieter, Sebastian; Runge, Tobias; Thüm, Thomas; Lochau, Malte; Schaefer, Ina
Stability of Product-Line Sampling in Continuous Integration
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2021
DOI:10.1145/3442391.3442410
ISBN:9781450388245
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2021/2021-VaMoS-Pett.pdf

2020

20.
Sprey, Joshua; Sundermann, Chico; Krieter, Sebastian; Nieke, Michael; Mauro, Jacopo; Thüm, Thomas; Schaefer, Ina
SMT-Based Variability Analyses in FeatureIDE
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2020
DOI:10.1145/3377024.3377036
ISBN:9781450375016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-VaMoS-Sprey.pdf
19.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Saake, Gunter; Leich, Thomas
YASA: Yet Another Sampling Algorithm
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2020
DOI:10.1145/3377024.3377042
ISBN:9781450375016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-VaMoS-Krieter.pdf
18.
Knüppel, Alexander; Krüger, Stefan; Thüm, Thomas; Bubel, Richard; Krieter, Sebastian; Bodden, Eric; Schaefer, Ina
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
Page 122-148
Publisher: Springer, Cham, Switzerland
2020
122-148
DOI:10.1007/978-3-030-64354-6_5
ISBN:978-3-030-64354-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-Knueppel.pdf

2019

17.
Pett, Tobias; Thüm, Thomas; Runge, Tobias; Krieter, Sebastian; Lochau, Malte; Schaefer, Ina
Product Sampling for Product Lines: The Scalability Challenge
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 78-83
Publisher: ACM, New York, NY, USA
September 2019
DOI:10.1145/3336294.3336322
ISBN:9781450371384
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2019/2019-SPLC-Pett.pdf
16.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Schröter, Reimar; Saake, Gunter
Propagating Configuration Decisions with Modal Implication Graphs (Extended Abstract)
Proc. Software Engineering (SE), Page 77-78
Publisher: Gesellschaft für Informatik
February 2019
DOI:10.18420/se2019-20
ISBN:978-3-88579-686-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2019/2019-SE-Krieter.pdf

2018

15.
Thüm, Thomas; Krieter, Sebastian; Schaefer, Ina
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators
Proc. Configuration Workshop (ConfWS), Page 1-8
Publisher: RWTH Aachen University, Aachen, Germany
September 2018
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2018/2018-CONFWS-Thuem.pdf
14.
Thüm, Thomas; Krieter, Sebastian; Leich, Thomas
Clean Your Variable Code with FeatureIDE (Second Edition)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 299-299
Publisher: ACM, New York, NY, USA
September 2018
DOI:10.1145/3233027.3233053
ISBN:978-1-4503-6464-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2018/2018-SPLC-Thuem.pdf
13.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Schröter, Reimar; Saake, Gunter
Propagating Configuration Decisions with Modal Implication Graphs
Proc. Int'l Conf. on Software Engineering (ICSE), Page 898-909
Publisher: ACM, New York, NY, USA
May 2018
DOI:10.1145/3180155.3180159
ISBN:978-1-4503-5638-1
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2018/2018-ICSE-Krieter.pdf
12.
Thüm, Thomas; Krieter, Sebastian; Leich, Thomas
Feature Modeling and Development with FeatureIDE
Proc. Modellierung, Page 297-298
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2018
ISBN:978-3-88579-674-9
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2018/2018-Modellierung-Thuem.pdf

2017

11.
Krieter, Sebastian; Pinnecke, Marcus; Krüger, Jacob; Sprey, Joshua; Sontag, Christopher; Thüm, Thomas; Leich, Thomas; Saake, Gunter
FeatureIDE: Empowering Third-Party Developers
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 42-45
Publisher: ACM, New York, NY, USA
September 2017
DOI:10.1145/3109729.3109751
ISBN:978-1-4503-5119-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2017/2017-SPLC-Krieter.pdf
10.
Schröter, Reimar; Krieter, Sebastian; Thüm, Thomas; Benduhn, Fabian; Saake, Gunter
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces
Proc. Software Engineering (SE), Page 129-130
Publisher: Gesellschaft für Informatik
February 2017
ISBN:978-3-88579-661-9
File:https://dl.gi.de/20.500.12116/1306

2016

9.
Al-Hajjaji, Mustafa; Krieter, Sebastian; Thüm, Thomas; Lochau, Malte; Saake, Gunter
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 144-155
Publisher: ACM, New York, NY, USA
October 2016
DOI:10.1145/2993236.2993253
ISBN:978-1-4503-4446-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2016/2016-GPCE-Al-Hajjaji.pdf
8.
Al-Hajjaji, Mustafa; Meinicke, Jens; Krieter, Sebastian; Schröter, Reimar; Thüm, Thomas; Leich, Thomas; Saake, Gunter
Tool Demo: Testing Configurable Systems with FeatureIDE
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 173-177
Publisher: ACM, New York, NY, USA
October 2016
DOI:10.1145/2993236.2993254
ISBN:978-1-4503-4446-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2016/2016-GPCE-Al-Hajjaji-Demo.pdf
7.
Thüm, Thomas; Leich, Thomas; Krieter, Sebastian
Clean Your Variable Code with FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 308-308
Publisher: ACM, New York, NY, USA
September 2016
DOI:10.1145/2934466.2956655
ISBN:978-1-4503-4050-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2016/2016-SPLC-Thuem-Tutorial.pdf
6.
Krieter, Sebastian; Schröter, Reimar; Thüm, Thomas; Fenske, Wolfram; Saake, Gunter
Comparing Algorithms for Efficient Feature-Model Slicing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 60-64
Publisher: ACM, New York, NY, USA
September 2016
DOI:10.1145/2934466.2934477
ISBN:978-1-4503-4050-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2016/2016-SPLC-Krieter.pdf
5.
Schröter, Reimar; Krieter, Sebastian; Thüm, Thomas; Benduhn, Fabian; Saake, Gunter
Feature-Model Interfaces: The Highway to Compositional Analyses of Highly-Configurable Systems
Proc. Int'l Conf. on Software Engineering (ICSE), Page 667-678
Publisher: ACM, New York, NY, USA
May 2016
DOI:10.1145/2884781.2884823
ISBN:978-1-4503-3900-1
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2016/2016-ICSE-Schroeter.pdf
4.
Meinicke, Jens; Thüm, Thomas; Schröter, Reimar; Krieter, Sebastian; Benduhn, Fabian; Saake, Gunter; Leich, Thomas
FeatureIDE: Taming the Preprocessor Wilderness
Proc. Int'l Conf. on Software Engineering (ICSE), Page 629-632
Publisher: ACM, New York, NY, USA
May 2016
DOI:10.1145/2889160.2889175
ISBN:978-1-4503-4205-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2016/2016-ICSE-Meinicke.pdf
3.
Krieter, Sebastian; Schröter, Reimar; Thüm, Thomas; Saake, Gunter
An Efficient Algorithm for Feature-Model Slicing
Germany
Technical Report FIN-001-2016
April 2016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2016/2016-TR-Krieter.pdf

2015

2.
Krieter, Sebastian
Efficient Configuration of Large-Scale Feature Models Using Extended Implication Graphs
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
October 2015
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisKrieter15.pdf
1.
Schröter, Reimar; Krieter, Sebastian; Thüm, Thomas; Benduhn, Fabian; Saake, Gunter
Feature-Model Interfaces for Compositional Analyses
Germany
Technical Report FIN-001-2015
May 2015
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2015/2015-TR-Schroeter.pdf