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
- 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
- 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), November
2023.
- Elias Kuiter, Sebastian Krieter, Jacob
Krüger, Gunter Saake, and Thomas Leich.
variED: An Editor for Collaborative, Real-Time
Feature Modeling (Extended Abstract).
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 (Extended Abstract).
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