About
Publications
Talks (current)
CV

Talks

All public talks I have given at various conferences.

2025

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

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

© 2025 Elias Kuiter Imprint