Thomas Thüm

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 117

Top Venues

Otto von Guericke University Magdeburg (PHD)

Education History

Otto von Guericke University Magdeburg

PHD

Publications

Sabrina Böhm, Sebastian Krieter, Tobias Heß, Thomas Thüm, Malte Lochau
Incremental Identification of T-Wise Feature Interactions. VaMoS (2024)
Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Gunter Saake
How Easy is SAT-Based Analysis of a Feature Model? VaMoS (2024)
Tobias Heß, Tim Jannik Schmidt, Lukas Ostheimer, Sebastian Krieter, Thomas Thüm
UnWise: High T-Wise Coverage from Uniform Sampling. VaMoS (2024)
Lukas Güthing, Paul Maximilian Bittner, Ina Schaefer, Thomas Thüm
Explaining Edits to Variability Annotations in Evolving Software Product Lines. VaMoS (2024)
Paul Maximilian Bittner, Alexander Schultheiß, Sandra Greiner, Benjamin Moosherr, Sebastian Krieter, Christof Tinnes, Timo Kehrer, Thomas Thüm
Views on Edits to Variational Software. SPLC (A) (2023)
Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models. CoRR (2023)
Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary. Software Engineering (2023)
Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. Software Engineering (2023)
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
Flexible Correct-by-Construction Programming. Log. Methods Comput. Sci. 19 (2) (2023)
Sebastian Krieter, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thüm
Second Tutorial on the Universal Variability Language. SPLC (A) (2023)
Chico Sundermann, Stefan Vill, Thomas Thüm, Kevin Feichtinger, Prankur Agarwal, Rick Rabiser, José A. Galindo, David Benavides
UVLParser: Extending UVL with Language Levels and Conversion Strategies. SPLC (B) (2023)
Laura Bottner, Artur Hermann, Jeremias Eppler, Thomas Thüm, Frank Kargl
Evaluation of Free and Open Source Tools for Automated Software Composition Analysis. CSCS (2023)
Kevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations. Software Engineering (2023)
Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary. Software Engineering (2023)
Alexander Schultheiß, Paul Maximilian Bittner, Alexander Boll, Lars Grunske, Thomas Thüm, Timo Kehrer
RaQuN: a generic and scalable n-way model matching algorithm. Softw. Syst. Model. 22 (5) (2023)
Paul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer, Thomas Thüm
Classifying Edits to Variability in Source Code - Summary. Software Engineering (2023)
Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces. Empir. Softw. Eng. 28 (2) (2023)
Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm
Variational satisfiability solving: efficiently solving lots of related SAT problems. Empir. Softw. Eng. 28 (1) (2023)
Tobias Pett, Tobias Heß, Sebastian Krieter, Thomas Thüm, Ina Schaefer
Continuous T-Wise Coverage. SPLC (A) (2023)
Jacob Loth, Chico Sundermann, Tobias Schrull, Thilo Brugger, Felix Rieg, Thomas Thüm
UVLS: A Language Server Protocol For UVL. SPLC (B) (2023)
Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own. ICSME (2022)
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Sebastian Ruland, Malte Lochau, Gunter Saake, Thomas Leich
T-Wise Presence Condition Coverage and Sampling for Configurable Systems. CoRR (2022)
Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer
Quantifying the variability mismatch between problem and solution space. MoDELS (2022)
Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
Traits for Correct-by-Construction Programming. CoRR (2022)
Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. ASE (2022)
Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer
Feature Trace Recording - Summary. Software Engineering (2022)
Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Ina Schaefer
Generic Solution-Space Sampling for Multi-domain Product Lines. GPCE (2022)
Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer
Traits: Correctness-by-Construction for Free. FORTE (2022)
Kevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser
It's your loss: classifying information loss during variability model roundtrip transformations. SPLC (A) (2022)
Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer
Guiding the evolution of product-line configurations. Softw. Syst. Model. 21 (1) (2022)
Alexander Schultheiß, Paul Maximilian Bittner, Sascha El-Sharkawy, Thomas Thüm, Timo Kehrer
Simulating the Evolution of Clone-and-Own Projects with VEVOS. EASE (2022)
Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm, Ina Schaefer
Derivation of subset product lines in FeatureIDE. SPLC (B) (2022)
Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary. Software Engineering (2022)
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
Flexible Correct-by-Construction Programming. CoRR (2022)
Chico Sundermann, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Sebastian Krieter, Thomas Thüm
Tutorial on the universal variability language. SPLC (A) (2022)
Tobias Heß, Tobias Müller, Chico Sundermann, Thomas Thüm
ddueruem: a wrapper for feature-model analysis tools. SPLC (B) (2022)
Paul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer, Thomas Thüm
Classifying edits to variability in source code. ESEC/SIGSOFT FSE (2022)
Tobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer
AutoSMP: an evaluation platform for sampling algorithms. SPLC (B) (2021)
Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer
Applications of #SAT Solvers on Feature Models. VaMoS (2021)
Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer
Feature trace recording. ESEC/SIGSOFT FSE (2021)
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
Tool Support for Correctness-by-Construction. Software Engineering (2021)
Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer
Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. FMTea (2021)
Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer
Stability of Product-Line Samplingin Continuous Integration. VaMoS (2021)
Alexander Knüppel, Thomas Thüm, Ina Schaefer
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. FormaliSE@ICSE (2021)
Marc Hentze, Tobias Pett, Thomas Thüm, Ina Schaefer
Hyper Explanations for Feature-Model Defect Analysis. VaMoS (2021)
Laurence Duchien, Paul Grünbacher, Thomas Thüm
Foreword to the Special Issue on Configurable Systems. Empir. Softw. Eng. 26 (4) (2021)
Thomas Thüm, Philippe Collet, Mathieu Acher
Fourth International Workshop on Languages for Modelling Variability ([email protected] 2021). SPLC (A) (2021)
Tobias Heß, Chico Sundermann, Thomas Thüm
On the scalability of building binary decision diagrams for current feature models. SPLC (A) (2021)
Timo Kehrer, Thomas Thüm, Alexander Schultheiß, Paul Maximilian Bittner
Bridging the Gap Between Clone-and-Own and Software Product Lines. ICSE (NIER) (2021)
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer
Skill-Based Verification of Cyber-Physical Systems. Software Engineering (2021)
Sebastian Krieter, Rahel Arens, Michael Nieke, Chico Sundermann, Tobias Heß, Thomas Thüm, Christoph Seidl
Incremental construction of modal implication graphs for evolving feature models. SPLC (A) (2021)
Alexander Schultheiß, Paul Maximilian Bittner, Lars Grunske, Thomas Thüm, Timo Kehrer
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees. MoDELS (2021)
Chico Sundermann, Kevin Feichtinger, Dominik Engelhardt, Rick Rabiser, Thomas Thüm
Yet another textual variability language?: a community effort towards a unified language. SPLC (A) (2021)
Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer
Lattice-Based Information Flow Control-by-Construction for Security-by-Design. FormaliSE@ICSE (2020)
Thomas Thüm
A BDD for Linux?: the knowledge compilation challenge for variability. SPLC (A) (2020)
Alexander Schultheiß, Paul Maximilian Bittner, Timo Kehrer, Thomas Thüm
On the use of product-line variants as experimental subjects for clone-and-own research: a case study. SPLC (A) (2020)
Chico Sundermann, Thomas Thüm, Ina Schaefer
Evaluating #SAT solvers on industrial feature models. VaMoS (2020)
Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer
SMT-based variability analyses in FeatureIDE. VaMoS (2020)
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer
Skill-Based Verification of Cyber-Physical Systems. FASE (2020)
Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer
GuyDance: Guiding Configuration Updates for Product-Line Evolution. SPLC (B) (2020)
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Gunter Saake, Thomas Leich
YASA: yet another sampling algorithm. VaMoS (2020)
Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer
Variational correctness-by-construction. VaMoS (2020)
Jeffrey M. Young, Eric Walkingshaw, Thomas Thüm
Variational satisfiability solving. SPLC (A) (2020)
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer
Feature-oriented contract composition. SPLC (A) (2019)
Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer
Product sampling for product lines: the scalability challenge. SPLC (A) (2019)
Sascha Lity, Manuel Nieke, Thomas Thüm, Ina Schaefer
Retest test selection for product-line regression testing of variants and versions of variants. J. Syst. Softw. 147 (2019)
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake
Propagating Configuration Decisions with Modal Implication Graphs. SE/SWM (2019)
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson
Tool Support for Correctness-by-Construction. FASE (2019)
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer
Feature-oriented contract composition. J. Syst. Softw. 152 (2019)
Paul Maximilian Bittner, Thomas Thüm, Ina Schaefer
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. SEFM (2019)
Thomas Thüm, Christoph Seidl, Ina Schaefer
On language levels for feature modeling notations. SPLC (B) (2019)
Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. FM Workshops (2) (2019)
Mustafa Al-Hajjaji, Thomas Thüm, Malte Lochau, Jens Meinicke, Gunter Saake
Effective product-line testing using similarity-based product prioritization. Softw. Syst. Model. 18 (1) (2019)
Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer
Towards efficient analysis of variation in time and space. SPLC (B) (2019)
Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. SE/SWM (2019)
Michael Nieke, Christoph Seidl, Thomas Thüm
Back to the future: avoiding paradoxes in feature-model evolution. SPLC (2) (2018)
Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, Felix Franzke
Anomaly analyses for feature-model evolution. GPCE (2018)
Thomas Thüm, Sebastian Krieter, Thomas Leich
Clean your variable code with featureIDE. SPLC (2018)
Jacob Krüger, Wolfram Fenske, Thomas Thüm, Dirk Aporius, Gunter Saake, Thomas Leich
Apo-games: a case study for reverse engineering variability from cloned Java variants. SPLC (2018)
Luiz Carvalho, Marcio Augusto Guimarães, Márcio Ribeiro, Leonardo Fernandes, Mustafa Al-Hajjaji, Rohit Gheyi, Thomas Thüm
Equivalent Mutants in Configurable Systems: An Empirical Study. VaMoS (2018)
Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer
A classification of product sampling for software product lines. SPLC (2018)
Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY. F-IDE@FLoC (2018)
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake
Propagating configuration decisions with modal implication graphs. ICSE (2018)
Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. ITP (2018)
Thomas Thüm, Sebastian Krieter, Ina Schaefer
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators. ConfWS (2018)
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer
Is There a Mismatch between Real-World Feature Models and Product-Line Research? Software Engineering (2018)
Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer
Scalability of Deductive Verification Depends on Method Call Treatment. ISoLA (4) (2018)
Sascha Lity, Sophia Nahrendorf, Thomas Thüm, Christoph Seidl, Ina Schaefer
175% Modeling for Product-Line Evolution of Domain Artifacts. VaMoS (2018)
Sebastian Ruland, Lars Luthmann, Johannes Bürdek, Sascha Lity, Thomas Thüm, Malte Lochau, Márcio Ribeiro
Measuring effectiveness of sample-based product-line testing. GPCE (2018)
Thomas Thüm, Thomas Leich, Sebastian Krieter
Feature Modeling and Development with FeatureIDE. Modellierung (2018)
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer
Is there a mismatch between real-world feature models and product-line research? ESEC/SIGSOFT FSE (2017)
Mustafa Al-Hajjaji, Sascha Lity, Remo Lachmann, Thomas Thüm, Ina Schaefer, Gunter Saake
Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing. VACE@ICSE (2017)
Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces. Software Engineering (2017)
Sascha Lity, Mustafa Al-Hajjaji, Thomas Thüm, Ina Schaefer
Optimizing product orders using graph algorithms for improving incremental product-line analysis. VaMoS (2017)
Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake
Modularization of Refinement Steps for Agile Formal Methods. ICFEM (2017)
Sebastian Krieter, Marcus Pinnecke, Jacob Krüger, Joshua Sprey, Christopher Sontag, Thomas Thüm, Thomas Leich, Gunter Saake
FeatureIDE: Empowering Third-Party Developers. SPLC (B) (2017)
Mustafa Al-Hajjaji, Jens Meinicke, Sebastian Krieter, Reimar Schröter, Thomas Thüm, Thomas Leich, Gunter Saake
Tool demo: testing configurable systems with FeatureIDE. GPCE (2016)
Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thüm, Malte Lochau, Gunter Saake
IncLing: efficient product-line testing using incremental pairwise sampling. GPCE (2016)
Matthias Kowal, Sofia Ananieva, Thomas Thüm
Explaining anomalies in feature models. GPCE (2016)
Thomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel, Stefan Krüger
Variability Hiding in Contracts for Dependent Software Product Lines. VaMoS (2016)

Thomas Thüm.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Thüm