301 - Moved Permanently
Dr. Sebastian Krieter has moved to Paderborn University. Visit his new website.
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 | 1 MB | 19.07.2023 09:40 |
| thesis_topics_23-02-01.pdf | 1 MB | 01.02.2023 15:09 |
| thesis_topics_22-06-29.pdf | 1 MB | 04.07.2022 16:19 |
Publications
2024
64.
Sundermann,
Chico;
Brancaccio,
Vincenzo Francesco;
Kuiter,
Elias;
Krieter,
Sebastian;
Heß,
Tobias;
Thüm,
Thomas
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 54-65
Publisher: ACM, New York, NY, USA
September 2024
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 54-65
Publisher: ACM, New York, NY, USA
September 2024
| DOI: | 10.1145/3646548.3672590 |
63.
Sundermann,
Chico;
Heß,
Tobias;
Sundermann,
Rahel;
Kuiter,
Elias;
Krieter,
Sebastian;
Thüm,
Thomas
Generating Feature Models with UVL's Full Expressiveness
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Page 61-65
Publisher: ACM, New York, NY, USA
September 2024
Generating Feature Models with UVL's Full Expressiveness
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Page 61-65
Publisher: ACM, New York, NY, USA
September 2024
| DOI: | 10.1145/3646548.3676602 |
62.
Pett,
Tobias;
Krieter,
Sebastian;
Thüm,
Thomas;
Schaefer,
Ina
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 47-53
Publisher: ACM, New York, NY, USA
September 2024
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 47-53
Publisher: ACM, New York, NY, USA
September 2024
| DOI: | 10.1145/3646548.3672589 |
| ISBN: | 9798400705939 |
61.
Sundermann,
Chico;
Kuiter,
Elias;
Heß,
Tobias;
Raab,
Heiko;
Krieter,
Sebastian;
Thüm,
Thomas
On the Benefits of Knowledge Compilation for Feature-Model Analyses (Journal First)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 217
Publisher: ACM, New York, NY, USA
September 2024
On the Benefits of Knowledge Compilation for Feature-Model Analyses (Journal First)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 217
Publisher: ACM, New York, NY, USA
September 2024
| DOI: | 10.1145/3646548.3676540 |
60.
Greiner,
Sandra;
Schmid,
Klaus;
Berger,
Thorsten;
Krieter,
Sebastian;
Meixner,
Kristof
Generative AI and Software Variability - A Research Vision
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 71-76
Publisher: ACM, New York, NY, USA
February 2024
Generative AI and Software Variability - A Research Vision
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 71-76
Publisher: ACM, New York, NY, USA
February 2024
| DOI: | 10.1145/3634713.3634722 |
| File: |  https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Greiner.pdf |
59.
Kuiter,
Elias;
Heß,
Tobias;
Sundermann,
Chico;
Krieter,
Sebastian;
Thüm,
Thomas;
Saake,
Gunter
How Easy Is SAT-Based Analysis of a Feature Model?
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 149-151
Publisher: ACM, New York, NY, USA
February 2024
How Easy Is SAT-Based Analysis of a Feature Model?
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 149-151
Publisher: ACM, New York, NY, USA
February 2024
| DOI: | 10.1145/3634713.3634733 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Kuiter.pdf |
58.
Böhm,
Sabrina;
Krieter,
Sebastian;
Heß,
Tobias;
Thüm,
Thomas;
Lochau,
Malte
Incremental Identification of T-Wise Feature Interactions
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 27-36
Publisher: ACM, New York, NY, USA
February 2024
Incremental Identification of T-Wise Feature Interactions
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 27-36
Publisher: ACM, New York, NY, USA
February 2024
| DOI: | 10.1145/3634713.3634715 |
| ISBN: | 9798400708770 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Boehm.pdf |
57.
Heß,
Tobias;
Schmidt,
Tim Jannik;
Ostheimer,
Lukas;
Krieter,
Sebastian;
Thüm,
Thomas
UnWise: High T-Wise Coverage From Uniform Sampling
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 37-45
Publisher: ACM, New York, NY, USA
February 2024
UnWise: High T-Wise Coverage From Uniform Sampling
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 37-45
Publisher: ACM, New York, NY, USA
February 2024
| DOI: | 10.1145/3634713.3634716 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Hess.pdf |
2023
56.
Sundermann,
Chico;
Kuiter,
Elias;
Heß,
Tobias;
Raab,
Heiko;
Krieter,
Sebastian;
Thüm,
Thomas
On the Benefits of Knowledge Compilation for Feature-Model Analyses
Annals of Mathematics and Artificial Intelligence (AMAI)
November 2023
Publisher: Springer
On the Benefits of Knowledge Compilation for Feature-Model Analyses
Annals of Mathematics and Artificial Intelligence (AMAI)
November 2023
Publisher: Springer
| DOI: | 10.1007/s10472-023-09906-6 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-AMAI-Sundermann.pdf |
55.
Krieter,
Sebastian;
Feichtinger,
Kevin;
Galindo,
Jose A.;
Benavides,
David;
Rabiser,
Rick;
Sundermann,
Chico;
Thüm,
Thomas
Second Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 273
Publisher: ACM, New York, NY, USA
September 2023
Second Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 273
Publisher: ACM, New York, NY, USA
September 2023
| DOI: | 10.1145/3579027.3609002 |
| ISBN: | 9798400700910 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Krieter.pdf |
54.
Pett,
Tobias;
Heß,
Tobias;
Krieter,
Sebastian;
Thüm,
Thomas;
Schaefer,
Ina
Continuous T-Wise Coverage
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 87-98
Publisher: ACM, New York, NY, USA
August 2023
Continuous T-Wise Coverage
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 87-98
Publisher: ACM, New York, NY, USA
August 2023
| DOI: | 10.1145/3579027.3608980 |
| ISBN: | 9798400700910 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Pett.pdf |
53.
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), Page 129-140
Publisher: ACM, New York, NY, USA
August 2023
VariantInc: Automatically Pruning and Integrating Versioned Software Variants
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 129-140
Publisher: ACM, New York, NY, USA
August 2023
| DOI: | 10.1145/3579027.3608984 |
| ISBN: | 9798400700910 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Krieter.pdf |
52.
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), Page 141-152
Publisher: ACM, New York, NY, USA
August 2023
Views on Edits to Variational Software
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 141-152
Publisher: ACM, New York, NY, USA
August 2023
| DOI: | 10.1145/3579027.3608985 |
| ISBN: | 9798400700910 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Bittner.pdf |
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
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: | https://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
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: | https://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
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: | https://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
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: | https://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
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: | https://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
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: | https://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, Germany
June 2022
Efficient Interactive and Automated Product-Line Configuration
University of 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
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://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-TR-Krieter.pdf |
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
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: | https://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
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: | https://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
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: | https://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
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 |
