Eclipse Plugin for Feature Oriented Software Development
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:
- Co-chair of the
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;
Raab,
Heiko;
He脽,
Tobias;
Th眉m,
Thomas;
Schaefer,
Ina
Reusing d-DNNFs for Efficient Feature-Model Counting
Trans. on Software Engineering and Methodology (TOSEM)
November 2024
Publisher: ACM
Reusing d-DNNFs for Efficient Feature-Model Counting
Trans. on Software Engineering and Methodology (TOSEM)
November 2024
Publisher: ACM
| DOI: |
32.
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: |
31.
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: |
30.
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: |
29.
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: | |
| ISBN: | 9798400705939 |
28.
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: | |
| ISBN: | 978-3-88579-737-1 |
| File: |  |
27.
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: | |
| File: | |
26.
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
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) :1013-1050
November 2023
Publisher: Springer
On the Benefits of Knowledge Compilation for Feature-Model Analyses
Annals of Mathematics and Artificial Intelligence (AMAI) :1013-1050
November 2023
Publisher: Springer
| DOI: | |
| File: | |
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: | |
| ISBN: | 9798400700910 |
| File: | |
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: | |
| ISBN: | 9798400700927 |
| File: | |
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: | |
| ISBN: | 9798400700927 |
| File: | |
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: | |
| File: | |
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: | |
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: | |
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: | |
| File: | |
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: | |
| File: | |
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: | |
| ISBN: | 9781450394666 |
| File: | |
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: | |
| ISBN: | 9781450394758 |
| File: | |
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: | |
| ISBN: | 9781450392068 |
| File: | |
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: | |
| ISBN: | 9781450394437 |
| File: | |
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: | |
| ISBN: | 9781450394437 |
| File: | |
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: | |
| ISBN: | 9781450384698 |
| File: | |
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: | |
| ISBN: | 9781450384704 |
| File: | |