Eclipse Plugin for Feature Oriented Software Development
M.Sc. Chico Sundermann
The main focus of my research lies on analyzing large configurable systems with propositional logic. Hereby, I am especially interested in #SAT, knowledge compilation, and exploiting both techniques to analyze configurable systems. I always aim to find additional applications for #SAT in an industrial context. In addition, I explore several ways to improve the scalability of such applications to allow analyzing complex systems.
Research Projects

Analyzing Large Configuration Spaces with Feature-Model Counting
Materials
Dateiname | Info | Geändert | |
---|---|---|---|
|
Thesis Topics February 2023 | 4 MB | 01.02.2023 12:47 |
I served as a (sub-)reviewer for
- Journals: EMSE, TSE, SCP, JSS
- Conferences: VaMoS'20, GPCE'21, SPLC'21, VaMoS'21, VaMoS'22
I participated in the following program committees:
-
VariVolution@SPLC2022: 5th Intl. Workshop on Variability and Evolution of Software-Intensive Systems
-
ISSTA2022 AE: ACM SIGSOFT International Symposium on Software Testing and Analysis - Artifact Evaluation Track
Winter Term 2022/23
Compilerbau: Exercise instructor and main contact
Winter Term 2021/22
Compilerbau: Exercise instructor and main contact
Winter Term 2020/21
Compilerbau: Exercise instructor and main contact
Publications
2023
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses - Summary
Proc. Software Engineering (SE), Seite 83-84
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2023
Datei: |
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations - Summary
Proc. Software Engineering (SE), Seite 51-52
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2023
Datei: |
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE)
Januar 2023
Herausgeber: Springer
DOI: | 10.1007/s10664-022-10265-9 |
Datei: |
2022
Generic Solution-Space Sampling for Multi-Domain Product Lines
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE)
Herausgeber: ACM, New York, NY, USA
Dezember 2022
DOI: | 10.1145/3564719.3568695 |
Datei: |
Quantifying the Variability Mismatch Between Problem and Solution Space
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), Seite 322-333
Herausgeber: IEEE, Washington, DC, USA
Oktober 2022
DOI: | 10.1145/3550355.3552411 |
ISBN: | 9781450394666 |
Datei: |
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Proc. Int'l Conf. on Automated Software Engineering (ASE), Seite 110:1-110:13
Herausgeber: ACM, New York, NY, USA
Oktober 2022
DOI: | 10.1145/3551349.3556938 |
ISBN: | 9781450394758 |
Datei: |
ddueruem: A Wrapper for Feature-Model Analysis Tools
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 54-57
Herausgeber: ACM, New York, NY, USA
September 2022
DOI: | 10.1145/3503229.3547032 |
ISBN: | 9781450392068 |
Datei: |
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 67-78
Herausgeber: ACM, New York, NY, USA
September 2022
DOI: | 10.1145/3546932.3546990 |
ISBN: | 9781450394437 |
Datei: |
Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 260:1
Herausgeber: ACM, New York, NY, USA
September 2022
DOI: | 10.1145/3546932.3547024 |
ISBN: | 9781450394437 |
Datei: |
2021
Yet Another Textual Variability Language? A Community Effort Towards a Unified Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 136-147
Herausgeber: ACM, New York, NY, USA
September 2021
DOI: | 10.1145/3461001.3471145 |
ISBN: | 9781450384698 |
Datei: |
Incremental Construction of Modal Implication Graphs for Evolving Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 64-74
Herausgeber: ACM, New York, NY, USA
September 2021
DOI: | 10.1145/3461001.3471148 |
ISBN: | 9781450384698 |
Datei: |
Integration of UVL in FeatureIDE
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Seite 73-79
Herausgeber: ACM, New York, NY, USA
September 2021
DOI: | 10.1145/3461002.3473940 |
ISBN: | 9781450384704 |
Datei: |
On the Scalability of Building Binary Decision Diagrams for Current Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 131-135
Herausgeber: ACM, New York, NY, USA
September 2021
DOI: | 10.1145/3461001.3474452 |
ISBN: | 9781450384698 |
Datei: |
Applications of #SAT Solvers on Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2021
DOI: | 10.1145/3442391.3442404 |
ISBN: | 9781450388245 |
Datei: |
2020
Applications of #SAT Solvers on Product Lines
Master's Thesis
TU Braunschweig, Germany
August 2020
DOI: | 10.24355/dbbs.084-202009161329-0 |
Datei: |
Evaluating #SAT Solvers on Industrial Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
DOI: | 10.1145/3377024.3377025 |
ISBN: | 9781450375016 |
Datei: |
SMT-Based Variability Analyses in FeatureIDE
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
DOI: | 10.1145/3377024.3377036 |
ISBN: | 9781450375016 |
Datei: |
2019
Evaluating #SAT-Solvers on Industrial Feature Models
Project Thesis
TU Braunschweig, Germany
Dezember 2019
Datei: |
2018
Computing Attribute Ranges for Partial Configurations with JavaSMT
Bachelor's Thesis
TU Braunschweig, Germany
April 2018
DOI: | 10.24355/dbbs.084-201807060926-0 |
Datei: |
M.Sc. Chico Sundermann

Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11