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
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. SPLC (A) 2024: 47-53 - [c56]Chico Sundermann
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking. SPLC (A) 2024: 54-65 - [c55]Chico Sundermann
Generating Feature Models with UVL's Full Expressiveness. SPLC (B) 2024: 61-65 - [c54]Chico Sundermann
On the Benefits of Knowledge Compilation for Feature-Model Analyses. SPLC (A) 2024: 217 - [c53]Sebastian Krieter
1st International Workshop on Reverse Variability Engineering and Evolution of Software-Intensive Systems (Re: Volution). SPLC (A) 2024: 225 - [c52]Sabrina Böhm
Incremental Identification of T-Wise Feature Interactions. VaMoS 2024: 27-36 - [c51]Tobias Heß
UnWise: High T-Wise Coverage from Uniform Sampling. VaMoS 2024: 37-45 - [c50]Sandra Greiner
Generative AI And Software Variability - A Research Vision. VaMoS 2024: 71-76 - [c49]Elias Kuiter
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
VariantInc: Automatically Pruning and Integrating Versioned Software Variants. SPLC (A) 2023: 129-140 - [c44]Paul Maximilian Bittner
Views on Edits to Variational Software. SPLC (A) 2023: 141-152 - [c43]Sebastian Krieter
Second Tutorial on the Universal Variability Language. SPLC (A) 2023: 273 - [c42]Sandra Greiner
Sixth International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2023). SPLC (A) 2023: 274 - [d1]Sebastian Krieter
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
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
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
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
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
SMT-based variability analyses in FeatureIDE. VaMoS 2020: 6:1-6:9 - [c29]Jacob Krüger
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
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
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
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
Towards secure dynamic product lines in the cloud. ICSE (NIER) 2018: 5-8 - [c20]Sebastian Krieter, Thomas Thüm, Sandro Schulze
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
Visual guidance for product line configuration using recommendations and non-functional properties. SAC 2018: 2058-2065 - [c17]Elias Kuiter
Getting rid of clone-and-own: moving to a software product line for temperature monitoring. SPLC 2018: 179-189 - [c16]Elias Kuiter
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
Don't Worry About it: Managing Variability On-The-Fly. VaMoS 2018: 19-26 - [c13]Juliana Alves Pereira, Sandro Schulze
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
FeatureIDE: Empowering Third-Party Developers. SPLC (B) 2017: 42-45 - [c10]Jacob Krüger
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
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-12-10 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: