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 | |
---|---|---|---|
|
Topics_for_Theses_and_Projects-Sundermann-February22.pdf | 5 MB | 03.02.2022 10:28 |
Academic Service
I served as a (sub-)reviewer for
- Journals (A+): EMSE (A), TSE (A*), JSS (A)
- Conferences: VaMoS'20(-), GPCE'21 (B), SPLC'21 (B), VaMoS'21(-), VaMoS'22 (-)
Programm Committees
-
VariVolution@SPLC2022: 5th Intl. Workshop on Variability and Evolution of Software-Intensive Systems
Teaching
Winter Term 2021/22
Compilerbau: Exercise instructor and main contact
Winter Term 2020/21
Compilerbau: Exercise instructor and main contact
Publications
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: |
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: |
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: |
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: |
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: |
2020
5.
Sundermann,
Chico
Applications of #SAT Solvers on Product Lines
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
August 2020
Applications of #SAT Solvers on Product Lines
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
August 2020
DOI: | 10.24355/dbbs.084-202009161329-0 |
File: |
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: |
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: |
2019
2.
Sundermann,
Chico
Evaluating #SAT-Solvers on Industrial Feature Models
Project Thesis
Project Thesis
TU Braunschweig, Germany
December 2019
Evaluating #SAT-Solvers on Industrial Feature Models
Project Thesis
Project Thesis
TU Braunschweig, Germany
December 2019
File: |
2018
1.
Sprey,
Joshua;
Sundermann,
Chico
Computing Attribute Ranges for Partial Configurations with JavaSMT
Bachelor's Thesis
Bachelor's Thesis
TU Braunschweig, Germany
April 2018
Computing Attribute Ranges for Partial Configurations with JavaSMT
Bachelor's Thesis
Bachelor's Thesis
TU Braunschweig, Germany
April 2018
DOI: | 10.24355/dbbs.084-201807060926-0 |
File: |
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