Institute of Software Engineering and Programming Languages

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

Materials

 DateinameInfoGeändert
Main.pdf 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:

  • SPLC2023 - Demo and Tools Track : 27th ACM International Systems and Software Product Line Conference (SPLC 2023) - Demo and Tools Track
  • VariVolution@SPLC2023: 6th Intl. Workshop on Variability and Evolution of Software-Intensive Systems
  • 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

Involved in organization of workshops/conferences:

Summer Term 2023

Software Product Lines: Exercise instructor and main contact

Winter Term 2022/23

Compilerbau: Exercise instructor and main contact

Winter Term 2021/22

Compilerbau: Exercise instructor and main contact

Summer Term 2021

Master-Seminar: Forschungstrends der Softwaretechnik

Project: Development of Eclipse Plug-Ins: FeatureIDE

Winter Term 2020/21

Compilerbau: Exercise instructor and main contact

Publications

2018

1.
Sprey, Joshua; Sundermann, Chico
Computing Attribute Ranges for Partial Configurations With JavaSMT
Bachelor
TU Braunschweig, Germany
April 2018
DOI:10.24355/dbbs.084-201807060926-0
Datei:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044588/Thesis_Sprey_Sundermann.pdf