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:
- SPLC2023 - Demo and Tools Track : 27th ACM International Systems and Software Product Line Conference (SPLC 2023) - Demo and Tools Track
- VariVolution@SPLC2023: 6th Intl. Workshop on Variability and Evolution of Software-Intensive Systems
- 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
Involved in organization of workshops/conferences:
Summer Term 2023
Software Product Lines: Exercise instructor and main contact
Winter Term 2022/23
Compilerbau: Exercise instructor and main contact
Winter Term 2021/22
Compilerbau: Exercise instructor and main contact
Summer Term 2021
Winter Term 2020/21
Compilerbau: Exercise instructor and main contact
Publications
2024
33.
Sundermann,
Chico;
Brancaccio,
Vincenzo Francesco;
Kuiter,
Elias;
Krieter,
Sebastian;
Heß,
Tobias;
Thüm,
Thomas
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 54-65
Publisher: ACM, New York, NY, USA
September 2024
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 54-65
Publisher: ACM, New York, NY, USA
September 2024
| DOI: | 10.1145/3646548.3672590 |
32.
Sundermann,
Chico;
Heß,
Tobias;
Sundermann,
Rahel;
Kuiter,
Elias;
Krieter,
Sebastian;
Thüm,
Thomas
Generating Feature Models with UVL's Full Expressiveness
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Page 61-65
Publisher: ACM, New York, NY, USA
September 2024
Generating Feature Models with UVL's Full Expressiveness
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Page 61-65
Publisher: ACM, New York, NY, USA
September 2024
| DOI: | 10.1145/3646548.3676602 |
31.
Sundermann,
Chico;
Kuiter,
Elias;
Heß,
Tobias;
Raab,
Heiko;
Krieter,
Sebastian;
Thüm,
Thomas
On the Benefits of Knowledge Compilation for Feature-Model Analyses (Journal First)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 217
Publisher: ACM, New York, NY, USA
September 2024
On the Benefits of Knowledge Compilation for Feature-Model Analyses (Journal First)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 217
Publisher: ACM, New York, NY, USA
September 2024
| DOI: | 10.1145/3646548.3676540 |
30.
Heß,
Tobias;
Semmler,
Sean Niklas;
Sundermann,
Chico;
Toran,
Jacobo;
Thüm,
Thomas
Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 136-147
Publisher: ACM, New York, NY, USA
September 2024
Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 136-147
Publisher: ACM, New York, NY, USA
September 2024
| DOI: | 10.1145/3646548.3672598 |
| ISBN: | 9798400705939 |
29.
Sundermann,
Chico;
Heß,
Tobias;
Nieke,
Michael;
Bittner,
Paul Maximilian;
Young,
Jeffrey M.;
Thüm,
Thomas;
Schaefer,
Ina
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces - Summary
Proc. Software Engineering (SE), Page 67-68
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2024
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces - Summary
Proc. Software Engineering (SE), Page 67-68
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2024
| DOI: | 10.18420/sw2024_18 |
| ISBN: | 978-3-88579-737-1 |
| File: |  https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-SE-Sundermann.pdf |
28.
Kuiter,
Elias;
Heß,
Tobias;
Sundermann,
Chico;
Krieter,
Sebastian;
Thüm,
Thomas;
Saake,
Gunter
How Easy Is SAT-Based Analysis of a Feature Model?
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 149-151
Publisher: ACM, New York, NY, USA
February 2024
How Easy Is SAT-Based Analysis of a Feature Model?
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 149-151
Publisher: ACM, New York, NY, USA
February 2024
| DOI: | 10.1145/3634713.3634733 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Kuiter.pdf |
27.
Sundermann,
Chico;
Loth,
Jacob;
Thüm,
Thomas
Efficient Slicing of Feature Models via Projected d-DNNF Compilation
Proc. Int'l Conf. on Automated Software Engineering (ASE) (To Appear)
Publisher: ACM, New York, NY, USA
2024
Efficient Slicing of Feature Models via Projected d-DNNF Compilation
Proc. Int'l Conf. on Automated Software Engineering (ASE) (To Appear)
Publisher: ACM, New York, NY, USA
2024
26.
Sundermann,
Chico;
Raab,
Heiko;
Heß,
Tobias;
Thüm,
Thomas;
Schaefer,
Ina
Reusing d-DNNFs for Efficient Feature-Model Counting
Trans. on Software Engineering and Methodology (TOSEM) (To Appear)
2024
Publisher: ACM
Reusing d-DNNFs for Efficient Feature-Model Counting
Trans. on Software Engineering and Methodology (TOSEM) (To Appear)
2024
Publisher: ACM
25.
Romero-Organvidez,
David;
Galindo,
Jose A;
Sundermann,
Chico;
Horcas,
Jose-Miguel;
Benavides,
David
UVLHub: A Feature Model Data Repository Using UVL and Open Science Principles
J. Systems and Software (JSS) (To Appear)
2024
Publisher: Elsevier Science Inc.
UVLHub: A Feature Model Data Repository Using UVL and Open Science Principles
J. Systems and Software (JSS) (To Appear)
2024
Publisher: Elsevier Science Inc.
2023
24.
Sundermann,
Chico;
Kuiter,
Elias;
Heß,
Tobias;
Raab,
Heiko;
Krieter,
Sebastian;
Thüm,
Thomas
On the Benefits of Knowledge Compilation for Feature-Model Analyses
Annals of Mathematics and Artificial Intelligence (AMAI)
November 2023
Publisher: Springer
On the Benefits of Knowledge Compilation for Feature-Model Analyses
Annals of Mathematics and Artificial Intelligence (AMAI)
November 2023
Publisher: Springer
| DOI: | 10.1007/s10472-023-09906-6 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-AMAI-Sundermann.pdf |
23.
Krieter,
Sebastian;
Feichtinger,
Kevin;
Galindo,
Jose A.;
Benavides,
David;
Rabiser,
Rick;
Sundermann,
Chico;
Thüm,
Thomas
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Krieter.pdf |
22.
Sundermann,
Chico;
Vill,
Stefan;
Thüm,
Thomas;
Feichtinger,
Kevin;
Agarwal,
Prankur;
Rabiser,
Rick;
Galindo,
Jose A.;
Benavides,
David
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
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 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Sundermann.pdf |
21.
Loth,
Jacob;
Sundermann,
Chico;
Schrull,
Tobias;
Brugger,
Thilo;
Rieg,
Felix;
Thüm,
Thomas
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
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 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Loth.pdf |
20.
Sundermann,
Chico;
Raab,
Heiko;
Heß,
Tobias;
Thüm,
Thomas;
Schaefer,
Ina
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
Technical Report arXiv:2303.12383
March 2023
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://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-TR-Sundermann.pdf |
19.
Feichtinger,
Kevin;
Sundermann,
Chico;
Thüm,
Thomas;
Rabiser,
Rick
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Feichtinger.pdf |
18.
Kuiter,
Elias;
Krieter,
Sebastian;
Sundermann,
Chico;
Thüm,
Thomas;
Saake,
Gunter
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Kuiter-Tseitin.pdf |
17.
Sundermann,
Chico;
Heß,
Tobias;
Nieke,
Michael;
Bittner,
Paul Maximilian;
Young,
Jeffrey M.;
Thüm,
Thomas;
Schaefer,
Ina
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE) :38
January 2023
Publisher: Springer
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE) :38
January 2023
Publisher: Springer
| DOI: | 10.1007/s10664-022-10265-9 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-EMSE-Sundermann.pdf |
2022
16.
Hentze,
Marc;
Pett,
Tobias;
Sundermann,
Chico;
Krieter,
Sebastian;
Thüm,
Thomas;
Schaefer,
Ina
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-GPCE-Hentze.pdf |
15.
Hentze,
Marc;
Sundermann,
Chico;
Thüm,
Thomas;
Schaefer,
Ina
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-MODELS-Hentze.pdf |
14.
Kuiter,
Elias;
Krieter,
Sebastian;
Sundermann,
Chico;
Thüm,
Thomas;
Saake,
Gunter
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ASE-Kuiter.pdf |
13.
Heß,
Tobias;
Müller,
Tobias;
Sundermann,
Chico;
Thüm,
Thomas
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Hess.pdf |
12.
Feichtinger,
Kevin;
Sundermann,
Chico;
Thüm,
Thomas;
Rabiser,
Rick
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Feichtinger.pdf |
11.
Sundermann,
Chico;
Feichtinger,
Kevin;
Galindo,
Jose A.;
Benavides,
David;
Rabiser,
Rick;
Krieter,
Sebastian;
Thüm,
Thomas
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Sundermann.pdf |
2021
10.
Krieter,
Sebastian;
Arens,
Rahel;
Nieke,
Michael;
Sundermann,
Chico;
Heß,
Tobias;
Thüm,
Thomas;
Seidl,
Christoph
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Krieter.pdf |
9.
Sundermann,
Chico;
Heß,
Tobias;
Engelhardt,
Dominik;
Arens,
Rahel;
Herschel,
Johannes;
Jedelhauser,
Kevin;
Jutz,
Benedikt;
Krieter,
Sebastian;
Schaefer,
Ina
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-MODEVAR-Sundermann.pdf |
M.Sc. Chico Sundermann
M.Sc.
Chico
Sundermann
Research Assistant
Ulm University
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069
Ulm
Germany