Publications | Elias Kuiter

2026

ICSE

torte: Reproducible Feature-Model Experiments à la Carte

Elias Kuiter

In Proc. Int’l Conf. on Software Engineering (ICSE), Rio de Janeiro, Brazil, Apr 2026

To appear

@inproceedings{K:ICSE26,
  author = {Kuiter, Elias},
  title = {{torte: Reproducible Feature-Model Experiments à la Carte}},
  booktitle = {Proc.\ Int'l Conf.\ on Software Engineering (ICSE)},
  location = {Rio de Janeiro, Brazil},
  note = {To appear},
  doi = {10.1145/3774748.3787618},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = apr,
  year = {2026},
  keywords = {ICSE},
}

ICSE

Can SAT Solvers Keep Up With the Linux Kernel’s Feature Model?

Elias Kuiter, Urs-Benedict Braun, Thomas Thüm, Sebastian Krieter, and Gunter Saake

In Proc. Int’l Conf. on Software Engineering (ICSE), Rio de Janeiro, Brazil, Apr 2026

To appear

Distinguished Paper DOI PDF Bib

@inproceedings{KBT+:ICSE26,
  author = {Kuiter, Elias and Braun, Urs-Benedict and Th{\"{u}}m, Thomas and Krieter, Sebastian and Saake, Gunter},
  title = {{Can SAT Solvers Keep Up With the Linux Kernel's Feature Model?}},
  booktitle = {Proc.\ Int'l Conf.\ on Software Engineering (ICSE)},
  location = {Rio de Janeiro, Brazil},
  note = {To appear},
  doi = {10.1145/3744916.3787823},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = apr,
  year = {2026},
  keywords = {ICSE},
}

RCR Report

How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History – RCR Report

Elias Kuiter, Chico Sundermann, Thomas Thüm, Tobias Heß, Sebastian Krieter, and Gunter Saake

Trans. on Software Engineering and Methodology (TOSEM), Feb 2026

DOI PDF Slides Bib

@article{KST+:TOSEM25RCR,
  author = {Kuiter, Elias and Sundermann, Chico and Th{\"{u}}m, Thomas and He{\ss}, Tobias and Krieter, Sebastian and Saake, Gunter},
  title = {{How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History -- RCR Report}},
  journal = {Trans.\ on Software Engineering and Methodology (TOSEM)},
  doi = {10.1145/3764666},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = feb,
  year = {2026},
  keywords = {RCR},
}

Extended Abstract

How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History – Summary

Elias Kuiter, Chico Sundermann, Thomas Thüm, Tobias Heß, Sebastian Krieter, and Gunter Saake

In Proc. Software Engineering (SE), Bern, Switzerland, Feb 2026

DOI PDF Slides Bib

@inproceedings{KST+:SE26,
  author = {Kuiter, Elias and Sundermann, Chico and Th{\"{u}}m, Thomas and He{\ss}, Tobias and Krieter, Sebastian and Saake, Gunter},
  title = {{How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History -- Summary}},
  booktitle = {Proc.\ Software Engineering (SE)},
  location = {Bern, Switzerland},
  doi = {10.18420/se2026_28},
  publisher = {Gesellschaft f{\"u}r Informatik},
  address = {Bonn, Germany},
  month = feb,
  year = {2026},
  keywords = {EA},
}

2025

TOSEM

How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History

Elias Kuiter, Chico Sundermann, Thomas Thüm, Tobias Heß, Sebastian Krieter, and Gunter Saake

Trans. on Software Engineering and Methodology (TOSEM), Dec 2025

DOI PDF Slides Bib

@article{KST+:TOSEM25,
  author = {Kuiter, Elias and Sundermann, Chico and Th{\"{u}}m, Thomas and He{\ss}, Tobias and Krieter, Sebastian and Saake, Gunter},
  title = {{How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History}},
  journal = {Trans.\ on Software Engineering and Methodology (TOSEM)},
  volume = {35},
  number = {1},
  doi = {10.1145/3729423},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = dec,
  year = {2025},
  keywords = {TOSEM},
}

SPLC

Towards Effective and Efficient Feature-Model Analyses for Evolving System Software

Elias Kuiter

In Proc. Int’l Systems and Software Product Line Conf. (SPLC), A Coruña, Spain, Sep 2025

DOI PDF Slides Bib

@inproceedings{K:SPLC25,
  author = {Kuiter, Elias},
  title = {{Towards Effective and Efficient Feature-Model Analyses for Evolving System Software}},
  booktitle = {Proc.\ Int'l Systems and Software Product Line Conf.\ (SPLC)},
  pages = {6--13},
  location = {A Coru{\~n}a, Spain},
  doi = {10.1145/3748269.3748593},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = sep,
  year = {2025},
  keywords = {SPLC},
}

VaMoS

Teach Variability! A Modern University Course on Software Product Lines

Elias Kuiter, Thomas Thüm, and Timo Kehrer

In Proc. Int’l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Rennes, France, Feb 2025

Best Research Paper DOI PDF Slides Bib

@inproceedings{KTK:VaMoS25,
  author = {Kuiter, Elias and Th{\"{u}}m, Thomas and Kehrer, Timo},
  title = {{Teach Variability! A Modern University Course on Software Product Lines}},
  booktitle = {Proc.\ Int'l Working Conf.\ on Variability Modelling of Software-Intensive Systems (VaMoS)},
  location = {Rennes, France},
  doi = {10.1145/3715340.3715441},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = feb,
  year = {2025},
  keywords = {VaMoS},
}

Technical Report

Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs

Chico Sundermann, Stefan Vill, Elias Kuiter, Sebastian Krieter, Thomas Thüm, and Matthias Tichy

May 2025

DOI PDF Bib

@techreport{SVK+:TR25,
  author = {Sundermann, Chico and Vill, Stefan and Kuiter, Elias and Krieter, Sebastian and Thüm, Thomas and Tichy, Matthias},
  title = {{Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs}},
  number = {arXiv:2505.05976},
  institution = {Cornell University Library},
  doi = {10.48550/arxiv.2505.05976},
  month = may,
  year = {2025},
  keywords = {TR},
}

2024

AMAI

On the Benefits of Knowledge Compilation for Feature-Model Analyses

Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, and Thomas Thüm

Annals of Mathematics and Artificial Intelligence (AMAI), Oct 2024

DOI PDF Bib

@article{SKH+:AMAI24,
  author = {Sundermann, Chico and Kuiter, Elias and He{\ss}, Tobias and Raab, Heiko and Krieter, Sebastian and Th{\"{u}}m, Thomas},
  title = {{On the Benefits of Knowledge Compilation for Feature-Model Analyses}},
  journal = {Annals of Mathematics and Artificial Intelligence (AMAI)},
  volume = {92},
  number = {5},
  pages = {1013--1050},
  doi = {10.1007/s10472-023-09906-6},
  publisher = {Springer},
  month = oct,
  year = {2024},
  keywords = {AMAI},
}

MODEVAR

Generating Feature Models with UVL’s Full Expressiveness

Chico Sundermann, Tobias Heß, Rahel Sundermann, Elias Kuiter, Sebastian Krieter, and Thomas Thüm

In Proc. Int’l Workshop on Languages for Modelling Variability (MODEVAR), Dommeldange, Luxembourg, Sep 2024

DOI PDF Bib

@inproceedings{SHS+:MODEVAR24b,
  author = {Sundermann, Chico and He{\ss}, Tobias and Sundermann, Rahel and Kuiter, Elias and Krieter, Sebastian and Th{\"{u}}m, Thomas},
  title = {{Generating Feature Models with UVL's Full Expressiveness}},
  booktitle = {Proc.\ Int'l Workshop on Languages for Modelling Variability (MODEVAR)},
  pages = {61--65},
  location = {Dommeldange, Luxembourg},
  doi = {10.1145/3646548.3676602},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = sep,
  year = {2024},
  keywords = {MODEVAR},
}

SPLC

Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking

Chico Sundermann, Vincenzo Francesco Brancaccio, Elias Kuiter, Sebastian Krieter, Tobias Heß, and Thomas Thüm

In Proc. Int’l Systems and Software Product Line Conf. (SPLC), Dommeldange, Luxembourg, Sep 2024

DOI PDF Bib

@inproceedings{SBK+:SPLC24,
  author = {Sundermann, Chico and Brancaccio, Vincenzo Francesco and Kuiter, Elias and Krieter, Sebastian and He{\ss}, Tobias and Th{\"{u}}m, Thomas},
  title = {{Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking}},
  booktitle = {Proc.\ Int'l Systems and Software Product Line Conf.\ (SPLC)},
  pages = {54--65},
  location = {Dommeldange, Luxembourg},
  doi = {10.1145/3646548.3672590},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = sep,
  year = {2024},
  keywords = {SPLC},
}

Extended Abstract

On the Benefits of Knowledge Compilation for Feature-Model Analyses

Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, and Thomas Thüm

In Proc. Int’l Systems and Software Product Line Conf. (SPLC), Dommeldange, Luxembourg, Sep 2024

DOI PDF Bib

@inproceedings{SKH+:SPLC24,
  author = {Sundermann, Chico and Kuiter, Elias and He{\ss}, Tobias and Raab, Heiko and Krieter, Sebastian and Th{\"{u}}m, Thomas},
  title = {{On the Benefits of Knowledge Compilation for Feature-Model Analyses}},
  booktitle = {Proc.\ Int'l Systems and Software Product Line Conf.\ (SPLC)},
  pages = {217},
  location = {Dommeldange, Luxembourg},
  doi = {10.1145/3646548.3676540},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = sep,
  year = {2024},
  keywords = {EA},
}

VaMoS

How Easy is SAT-Based Analysis of a Feature Model?

Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, and Gunter Saake

In Proc. Int’l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Bern, Switzerland, Feb 2024

DOI PDF Slides Bib

@inproceedings{KHS+:VaMoS24,
  author = {Kuiter, Elias and He{\ss}, Tobias and Sundermann, Chico and Krieter, Sebastian and Th{\"{u}}m, Thomas and Saake, Gunter},
  title = {{How Easy is SAT-Based Analysis of a Feature Model?}},
  booktitle = {Proc.\ Int'l Working Conf.\ on Variability Modelling of Software-Intensive Systems (VaMoS)},
  pages = {149--151},
  location = {Bern, Switzerland},
  doi = {10.1145/3634713.3634733},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = feb,
  year = {2024},
  keywords = {VaMoS},
}

2023

Extended Abstract

variED: An Editor for Collaborative, Real-Time Feature Modeling

Elias Kuiter, Sebastian Krieter, Jacob Krüger, Gunter Saake, and Thomas Leich

In Proc. Software Engineering (SE), Paderborn, Germany, Feb 2023

PDF Slides Website Bib

@inproceedings{KKK+:SE23,
  author = {Kuiter, Elias and Krieter, Sebastian and Kr{\"{u}}ger, Jacob and Saake, Gunter and Leich, Thomas},
  title = {{variED: An Editor for Collaborative, Real-Time Feature Modeling}},
  booktitle = {Proc.\ Software Engineering (SE)},
  pages = {85--86},
  location = {Paderborn, Germany},
  publisher = {Gesellschaft f{\"u}r Informatik},
  address = {Bonn, Germany},
  month = feb,
  year = {2023},
  keywords = {EA},
}

Extended Abstract

Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses

Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, and Gunter Saake

In Proc. Software Engineering (SE), Paderborn, Germany, Feb 2023

PDF Slides Website Bib

@inproceedings{KKS+:SE23,
  author = {Kuiter, Elias and Krieter, Sebastian and Sundermann, Chico and Th{\"{u}}m, Thomas and Saake, Gunter},
  title = {{Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses}},
  booktitle = {Proc.\ Software Engineering (SE)},
  pages = {83--84},
  location = {Paderborn, Germany},
  publisher = {Gesellschaft f{\"u}r Informatik},
  address = {Bonn, Germany},
  month = feb,
  year = {2023},
  keywords = {EA},
}

Technical Report

Exploiting Structure: A Survey and Analysis of Structures and Hardness Measures for Propositional Formulas

Rick Adamy, Elias Kuiter, and Gunter Saake

Nov 2023

DOI PDF Bib

@techreport{AKS:TR23,
  author = {Adamy, Rick and Kuiter, Elias and Saake, Gunter},
  title = {{Exploiting Structure: A Survey and Analysis of Structures and Hardness Measures for Propositional Formulas}},
  institution = {Qeios},
  doi = {10.32388/7U1PFG.2},
  month = nov,
  year = {2023},
  keywords = {TR},
}

2022

ASE

Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses

Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, and Gunter Saake

In Proc. Int’l Conf. on Automated Software Engineering (ASE), Rochester, MI, USA, Oct 2022

DOI PDF Slides Bib

@inproceedings{KKS+:ASE22,
  author = {Kuiter, Elias and Krieter, Sebastian and Sundermann, Chico and Th{\"{u}}m, Thomas and Saake, Gunter},
  title = {{Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses}},
  booktitle = {Proc.\ Int'l Conf.\ on Automated Software Engineering (ASE)},
  location = {Rochester, MI, USA},
  doi = {10.1145/3551349.3556938},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = oct,
  year = {2022},
  keywords = {ASE},
}

VaMoS

Verification Strategies for Feature-Oriented Software Product Lines

Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, and Ina Schaefer

In Proc. Int’l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Florence, Italy, Feb 2022

DOI PDF Slides Bib

@inproceedings{KKB+:VaMoS22,
  author = {Kuiter, Elias and Kn\"{u}ppel, Alexander and Bordis, Tabea and Runge, Tobias and Schaefer, Ina},
  title = {{Verification Strategies for Feature-Oriented Software Product Lines}},
  booktitle = {Proc.\ Int'l Working Conf.\ on Variability Modelling of Software-Intensive Systems (VaMoS)},
  location = {Florence, Italy},
  doi = {10.1145/3510466.3511272},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = feb,
  year = {2022},
  keywords = {VaMoS},
}

Technical Report

A Survey and Comparison of Industrial and Academic Research on the Evolution of Software Product Lines

Elias Kuiter and Gunter Saake

Dec 2022

DOI PDF Slides Bib

@techreport{KS:TR22,
  author = {Kuiter, Elias and Saake, Gunter},
  title = {{A Survey and Comparison of Industrial and Academic Research on the Evolution of Software Product Lines}},
  number = {arXiv:2212.05953},
  institution = {Cornell University Library},
  doi = {10.48550/arxiv.2212.05953},
  month = dec,
  year = {2022},
  keywords = {TR},
}

2021

EMSE

variED: An Editor for Collaborative, Real-Time Feature Modeling

Elias Kuiter, Sebastian Krieter, Jacob Krüger, Gunter Saake, and Thomas Leich

Empirical Software Engineering (EMSE), Mar 2021

DOI PDF Slides Bib

@article{KKK+:EMSE21,
  author = {Kuiter, Elias and Krieter, Sebastian and Kr{\"{u}}ger, Jacob and Saake, Gunter and Leich, Thomas},
  title = {{variED: An Editor for Collaborative, Real-Time Feature Modeling}},
  journal = {Empirical Software Engineering (EMSE)},
  volume = {26},
  number = {2},
  doi = {10.1007/s10664-020-09892-x},
  publisher = {Springer},
  month = mar,
  year = {2021},
  keywords = {EMSE},
}

VariVolution

Iterative Development and Changing Requirements: Drivers of Variability in an Industrial System for Veterinary Anesthesia

Elias Kuiter, Jacob Krüger, and Gunter Saake

In Proc. Int’l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Leicester, UK, Sep 2021

DOI PDF Slides Bib

@inproceedings{KKS:VariVolution21,
  author = {Kuiter, Elias and Kr{\"u}ger, Jacob and Saake, Gunter},
  title = {{Iterative Development and Changing Requirements: Drivers of Variability in an Industrial System for Veterinary Anesthesia}},
  booktitle = {Proc.\ Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution)},
  pages = {113--122},
  location = {Leicester, UK},
  doi = {10.1145/3461002.3473950},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = sep,
  year = {2021},
  keywords = {VariVolution},
}

Master's Thesis

Proof Repositories for Correct-by-Construction Software Product Lines

Elias Kuiter

Jan 2021

PDF Slides Bib

@mastersthesis{Kuiter20,
  author = {Kuiter, Elias},
  title = {{Proof Repositories for Correct-by-Construction Software Product Lines}},
  type = {Master's Thesis},
  school = {University of Magdeburg},
  address = {Germany},
  month = jan,
  year = {2021},
  keywords = {MT},
}

2019

SPLC

Foundations of Collaborative, Real-Time Feature Modeling

Elias Kuiter, Sebastian Krieter, Jacob Krüger, Thomas Leich, and Gunter Saake

In Proc. Int’l Systems and Software Product Line Conf. (SPLC), Paris, France, Sep 2019

DOI PDF Slides Bib

@inproceedings{KKK+:SPLC19,
  author = {Kuiter, Elias and Krieter, Sebastian and Kr{\"{u}}ger, Jacob and Leich, Thomas and Saake, Gunter},
  title = {{Foundations of Collaborative, Real-Time Feature Modeling}},
  booktitle = {Proc.\ Int'l Systems and Software Product Line Conf.\ (SPLC)},
  pages = {257--264},
  location = {Paris, France},
  doi = {10.1145/3336294.3336308},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = sep,
  year = {2019},
  keywords = {SPLC},
}

Bachelor's Thesis

Consistency Maintenance for Collaborative Real-Time Feature Modeling

Elias Kuiter

Apr 2019

PDF Slides Bib

@mastersthesis{Kuiter19,
  author = {Kuiter, Elias},
  title = {{Consistency Maintenance for Collaborative Real-Time Feature Modeling}},
  type = {Bachelor's Thesis},
  school = {University of Magdeburg},
  address = {Germany},
  month = apr,
  year = {2019},
  keywords = {BT},
}

2018

SPLC

Getting Rid of Clone-and-Own: Moving to a Software Product Line for Temperature Monitoring

Elias Kuiter, Jacob Krüger, Sebastian Krieter, Thomas Leich, and Gunter Saake

In Proc. Int’l Systems and Software Product Line Conf. (SPLC), Gothenburg, Sweden, Sep 2018

DOI PDF Slides Bib

@inproceedings{KKK+:SPLC18a,
  author = {Kuiter, Elias and Kr\"{u}ger, Jacob and Krieter, Sebastian and Leich, Thomas and Saake, Gunter},
  title = {{Getting Rid of Clone-and-Own: Moving to a Software Product Line for Temperature Monitoring}},
  booktitle = {Proc.\ Int'l Systems and Software Product Line Conf.\ (SPLC)},
  pages = {179--189},
  location = {Gothenburg, Sweden},
  doi = {10.1145/3233027.3233050},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = sep,
  year = {2018},
  keywords = {SPLC},
}

SPLC

PCLocator: A Tool Suite to Automatically Identify Configurations for Code Locations

Elias Kuiter, Sebastian Krieter, Jacob Krüger, Kai Ludwig, Thomas Leich, and Gunter Saake

In Proc. Int’l Systems and Software Product Line Conf. (SPLC), Gothenburg, Sweden, Sep 2018

DOI PDF Slides Bib

@inproceedings{KKK+:SPLC18b,
  author = {Kuiter, Elias and Krieter, Sebastian and Kr{\"u}ger, Jacob and Ludwig, Kai and Leich, Thomas and Saake, Gunter},
  title = {{PCLocator: A Tool Suite to Automatically Identify Configurations for Code Locations}},
  booktitle = {Proc.\ Int'l Systems and Software Product Line Conf.\ (SPLC)},
  pages = {284--288},
  location = {Gothenburg, Sweden},
  doi = {10.1145/3233027.3236399},
  publisher = {ACM},
  address = {New York, NY, USA},
  month = sep,
  year = {2018},
  keywords = {SPLC},
}

Supervised Theses

Bachelor's Thesis

Evolution of Kconfig in the Linux Kernel: A Study on Parser Compatibility

Taylan Karakaya

Sep 2025

To appear

Bib

@mastersthesis{Karakaya25,
  author = {Karakaya, Taylan},
  title = {{Evolution of Kconfig in the Linux Kernel: A Study on Parser Compatibility}},
  type = {Bachelor's Thesis},
  school = {TU Braunschweig},
  note = {To appear},
  address = {Germany},
  month = sep,
  year = {2025},
  keywords = {BT}
}

Bachelor's Thesis

Minimizing CNFs to Isolate Solver Bugs

Manuel Dittrich

Aug 2025

To appear

Bib

@mastersthesis{Dittrich25,
  author = {Dittrich, Manuel},
  title = {{Minimizing CNFs to Isolate Solver Bugs}},
  type = {Bachelor's Thesis},
  school = {TU Braunschweig},
  note = {To appear},
  address = {Germany},
  month = aug,
  year = {2025},
  keywords = {BT}
}

Master's Thesis

Extraktion von Feature-Modellen aus erweiterten Kconfig-Spezifikationen

Ljubica Ðorđević

Mar 2026

In German

PDF Bib

@mastersthesis{Dordevic26,
  author = {Ðorđević, Ljubica},
  title = {{Extraktion von Feature-Modellen aus erweiterten Kconfig-Spezifikationen}},
  type = {Master's Thesis},
  school = {University of Magdeburg},
  note = {In German},
  address = {Germany},
  month = mar,
  year = {2026},
  keywords = {MT},
}

Master's Thesis

Mining Bugs in Linux to Assess the Effectiveness of Automated Variability Testing

Christopher Rau

Sep 2025

PDF Website Bib

@mastersthesis{Rau25,
  author = {Rau, Christopher},
  title = {{Mining Bugs in Linux to Assess the Effectiveness of Automated Variability Testing}},
  type = {Master's Thesis},
  school = {TU Braunschweig},
  address = {Germany},
  month = sep,
  year = {2025},
  keywords = {MT},
}

Master's Thesis

Evaluierung von ConfigFix als Werkzeug zur Extraktion KConfig-basierter Feature-Modelle

Rami Alfish

May 2025

In German

PDF Bib

@mastersthesis{Alfish25,
  author = {Alfish, Rami},
  title = {{Evaluierung von ConfigFix als Werkzeug zur Extraktion KConfig-basierter Feature-Modelle}},
  type = {Master's Thesis},
  school = {University of Magdeburg},
  note = {In German},
  address = {Germany},
  month = may,
  year = {2025},
  keywords = {MT},
}

Bachelor's Thesis

Automatisierte Feature-Modell-Analyse des Linux-Kernels: Eine Reise durch die Zeit

Urs-Benedict Braun

May 2025

In German

PDF Bib

@mastersthesis{Braun25,
  author = {Braun, Urs-Benedict},
  title = {{Automatisierte Feature-Modell-Analyse des Linux-Kernels: Eine Reise durch die Zeit}},
  type = {Bachelor's Thesis},
  school = {University of Magdeburg},
  note = {In German},
  address = {Germany},
  month = may,
  year = {2025},
  keywords = {BT},
}

Master's Thesis

Engineering and Selecting Machine Learning Features for Feature Models

Raphael Dunkel

May 2025

PDF Bib

@mastersthesis{Dunkel25,
  author = {Dunkel, Raphael},
  title = {{Engineering and Selecting Machine Learning Features for Feature Models}},
  type = {Master's Thesis},
  school = {University of Ulm},
  address = {Germany},
  month = may,
  year = {2025},
  keywords = {MT},
}

Bachelor's Thesis

Extracting Hierarchies from Kconfig-Based Feature Models

Eric Ketzler

Mar 2025

PDF Bib

@mastersthesis{Ketzler25,
  author = {Ketzler, Eric},
  title = {{Extracting Hierarchies from Kconfig-Based Feature Models}},
  type = {Bachelor's Thesis},
  school = {University of Magdeburg},
  address = {Germany},
  month = mar,
  year = {2025},
  keywords = {BT},
}

Bachelor's Thesis

Effizienz von Projected Model Counting bei der Analyse von Feature-Modellen

Maximilian Schmidt

Jul 2023

In German

Bib

@mastersthesis{Schmidt23,
  author = {Schmidt, Maximilian},
  title = {{Effizienz von Projected Model Counting bei der Analyse von Feature-Modellen}},
  type = {Bachelor's Thesis},
  school = {University of Magdeburg},
  note = {In German},
  address = {Germany},
  month = jul,
  year = {2023},
  keywords = {BT}
}

Master's Thesis

Evaluating the Efficiency of Hybrid CNF Transformations for Feature-Model Formulas

Till Sehlen

Jun 2023

Bib

@mastersthesis{Sehlen23,
  author = {Sehlen, Till},
  title = {{Evaluating the Efficiency of Hybrid CNF Transformations for Feature-Model Formulas}},
  type = {Master's Thesis},
  school = {University of Magdeburg},
  address = {Germany},
  month = jun,
  year = {2023},
  keywords = {MT}
}

Bachelor's Thesis

A Semi-Automated Release Management Process for Microservices

Mohammed Khaled

Aug 2022

PDF Bib

@mastersthesis{Khaled22,
  author = {Khaled, Mohammed},
  title = {{A Semi-Automated Release Management Process for Microservices}},
  type = {Bachelor's Thesis},
  school = {University of Magdeburg},
  address = {Germany},
  month = aug,
  year = {2022},
  keywords = {BT},
}

Master's Thesis

Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen

Daniel Hohmann

Jun 2022

In German

PDF Bib

@mastersthesis{Hohmann22,
  author = {Hohmann, Daniel},
  title = {{Konfiguration von Softwareproduktlinien mit Configuring-Constraints {\"u}ber Feature-Attributen}},
  type = {Master's Thesis},
  school = {University of Magdeburg},
  note = {In German},
  address = {Germany},
  month = jun,
  year = {2022},
  keywords = {MT},
}

Master's Thesis

Reengineering einer Microservice-Architektur: Eine Fallstudie am PEGASOS-System

Johannes Hauffe

Mar 2022

In German

PDF Bib

@mastersthesis{Hauffe22,
  author = {Hauffe, Johannes},
  title = {{Reengineering einer Microservice-Architektur: Eine Fallstudie am PEGASOS-System}},
  type = {Master's Thesis},
  school = {University of Magdeburg},
  note = {In German},
  address = {Germany},
  month = mar,
  year = {2022},
  keywords = {MT},
}

Master's Thesis

System Tools’ Firmware Flashing Automation in a Complex Software/Hardware Environment

Logesh Babu Radhakrishnan

Jan 2022

Bib

@mastersthesis{Radhakrishnan22,
  author = {Radhakrishnan, Logesh Babu},
  title = {{System Tools' Firmware Flashing Automation in a Complex Software/Hardware Environment}},
  type = {Master's Thesis},
  school = {University of Magdeburg},
  address = {Germany},
  month = jan,
  year = {2022},
  keywords = {MT}
}