SMT-based variability analyses in FeatureIDE. - Joshua Sprey; Chico Sundermann; Sebastian Krieter; Michael Nieke; Jacopo Mauro; Thomas Thüm; Ina Schaefer (VaMoS, 2020)

Evaluating #SAT solvers on industrial feature models. - Chico Sundermann; Thomas Thüm; Ina Schaefer (VaMoS, 2020)

On the scalability of building binary decision diagrams for current feature models. - Tobias Heß; Chico Sundermann; Thomas Thüm (SPLC (A), 2021)

Incremental construction of modal implication graphs for evolving feature models. - Sebastian Krieter; Rahel Arens; Michael Nieke; Chico Sundermann; Tobias Heß; Thomas Thüm; Christoph Seidl 001 (SPLC (A), 2021)

Yet another textual variability language?: a community effort towards a unified language. - Chico Sundermann; Kevin Feichtinger; Dominik Engelhardt; Rick Rabiser; Thomas Thüm (SPLC (A), 2021)

Integration of UVL in FeatureIDE. - Chico Sundermann; Tobias Heß; Dominik Engelhardt; Rahel Arens; Johannes Herschel; Kevin Jedelhauser; Benedikt Jutz; Sebastian Krieter; Ina Schaefer (SPLC (B), 2021)

Applications of #SAT Solvers on Feature Models. - Chico Sundermann; Michael Nieke; Paul Maximilian Bittner; Tobias Heß; Thomas Thüm; Ina Schaefer (VaMoS, 2021)

Generic Solution-Space Sampling for Multi-domain Product Lines. - Marc Hentze; Tobias Pett; Chico Sundermann; Sebastian Krieter; Thomas Thüm; Ina Schaefer (GPCE, 2022)

Quantifying the variability mismatch between problem and solution space. - Marc Hentze; Chico Sundermann; Thomas Thüm; Ina Schaefer (MoDELS, 2022)

It's your loss: classifying information loss during variability model roundtrip transformations. - Kevin Feichtinger; Chico Sundermann; Thomas Thüm; Rick Rabiser (SPLC (A), 2022)

ddueruem: a wrapper for feature-model analysis tools. - Tobias Heß; Tobias Müller; Chico Sundermann; Thomas Thüm (SPLC (B), 2022)

Tutorial on the universal variability language. - Chico Sundermann; Kevin Feichtinger; José A. Galindo; David Benavides 001; Rick Rabiser; Sebastian Krieter; Thomas Thüm (SPLC (A), 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 (Software Engineering, 2023)

Second Tutorial on the Universal Variability Language. - Sebastian Krieter; Kevin Feichtinger; José A. Galindo; David Benavides 001; Rick Rabiser; Chico Sundermann; Thomas Thüm (SPLC (A), 2023)

UVLS: A Language Server Protocol For UVL. - Jacob Loth; Chico Sundermann; Tobias Schrull; Thilo Brugger; Felix Rieg; Thomas Thüm (SPLC (B), 2023)

UVLParser: Extending UVL with Language Levels and Conversion Strategies. - Chico Sundermann; Stefan Vill; Thomas Thüm; Kevin Feichtinger; Prankur Agarwal; Rick Rabiser; José A. Galindo; David Benavides 001 (SPLC (B), 2023)

Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models. - Chico Sundermann; Heiko Raab; Tobias Heß; Thomas Thüm; Ina Schaefer (CoRR, 2023)

Evaluating state-of-the-art # SAT solvers on industrial configuration spaces. - Chico Sundermann; Tobias Heß; Michael Nieke; Paul Maximilian Bittner; Jeffrey M. Young; Thomas Thüm; Ina Schaefer (Empir. Softw. Eng., 2023)

Efficient Slicing of Feature Models via Projected d-DNNF Compilation. - Chico Sundermann; Jacob Loth; Thomas Thüm (ASE, 2024)

Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models. - Tobias Heß; Sean Niklas Semmler; Chico Sundermann; Jacobo Torán; Thomas Thüm (SPLC (A), 2024)

Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking. - Chico Sundermann; Vincenzo Francesco Brancaccio; Elias Kuiter; Sebastian Krieter; Tobias Heß; Thomas Thüm (SPLC (A), 2024)

Generating Feature Models with UVL's Full Expressiveness. - Chico Sundermann; Tobias Heß; Rahel Sundermann; Elias Kuiter; Sebastian Krieter; Thomas Thüm (SPLC (B), 2024)

How Easy is SAT-Based Analysis of a Feature Model? - Elias Kuiter; Tobias Heß; Chico Sundermann; Sebastian Krieter; Thomas Thüm; Gunter Saake (VaMoS, 2024)

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024). - Jessie Galasso-Carbonnel; Chico Sundermann (CoRR, 2024)

UVLHub: A feature model data repository using UVL and open science principles. - David Romero-Organvidez; José A. Galindo; Chico Sundermann; José Miguel Horcas; David Benavides 001 (J. Syst. Softw., 2024)

On the benefits of knowledge compilation for feature-model analyses. - Chico Sundermann; Elias Kuiter; Tobias Heß; Heiko Raab; Sebastian Krieter; Thomas Thüm (Ann. Math. Artif. Intell., 2024)

How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History. - Elias Kuiter; Chico Sundermann; Thomas Thüm; Tobias Heß; Sebastian Krieter; Gunter Saake (Zenodo, 2024)

Reusing d-DNNFs for Efficient Feature-Model Counting. - Chico Sundermann; Heiko Raab; Tobias Heß; Thomas Thüm; Ina Schaefer (ACM Trans. Softw. Eng. Methodol., 2024)

UVL: Feature modelling with the Universal Variability Language. - David Benavides 001; Chico Sundermann; Kevin Feichtinger; José A. Galindo; Rick Rabiser; Thomas Thüm (J. Syst. Softw., 2025)

Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs. - Chico Sundermann; Stefan Vill; Elias Kuiter; Sebastian Krieter; Thomas Thüm; Matthias Tichy (CoRR, 2025)