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
Filename | Info | Modified | |
---|---|---|---|
|
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
Second Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 273
Publisher: ACM, New York, NY, USA
September 2023
DOI: | 10.1145/3579027.3609002 |
ISBN: | 9798400700910 |
File: |
UVLParser: Extending UVL with Language Levels and Conversion Strategies
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 39-42
Publisher: ACM, New York, NY, USA
August 2023
DOI: | 10.1145/3579028.3609013 |
ISBN: | 9798400700927 |
UVLS: A Language Server Protocol for UVL
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 43-46
Publisher: ACM, New York, NY, USA
August 2023
DOI: | 10.1145/3579028.3609014 |
ISBN: | 9798400700927 |
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
Technical Report arXiv:2303.12383
March 2023
DOI: | 10.48550/arXiv.2303.12383 |
File: | https://arxiv.org/pdf/2303.12383 |
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations - Summary
Proc. Software Engineering (SE), Page 51-52
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File: |
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses - Summary
Proc. Software Engineering (SE), Page 83-84
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File: |
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE)
January 2023
Publisher: Springer
DOI: | 10.1007/s10664-022-10265-9 |
File: |
2022
Generic Solution-Space Sampling for Multi-Domain Product Lines
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE)
Publisher: ACM, New York, NY, USA
December 2022
DOI: | 10.1145/3564719.3568695 |
File: |
Quantifying the Variability Mismatch Between Problem and Solution Space
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), Page 322-333
Publisher: IEEE, Washington, DC, USA
October 2022
DOI: | 10.1145/3550355.3552411 |
ISBN: | 9781450394666 |
File: |
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Proc. Int'l Conf. on Automated Software Engineering (ASE), Page 110:1-110:13
Publisher: ACM, New York, NY, USA
October 2022
DOI: | 10.1145/3551349.3556938 |
ISBN: | 9781450394758 |
File: |
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 67-78
Publisher: ACM, New York, NY, USA
September 2022
DOI: | 10.1145/3546932.3546990 |
ISBN: | 9781450394437 |
File: |
ddueruem: A Wrapper for Feature-Model Analysis Tools
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 54-57
Publisher: ACM, New York, NY, USA
September 2022
DOI: | 10.1145/3503229.3547032 |
ISBN: | 9781450392068 |
File: |
Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 260:1
Publisher: ACM, New York, NY, USA
September 2022
DOI: | 10.1145/3546932.3547024 |
ISBN: | 9781450394437 |
File: |
2021
Incremental Construction of Modal Implication Graphs for Evolving Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 64-74
Publisher: ACM, New York, NY, USA
September 2021
DOI: | 10.1145/3461001.3471148 |
ISBN: | 9781450384698 |
File: |
Integration of UVL in FeatureIDE
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Page 73-79
Publisher: ACM, New York, NY, USA
September 2021
DOI: | 10.1145/3461002.3473940 |
ISBN: | 9781450384704 |
File: |
On the Scalability of Building Binary Decision Diagrams for Current Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 131-135
Publisher: ACM, New York, NY, USA
September 2021
DOI: | 10.1145/3461001.3474452 |
ISBN: | 9781450384698 |
File: |
Yet Another Textual Variability Language? A Community Effort Towards a Unified Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 136-147
Publisher: ACM, New York, NY, USA
September 2021
DOI: | 10.1145/3461001.3471145 |
ISBN: | 9781450384698 |
File: |
Applications of #SAT Solvers on Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2021
DOI: | 10.1145/3442391.3442404 |
ISBN: | 9781450388245 |
File: |
2020
Applications of #SAT Solvers on Product Lines
Master's Thesis
TU Braunschweig, Germany
August 2020
DOI: | 10.24355/dbbs.084-202009161329-0 |
File: |
Evaluating #SAT Solvers on Industrial Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2020
DOI: | 10.1145/3377024.3377025 |
ISBN: | 9781450375016 |
File: |
SMT-Based Variability Analyses in FeatureIDE
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2020
DOI: | 10.1145/3377024.3377036 |
ISBN: | 9781450375016 |
File: |
2019
Evaluating #SAT-Solvers on Industrial Feature Models
Project Thesis
TU Braunschweig, Germany
December 2019
File: |
2018
Computing Attribute Ranges for Partial Configurations with JavaSMT
Bachelor's Thesis
TU Braunschweig, Germany
April 2018
DOI: | 10.24355/dbbs.084-201807060926-0 |
File: |
M.Sc. Chico Sundermann

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