Institute of Software Engineering and Programming Languages

Dr.-Ing. 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_23-07-19.pdf thesis_topics_23-07-19.pdf 1 MB 19.07.2023 09:40
thesis_topics_23-02-01.pdf thesis_topics_23-02-01.pdf 1 MB 01.02.2023 15:09
thesis_topics_22-06-29.pdf thesis_topics_22-06-29.pdf 1 MB 04.07.2022 16:19

Publications

2023

53.
Bittner, Paul Maximilian; Schultheiß, Alexander; Greiner, Sandra; Moosherr, Benjamin; Krieter, Sebastian; Tinnes, Christof; Kehrer, Timo; Thüm, Thomas
Views on Edits to Variational Software
Proc. Int'l Systems and Software Product Line Conf. (SPLC) (To Appear)
Publisher: ACM, New York, NY, USA
August 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Bittner.pdf
52.
Krieter, Sebastian; Krüger, Jacob; Leich, Thomas; Saake, Gunter
VariantInc: Automatically Pruning and Integrating Versioned Software Variants
Proc. Int'l Systems and Software Product Line Conf. (SPLC) (To Appear)
Publisher: ACM, New York, NY, USA
August 2023
51.
Kuiter, Elias; Krieter, Sebastian; Sundermann, Chico; Thüm, Thomas; Saake, Gunter
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses - Summary
Proc. Software Engineering (SE), Page 83-84
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Kuiter-Tseitin.pdf
50.
Kuiter, Elias; Krieter, Sebastian; Krüger, Jacob; Saake, Gunter; Leich, Thomas
variED: An Editor for Collaborative, Real-Time Feature Modeling - Summary
Proc. Software Engineering (SE), Page 85-86
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Kuiter-variED.pdf

2022

49.
Hentze, Marc; Pett, Tobias; Sundermann, Chico; Krieter, Sebastian; Thüm, Thomas; Schaefer, Ina
Generic Solution-Space Sampling for Multi-Domain Product Lines
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE)
Publisher: ACM, New York, NY, USA
December 2022
DOI:10.1145/3564719.3568695
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-GPCE-Hentze.pdf
48.
Kuiter, Elias; Krieter, Sebastian; Sundermann, Chico; Thüm, Thomas; Saake, Gunter
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Proc. Int'l Conf. on Automated Software Engineering (ASE), Page 110:1-110:13
Publisher: ACM, New York, NY, USA
October 2022
DOI:10.1145/3551349.3556938
ISBN:9781450394758
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ASE-Kuiter.pdf
47.
Linsbauer, Lukas; Westphal, Paul; Bittner, Paul Maximilian; Krieter, Sebastian; Thüm, Thomas; Schaefer, Ina
Derivation of Subset Product Lines in FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 38-41
Publisher: ACM, New York, NY, USA
September 2022
DOI:10.1145/3503229.3547033
ISBN:9781450392068
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Linsbauer.pdf
46.
Sundermann, Chico; Feichtinger, Kevin; Galindo, Jose A.; Benavides, David; Rabiser, Rick; Krieter, Sebastian; Thüm, Thomas
Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 260:1
Publisher: ACM, New York, NY, USA
September 2022
DOI:10.1145/3546932.3547024
ISBN:9781450394437
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Sundermann.pdf
45.
Krieter, Sebastian
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Magdeburg, Germany
June 2022
DOI:10.25673/92625
File:https://opendata.uni-halle.de//handle/1981185920/94577
44.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Ruland, Sebastian; Lochau, Malte; Saake, Gunter; Leich, Thomas
T-Wise Presence Condition Coverage and Sampling for Configurable Systems
Technical Report arXiv:2205.15180
May 2022
DOI:10.48550/arXiv.2205.15180
File:https://arxiv.org/pdf/2205.15180

2021

43.
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/main/2021/2021-SPLC-Pett.pdf
42.
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/main/2021/2021-SPLC-Krieter.pdf
41.
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/main/2021/2021-MODEVAR-Sundermann.pdf
40.
Kuiter, Elias; Krieter, Sebastian; Krüger, Jacob; Saake, Gunter; Leich, Thomas
variED: An Editor for Collaborative, Real-Time Feature Modeling
Empirical Software Engineering (EMSE) :24
March 2021
Publisher: Springer
DOI:10.1007/s10664-020-09892-x
39.
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/main/2021/2021-VaMoS-Pett.pdf

2020

38.
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
December 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/main/2020/2020-Knueppel.pdf
37.
Krieter, Sebastian
Large-Scale T-Wise Interaction Sampling Using YASA
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 29:1-29:4
Publisher: ACM
October 2020
36.
Ananieva, Sofia; Greiner, Sandra; Kühn, Thomas; Krüger, Jacob; Linsbauer, Lukas; Grüner, Sten; Kehrer, Timo; Klare, Heiko; Koziolek, Anne; Lönn, Henrik; Krieter, Sebastian; Seidl, Christoph; Ramesh, S.; Reussner, Ralf; Westfechtel, Bernhard
A Conceptual Model for Unifying Variability in Space and Time
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 1-12
Publisher: ACM, New York, NY, USA
October 2020
DOI:10.1145/3382025.3414955
ISBN:9781450375696
35.
Krüger, Jacob; Krieter, Sebastian; Saake, Gunter; Leich, Thomas
EXtracting product lines from vAriaNTs (EXPLANT)
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 13:1-13:2
Publisher: ACM
February 2020
DOI:10.1145/3377024.3377046
34.
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/main/2020/2020-VaMoS-Krieter.pdf
33.
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/main/2020/2020-VaMoS-Sprey.pdf

2019

32.
Krieter, Sebastian
Enabling Efficient Automated Configuration Generation and Management
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 93:1-93:7
Publisher: ACM
September 2019
31.
Kuiter, Elias; Krieter, Sebastian; Krüger, Jacob; Leich, Thomas; Saake, Gunter
Foundations of Collaborative, Real-Time Feature Modeling
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 36:1-36:8
Publisher: ACM
September 2019
DOI:10.1145/3336294.3336308
30.
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/main/2019/2019-SPLC-Pett.pdf
29.
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/main/2019/2019-SE-Krieter.pdf