Sebastian Krieter

76 papers A* 3A 2B 11C 3Misc 1Journal 11Unranked 42

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	How Configurable Is the Linux Kernel? Analyzing Two Decades of Feature-Model History - RCR Report. ACM Trans. Softw. Eng. Methodol. Elias Kuiter, Chico Sundermann, Thomas Thüm, Tobias Heß, Sebastian Krieter, Gunter Saake
2026	J	`jnl`	How Configurable Is the Linux Kernel? Analyzing Two Decades of Feature-Model History. ACM Trans. Softw. Eng. Methodol. Elias Kuiter, Chico Sundermann, Thomas Thüm, Tobias Heß, Sebastian Krieter, Gunter Saake
2025	—	`conf`	2nd International Workshop on Reverse Variability Engineering and Evolution of Software-Intensive Systems (ReVolution). SPLC (A) Sebastian Krieter, Sandra Greiner, Wesley K. G. Assunção
2025	A	`conf`	Coverage Metrics for T-Wise Feature Interactions. ICST Sabrina Böhm, Tim Jannik Schmidt, Sebastian Krieter, Tobias Pett, Thomas Thüm, Malte Lochau
2025	—	`conf`	Covering T-Wise Interactions of Deployed Configurations. VaMoS Rahel Sundermann, Sabrina Böhm, Sebastian Krieter, Malte Lochau, Thomas Thüm
2025	J	`jnl`	How Low Can We Go? Minimizing Interaction Samples for Configurable Systems. CoRR Dominik Krupke, Ahmad Moradi, Michael Perk, Phillip Keldenich, Gabriel Gehrke, Sebastian Krieter, Thomas Thüm, Sándor P. Fekete
2025	J	`jnl`	How Low Can We Go? Minimizing Interaction Samples for Configurable Systems. ACM Trans. Softw. Eng. Methodol. Dominik Michael Krupke, Ahmad Moradi, Michael Perk, Phillip Keldenich, Gabriel Gehrke, Sebastian Krieter, Thomas Thüm, Sándor P. Fekete
2025	—	`conf`	Pick Me: Judging Sample Quality with Binary Decision Diagrams. SPLC (A) Tobias Heß, Aaron Molt, Sabrina Böhm, Sebastian Krieter, Thomas Thüm
2025	A	`conf`	Poster: Quantification of Feature-Interaction Masking in JHipster. ICST Tim Jannik Schmidt, Sabrina Böhm, Sebastian Krieter, Thomas Thüm, Mathieu Acher
2025	J	`jnl`	Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs. CoRR Chico Sundermann, Stefan Vill, Elias Kuiter, Sebastian Krieter, Thomas Thüm, Matthias Tichy
2025	J	`jnl`	Teaching Software Quality with Adaptive Source Code Feedback. Softwaretechnik-Trends Rahel Sundermann, Sebastian Krieter, Birte Glimm, Thomas Thüm
2024	—	`conf`	1st International Workshop on Reverse Variability Engineering and Evolution of Software-Intensive Systems (Re: Volution). SPLC (A) Sebastian Krieter, Sandra Greiner, Wesley K. G. Assunção, Roberto E. Lopez-Herrejon
2024	—	`conf`	Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking. SPLC (A) Chico Sundermann, Vincenzo Francesco Brancaccio, Elias Kuiter, Sebastian Krieter, Tobias Heß, Thomas Thüm
2024	—	`conf`	Generating Feature Models with UVL's Full Expressiveness. SPLC (B) Chico Sundermann, Tobias Heß, Rahel Sundermann, Elias Kuiter, Sebastian Krieter, Thomas Thüm
2024	—	`conf`	Generative AI And Software Variability - A Research Vision. VaMoS Sandra Greiner, Klaus Schmid, Thorsten Berger, Sebastian Krieter, Kristof Meixner
2024	—	`conf`	How Easy is SAT-Based Analysis of a Feature Model? VaMoS Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Gunter Saake
2024	—	`conf`	Incremental Identification of T-Wise Feature Interactions. VaMoS Sabrina Böhm, Sebastian Krieter, Tobias Heß, Thomas Thüm, Malte Lochau
2024	—	`conf`	MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. SPLC (A) Tobias Pett, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2024	J	`jnl`	MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. CoRR Tobias Pett, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2024	—	`conf`	On the Benefits of Knowledge Compilation for Feature-Model Analyses. SPLC (A) Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, Thomas Thüm
2024	J	`jnl`	On the benefits of knowledge compilation for feature-model analyses. Ann. Math. Artif. Intell. Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, Thomas Thüm
2024	—	`conf`	UnWise: High T-Wise Coverage from Uniform Sampling. VaMoS Tobias Heß, Tim Jannik Schmidt, Lukas Ostheimer, Sebastian Krieter, Thomas Thüm
2023	—	`conf`	Continuous T-Wise Coverage. SPLC (A) Tobias Pett, Tobias Heß, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2023	—	`conf`	Second Tutorial on the Universal Variability Language. SPLC (A) Sebastian Krieter, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thüm
2023	—	`conf`	Sixth International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2023). SPLC (A) Sandra Greiner, Xhevahire Tërnava, Kristof Meixner, Sebastian Krieter
2023	C	`conf`	Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. Software Engineering Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake
2023	—	`conf`	VariantInc: Automatically Pruning and Integrating Versioned Software Variants. SPLC (A) Sebastian Krieter, Jacob Krüger, Thomas Leich, Gunter Saake
2023	—	`conf`	Views on Edits to Variational Software. SPLC (A) Paul Maximilian Bittner, Alexander Schultheiß, Sandra Greiner, Benjamin Moosherr, Sebastian Krieter, Christof Tinnes, Timo Kehrer, Thomas Thüm
2023	C	`conf`	variED: An Editor for Collaborative, Real-Time Feature Modeling. Software Engineering Elias Kuiter, Sebastian Krieter, Jacob Krüger, Gunter Saake, Thomas Leich
2022	—	`conf`	Derivation of subset product lines in FeatureIDE. SPLC (B) Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2022	—	`—`	Efficient interactive and automated product-line configuration. Sebastian Krieter
2022	—	`ch.`	Effiziente Interaktive und Automatische Produktlinienkonfiguration. Ausgezeichnete Informatikdissertationen Sebastian Krieter
2022	B	`conf`	Generic Solution-Space Sampling for Multi-domain Product Lines. GPCE Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2022	J	`jnl`	T-Wise Presence Condition Coverage and Sampling for Configurable Systems. CoRR Sebastian Krieter, Thomas Thüm, Sandro Schulze, Sebastian Ruland, Malte Lochau, Gunter Saake, Thomas Leich
2022	A*	`conf`	Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. ASE Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake
2022	—	`conf`	Tutorial on the universal variability language. SPLC (A) Chico Sundermann, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Sebastian Krieter, Thomas Thüm
2021	—	`conf`	AutoSMP: an evaluation platform for sampling algorithms. SPLC (B) Tobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer
2021	—	`conf`	Incremental construction of modal implication graphs for evolving feature models. SPLC (A) Sebastian Krieter, Rahel Arens, Michael Nieke, Chico Sundermann, Tobias Heß, Thomas Thüm, Christoph Seidl
2021	—	`conf`	Integration of UVL in FeatureIDE. SPLC (B) Chico Sundermann, Tobias Heß, Dominik Engelhardt, Rahel Arens, Johannes Herschel, Kevin Jedelhauser, Benedikt Jutz, Sebastian Krieter, Ina Schaefer
2021	—	`conf`	Stability of Product-Line Samplingin Continuous Integration. VaMoS Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer
2021	J	`jnl`	variED: an editor for collaborative, real-time feature modeling. Empir. Softw. Eng. Elias Kuiter, Sebastian Krieter, Jacob Krüger, Gunter Saake, Thomas Leich
2020	—	`conf`	A conceptual model for unifying variability in space and time. SPLC (A) 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
2020	—	`conf`	EXtracting product lines from vAriaNTs (EXPLANT). VaMoS Jacob Krüger, Sebastian Krieter, Gunter Saake, Thomas Leich
2020	—	`conf`	Large-scale T-wise interaction sampling using YASA. SPLC (A) Sebastian Krieter
2020	—	`conf`	SMT-based variability analyses in FeatureIDE. VaMoS Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer
2020	—	`ch.`	Using Abstract Contracts for Verifying Evolving Features and Their Interactions. 20 Years of KeY Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer
2020	—	`conf`	YASA: yet another sampling algorithm. VaMoS Sebastian Krieter, Thomas Thüm, Sandro Schulze, Gunter Saake, Thomas Leich
2019	—	`conf`	Enabling efficient automated configuration generation and management. SPLC (B) Sebastian Krieter
2019	—	`conf`	Foundations of collaborative, real-time feature modeling. SPLC (A) Elias Kuiter, Sebastian Krieter, Jacob Krüger, Thomas Leich, Gunter Saake
2019	—	`conf`	Product sampling for product lines: the scalability challenge. SPLC (A) Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer
2019	—	`conf`	Propagating Configuration Decisions with Modal Implication Graphs. SE/SWM Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake
2019	—	`conf`	Using Dynamic Software Product Lines to Implement Adaptive SGX-enabled Systems. VaMoS Sebastian Krieter, Tobias Thiem, Thomas Leich
2018	—	`conf`	A Context-Aware Recommender System for Extended Software Product Line Configurations. VaMoS Juliana Alves Pereira, Sandro Schulze, Sebastian Krieter, Márcio Ribeiro, Gunter Saake
2018	B	`conf`	Clean your variable code with featureIDE. SPLC Thomas Thüm, Sebastian Krieter, Thomas Leich
2018	—	`conf`	Don't Worry About it: Managing Variability On-The-Fly. VaMoS Sebastian Krieter, Jacob Krüger, Thomas Leich
2018	—	`conf`	Feature Modeling and Development with FeatureIDE. Modellierung Thomas Thüm, Thomas Leich, Sebastian Krieter
2018	B	`conf`	Getting rid of clone-and-own: moving to a software product line for temperature monitoring. SPLC Elias Kuiter, Jacob Krüger, Sebastian Krieter, Thomas Leich, Gunter Saake
2018	B	`conf`	PClocator: a tool suite to automatically identify configurations for code locations. SPLC Elias Kuiter, Sebastian Krieter, Jacob Krüger, Kai Ludwig, Thomas Leich, Gunter Saake
2018	J	`jnl`	Personalized recommender systems for product-line configuration processes. Comput. Lang. Syst. Struct. Juliana Alves Pereira, Pawel Matuszyk, Sebastian Krieter, Myra Spiliopoulou, Gunter Saake
2018	—	`conf`	Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators. ConfWS Thomas Thüm, Sebastian Krieter, Ina Schaefer
2018	A*	`conf`	Propagating configuration decisions with modal implication graphs. ICSE Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake
2018	B	`conf`	STANlite - A Database Engine for Secure Data Processing at Rack-Scale Level. IC2E Vasily A. Sartakov, Nico Weichbrodt, Sebastian Krieter, Thomas Leich, Rüdiger Kapitza
2018	—	`conf`	Towards secure dynamic product lines in the cloud. ICSE (NIER) Sebastian Krieter, Jacob Krüger, Nico Weichbrodt, Vasily A. Sartakov, Rüdiger Kapitza, Thomas Leich
2018	Misc	`conf`	Visual guidance for product line configuration using recommendations and non-functional properties. SAC Juliana Alves Pereira, Jabier Martinez, Hari Kumar Gurudu, Sebastian Krieter, Gunter Saake
2017	—	`conf`	Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems. SPLC (A) Jacob Krüger, Sebastian Nielebock, Sebastian Krieter, Christian Diedrich, Thomas Leich, Gunter Saake, Sebastian Zug, Frank Ortmeier
2017	C	`conf`	Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces. Software Engineering Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake
2017	—	`conf`	FeatureIDE: Empowering Third-Party Developers. SPLC (B) Sebastian Krieter, Marcus Pinnecke, Jacob Krüger, Joshua Sprey, Christopher Sontag, Thomas Thüm, Thomas Leich, Gunter Saake
2016	B	`conf`	A feature-based personalized recommender system for product-line configuration. GPCE Juliana Alves Pereira, Pawel Matuszyk, Sebastian Krieter, Myra Spiliopoulou, Gunter Saake
2016	B	`conf`	Clean your variable code with featureIDE. SPLC Thomas Thüm, Thomas Leich, Sebastian Krieter
2016	B	`conf`	Comparing algorithms for efficient feature-model slicing. SPLC Sebastian Krieter, Reimar Schröter, Thomas Thüm, Wolfram Fenske, Gunter Saake
2016	A*	`conf`	Feature-model interfaces: the highway to compositional analyses of highly-configurable systems. ICSE Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake
2016	B	`conf`	FeatureIDE: Scalable Product Configuration of Variable Systems. ICSR Juliana Alves Pereira, Sebastian Krieter, Jens Meinicke, Reimar Schröter, Gunter Saake, Thomas Leich
2016	—	`conf`	FeatureIDE: taming the preprocessor wilderness. ICSE (Companion Volume) Jens Meinicke, Thomas Thüm, Reimar Schröter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, Thomas Leich
2016	B	`conf`	IncLing: efficient product-line testing using incremental pairwise sampling. GPCE Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thüm, Malte Lochau, Gunter Saake
2016	B	`conf`	Tool demo: testing configurable systems with FeatureIDE. GPCE Mustafa Al-Hajjaji, Jens Meinicke, Sebastian Krieter, Reimar Schröter, Thomas Thüm, Thomas Leich, Gunter Saake
2015	—	`conf`	Use-Case-Specific Source-Code Documentation for Feature-Oriented Programming. VaMoS Sebastian Krieter, Reimar Schröter, Wolfram Fenske, Gunter Saake