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

FeatureIDE

Eclipse Plugin for Feature Oriented Software Development

Teaching

Winter Term 2020/21

Compilerbau: Übungsleiter und Ansprechpartner

Publications

2020

2.
Sundermann, Chico; Thüm, Thomas; Schaefer, Ina
Evaluating #SAT Solvers on Industrial Feature Models
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Seite 3:1--3:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Herausgeber: ACM, New York, NY, USA
2020
DOI:10.1145/3377024.3377025
Datei:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Sundermann.pdf
1.
Sprey, Joshua; Sundermann, Chico; Krieter, Sebastian; Nieke, Michael; Mauro, Jacopo; Thüm, Thomas; Schaefer, Ina
SMT-based variability analyses in FeatureIDE
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Seite 6:1--6:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Herausgeber: ACM
2020
DOI:10.1145/3377024.3377036
Datei:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Sprey.pdf