Software Engineering Researcher at @dbsegroup

Magdeburg, Germany
Joined November 2014
Elias Kuiter retweeted
The next doctoral student, Elias Kuiter, presented his work "Towards Effective and Efficient Feature-Model Analyses for Evolving System Software"
2
4
195
"How configurable is the Linux kernel?" In our newly accepted @acm_tosem paper, we empirically analyze two decades of feature-model history to count the kernel's number of features and configurations. w/ @ChicoSundermann, @ThomasThuem, @h3ssto, Sebastian Krieter, and Gunter Saake
3
8
185
For #VaMoS2025 the Best Research Paper goes to... Elias Kuiter, Thomas Thüm and Timo Kehrer - Teach Variability! A Modern University Course on Software Product Lines Elias calls to further teach variability! cc @_jualvespereira @ClementQuinton @ThomasThuem @ekuiter
5
9
305
Exciting talk alert! “Teach Variability! A Modern University Course on Software Product Lines” by @ekuiter @ThomasThuem Timo Kehrerb now at @vamosconf
5
7
347
Mitten in der Nacht. Noch immer kommen Menschen zur Johanniskirche, bringen Blumen.
7
30
1
333
6,736
Um den Opfern & Betroffenen des Anschlags vom 20. Dezember auf dem Weihnachtsmarkt in #Magdeburg möglichst schnell Unterstützung zu sichern, wurde ein Spendenkonto eingerichtet: Spendenkonto LHS Magdeburg IBAN: DE89 8105 3272 0641 0958 72 BIC: NOLADE21MDG
14
122
9
198
19,797
👉 @ChicoSundermann is pulling double duty today and presents our collection and inspection of knowledge compilation targets and their capabilities when applied in the analysis of feature models. (journal-first paper), authors ⬇️
#SPLC2024 Session Variability Analysis On the Benefits of Knowledge Compilation for Feature-Model Analyses (Journal First in Annals of Mathematics and Artificial Intelligence) by @ChicoSundermann, @ekuiter , @h3ssto, Heiko Raab, Sebastian Krieter and @ThomasThuem
1
2
6
174
👉 @ChicoSundermann presenting the result of hundreds of hours of work: A comprehensive collection of feature-model instances from research and industry with the goal of improving the validity and relevance of future empirical works in product-line research. #SPLC24 Authors ⬇️
#SPLC2024 Session Validation and Testing Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking (Research Track) by @ChicoSundermann, Vincenzo Francesco Brancaccio, @ekuiter, Sebastian Krieter, @h3ssto and @ThomasThuem
1
4
8
278
We showcased our novel UVL Feature-Model Generator (with support for _all_ UVL language levels) at #SPLC24! Paper: dl.acm.org/doi/pdf/10.1145/3… Tool: github.com/SoftVarE-Group/uv… Authors: @ChicoSundermann, @h3ssto, Rahel Sundermann, @ekuiter, Sebastian Krieter, @ThomasThuem.
2
5
11
332
Elias Kuiter retweeted
Many factors to consider: from extraction, to preprocessing, the choice of solver and its parametrization... Can we predict (SAT) solver performance a-priori? Syntactically? Semantically? As models evolve, our statements on dealing with them should too...
2
3
118
Elias Kuiter (@ekuiter) presents our (controversial?) thoughts on SAT solving and that it is not always easy for feature models. Preprint: github.com/SoftVarE-Group/Pa…
How Easy is SAT-Based Analysis of a Feature Model? by @ekuiter, @h3ssto, @ChicoSundermann, Sebastian Krieter, @ThomasThuem, Gunter Saake dl.acm.org/doi/10.1145/36347…
1
6
12
506
How Easy is SAT-Based Analysis of a Feature Model? by @ekuiter, @h3ssto, @ChicoSundermann, Sebastian Krieter, @ThomasThuem, Gunter Saake dl.acm.org/doi/10.1145/36347…
4
1
11
883
Happy to share my recording of our lecture on product-line analyses. Such a rich topic, it was hard to select and fit some representative analyses into one lecture :') Youtube: youtube.com/watch?v=W_PtKtG4… Slides (co-created with @ThomasThuem and Timo Kehrer): raw.githubusercontent.com/So…
4
6
447
Are you interested in how to build reliable product configurators? Learn how in our lecture on feature modeling - held by @ekuiter, featuring special guest @ThomasThuem, and co-created by Timo Kehrer. Youtube: youtube.com/watch?v=WbhaXgkF… Slides: raw.githubusercontent.com/So…
6
11
594
Our paper "Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses" by @ekuiter, Sebastian Krieter, @ChicoSundermann, @ThomasThuem and Gunter Saake has been accepted at @ase_conf #ASE2022
unfolding preprocessor variability with FeatureCoPP by Kai Ludwig et al. at #vamos2020 @JacobKrueger_ @tleich
1
6
Sebastian Krieter just presented the EXPLANT project at #vamos2020, which is about extracting product lines from variants @DBSEgroup @JacobKrueger_ @tleich
2
7