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: Exercise instructor and main contact

Publications

2021

3.
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)
Herausgeber: ACM, New York, NY, USA
2021
DOI:10.1145/3442391.3442404
ISBN:9781450388245
Datei:fileadmin/website_uni_ulm/iui.inst.170/publications/2021-VaMoS-Sundermann.pdf

2020

2.
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), Seite 3:1--3:9
Herausgeber: ACM, New York, NY, USA
2020
DOI:10.1145/3377024.3377025
ISBN:9781450375016
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
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 6:1--6:9
Herausgeber: ACM, New York, NY, USA
2020
DOI:10.1145/3377024.3377036
ISBN:9781450375016
Datei:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Sprey.pdf