Eclipse Plugin for Feature Oriented Software Development
Research Projects
Analyzing Large Configuration Spaces with Feature-Model Counting
Materials
| Filename | Info | Modified | |
|---|---|---|---|
 | 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:
- Co-chair of the
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
Winter Term 2020/21
Compilerbau: Exercise instructor and main contact
Publications
2021
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: | |
| 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: | |
| 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: | |
| ISBN: | 9781450388245 |
| File: | |
2020
5.
Sundermann,
Chico
Applications of #SAT Solvers on Product Lines
Master's Thesis
TU Braunschweig, Germany
August 2020
Applications of #SAT Solvers on Product Lines
Master's Thesis
TU Braunschweig, Germany
August 2020
| DOI: | |
| 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: | |
| 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: | |
| ISBN: | 9781450375016 |
| File: | |
2019
2.
Sundermann,
Chico
Evaluating #SAT-Solvers on Industrial Feature Models
Project Thesis
TU Braunschweig, Germany
December 2019
Evaluating #SAT-Solvers on Industrial Feature Models
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
TU Braunschweig, Germany
April 2018
Computing Attribute Ranges for Partial Configurations With JavaSMT
Bachelor's Thesis
TU Braunschweig, Germany
April 2018
| DOI: | |
| File: | |