About
Publications
Talks (current)
CV
♫

Talks

All slides of public talks I have given at various conferences.

2025

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

Quantified Reasoning About Edits to Feature Models

Teach Variability! A Modern University Course on Software Product Lines

2024

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

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

2023

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

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

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

2022

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

Comparing CNF Transformations for Feature-Model Analysis

Verification Strategies for Feature-Oriented Software Product Lines

2021

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

Proof Repositories for Correct-by-Construction Software Product Lines

2019

Foundations of Collaborative, Real-Time Feature Modeling

Consistency Maintenance for Collaborative Real-Time Feature Modeling

Foundations of Collaborative, Real-Time Feature Modeling

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

2018

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

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

Recorded Talks

torte: Reproducible Feature-Model Experiments à la Carte

SPL04a Feature Models and Configurations - Course on Software Product Lines

SPL10a Analysis Strategies - Course on Software Product Lines

© 2026 Elias Kuiter Imprint