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
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 |
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 |
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://arxiv.org/pdf/2303.12383 |
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)
January 2023
Publisher: Springer
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: | 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.
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 |
12.
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 |
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 |
8.
Heß,
Tobias;
Sundermann,
Chico;
Thüm,
Thomas
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Hess.pdf |
7.
Sundermann,
Chico;
Feichtinger,
Kevin;
Engelhardt,
Dominik;
Rabiser,
Rick;
Thüm,
Thomas
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Sundermann.pdf |
6.
Sundermann,
Chico;
Nieke,
Michael;
Bittner,
Paul Maximilian;
Heß,
Tobias;
Thüm,
Thomas;
Schaefer,
Ina
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Sundermann.pdf |
2020
5.
Sundermann,
Chico
Applications of #SAT Solvers on Product Lines
Master's Thesis
TU Braunschweig, Germany
August 2020
Applications of #SAT Solvers on Product Lines
Master's Thesis
TU Braunschweig, Germany
August 2020
| DOI: | 10.24355/dbbs.084-202009161329-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047722/Masters_Thesis_Chico_Sundermann_4633286_22072020.pdf |
4.
Sundermann,
Chico;
Thüm,
Thomas;
Schaefer,
Ina
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sundermann.pdf |
3.
Sprey,
Joshua;
Sundermann,
Chico;
Krieter,
Sebastian;
Nieke,
Michael;
Mauro,
Jacopo;
Thüm,
Thomas;
Schaefer,
Ina
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
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: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sprey.pdf |
2019
2.
Sundermann,
Chico
Evaluating #SAT-Solvers on Industrial Feature Models
Project Thesis
TU Braunschweig, Germany
December 2019
Evaluating #SAT-Solvers on Industrial Feature Models
Project Thesis
TU Braunschweig, Germany
December 2019
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sundermann.pdf |
2018
1.
Sprey,
Joshua;
Sundermann,
Chico
Computing Attribute Ranges for Partial Configurations with JavaSMT
Bachelor's Thesis
TU Braunschweig, Germany
April 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: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044588/Thesis_Sprey_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