Publications

All my publications, including student theses I supervised.

2025

  1. RCR Report
    How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History – RCR Report
    Trans. on Software Engineering and Methodology (TOSEM), Aug 2025
    To appear
  2. TOSEM
    How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History
    Trans. on Software Engineering and Methodology (TOSEM), Apr 2025
    To appear
  3. 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
    To appear
  4. 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
  5. Technical Report
    Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
    May 2025

2024

  1. 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
  2. MODEVAR
    Generating Feature Models with UVL’s Full Expressiveness
    In Proc. Int’l Workshop on Languages for Modelling Variability (MODEVAR), Dommeldange, Luxembourg, Sep 2024
  3. 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
  4. 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
  5. VaMoS
    How Easy is SAT-Based Analysis of a Feature Model?
    In Proc. Int’l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Bern, Switzerland, Feb 2024

2023

  1. Extended Abstract
    variED: An Editor for Collaborative, Real-Time Feature Modeling
    In Proc. Software Engineering (SE), Paderborn, Germany, Feb 2023
  2. Extended Abstract
    Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
    In Proc. Software Engineering (SE), Paderborn, Germany, Feb 2023
  3. 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

2022

  1. ASE
    Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
    In Proc. Int’l Conf. on Automated Software Engineering (ASE), Rochester, MI, USA, Oct 2022
  2. 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
  3. 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

2021

  1. EMSE
    variED: An Editor for Collaborative, Real-Time Feature Modeling
    Empirical Software Engineering (EMSE), Mar 2021
  2. 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
  3. Master's Thesis
    Proof Repositories for Correct-by-Construction Software Product Lines
    Elias Kuiter
    Jan 2021

2019

  1. SPLC
    Foundations of Collaborative, Real-Time Feature Modeling
    In Proc. Int’l Systems and Software Product Line Conf. (SPLC), Paris, France, Sep 2019
  2. Bachelor's Thesis
    Consistency Maintenance for Collaborative Real-Time Feature Modeling
    Elias Kuiter
    Apr 2019

2018

  1. SPLC
    Getting Rid of Clone-and-Own: Moving to a Software Product Line for Temperature Monitoring
    In Proc. Int’l Systems and Software Product Line Conf. (SPLC), Gothenburg, Sweden, Sep 2018
  2. SPLC
    PCLocator: A Tool Suite to Automatically Identify Configurations for Code Locations
    In Proc. Int’l Systems and Software Product Line Conf. (SPLC), Gothenburg, Sweden, Sep 2018

Supervised Theses

  1. Bachelor's Thesis
    Minimizing CNFs to Isolate Solver Bugs
    Manuel Dittrich
    Aug 2025
    To appear
  2. Bachelor's Thesis
    Evolution of Kconfig in the Linux Kernel: A Study on Parser Compatibility
    Taylan Karakaya
    Aug 2025
    To appear
  3. Master's Thesis
    Engineering and Selecting Machine Learning Features for Feature Models
    May 2025
    To appear
  4. Master's Thesis
    Evaluierung von ConfigFix als Werkzeug zur Extraktion KConfig-basierter Feature-Modelle
    Rami Alfish
    May 2025
    In German
  5. Bachelor's Thesis
    Automatisierte Feature-Modell-Analyse des Linux-Kernels: Eine Reise durch die Zeit
    Urs-Benedict Braun
    May 2025
    In German
  6. Bachelor's Thesis
    Extracting Hierarchies from Kconfig-Based Feature Models
    Eric Ketzler
    Mar 2025
  7. Master's Thesis
    Evaluating the Efficiency of Hybrid CNF Transformations for Feature-Model Formulas
    Till Sehlen
    Jun 2023
  8. Bachelor's Thesis
    A Semi-Automated Release Management Process for Microservices
    Mohammed Khaled
    Aug 2022
  9. Master's Thesis
    Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
    Daniel Hohmann
    Jun 2022
    In German
  10. Master's Thesis
    Reengineering einer Microservice-Architektur: Eine Fallstudie am PEGASOS-System
    Johannes Hauffe
    Mar 2022
    In German
  11. Master's Thesis
    System Tools’ Firmware Flashing Automation in a Complex Software/Hardware Environment
    Logesh Babu Radhakrishnan
    Jan 2022