Sebastian Krieter

Ausgezeichnete Informatikdissertationen, 2022

Efficient interactive and automated product-line configuration.

[BibT_eX]

[DOI]

PhD thesis, 2022

T-Wise Presence Condition Coverage and Sampling for Configurable Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Tutorial on the universal variability language.

[BibT_eX]

[DOI]

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Derivation of subset product lines in FeatureIDE.

[BibT_eX]

[DOI]

Lukas Linsbauer

Paul Westphal

Paul Maximilian Bittner

Ina Schaefer

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Generic Solution-Space Sampling for Multi-domain Product Lines.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

2021

variED: an editor for collaborative, real-time feature modeling.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2021

Stability of Product-Line Samplingin Continuous Integration.

[BibT_eX]

[DOI]

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

Integration of UVL in FeatureIDE.

[BibT_eX]

[DOI]

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

AutoSMP: an evaluation platform for sampling algorithms.

[BibT_eX]

[DOI]

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Incremental construction of modal implication graphs for evolving feature models.

[BibT_eX]

[DOI]

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

2020

Using Abstract Contracts for Verifying Evolving Features and Their Interactions.

[BibT_eX]

[DOI]

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

SMT-based variability analyses in FeatureIDE.

[BibT_eX]

[DOI]

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

EXtracting product lines from vAriaNTs (EXPLANT).

[BibT_eX]

[DOI]

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

YASA: yet another sampling algorithm.

[BibT_eX]

[DOI]

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

Large-scale T-wise interaction sampling using YASA.

[BibT_eX]

[DOI]

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

A conceptual model for unifying variability in space and time.

[BibT_eX]

[DOI]

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

2019

Using Dynamic Software Product Lines to Implement Adaptive SGX-enabled Systems.

[BibT_eX]

[DOI]

Tobias Thiem

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

Product sampling for product lines: the scalability challenge.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Foundations of collaborative, real-time feature modeling.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Enabling efficient automated configuration generation and management.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Propagating Configuration Decisions with Modal Implication Graphs.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Software Management, 2019

2018

Personalized recommender systems for product-line configuration processes.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2018

A Context-Aware Recommender System for Extended Software Product Line Configurations.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Don't Worry About it: Managing Variability On-The-Fly.

[BibT_eX]

[DOI]

Jacob Krüger

Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Getting rid of clone-and-own: moving to a software product line for temperature monitoring.

[BibT_eX]

[DOI]

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

PClocator: a tool suite to automatically identify configurations for code locations.

[BibT_eX]

[DOI]

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Visual guidance for product line configuration using recommendations and non-functional properties.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Feature Modeling and Development with FeatureIDE.

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018

Towards secure dynamic product lines in the cloud.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

STANlite - A Database Engine for Secure Data Processing at Rack-Scale Level.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators.

[BibT_eX]

[DOI]

Ina Schaefer

Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018., 2018

2017

Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

FeatureIDE: Empowering Third-Party Developers.

[BibT_eX]

[DOI]

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2017, 2017

2016

Clean your variable code with featureIDE.

[BibT_eX]

[DOI]

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Comparing algorithms for efficient feature-model slicing.

[BibT_eX]

[DOI]

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

FeatureIDE: Scalable Product Configuration of Variable Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Feature-model interfaces: the highway to compositional analyses of highly-configurable systems.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

FeatureIDE: taming the preprocessor wilderness.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

A feature-based personalized recommender system for product-line configuration.

[BibT_eX]

[DOI]