Thomas Thüm

185 papers A* 7A 7B 26C 16Journal 31Unranked 84
YearRankTypeTitle / Venue / Authors
2026 J jnl
How Configurable Is the Linux Kernel? Analyzing Two Decades of Feature-Model History - RCR Report.
ACM Trans. Softw. Eng. Methodol.
Elias Kuiter, Chico Sundermann, Thomas Thüm, Tobias Heß, Sebastian Krieter, Gunter Saake
2026 J jnl
How Configurable Is the Linux Kernel? Analyzing Two Decades of Feature-Model History.
ACM Trans. Softw. Eng. Methodol.
Elias Kuiter, Chico Sundermann, Thomas Thüm, Tobias Heß, Sebastian Krieter, Gunter Saake
2025 A conf
Coverage Metrics for T-Wise Feature Interactions.
ICST
Sabrina Böhm, Tim Jannik Schmidt, Sebastian Krieter, Tobias Pett, Thomas Thüm, Malte Lochau
2025 — conf
Covering T-Wise Interactions of Deployed Configurations.
VaMoS
Rahel Sundermann, Sabrina Böhm, Sebastian Krieter, Malte Lochau, Thomas Thüm
2025 J jnl
How Low Can We Go? Minimizing Interaction Samples for Configurable Systems.
CoRR
Dominik Krupke, Ahmad Moradi, Michael Perk, Phillip Keldenich, Gabriel Gehrke, Sebastian Krieter, Thomas Thüm, Sándor P. Fekete
2025 J jnl
How Low Can We Go? Minimizing Interaction Samples for Configurable Systems.
ACM Trans. Softw. Eng. Methodol.
Dominik Michael Krupke, Ahmad Moradi, Michael Perk, Phillip Keldenich, Gabriel Gehrke, Sebastian Krieter, Thomas Thüm, Sándor P. Fekete
2025 — conf
Pick Me: Judging Sample Quality with Binary Decision Diagrams.
SPLC (A)
Tobias Heß, Aaron Molt, Sabrina Böhm, Sebastian Krieter, Thomas Thüm
2025 A conf
Poster: Quantification of Feature-Interaction Masking in JHipster.
ICST
Tim Jannik Schmidt, Sabrina Böhm, Sebastian Krieter, Thomas Thüm, Mathieu Acher
2025 J jnl
Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs.
CoRR
Chico Sundermann, Stefan Vill, Elias Kuiter, Sebastian Krieter, Thomas Thüm, Matthias Tichy
2025 C ed.
Software Engineering 2025, Fachtagung des GI-Fachbereichs Softwaretechnik, Karlsruhe, Germany, February 24-28, 2025
Software Engineering
Anne Koziolek, Anna-Lena Lamprecht, Thomas Thüm, Erik Burger
2025 — conf
Teach Variability! A Modern University Course on Software Product Lines.
VaMoS
Elias Kuiter, Thomas Thüm, Timo Kehrer
2025 J jnl
Teaching Software Quality with Adaptive Source Code Feedback.
Softwaretechnik-Trends
Rahel Sundermann, Sebastian Krieter, Birte Glimm, Thomas Thüm
2025 — conf
Third Tutorial on the Universal Variablity Language: Practical Extensions and Tool Ecosystem.
SPLC (A)
José Miguel Horcas, Chico Sundermann, Malte Grave, José A. Galindo, Thomas Thüm, Rick Rabiser, David Benavides
2025 J jnl
UVL: Feature modelling with the Universal Variability Language.
J. Syst. Softw.
David Benavides, Chico Sundermann, Kevin Feichtinger, José A. Galindo, Rick Rabiser, Thomas Thüm
2025 J jnl
variability.dev: Towards an Online Toolbox for Feature Modeling.
CoRR
Tobias Heß, Lukas Ostheimer, Tobias Betz, Simon Karrer, Tim Jannik Schmidt, Pierre Coquet, Sean Niklas Semmler, Thomas Thüm
2024 — conf
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking.
SPLC (A)
Chico Sundermann, Vincenzo Francesco Brancaccio, Elias Kuiter, Sebastian Krieter, Tobias Heß, Thomas Thüm
2024 A* conf
Efficient Slicing of Feature Models via Projected d-DNNF Compilation.
ASE
Chico Sundermann, Jacob Loth, Thomas Thüm
2024 C conf
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces.
Software Engineering
Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer
2024 — conf
Explaining Edits to Variability Annotations in Evolving Software Product Lines.
VaMoS
Lukas Güthing, Paul Maximilian Bittner, Ina Schaefer, Thomas Thüm
2024 — conf
Generating Feature Models with UVL's Full Expressiveness.
SPLC (B)
Chico Sundermann, Tobias Heß, Rahel Sundermann, Elias Kuiter, Sebastian Krieter, Thomas Thüm
2024 — conf
Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing.
SPLC (A)
Sandra Greiner, Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer
2024 — conf
How Easy is SAT-Based Analysis of a Feature Model?
VaMoS
Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Gunter Saake
2024 — conf
Incremental Identification of T-Wise Feature Interactions.
VaMoS
Sabrina Böhm, Sebastian Krieter, Tobias Heß, Thomas Thüm, Malte Lochau
2024 — conf
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples.
SPLC (A)
Tobias Pett, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2024 J jnl
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples.
CoRR
Tobias Pett, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2024 — conf
On the Benefits of Knowledge Compilation for Feature-Model Analyses.
SPLC (A)
Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, Thomas Thüm
2024 J jnl
On the Expressive Power of Languages for Static Variability.
Proc. ACM Program. Lang.
Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey M. Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, Thomas Thüm
2024 J jnl
On the benefits of knowledge compilation for feature-model analyses.
Ann. Math. Artif. Intell.
Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, Thomas Thüm
2024 B ed.
Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2024, Pasadena, CA, USA, October 21-22, 2024
GPCE
Shigeru Chiba, Thomas Thüm
2024 — ed.
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024
SPLC (A)
Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas
2024 — ed.
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024
SPLC (B)
Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas
2024 J jnl
Reusing d-DNNFs for Efficient Feature-Model Counting.
ACM Trans. Softw. Eng. Methodol.
Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer
2024 — conf
Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models.
SPLC (A)
Tobias Heß, Sean Niklas Semmler, Chico Sundermann, Jacobo Torán, Thomas Thüm
2024 — conf
UnWise: High T-Wise Coverage from Uniform Sampling.
VaMoS
Tobias Heß, Tim Jannik Schmidt, Lukas Ostheimer, Sebastian Krieter, Thomas Thüm
2024 — conf
Variability-Aware Differencing with DiffDetective.
SIGSOFT FSE Companion
Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Timo Kehrer, Thomas Thüm
2023 C conf
Classifying Edits to Variability in Source Code - Summary.
Software Engineering
Paul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer, Thomas Thüm
2023 — conf
Continuous T-Wise Coverage.
SPLC (A)
Tobias Pett, Tobias Heß, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2023 J jnl
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces.
Empir. Softw. Eng.
Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer
2023 — conf
Evaluation of Free and Open Source Tools for Automated Software Composition Analysis.
CSCS
Laura Bottner, Artur Hermann, Jeremias Eppler, Thomas Thüm, Frank Kargl
2023 J jnl
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models.
CoRR
Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer
2023 J jnl
Flexible Correct-by-Construction Programming.
Log. Methods Comput. Sci.
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
2023 C conf
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations.
Software Engineering
Kevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser
2023 — ed.
Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023
VaMoS
Myra B. Cohen, Thomas Thüm, Jacopo Mauro
2023 C conf
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary.
Software Engineering
Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer
2023 J jnl
RaQuN: a generic and scalable n-way model matching algorithm.
Softw. Syst. Model.
Alexander Schultheiß, Paul Maximilian Bittner, Alexander Boll, Lars Grunske, Thomas Thüm, Timo Kehrer
2023 — conf
Second Tutorial on the Universal Variability Language.
SPLC (A)
Sebastian Krieter, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thüm
2023 C conf
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses.
Software Engineering
Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake
2023 — conf
UVLParser: Extending UVL with Language Levels and Conversion Strategies.
SPLC (B)
Chico Sundermann, Stefan Vill, Thomas Thüm, Kevin Feichtinger, Prankur Agarwal, Rick Rabiser, José A. Galindo, David Benavides
2023 — conf
UVLS: A Language Server Protocol For UVL.
SPLC (B)
Jacob Loth, Chico Sundermann, Tobias Schrull, Thilo Brugger, Felix Rieg, Thomas Thüm
2023 C conf
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary.
Software Engineering
Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm
2023 J jnl
Variational satisfiability solving: efficiently solving lots of related SAT problems.
Empir. Softw. Eng.
Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm
2023 — conf
Views on Edits to Variational Software.
SPLC (A)
Paul Maximilian Bittner, Alexander Schultheiß, Sandra Greiner, Benjamin Moosherr, Sebastian Krieter, Christof Tinnes, Timo Kehrer, Thomas Thüm
2022 — conf
Classifying edits to variability in source code.
ESEC/SIGSOFT FSE
Paul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer, Thomas Thüm
2022 — conf
Derivation of subset product lines in FeatureIDE.
SPLC (B)
Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2022 C conf
Feature Trace Recording - Summary.
Software Engineering
Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer
2022 J jnl
Flexible Correct-by-Construction Programming.
CoRR
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
2022 B conf
Generic Solution-Space Sampling for Multi-domain Product Lines.
GPCE
Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Ina Schaefer
2022 J jnl
Guiding the evolution of product-line configurations.
Softw. Syst. Model.
Michael Nieke, Gabriela Cunha Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer
2022 — conf
It's your loss: classifying information loss during variability model roundtrip transformations.
SPLC (A)
Kevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser
2022 A conf
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own.
ICSME
Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer
2022 A conf
Quantifying the variability mismatch between problem and solution space.
MoDELS
Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer
2022 C conf
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary.
Software Engineering
Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer
2022 A conf
Simulating the Evolution of Clone-and-Own Projects with VEVOS.
EASE
Alexander Schultheiß, Paul Maximilian Bittner, Sascha El-Sharkawy, Thomas Thüm, Timo Kehrer
2022 J jnl
T-Wise Presence Condition Coverage and Sampling for Configurable Systems.
CoRR
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Sebastian Ruland, Malte Lochau, Gunter Saake, Thomas Leich
2022 J jnl
Traits for Correct-by-Construction Programming.
CoRR
Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
2022 C conf
Traits: Correctness-by-Construction for Free.
FORTE
Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
2022 A* conf
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses.
ASE
Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake
2022 — conf
Tutorial on the universal variability language.
SPLC (A)
Chico Sundermann, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Sebastian Krieter, Thomas Thüm
2022 — conf
ddueruem: a wrapper for feature-model analysis tools.
SPLC (B)
Tobias Heß, Tobias Müller, Chico Sundermann, Thomas Thüm
2021 — conf
Applications of #SAT Solvers on Feature Models.
VaMoS
Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer
2021 — conf
AutoSMP: an evaluation platform for sampling algorithms.
SPLC (B)
Tobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer
2021 — conf
Bridging the Gap Between Clone-and-Own and Software Product Lines.
ICSE (NIER)
Timo Kehrer, Thomas Thüm, Alexander Schultheiß, Paul Maximilian Bittner
2021 — conf
Feature trace recording.
ESEC/SIGSOFT FSE
Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer
2021 J jnl
Foreword to the Special Issue on Configurable Systems.
Empir. Softw. Eng.
Laurence Duchien, Paul Grünbacher, Thomas Thüm
2021 — conf
Fourth International Workshop on Languages for Modelling Variability ([email protected] 2021).
SPLC (A)
Thomas Thüm, Philippe Collet, Mathieu Acher
2021 — conf
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers.
FormaliSE@ICSE
Alexander Knüppel, Thomas Thüm, Ina Schaefer
2021 — conf
Hyper Explanations for Feature-Model Defect Analysis.
VaMoS
Marc Hentze, Tobias Pett, Thomas Thüm, Ina Schaefer
2021 — conf
Incremental construction of modal implication graphs for evolving feature models.
SPLC (A)
Sebastian Krieter, Rahel Arens, Michael Nieke, Chico Sundermann, Tobias Heß, Thomas Thüm, Christoph Seidl
2021 — conf
On the scalability of building binary decision diagrams for current feature models.
SPLC (A)
Tobias Heß, Chico Sundermann, Thomas Thüm
2021 A conf
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees.
MoDELS
Alexander Schultheiß, Paul Maximilian Bittner, Lars Grunske, Thomas Thüm, Timo Kehrer
2021 C conf
Skill-Based Verification of Cyber-Physical Systems.
Software Engineering
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer
2021 — conf
Stability of Product-Line Samplingin Continuous Integration.
VaMoS
Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer
2021 — conf
Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience.
FMTea
Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer
2021 C conf
Tool Support for Correctness-by-Construction.
Software Engineering
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
2021 — conf
Yet another textual variability language?: a community effort towards a unified language.
SPLC (A)
Chico Sundermann, Kevin Feichtinger, Dominik Engelhardt, Rick Rabiser, Thomas Thüm
2020 — conf
A BDD for Linux?: the knowledge compilation challenge for variability.
SPLC (A)
Thomas Thüm
2020 — conf
Evaluating #SAT solvers on industrial feature models.
VaMoS
Chico Sundermann, Thomas Thüm, Ina Schaefer
2020 — conf
GuyDance: Guiding Configuration Updates for Product-Line Evolution.
SPLC (B)
Michael Nieke, Gabriela Cunha Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer
2020 — conf
Lattice-Based Information Flow Control-by-Construction for Security-by-Design.
FormaliSE@ICSE
Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer
2020 — conf
On the use of product-line variants as experimental subjects for clone-and-own research: a case study.
SPLC (A)
Alexander Schultheiß, Paul Maximilian Bittner, Timo Kehrer, Thomas Thüm
2020 — conf
SMT-based variability analyses in FeatureIDE.
VaMoS
Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer
2020 B conf
Skill-Based Verification of Cyber-Physical Systems.
FASE
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer
2020 — ch.
Using Abstract Contracts for Verifying Evolving Features and Their Interactions.
20 Years of KeY
Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer
2020 — conf
Variational correctness-by-construction.
VaMoS
Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer
2020 — conf
Variational satisfiability solving.
SPLC (A)
Jeffrey M. Young, Eric Walkingshaw, Thomas Thüm
2020 — conf
YASA: yet another sampling algorithm.
VaMoS
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Gunter Saake, Thomas Leich
2019 — ch.
Addressed Challenges.
Managed Software Evolution
Reiner Jung, Lukas Märtin, Jan Ole Johanssen, Barbara Paech, Malte Lochau, Thomas Thüm, Kurt Schneider, Matthias Tichy, Mattias Ulbrich
2019 — conf
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study.
FM Workshops (2)
Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson
2019 J jnl
Effective product-line testing using similarity-based product prioritization.
Softw. Syst. Model.
Mustafa Al-Hajjaji, Thomas Thüm, Malte Lochau, Jens Meinicke, Gunter Saake
2019 — conf
Feature-oriented contract composition.
SPLC (A)
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer
2019 J jnl
Feature-oriented contract composition.
J. Syst. Softw.
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer
2019 — conf
On language levels for feature modeling notations.
SPLC (B)
Thomas Thüm, Christoph Seidl, Ina Schaefer
2019 — ch.
Performance Analysis Strategies for Software Variants and Versions.
Managed Software Evolution
Thomas Thüm, André van Hoorn, Sven Apel, Johannes Bürdek, Sinem Getir, Robert Heinrich, Reiner Jung, Matthias Kowal, Malte Lochau, Ina Schaefer, Jürgen Walter
2019 — ed.
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019
SPLC (A)
Thorsten Berger, Philippe Collet, Laurence Duchien, Thomas Fogdal, Patrick Heymans, Timo Kehrer, Jabier Martinez, Raúl Mazo, Leticia Montalvillo, Camille Salinesi, Xhevahire Tërnava, Thomas Thüm, Tewfik Ziadi
2019 — ed.
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume B, Paris, France, September 9-13, 2019
SPLC (B)
Carlos Cetina, Oscar Díaz, Laurence Duchien, Marianne Huchard, Rick Rabiser, Camille Salinesi, Christoph Seidl, Xhevahire Tërnava, Leopoldo Teixeira, Thomas Thüm, Tewfik Ziadi
2019 — conf
Product sampling for product lines: the scalability challenge.
SPLC (A)
Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer
2019 — conf
Propagating Configuration Decisions with Modal Implication Graphs.
SE/SWM
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake
2019 J jnl
Retest test selection for product-line regression testing of variants and versions of variants.
J. Syst. Softw.
Sascha Lity, Manuel Nieke, Thomas Thüm, Ina Schaefer
2019 B conf
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses.
SEFM
Paul Maximilian Bittner, Thomas Thüm, Ina Schaefer
2019 B conf
Tool Support for Correctness-by-Construction.
FASE
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
2019 — conf
Towards efficient analysis of variation in time and space.
SPLC (B)
Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer
2019 — conf
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.
SE/SWM
Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer
2018 — conf
175% Modeling for Product-Line Evolution of Domain Artifacts.
VaMoS
Sascha Lity, Sophia Nahrendorf, Thomas Thüm, Christoph Seidl, Ina Schaefer
2018 B conf
A classification of product sampling for software product lines.
SPLC
Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer
2018 B conf
Anomaly analyses for feature-model evolution.
GPCE
Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, Felix Franzke
2018 B conf
Apo-games: a case study for reverse engineering variability from cloned Java variants.
SPLC
Jacob Krüger, Wolfram Fenske, Thomas Thüm, Dirk Aporius, Gunter Saake, Thomas Leich
2018 — conf
Back to the future: avoiding paradoxes in feature-model evolution.
SPLC (2)
Michael Nieke, Christoph Seidl, Thomas Thüm
2018 B conf
Clean your variable code with featureIDE.
SPLC
Thomas Thüm, Sebastian Krieter, Thomas Leich
2018 — conf
Equivalent Mutants in Configurable Systems: An Empirical Study.
VaMoS
Luiz Carvalho, Marcio Augusto Guimarães, Márcio Ribeiro, Leonardo Fernandes, Mustafa Al-Hajjaji, Rohit Gheyi, Thomas Thüm
2018 — conf
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY.
F-IDE@FLoC
Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer
2018 — conf
Feature Modeling and Development with FeatureIDE.
Modellierung
Thomas Thüm, Thomas Leich, Sebastian Krieter
2018 C conf
Is There a Mismatch between Real-World Feature Models and Product-Line Research?
Software Engineering
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer
2018 B conf
Measuring effectiveness of sample-based product-line testing.
GPCE
Sebastian Ruland, Lars Luthmann, Johannes Bürdek, Sascha Lity, Thomas Thüm, Malte Lochau, Márcio Ribeiro
2018 — conf
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators.
ConfWS
Thomas Thüm, Sebastian Krieter, Ina Schaefer
2018 A* conf
Propagating configuration decisions with modal implication graphs.
ICSE
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake
2018 — conf
Scalability of Deductive Verification Depends on Method Call Treatment.
ISoLA (4)
Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer
2018 B conf
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.
ITP
Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer
2017 C conf
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces.
Software Engineering
Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake
2017 — conf
Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing.
VACE@ICSE
Mustafa Al-Hajjaji, Sascha Lity, Remo Lachmann, Thomas Thüm, Ina Schaefer, Gunter Saake
2017 — conf
FeatureIDE: Empowering Third-Party Developers.
SPLC (B)
Sebastian Krieter, Marcus Pinnecke, Jacob Krüger, Joshua Sprey, Christopher Sontag, Thomas Thüm, Thomas Leich, Gunter Saake
2017 — conf
Is there a mismatch between real-world feature models and product-line research?
ESEC/SIGSOFT FSE
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer
2017 — book
Mastering Software Variability with FeatureIDE
Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Thomas Leich, Gunter Saake
2017 C conf
Modularization of Refinement Steps for Agile Formal Methods.
ICFEM
Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake
2017 — conf
Optimizing product orders using graph algorithms for improving incremental product-line analysis.
VaMoS
Sascha Lity, Mustafa Al-Hajjaji, Thomas Thüm, Ina Schaefer
2017 — ed.
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, Sevilla, Spain, September 25-29, 2017
SPLC (B)
Maurice H. ter Beek, Walter Cazzola, Oscar Díaz, Marcello La Rosa, Roberto E. Lopez-Herrejon, Thomas Thüm, Javier Troya, Antonio Ruiz Cortés, David Benavides
2016 J jnl
A Study on Tool Support for Refactoring in Database Applications.
Softwaretechnik-Trends
Hagen Schink, Janet Siegmund, Reimar Schröter, Thomas Thüm, Gunter Saake
2016 B conf
Applying Incremental Model Slicing to Product-Line Regression Testing.
ICSR
Sascha Lity, Thomas Morbach, Thomas Thüm, Ina Schaefer
2016 B conf
Clean your variable code with featureIDE.
SPLC
Thomas Thüm, Thomas Leich, Sebastian Krieter
2016 B conf
Comparing algorithms for efficient feature-model slicing.
SPLC
Sebastian Krieter, Reimar Schröter, Thomas Thüm, Wolfram Fenske, Gunter Saake
2016 B conf
Explaining anomalies in feature models.
GPCE
Matthias Kowal, Sofia Ananieva, Thomas Thüm
2016 A* conf
Feature-model interfaces: the highway to compositional analyses of highly-configurable systems.
ICSE
Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake
2016 — conf
FeatureIDE: taming the preprocessor wilderness.
ICSE (Companion Volume)
Jens Meinicke, Thomas Thüm, Reimar Schröter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, Thomas Leich
2016 — conf
Implicit constraints in partial feature models.
FOSD
Sofia Ananieva, Matthias Kowal, Thomas Thüm, Ina Schaefer
2016 B conf
IncLing: efficient product-line testing using incremental pairwise sampling.
GPCE
Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thüm, Malte Lochau, Gunter Saake
2016 — conf
Mutation Operators for Preprocessor-Based Variability.
VaMoS
Mustafa Al-Hajjaji, Fabian Benduhn, Thomas Thüm, Thomas Leich, Gunter Saake
2016 A* conf
On essential configuration complexity: measuring interactions in highly-configurable systems.
ASE
Jens Meinicke, Chu-Pan Wong, Christian Kästner, Thomas Thüm, Gunter Saake
2016 — ed.
Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, April 3, 2016.
FMSPLE@ETAPS
Julia Rubin, Thomas Thüm
2016 B conf
Product-line maintenance with emergent contract interfaces.
SPLC
Thomas Thüm, Márcio Ribeiro, Reimar Schröter, Janet Siegmund, Francisco Dalton
2016 — conf
Proof-Carrying Apps: Contract-Based Deployment-Time Verification.
ISoLA (1)
Sönke Holthusen, Michael Nieke, Thomas Thüm, Ina Schaefer
2016 B conf
Synchronizing software variants with variantsync.
SPLC
Tristan Pfofe, Thomas Thüm, Sandro Schulze, Wolfram Fenske, Ina Schaefer
2016 B conf
Tool demo: testing configurable systems with FeatureIDE.
GPCE
Mustafa Al-Hajjaji, Jens Meinicke, Sebastian Krieter, Reimar Schröter, Thomas Thüm, Thomas Leich, Gunter Saake
2016 — conf
Variability Hiding in Contracts for Dependent Software Product Lines.
VaMoS
Thomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel, Stefan Krüger
2016 J jnl
Variability encoding: From compile-time to load-time variability.
J. Log. Algebraic Methods Program.
Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, Sven Apel
2015 — conf
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
VaMoS
Fabian Benduhn, Thomas Thüm, Malte Lochau, Thomas Leich, Gunter Saake
2015 — conf
Analysis Strategies for Software Product Lines: A Classification and Survey.
Software Engineering & Management
Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake
2015 — —
Product-line specification and verification with feature-oriented contracts.
Thomas Thüm
2015 — ch.
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen.
Ausgezeichnete Informatikdissertationen
Thomas Thüm
2015 B conf
Using decision rules for solving conflicts in extended feature models.
SLE
Lina Ochoa, Oscar González Rojas, Thomas Thüm
2014 J jnl
A Classification and Survey of Analysis Strategies for Software Product Lines.
ACM Comput. Surv.
Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake
2014 — conf
A taxonomy of software product line reengineering.
VaMoS
Wolfram Fenske, Thomas Thüm, Gunter Saake
2014 — conf
An overview on analysis tools for software product lines.
SPLC Workshops
Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Gunter Saake
2014 — conf
AspectJML: modular specification and runtime checking for crosscutting contracts.
MODULARITY
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2014 B conf
Feature-context interfaces: tailored programming interfaces for software product lines.
SPLC
Reimar Schröter, Norbert Siegmund, Thomas Thüm, Gunter Saake
2014 J jnl
FeatureIDE: An extensible framework for feature-oriented software development.
Sci. Comput. Program.
Thomas Thüm, Christian Kästner, Fabian Benduhn, Jens Meinicke, Gunter Saake, Thomas Leich
2014 C conf
Modular Reasoning for Crosscutting Concerns with Contracts.
Software Engineering
Thomas Thüm
2014 — conf
Modularizing crosscutting contracts with AspectJML.
MODULARITY (Companion)
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2014 B conf
Potential synergies of theorem proving and model checking for software product lines.
SPLC
Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake
2014 B conf
Similarity-based prioritization in software product-line testing.
SPLC
Mustafa Al-Hajjaji, Thomas Thüm, Jens Meinicke, Malte Lochau, Gunter Saake
2013 — conf
Agile Methoden im Softwareprojekt.
GI-Jahrestagung
Janet Siegmund, Thomas Thüm, Sandro Schulze, Elmar Jürgens
2013 — conf
Automated analysis of dependent feature models.
VaMoS
Reimar Schröter, Thomas Thüm, Norbert Siegmund, Gunter Saake
2013 J jnl
Feature-interaction detection based on feature-based specifications.
Comput. Networks
Sven Apel, Alexander von Rhein, Thomas Thüm, Christian Kästner
2013 A conf
Product-line verification with feature-oriented contracts.
ISSTA
Thomas Thüm
2013 — conf
The PLA model: on the combination of product-line analyses.
VaMoS
Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm, Ina Schaefer
2013 — conf
Towards modular analysis of multi product lines.
SPLC Workshops
Reimar Schröter, Norbert Siegmund, Thomas Thüm
2012 — ed.
4th International Workshop on Feature-Oriented Software Development, FOSD '12, Dresden, Germany - September 24 - 25, 2012
FOSD
Ina Schaefer, Thomas Thüm
2012 B conf
Applying Design by Contract to Feature-Oriented Programming.
FASE
Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake
2012 B conf
Family-based deductive verification of software product lines.
GPCE
Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel
2012 J jnl
Type checking annotation-based product lines.
ACM Trans. Softw. Eng. Methodol.
Christian Kästner, Sven Apel, Thomas Thüm, Gunter Saake
2012 — conf
Variant-preserving refactoring in feature-oriented software product lines.
VaMoS
Sandro Schulze, Thomas Thüm, Martin Kuhlemann, Gunter Saake
2011 B conf
Abstract Features in Feature Modeling.
SPLC
Thomas Thüm, Christian Kästner, Sebastian Erdweg, Norbert Siegmund
2011 — conf
Automatic detection of feature interactions using the Java modeling language: an experience report.
SPLC Workshops
Wolfgang Scholz, Thomas Thüm, Sven Apel, Christian Lengauer
2011 — conf
Multi-dimensional variability modeling.
VaMoS
Marko Rosenmüller, Norbert Siegmund, Thomas Thüm, Gunter Saake
2011 — conf
Proof Composition for Deductive Verification of Software Product Lines.
ICST Workshops
Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel
2009 A* conf
FeatureIDE: A tool framework for feature-oriented software development.
ICSE
Christian Kästner, Thomas Thüm, Gunter Saake, Janet Feigenspan, Thomas Leich, Fabian Wielgorz, Sven Apel
2009 A* conf
Reasoning about edits to feature models.
ICSE
Thomas Thüm, Don S. Batory, Christian Kästner