default search action
Sebastian Krieter
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j3]Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, Thomas Thüm:
On the benefits of knowledge compilation for feature-model analyses. Ann. Math. Artif. Intell. 92(5): 1013-1050 (2024) - [c57]Tobias Pett, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. SPLC (A) 2024: 47-53 - [c56]Chico Sundermann, Vincenzo Francesco Brancaccio, Elias Kuiter, Sebastian Krieter, Tobias Heß, Thomas Thüm:
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking. SPLC (A) 2024: 54-65 - [c55]Chico Sundermann, Tobias Heß, Rahel Sundermann, Elias Kuiter, Sebastian Krieter, Thomas Thüm:
Generating Feature Models with UVL's Full Expressiveness. SPLC (B) 2024: 61-65 - [c54]Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, Thomas Thüm:
On the Benefits of Knowledge Compilation for Feature-Model Analyses. SPLC (A) 2024: 217 - [c53]Sebastian Krieter, Sandra Greiner, Wesley K. G. Assunção, Roberto E. Lopez-Herrejon:
1st International Workshop on Reverse Variability Engineering and Evolution of Software-Intensive Systems (Re: Volution). SPLC (A) 2024: 225 - [c52]Sabrina Böhm, Sebastian Krieter, Tobias Heß, Thomas Thüm, Malte Lochau:
Incremental Identification of T-Wise Feature Interactions. VaMoS 2024: 27-36 - [c51]Tobias Heß, Tim Jannik Schmidt, Lukas Ostheimer, Sebastian Krieter, Thomas Thüm:
UnWise: High T-Wise Coverage from Uniform Sampling. VaMoS 2024: 37-45 - [c50]Sandra Greiner, Klaus Schmid, Thorsten Berger, Sebastian Krieter, Kristof Meixner:
Generative AI And Software Variability - A Research Vision. VaMoS 2024: 71-76 - [c49]Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Gunter Saake:
How Easy is SAT-Based Analysis of a Feature Model? VaMoS 2024: 149-151 - [i2]Tobias Pett, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. CoRR abs/2406.19801 (2024) - 2023
- [c48]Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake:
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. Software Engineering 2023: 83-84 - [c47]Elias Kuiter, Sebastian Krieter, Jacob Krüger, Gunter Saake, Thomas Leich:
variED: An Editor for Collaborative, Real-Time Feature Modeling. Software Engineering 2023: 85-86 - [c46]Tobias Pett, Tobias Heß, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
Continuous T-Wise Coverage. SPLC (A) 2023: 87-98 - [c45]Sebastian Krieter, Jacob Krüger, Thomas Leich, Gunter Saake:
VariantInc: Automatically Pruning and Integrating Versioned Software Variants. SPLC (A) 2023: 129-140 - [c44]Paul Maximilian Bittner, Alexander Schultheiß, Sandra Greiner, Benjamin Moosherr, Sebastian Krieter, Christof Tinnes, Timo Kehrer, Thomas Thüm:
Views on Edits to Variational Software. SPLC (A) 2023: 141-152 - [c43]Sebastian Krieter, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thüm:
Second Tutorial on the Universal Variability Language. SPLC (A) 2023: 273 - [c42]Sandra Greiner, Xhevahire Tërnava, Kristof Meixner, Sebastian Krieter:
Sixth International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2023). SPLC (A) 2023: 274 - [d1]Sebastian Krieter, Jacob Krüger, Thomas Leich, Gunter Saake:
VariantInc: Automating the Integration of Versioned Software Variants - Artifact. Zenodo, 2023 - 2022
- [b1]Sebastian Krieter:
Efficient interactive and automated product-line configuration. Otto-von-Guericke University Magdeburg, Germany, 2022 - [c41]Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
Generic Solution-Space Sampling for Multi-domain Product Lines. GPCE 2022: 135-147 - [c40]Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake:
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. ASE 2022: 110:1-110:13 - [c39]Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
Derivation of subset product lines in FeatureIDE. SPLC (B) 2022: 38-41 - [c38]Chico Sundermann, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Sebastian Krieter, Thomas Thüm:
Tutorial on the universal variability language. SPLC (A) 2022: 260 - [p2]Sebastian Krieter:
Effiziente Interaktive und Automatische Produktlinienkonfiguration. Ausgezeichnete Informatikdissertationen 2022: 161-170 - [i1]Sebastian Krieter, Thomas Thüm, Sandro Schulze, Sebastian Ruland, Malte Lochau, Gunter Saake, Thomas Leich:
T-Wise Presence Condition Coverage and Sampling for Configurable Systems. CoRR abs/2205.15180 (2022) - 2021
- [j2]Elias Kuiter, Sebastian Krieter, Jacob Krüger, Gunter Saake, Thomas Leich:
variED: an editor for collaborative, real-time feature modeling. Empir. Softw. Eng. 26(2): 24 (2021) - [c37]Tobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer:
AutoSMP: an evaluation platform for sampling algorithms. SPLC (B) 2021: 41-44 - [c36]Sebastian Krieter, Rahel Arens, Michael Nieke, Chico Sundermann, Tobias Heß, Thomas Thüm, Christoph Seidl:
Incremental construction of modal implication graphs for evolving feature models. SPLC (A) 2021: 64-74 - [c35]Chico Sundermann, Tobias Heß, Dominik Engelhardt, Rahel Arens, Johannes Herschel, Kevin Jedelhauser, Benedikt Jutz, Sebastian Krieter, Ina Schaefer:
Integration of UVL in FeatureIDE. SPLC (B) 2021: 73-79 - [c34]Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer:
Stability of Product-Line Samplingin Continuous Integration. VaMoS 2021: 18:1-18:9 - 2020
- [c33]Sofia Ananieva, Sandra Greiner, Thomas Kühn, Jacob Krüger, Lukas Linsbauer, Sten Grüner, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lönn, Sebastian Krieter, Christoph Seidl, S. Ramesh, Ralf H. Reussner, Bernhard Westfechtel:
A conceptual model for unifying variability in space and time. SPLC (A) 2020: 15:1-15:12 - [c32]Sebastian Krieter:
Large-scale T-wise interaction sampling using YASA. SPLC (A) 2020: 29:1-29:4 - [c31]Sebastian Krieter, Thomas Thüm, Sandro Schulze, Gunter Saake, Thomas Leich:
YASA: yet another sampling algorithm. VaMoS 2020: 4:1-4:10 - [c30]Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer:
SMT-based variability analyses in FeatureIDE. VaMoS 2020: 6:1-6:9 - [c29]Jacob Krüger, Sebastian Krieter, Gunter Saake, Thomas Leich:
EXtracting product lines from vAriaNTs (EXPLANT). VaMoS 2020: 13:1-13:2 - [p1]Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer:
Using Abstract Contracts for Verifying Evolving Features and Their Interactions. 20 Years of KeY 2020: 122-148
2010 – 2019
- 2019
- [c28]Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake:
Propagating Configuration Decisions with Modal Implication Graphs. SE/SWM 2019: 77-78 - [c27]Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer:
Product sampling for product lines: the scalability challenge. SPLC (A) 2019: 14:1-14:6 - [c26]Elias Kuiter, Sebastian Krieter, Jacob Krüger, Thomas Leich, Gunter Saake:
Foundations of collaborative, real-time feature modeling. SPLC (A) 2019: 36:1-36:8 - [c25]Sebastian Krieter:
Enabling efficient automated configuration generation and management. SPLC (B) 2019: 93:1-93:7 - [c24]Sebastian Krieter, Tobias Thiem, Thomas Leich:
Using Dynamic Software Product Lines to Implement Adaptive SGX-enabled Systems. VaMoS 2019: 9:1-9:9 - 2018
- [j1]Juliana Alves Pereira, Pawel Matuszyk, Sebastian Krieter, Myra Spiliopoulou, Gunter Saake:
Personalized recommender systems for product-line configuration processes. Comput. Lang. Syst. Struct. 54: 451-471 (2018) - [c23]Thomas Thüm, Sebastian Krieter, Ina Schaefer:
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators. ConfWS 2018: 1-8 - [c22]Vasily A. Sartakov, Nico Weichbrodt, Sebastian Krieter, Thomas Leich, Rüdiger Kapitza:
STANlite - A Database Engine for Secure Data Processing at Rack-Scale Level. IC2E 2018: 23-33 - [c21]Sebastian Krieter, Jacob Krüger, Nico Weichbrodt, Vasily A. Sartakov, Rüdiger Kapitza, Thomas Leich:
Towards secure dynamic product lines in the cloud. ICSE (NIER) 2018: 5-8 - [c20]Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake:
Propagating configuration decisions with modal implication graphs. ICSE 2018: 898-909 - [c19]Thomas Thüm, Thomas Leich, Sebastian Krieter:
Feature Modeling and Development with FeatureIDE. Modellierung 2018: 297-298 - [c18]Juliana Alves Pereira, Jabier Martinez, Hari Kumar Gurudu, Sebastian Krieter, Gunter Saake:
Visual guidance for product line configuration using recommendations and non-functional properties. SAC 2018: 2058-2065 - [c17]Elias Kuiter, Jacob Krüger, Sebastian Krieter, Thomas Leich, Gunter Saake:
Getting rid of clone-and-own: moving to a software product line for temperature monitoring. SPLC 2018: 179-189 - [c16]Elias Kuiter, Sebastian Krieter, Jacob Krüger, Kai Ludwig, Thomas Leich, Gunter Saake:
PClocator: a tool suite to automatically identify configurations for code locations. SPLC 2018: 284-288 - [c15]Thomas Thüm, Sebastian Krieter, Thomas Leich:
Clean your variable code with featureIDE. SPLC 2018: 299 - [c14]Sebastian Krieter, Jacob Krüger, Thomas Leich:
Don't Worry About it: Managing Variability On-The-Fly. VaMoS 2018: 19-26 - [c13]Juliana Alves Pereira, Sandro Schulze, Sebastian Krieter, Márcio Ribeiro, Gunter Saake:
A Context-Aware Recommender System for Extended Software Product Line Configurations. VaMoS 2018: 97-104 - 2017
- [c12]Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake:
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces. Software Engineering 2017: 129-130 - [c11]Sebastian Krieter, Marcus Pinnecke, Jacob Krüger, Joshua Sprey, Christopher Sontag, Thomas Thüm, Thomas Leich, Gunter Saake:
FeatureIDE: Empowering Third-Party Developers. SPLC (B) 2017: 42-45 - [c10]Jacob Krüger, Sebastian Nielebock, Sebastian Krieter, Christian Diedrich, Thomas Leich, Gunter Saake, Sebastian Zug, Frank Ortmeier:
Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems. SPLC (A) 2017: 237-241 - 2016
- [c9]Juliana Alves Pereira, Pawel Matuszyk, Sebastian Krieter, Myra Spiliopoulou, Gunter Saake:
A feature-based personalized recommender system for product-line configuration. GPCE 2016: 120-131 - [c8]Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thüm, Malte Lochau, Gunter Saake:
IncLing: efficient product-line testing using incremental pairwise sampling. GPCE 2016: 144-155 - [c7]Mustafa Al-Hajjaji, Jens Meinicke, Sebastian Krieter, Reimar Schröter, Thomas Thüm, Thomas Leich, Gunter Saake:
Tool demo: testing configurable systems with FeatureIDE. GPCE 2016: 173-177 - [c6]Jens Meinicke, Thomas Thüm, Reimar Schröter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, Thomas Leich:
FeatureIDE: taming the preprocessor wilderness. ICSE (Companion Volume) 2016: 629-632 - [c5]Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake:
Feature-model interfaces: the highway to compositional analyses of highly-configurable systems. ICSE 2016: 667-678 - [c4]Juliana Alves Pereira, Sebastian Krieter, Jens Meinicke, Reimar Schröter, Gunter Saake, Thomas Leich:
FeatureIDE: Scalable Product Configuration of Variable Systems. ICSR 2016: 397-401 - [c3]Sebastian Krieter, Reimar Schröter, Thomas Thüm, Wolfram Fenske, Gunter Saake:
Comparing algorithms for efficient feature-model slicing. SPLC 2016: 60-64 - [c2]Thomas Thüm, Thomas Leich, Sebastian Krieter:
Clean your variable code with featureIDE. SPLC 2016: 308 - 2015
- [c1]Sebastian Krieter, Reimar Schröter, Wolfram Fenske, Gunter Saake:
Use-Case-Specific Source-Code Documentation for Feature-Oriented Programming. VaMoS 2015: 27
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint