Sebastian Krieter
Otto-von-Guericke-Universität Magdeburg
H-index: 19
Europe-Germany
Top articles of Sebastian Krieter
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
How Easy is SAT-Based Analysis of a Feature Model? | Elias Kuiter Tobias Heß Chico Sundermann Sebastian Krieter Thomas Thüm | 2024/2/7 | |
Effiziente Interaktive und Automatische Produktlinienkonfiguration | Sebastian Krieter | 2023 | |
On the benefits of knowledge compilation for feature-model analyses | Annals of Mathematics and Artificial Intelligence | Chico Sundermann Elias Kuiter Tobias Heß Heiko Raab Sebastian Krieter | 2023/11/6 |
Continuous T-Wise Coverage | Tobias Pett Tobias Heß Sebastian Krieter Thomas Thüm Ina Schaefer | 2023/8/28 | |
Views on Edits to Variational Software | Paul Maximilian Bittner Alexander Schultheiß Sandra Greiner Benjamin Moosherr Sebastian Krieter | 2023/8/28 | |
Second Tutorial on the Universal Variability Language | Sebastian Krieter Kevin Feichtinger José A Galindo David Benavides Rick Rabiser | 2023/8/28 | |
VariantInc: Automatically Pruning and Integrating Versioned Software Variants | Sebastian Krieter Jacob Krüger Thomas Leich Gunter Saake | 2023/8/28 | |
T-Wise Presence Condition Coverage and Sampling for Configurable Systems | arXiv preprint arXiv:2205.15180 | Sebastian Krieter Thomas Thüm Sandro Schulze Sebastian Ruland Malte Lochau | 2022/5/30 |
Generic Solution-Space Sampling for Multi-domain Product Lines | Marc Hentze Tobias Pett Chico Sundermann Sebastian Krieter Thomas Thüm | 2022/11/29 | |
Efficient Interactive and Automated Product-line Configuration | Sebastian Krieter | 2022 | |
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses | Elias Kuiter Sebastian Krieter Chico Sundermann Thomas Thüm Gunter Saake | 2022/10/10 | |
Derivation of subset product lines in FeatureIDE | Lukas Linsbauer Paul Westphal Paul Maximilian Bittner Sebastian Krieter Thomas Thüm | 2022/9/12 | |
Tutorial on the universal variability language | Chico Sundermann Kevin Feichtinger José A Galindo David Benavides Rick Rabiser | 2022/9/12 | |
variED: an editor for collaborative, real-time feature modeling | Empirical Software Engineering | Elias Kuiter Sebastian Krieter Jacob Krüger Gunter Saake Thomas Leich | 2021/3 |
Stability of product-line samplingin continuous integration | Tobias Pett Sebastian Krieter Tobias Runge Thomas Thüm Malte Lochau | 2021/2/9 | |
Incremental construction of modal implication graphs for evolving feature models | Sebastian Krieter Rahel Arens Michael Nieke Chico Sundermann Tobias Heß | 2021/9/6 | |
AutoSMP: An evaluation platform for sampling algorithms | Tobias Pett Sebastian Krieter Thomas Thüm Malte Lochau Ina Schaefer | 2021/9/6 | |
Integration of UVL in FeatureIDE | Chico Sundermann Tobias Heß Dominik Engelhardt Rahel Arens Johannes Herschel | 2021/9/6 | |
EXtracting product lines from vAriaNTs (EXPLANT) | Jacob Krüger Sebastian Krieter Gunter Saake Thomas Leich | 2020/2/5 | |
SMT-based variability analyses in FeatureIDE | Joshua Sprey Chico Sundermann Sebastian Krieter Michael Nieke Jacopo Mauro | 2020/2/5 |
Co-Authors
