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
2021
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 |
36.
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
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
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
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.
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sprey.pdf |
33.
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Krieter.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
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
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
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: | https://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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SE-Krieter.pdf |
28.
Krieter,
Sebastian;
Thiem,
Tobias;
Leich,
Thomas
Using Dynamic Software Product Lines to Implement Adaptive SGX-Enabled Systems
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 9:1-9:9
Publisher: ACM
February 2019
Using Dynamic Software Product Lines to Implement Adaptive SGX-Enabled Systems
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 9:1-9:9
Publisher: ACM
February 2019
| DOI: | 10.1145/3302333.3302340 |
2018
27.
Pereira,
Juliana Alves;
Pawel,
Matuszyk;
Krieter,
Sebastian;
Spiliopoulou,
Myra;
Saake,
Gunter
Personalized Recommender Systems for Product-Line Configuration Processes
Comput. Lang. Syst. Struct. :451-471
December 2018
Personalized Recommender Systems for Product-Line Configuration Processes
Comput. Lang. Syst. Struct. :451-471
December 2018
| DOI: | 10.1016/j.cl.2018.01.003 |
26.
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SPLC-Thuem.pdf |
25.
Kuiter,
Elias;
Krüger,
Jacob;
Krieter,
Sebastian;
Leich,
Thomas;
Saake,
Gunter
Getting Rid of Clone-and-Own: Moving to a Software Product Line for Temperature Monitoring
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 179-189
Publisher: ACM, New York, NY, USA
September 2018
Getting Rid of Clone-and-Own: Moving to a Software Product Line for Temperature Monitoring
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 179-189
Publisher: ACM, New York, NY, USA
September 2018
| DOI: | 10.1145/3233027.3233050 |
| ISBN: | 9781450364645 |
24.
Kuiter,
Elias;
Krieter,
Sebastian;
Krüger,
Jacob;
Ludwig,
Kai;
Leich,
Thomas;
Saake,
Gunter
PClocator: A Tool Suite to Automatically Identify Configurations for Code Locations
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 284-288
September 2018
PClocator: A Tool Suite to Automatically Identify Configurations for Code Locations
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 284-288
September 2018
23.
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-CONFWS-Thuem.pdf |
22.
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ICSE-Krieter.pdf |
21.
Krieter,
Sebastian;
Krüger,
Jacob;
Weichbrodt,
Nico;
Sartakov,
Vasily A.;
Kapitza,
Rüdiger;
Leich,
Thomas
Towards Secure Dynamic Product Lines in the Cloud
Proc. Int'l Conf. on Software Engineering (ICSE), Page 5-8
Publisher: ACM
May 2018
Towards Secure Dynamic Product Lines in the Cloud
Proc. Int'l Conf. on Software Engineering (ICSE), Page 5-8
Publisher: ACM
May 2018
| DOI: | 10.1145/3183399.3183425 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ICSE-Krieter.pdf |
20.
Sartakov,
Vasily A.;
Weichbrodt,
Nico;
Krieter,
Sebastian;
Leich,
Thomas;
Kapitza,
Rüdiger
STANlite - A Database Engine for Secure Data Processing at Rack-Scale Level
IEEE International Conference on Cloud Engineering (IC2E), Page 23-33
Publisher: IEEE Computer Society
April 2018
STANlite - A Database Engine for Secure Data Processing at Rack-Scale Level
IEEE International Conference on Cloud Engineering (IC2E), Page 23-33
Publisher: IEEE Computer Society
April 2018
| DOI: | 10.1109/IC2E.2018.00024 |
19.
Pereira,
Juliana Alves;
Martinez,
Jabier;
Gurudu,
Hari Kumar;
Krieter,
Sebastian;
Saake,
Gunter
Visual Guidance for Product Line Configuration Using Recommendations and Non-Functional Properties
Proc. ACM Symposium on Applied Computing (SAC), Page 2058-2065
Publisher: ACM
April 2018
Visual Guidance for Product Line Configuration Using Recommendations and Non-Functional Properties
Proc. ACM Symposium on Applied Computing (SAC), Page 2058-2065
Publisher: ACM
April 2018
| DOI: | 10.1145/3167132.3167353 |
18.
Pereira,
Juliana Alves;
Schulze,
Sandro;
Krieter,
Sebastian;
Ribeiro,
Marcio;
Saake,
Gunter
A Context-Aware Recommender System for Extended Software Product Line Configurations
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 97-104
Publisher: ACM, New York, NY, USA
February 2018
A Context-Aware Recommender System for Extended Software Product Line Configurations
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 97-104
Publisher: ACM, New York, NY, USA
February 2018
| DOI: | 10.1145/3168365.3168373 |
| ISBN: | 9781450353984 |
17.
Krieter,
Sebastian;
Krüger,
Jacob;
Leich,
Thomas
Don't Worry About It: Managing Variability On-The-Fly
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 19-26
Publisher: ACM, New York, NY, USA
February 2018
Don't Worry About It: Managing Variability On-The-Fly
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 19-26
Publisher: ACM, New York, NY, USA
February 2018
| DOI: | 10.1145/3168365.3170426 |
| ISBN: | 9781450353984 |
16.
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-Modellierung-Thuem.pdf |
2017
15.
Krüger,
Jacob;
Nielebock,
Sebastian;
Krieter,
Sebastian;
Diedrich,
Christian;
Leich,
Thomas;
Saake,
Gunter;
Zug,
Sebastian;
Ortmeier,
Frank
Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 237-241
Publisher: ACM
September 2017
Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 237-241
Publisher: ACM
September 2017
| DOI: | 10.1145/3106195.3106217 |
