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
61.
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) (To Appear)
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) (To Appear)
Publisher: ACM, New York, NY, USA
February 2024
60.
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 |
59.
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 |
58.
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) (To Appear)
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) (To Appear)
Publisher: ACM, New York, NY, USA
February 2024
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Hess.pdf |
2023
57.
Heß,
Tobias;
Schmidt,
Tim Jannik;
Ostheimer,
Lukas;
Krieter,
Sebastian;
Thüm,
Thomas
Evaluation Artifact for UnWise: High T-Wise Coverage from Uniform Sampling
December 2023
Evaluation Artifact for UnWise: High T-Wise Coverage from Uniform Sampling
December 2023
| DOI: | 10.5281/zenodo.10303558 |
| File: | https://doi.org/10.5281/zenodo.10303558 |
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) (To Appear)
October 2023
Publisher: Springer
On the Benefits of Knowledge Compilation for Feature-Model Analyses
Annals of Mathematics and Artificial Intelligence (AMAI) (To Appear)
October 2023
Publisher: Springer
| 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 |
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
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: | https://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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-Knueppel.pdf |
37.
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
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 |
