Sebastian Krieter
M.Sc. Sebastian Krieter
Fakultät für Informatik
AG Datenbanken & Software Engineering
AG Datenbanken & Software Engineering
Universitätsplatz 2,
39106, Magdeburg,
G29-001
Es wurde keine Person definiert.
Es wurde keine Person definiert.
2024
- Chico Sundermann, Elias Kuiter, Tobias
Heß, Heiko Raab, Sebastian Krieter, and Thomas Thüm.
On the Benefits of Knowledge Compilation for
Feature-Model Analyses.
Annals of Mathematics and Artificial Intelligence (AMAI),
92(5):1013–1050, October 2024.
- Chico Sundermann, Tobias Heß, Rahel
Sundermann, Elias Kuiter, Sebastian Krieter, and Thomas Thüm.
Generating Feature Models with UVL's Full
Expressiveness.
In Proc. Int'l Workshop on Languages for Modelling Variability
(MODEVAR), pages 61–65. ACM, September 2024.
- Chico Sundermann, Vincenzo Francesco
Brancaccio, Elias Kuiter, Sebastian Krieter, Tobias Heß, and Thomas
Thüm.
Collecting Feature Models from the Literature: A
Comprehensive Dataset for Benchmarking.
In Proc. Int'l Systems and Software Product Line Conf. (SPLC).
ACM, September 2024.
- Chico Sundermann, Elias Kuiter, Tobias
Heß, Heiko Raab, Sebastian Krieter, and Thomas Thüm.
On the Benefits of Knowledge Compilation for
Feature-Model Analyses.
In Proc. Int'l Systems and Software Product Line Conf. (SPLC).
ACM, September 2024.
- Elias Kuiter, Tobias Heß, Chico
Sundermann, Sebastian Krieter, Thomas Thüm, and Gunter Saake.
How Easy is SAT-Based Analysis of a Feature
Model?.
In Proc. Int'l Working Conf. on Variability Modelling of
Software-Intensive Systems (VaMoS), pages 149–151. ACM, February
2024.
2023
- Elias Kuiter, Sebastian Krieter, Jacob
Krüger, Gunter Saake, and Thomas Leich.
variED: An Editor for Collaborative, Real-Time
Feature Modeling.
In Proc. Software Engineering (SE). Gesellschaft für
Informatik, February 2023.
- Elias Kuiter, Sebastian Krieter, Chico
Sundermann, Thomas Thüm, and Gunter Saake.
Tseitin or not Tseitin? The Impact of CNF
Transformations on Feature-Model Analyses.
In Proc. Software Engineering (SE). Gesellschaft für
Informatik, February 2023.
2022
- Elias Kuiter, Sebastian Krieter, Chico
Sundermann, Thomas Thüm, and Gunter Saake.
Tseitin or not Tseitin? The Impact of CNF
Transformations on Feature-Model Analyses.
In Proc. Int'l Conf. on Automated Software Engineering (ASE).
ACM, October 2022.
- Sebastian Krieter.
Efficient
Interactive and Automatic Product-Line Configuration.
PhD thesis, University of Magdeburg, June 2022.
2021
- Elias Kuiter, Sebastian Krieter, Jacob
Krüger, Gunter Saake, and Thomas Leich.
variED: An Editor for Collaborative, Real-Time
Feature Modeling.
Empirical Software Engineering (EMSE), 26(2), March
2021.
- Sebastian Krieter, Rahel Arens, Michael
Nieke, Chico Sundermann, Tobias Heß, Thomas Thüm, and Christoph
Seidl.
Incremental
construction of modal implication graphs for evolving feature
models.
In Mohammad Mousavi and Pierre-Yves Schobbens, editors, SPLC '21: 25th
ACM International Systems and Software Product Line Conference, Leicester,
United Kingdom, September 6-11, 2021, Volume A, pages 64–74. ACM,
2021.
- Tobias Pett, Sebastian Krieter, Thomas
Thüm, Malte Lochau, and Ina Schaefer.
AutoSMP: an
evaluation platform for sampling algorithms.
In Mohammad Mousavi and Pierre-Yves Schobbens, editors, SPLC '21: 25th
ACM International Systems and Software Product Line Conference, Leicester,
United Kindom, September 6-11, 2021, Volume B, pages 41–44. ACM,
2021.
- Chico Sundermann, Tobias Heß,
Dominik Engelhardt, Rahel Arens, Johannes Herschel, Kevin Jedelhauser,
Benedikt Jutz, Sebastian Krieter, and Ina Schaefer.
Integration of UVL in
FeatureIDE.
In Mohammad Mousavi and Pierre-Yves Schobbens, editors, SPLC '21: 25th
ACM International Systems and Software Product Line Conference, Leicester,
United Kindom, September 6-11, 2021, Volume B, pages 73–79. ACM,
2021.
- Tobias Pett, Sebastian Krieter, Tobias
Runge, Thomas Thüm, Malte Lochau, and Ina Schaefer.
Stability of
Product-Line Samplingin Continuous Integration.
In Paul Grünbacher, Christoph Seidl, Deepak Dhungana, and Helena
Lovasz-Bukvova, editors, VaMoS'21: 15th International Working
Conference on Variability Modelling of Software-Intensive Systems, Virtual
Event / Krems, Austria, February 9-11, 2021, pages 18:1–18:9. ACM,
2021.
2020
- S. Ananieva, S. Greiner, T. Kühn,
Jacob Krüger, L. Linsbauer, S. Grüner, T. Kehrer, H. Klare,
A. Koziolek, H. Lönn, Sebastian Krieter, C. Seidl, S. Ramesh,
R. Reussner, and B. Westfechtel.
A Reference Model for Unifying Variability in Space
and Time.
In International Systems and Software Product Line Conference,
SPLC, pages 130–141. ACM, October 2020.
- Jacob Krüger, Sebastian Krieter,
Thomas Leich, and Gunter Saake.
EXtracting Product Lines from vAriaNTs
(EXPLANT).
In International Working Conference on Variability Modelling of
Software-Intensive Systems, VaMoS, pages 13:1–2. ACM, February
2020.
- Sebastian Krieter, Thomas Thüm,
Sandro Schulze, Gunter Saake, and Thomas Leich.
YASA: Yet Another Sampling Algorithm.
In 14th International Working Conference on Variability Modelling of
Software-Intensive Systems, pages 23–32. ACM, February
2020.
- Sebastian Krieter.
Large-scale T-wise
interaction sampling using YASA.
In Roberto Erick Lopez-Herrejon, editor, SPLC '20: 24th ACM International
Systems and Software Product Line Conference, Montreal, Quebec, Canada,
October 19-23, 2020, Volume A, pages 29:1–29:4. ACM,
2020.
2019
- Elias Kuiter, Sebastian Krieter, Jacob
Krüger, Thomas Leich, and Gunter Saake.
Foundations of
Collaborative, Real-Time Feature Modeling.
In Proc. Int'l Systems and Software Product Line Conf. (SPLC),
pages 257–264. ACM, September 2019.
- Sebastian Krieter, Tobias Thiem, and
Thomas Leich.
Using Dynamic Software Product Lines to Implement Adaptive SGX-enabled
Systems.
In Proceedings of the 13th International Workshop on Variability
Modelling of Software-Intensive Systems, VAMOS '19, pages 9:1–9:9,
New York, NY, USA, 2019. ACM.
2018
- Elias Kuiter, Sebastian Krieter, Jacob
Krüger, Kai Ludwig, Thomas Leich, and Gunter Saake.
PCLocator: A Tool Suite to Automatically
Identify Configurations for Code Locations.
In Proc. Int'l Systems and Software Product Line Conf. (SPLC),
pages 284–288. ACM, September 2018.
- Elias Kuiter, Jacob Krüger,
Sebastian Krieter, Thomas Leich, and Gunter Saake.
Getting Rid of Clone-and-Own: Moving to a Software
Product Line for Temperature Monitoring.
In Proc. Int'l Systems and Software Product Line Conf. (SPLC),
pages 179–189. ACM, September 2018.
- Sebastian Krieter, Thomas Thüm,
Sandro Schulze, Reimar Schröter, and Gunter Saake.
Propagating Configuration Decisions with Modal Implication
Graphs.
In International Conference on Software Engineering, ICSE. ACM,
May 2018.
- Sebastian Krieter, Jacob Krüger,
Nico Weichbrodt, Vasily A. Sartakov, Rüdiger Kapitza, and Thomas Leich.
Towards Secure Dynamic Product Lines in the
Cloud.
In International Conference on Software Engineering - New Ideas and
Emerging Results Track, ICSE-NIER, pages 5–8. ACM, May
2018.
- Juliana Alves Pereira, Jabier Martinez,
Hari Kumar, Sebastian Krieter, and Gunter Saake.
Visual Guidance for Product Line Configuration Using
Recommendations and Non-Functional Properties.
In Symposium on Applied Computing (SAC), pages 2058–2065. ACM,
April 2018.
- Juliana Alves Pereira, Sandro Schulze,
Sebastian Krieter, Márcio Ribeiro, and Gunter Saake.
A Context-Aware Recommender System for Extended Software
Product Line Configurations.
In International Workshop on Variability Modelling of Software-Intensive
Systems (VaMoS), pages 97–104. ACM, February
2018.
- Sebastian Krieter, Jacob Krüger,
and Thomas Leich.
Don’t Worry About It: Managing Variability
On-the-Fly.
In International Workshop on Variability Modelling of Software-Intensive
Systems, VaMoS, pages 19–26. ACM, February
2018.
- Vasily Sartakov, Nico Weichbrodt,
Sebastian Krieter, Thomas Leich, and Rüdiger Kapitza.
STANlite – A database engine for secure data processing at rack-scale
level.
In International Conference on Cloud Engineering, IC2E. IEEE,
2018.
- Juliana Alves Pereira, Pawel Matuszyk,
Sebastian Krieter, Myra Spiliopoulou, and Gunter Saake.
Personalized
Recommender Systems for Product-line Configuration Processes.
Computer Languages, Systems & Structures, Volume 54, pages
451–471, December 2018.
2017
- Jacob Krüger, Sebastian Nielebock,
Sebastian Krieter, Christian Diedrich, Thomas Leich, Gunter Saake, Sebastian
Zug, and Frank Ortmeier.
Beyond Software Product Lines: Variability Modeling in
Cyber-Physical Systems.
In International Systems and Software Product Line Conference,
SPLC, pages 237–241. ACM, September 2017.
- Sebastian Krieter, Marcus Pinnecke,
Jacob Krüger, Joshua Sprey, Christopher Sontag, Thomas Thüm, Thomas
Leich, and Gunter Saake.
FeatureIDE: Empowering Third-Party Developers.
In International Systems and Software Product Line Conference,
SPLC, pages 42–45. ACM, September 2017.
- Reimar Schröter, Sebastian Krieter,
Thomas Thüm, Fabian Benduhn, and Gunter Saake.
Compositional Analyses of Highly-Configurable Systems with
Feature-Model Interfaces.
In Tagung Software Engineering. Gesellschaft für Informatik,
February 2017.
2016
- Juliana Alves Pereira, Pawel Matuszyk,
Sebastian Krieter, Myra Spiliopoulou, and Gunter Saake.
A Feature-Based Personalized Recommender System for
Product-Line Configuration.
In Proceedings of the International Conference on Generative Programming:
Concepts & Experiences (GPCE), pages 120–131, New York, NY, USA,
October 2016. ACM.
- Mustafa Al-Hajjaji, Sebastian Krieter,
Thomas Thüm, Malte Lochau, and Gunter Saake.
IncLing: Efficient Product-Line Testing Using
Incremental Pairwise Sampling.
In Proceedings of the International Conference on Generative Programming:
Concepts & Experiences (GPCE), pages 144–155, New York, NY, USA,
October 2016. ACM.
- Mustafa Al-Hajjaji, Jens Meinicke,
Sebastian Krieter, Reimar Schröter, Thomas Thüm, Thomas Leich, and
Gunter Saake.
Tool Demo: Testing Configurable Systems with
FeatureIDE.
In Proceedings of the International Conference on Generative Programming:
Concepts & Experiences (GPCE), pages 173–177, New York, NY, USA,
October 2016. ACM.
- Sebastian Krieter, Reimar Schröter,
Thomas Thüm, Wolfram Fenske, and Gunter Saake.
Comparing Algorithms for Efficient Feature-Model
Slicing.
In Proceedings of the International Software Product Line Conference
(SPLC), New York, NY, USA, September 2016. ACM.
- Juliana Alves Pereira, Sebastian
Krieter, Jens Meinicke, Reimar Schröter, Gunter Saake, and Thomas Leich.
FeatureIDE: Scalable Product Configuration of Variable
Systems.
In Proceedings of the International Conference on Software Reuse
(ICSR), pages 397–401. Springer, June 2016.
- Jens Meinicke, Thomas Thüm, Reimar
Schröter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, and Thomas
Leich.
FeatureIDE: Taming the Preprocessor
Wilderness.
In Proceedings of the International Conference on Software Engineering
(ICSE), pages 629–632, New York, NY, USA, May 2016.
ACM.
- Reimar Schröter, Sebastian Krieter,
Thomas Thüm, Fabian Benduhn, and Gunter Saake.
Feature-Model Interfaces: The Highway to
Compositional Analyses of Highly-Configurable Systems.
In Proceedings of International Conference on Software Engineering
(ICSE), pages 667–678, New York, NY, USA, May 2016.
ACM.
- Sebastian Krieter, Reimar Schröter,
Thomas Thüm, and Gunter Saake.
An Efficient Algorithm for
Feature-Model Slicing.
Technical Report FIN-01-2016, Otto-von-Guericke-University Magdeburg,
Magdeburg, 2016.
2015
- Sebastian Krieter.
Efficient Configuration of Large-Scale Feature Models
Using Extended Implication Graphs.
Master thesis, University of Magdeburg, Germany, October
2015.
- Reimar Schröter, Sebastian Krieter,
Thomas Thüm, Fabian Benduhn, and Gunter Saake.
Feature-Model
Interfaces for Compositional Analyses.
Technical Report 1, University of Magdeburg, Germany, May
2015.
- Sebastian Krieter, Reimar Schröter,
Wolfram Fenske, and Gunter Saake.
Use-Case-Specific Source-Code Documentation for
Feature-Oriented Programming.
In International Workshop on Variability Modelling of Software-intensive
Systems (VaMoS), VaMoS '15, pages 27–34, New York, NY, USA, 2015.
ACM.
2014
- Sebastian Krieter.
Anwendungsspezifische Generierung von
Quelltext-Dokumentationen für die Feature-Orientierte
Programmierung.
Bachelor thesis, University of Magdeburg, Germany, May 2014.
In German.
- Software Product Lines
- Feature-Model Analysis
- Feature-Model Configuration