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

Eclipse Plugin for Feature Oriented Software Development

Materials

  Filename Info Modified
Main.pdf Thesis Topics June 2022 5 MB 04.07.2022 18:23

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

2022

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) (To Appear)
Publisher: IEEE, Washington, DC, USA
October 2022
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) (To Appear)
Publisher: ACM, New York, NY, USA
October 2022
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
DOI:10.1145/3503229.3547032
ISBN:9781450392068
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
DOI:10.1145/3546932.3546990
ISBN:9781450394437
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
DOI:10.1145/3546932.3547024
ISBN:9781450394437

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
DOI:10.1145/3461001.3471148
ISBN:9781450384698
File:pdfhttps://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
DOI:10.1145/3461002.3473940
ISBN:9781450384704
File:pdfhttps://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
DOI:10.1145/3461001.3474452
ISBN:9781450384698
File:pdfhttps://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
DOI:10.1145/3461001.3471145
ISBN:9781450384698
File:pdfhttps://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
DOI:10.1145/3442391.3442404
ISBN:9781450388245
File:pdfhttps://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
Master's Thesis
TU Braunschweig, Germany
August 2020
DOI:10.24355/dbbs.084-202009161329-0
File:pdfhttps://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
DOI:10.1145/3377024.3377025
ISBN:9781450375016
File:pdfhttps://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
DOI:10.1145/3377024.3377036
ISBN:9781450375016
File:pdfhttps://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
Project Thesis
TU Braunschweig, Germany
December 2019
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-VaMoS-Sundermann.pdf

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
DOI:10.24355/dbbs.084-201807060926-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044588/Thesis_Sprey_Sundermann.pdf