Thomas Thm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
83
Venues
18
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
83 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICST | Coverage Metrics for T-Wise Feature Interactions. | Sabrina Bhm, Tim Jannik Schmidt, Sebastian Krieter, Tobias Pett, Thomas Thm, Malte Lochau |
| 2025 | ICST | Poster: Quantification of Feature-Interaction Masking in JHipster. | Tim Jannik Schmidt, Sabrina Bhm, Sebastian Krieter, Thomas Thm, Mathieu Acher |
| 2025 | SPLC | Pick Me: Judging Sample Quality with Binary Decision Diagrams. | Tobias He, Aaron Molt, Sabrina Bhm, Sebastian Krieter, Thomas Thm |
| 2025 | SPLC | Third Tutorial on the Universal Variablity Language: Practical Extensions and Tool Ecosystem. | Jos Miguel Horcas, Chico Sundermann, Malte Grave, Jos A. Galindo, Thomas Thm, Rick Rabiser, David Benavides |
| 2024 | SPLC | Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing. | Sandra Greiner, Alexander Schulthei, Paul Maximilian Bittner, Thomas Thm, Timo Kehrer |
| 2024 | SPLC | Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models. | Tobias He, Sean Niklas Semmler, Chico Sundermann, Jacobo Torn, Thomas Thm |
| 2024 | SPLC | MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. | Tobias Pett, Sebastian Krieter, Thomas Thm, Ina Schaefer |
| 2024 | SPLC | Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking. | Chico Sundermann, Vincenzo Francesco Brancaccio, Elias Kuiter, Sebastian Krieter, Tobias He, Thomas Thm |
| 2024 | SPLC | Generating Feature Models with UVL's Full Expressiveness. | Chico Sundermann, Tobias He, Rahel Sundermann, Elias Kuiter, Sebastian Krieter, Thomas Thm |
| 2024 | SPLC | On the Benefits of Knowledge Compilation for Feature-Model Analyses. | Chico Sundermann, Elias Kuiter, Tobias He, Heiko Raab, Sebastian Krieter, Thomas Thm |
| 2023 | SPLC | Views on Edits to Variational Software. | Paul Maximilian Bittner, Alexander Schulthei, Sandra Greiner, Benjamin Moosherr, Sebastian Krieter, Christof Tinnes, Timo Kehrer, Thomas Thm |
| 2023 | SPLC | Second Tutorial on the Universal Variability Language. | Sebastian Krieter, Kevin Feichtinger, Jos A. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thm |
| 2023 | SPLC | UVLS: A Language Server Protocol For UVL. | Jacob Loth, Chico Sundermann, Tobias Schrull, Thilo Brugger, Felix Rieg, Thomas Thm |
| 2023 | SPLC | Continuous T-Wise Coverage. | Tobias Pett, Tobias He, Sebastian Krieter, Thomas Thm, Ina Schaefer |
| 2023 | SPLC | UVLParser: Extending UVL with Language Levels and Conversion Strategies. | Chico Sundermann, Stefan Vill, Thomas Thm, Kevin Feichtinger, Prankur Agarwal, Rick Rabiser, Jos A. Galindo, David Benavides |
| 2022 | EASE | Simulating the Evolution of Clone-and-Own Projects with VEVOS. | Alexander Schulthei, Paul Maximilian Bittner, Sascha El-Sharkawy, Thomas Thm, Timo Kehrer |
| 2022 | FORTE | Traits: Correctness-by-Construction for Free. | Tobias Runge, Alex Potanin, Thomas Thm, Ina Schaefer |
| 2022 | GPCE | Generic Solution-Space Sampling for Multi-domain Product Lines. | Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thm, Ina Schaefer |
| 2022 | MODELS | Quantifying the variability mismatch between problem and solution space. | Marc Hentze, Chico Sundermann, Thomas Thm, Ina Schaefer |
| 2022 | SPLC | It's your loss: classifying information loss during variability model roundtrip transformations. | Kevin Feichtinger, Chico Sundermann, Thomas Thm, Rick Rabiser |
| 2022 | SPLC | ddueruem: a wrapper for feature-model analysis tools. | Tobias He, Tobias Mller, Chico Sundermann, Thomas Thm |
| 2022 | SPLC | Derivation of subset product lines in FeatureIDE. | Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thm, Ina Schaefer |
| 2022 | SPLC | Tutorial on the universal variability language. | Chico Sundermann, Kevin Feichtinger, Jos A. Galindo, David Benavides, Rick Rabiser, Sebastian Krieter, Thomas Thm |
| 2021 | ICSE | Bridging the Gap Between Clone-and-Own and Software Product Lines. | Timo Kehrer, Thomas Thm, Alexander Schulthei, Paul Maximilian Bittner |
| 2021 | ICSE | GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. | Alexander Knppel, Thomas Thm, Ina Schaefer |
| 2021 | MODELS | Scalable N-Way Model Matching Using Multi-Dimensional Search Trees. | Alexander Schulthei, Paul Maximilian Bittner, Lars Grunske, Thomas Thm, Timo Kehrer |
| 2021 | SPLC | On the scalability of building binary decision diagrams for current feature models. | Tobias He, Chico Sundermann, Thomas Thm |
| 2021 | SPLC | Incremental construction of modal implication graphs for evolving feature models. | Sebastian Krieter, Rahel Arens, Michael Nieke, Chico Sundermann, Tobias He, Thomas Thm, Christoph Seidl |
| 2021 | SPLC | AutoSMP: an evaluation platform for sampling algorithms. | Tobias Pett, Sebastian Krieter, Thomas Thm, Malte Lochau, Ina Schaefer |
| 2021 | SPLC | Yet another textual variability language?: a community effort towards a unified language. | Chico Sundermann, Kevin Feichtinger, Dominik Engelhardt, Rick Rabiser, Thomas Thm |
| 2021 | SPLC | Fourth International Workshop on Languages for Modelling Variability ([email protected] 2021). | Thomas Thm, Philippe Collet, Mathieu Acher |
| 2020 | FASE | Skill-Based Verification of Cyber-Physical Systems. | Alexander Knppel, Inga Jatzkowski, Marcus Nolte, Thomas Thm, Tobias Runge, Ina Schaefer |
| 2020 | ICSE | Lattice-Based Information Flow Control-by-Construction for Security-by-Design. | Tobias Runge, Alexander Knppel, Thomas Thm, Ina Schaefer |
| 2020 | SPLC | GuyDance: Guiding Configuration Updates for Product-Line Evolution. | Michael Nieke, Gabriela Cunha Sampaio, Thomas Thm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer |
| 2020 | SPLC | On the use of product-line variants as experimental subjects for clone-and-own research: a case study. | Alexander Schulthei, Paul Maximilian Bittner, Timo Kehrer, Thomas Thm |
| 2020 | SPLC | A BDD for Linux?: the knowledge compilation challenge for variability. | Thomas Thm |
| 2020 | SPLC | Variational satisfiability solving. | Jeffrey M. Young, Eric Walkingshaw, Thomas Thm |
| 2019 | FASE | Tool Support for Correctness-by-Construction. | Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thm, Derrick G. Kourie, Bruce W. Watson |
| 2019 | FM | Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. | Tobias Runge, Thomas Thm, Loek Cleophas, Ina Schaefer, Bruce W. Watson |
| 2019 | SEFM | SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. | Paul Maximilian Bittner, Thomas Thm, Ina Schaefer |
| 2019 | SPLC | Product sampling for product lines: the scalability challenge. | Tobias Pett, Thomas Thm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer |
| 2019 | SPLC | Feature-oriented contract composition. | Thomas Thm, Alexander Knppel, Stefan Krger, Stefanie Bolle, Ina Schaefer |
| 2019 | SPLC | On language levels for feature modeling notations. | Thomas Thm, Christoph Seidl, Ina Schaefer |
| 2019 | SPLC | Towards efficient analysis of variation in time and space. | Thomas Thm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer |
| 2018 | GPCE | Anomaly analyses for feature-model evolution. | Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thm, Ingrid Chieh Yu, Felix Franzke |
| 2018 | GPCE | Measuring effectiveness of sample-based product-line testing. | Sebastian Ruland, Lars Luthmann, Johannes Brdek, Sascha Lity, Thomas Thm, Malte Lochau, Mrcio Ribeiro |
| 2018 | ICSE | Propagating configuration decisions with modal implication graphs. | Sebastian Krieter, Thomas Thm, Sandro Schulze, Reimar Schrter, Gunter Saake |
| 2018 | ISoLA | Scalability of Deductive Verification Depends on Method Call Treatment. | Alexander Knppel, Thomas Thm, Carsten Pardylla, Ina Schaefer |
| 2018 | ITP | Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. | Alexander Knppel, Thomas Thm, Carsten Immanuel Pardylla, Ina Schaefer |
| 2018 | SPLC | Apo-games: a case study for reverse engineering variability from cloned Java variants. | Jacob Krger, Wolfram Fenske, Thomas Thm, Dirk Aporius, Gunter Saake, Thomas Leich |
| 2018 | SPLC | Back to the future: avoiding paradoxes in feature-model evolution. | Michael Nieke, Christoph Seidl, Thomas Thm |
| 2018 | SPLC | Clean your variable code with featureIDE. | Thomas Thm, Sebastian Krieter, Thomas Leich |
| 2018 | SPLC | A classification of product sampling for software product lines. | Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer |
| 2017 | ICFEM | Modularization of Refinement Steps for Agile Formal Methods. | Fabian Benduhn, Thomas Thm, Ina Schaefer, Gunter Saake |
| 2017 | ICSE | Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing. | Mustafa Al-Hajjaji, Sascha Lity, Remo Lachmann, Thomas Thm, Ina Schaefer, Gunter Saake |
| 2017 | SPLC | FeatureIDE: Empowering Third-Party Developers. | Sebastian Krieter, Marcus Pinnecke, Jacob Krger, Joshua Sprey, Christopher Sontag, Thomas Thm, Thomas Leich, Gunter Saake |
| 2016 | GPCE | IncLing: efficient product-line testing using incremental pairwise sampling. | Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thm, Malte Lochau, Gunter Saake |
| 2016 | GPCE | Tool demo: testing configurable systems with FeatureIDE. | Mustafa Al-Hajjaji, Jens Meinicke, Sebastian Krieter, Reimar Schrter, Thomas Thm, Thomas Leich, Gunter Saake |
| 2016 | GPCE | Explaining anomalies in feature models. | Matthias Kowal, Sofia Ananieva, Thomas Thm |
| 2016 | ICSE | FeatureIDE: taming the preprocessor wilderness. | Jens Meinicke, Thomas Thm, Reimar Schrter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, Thomas Leich |
| 2016 | ICSE | Feature-model interfaces: the highway to compositional analyses of highly-configurable systems. | Reimar Schrter, Sebastian Krieter, Thomas Thm, Fabian Benduhn, Gunter Saake |
| 2016 | ICSR | Applying Incremental Model Slicing to Product-Line Regression Testing. | Sascha Lity, Thomas Morbach, Thomas Thm, Ina Schaefer |
| 2016 | ISoLA | Proof-Carrying Apps: Contract-Based Deployment-Time Verification. | Snke Holthusen, Michael Nieke, Thomas Thm, Ina Schaefer |
| 2016 | OOPSLA | Implicit constraints in partial feature models. | Sofia Ananieva, Matthias Kowal, Thomas Thm, Ina Schaefer |
| 2016 | SPLC | Comparing algorithms for efficient feature-model slicing. | Sebastian Krieter, Reimar Schrter, Thomas Thm, Wolfram Fenske, Gunter Saake |
| 2016 | SPLC | Synchronizing software variants with variantsync. | Tristan Pfofe, Thomas Thm, Sandro Schulze, Wolfram Fenske, Ina Schaefer |
| 2016 | SPLC | Clean your variable code with featureIDE. | Thomas Thm, Thomas Leich, Sebastian Krieter |
| 2016 | SPLC | Product-line maintenance with emergent contract interfaces. | Thomas Thm, Mrcio Ribeiro, Reimar Schrter, Janet Siegmund, Francisco Dalton |
| 2015 | SLE | Using decision rules for solving conflicts in extended feature models. | Lina Ochoa, Oscar Gonzlez Rojas, Thomas Thm |
| 2014 | SPLC | Similarity-based prioritization in software product-line testing. | Mustafa Al-Hajjaji, Thomas Thm, Jens Meinicke, Malte Lochau, Gunter Saake |
| 2014 | SPLC | An overview on analysis tools for software product lines. | Jens Meinicke, Thomas Thm, Reimar Schrter, Fabian Benduhn, Gunter Saake |
| 2014 | SPLC | Feature-context interfaces: tailored programming interfaces for software product lines. | Reimar Schrter, Norbert Siegmund, Thomas Thm, Gunter Saake |
| 2014 | SPLC | Potential synergies of theorem proving and model checking for software product lines. | Thomas Thm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake |
| 2013 | GI | Agile Methoden im Softwareprojekt. | Janet Siegmund, Thomas Thm, Sandro Schulze, Elmar Jrgens |
| 2013 | ISSTA | Product-line verification with feature-oriented contracts. | Thomas Thm |
| 2013 | SPLC | Towards modular analysis of multi product lines. | Reimar Schrter, Norbert Siegmund, Thomas Thm |
| 2012 | FASE | Applying Design by Contract to Feature-Oriented Programming. | Thomas Thm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake |
| 2012 | GPCE | Family-based deductive verification of software product lines. | Thomas Thm, Ina Schaefer, Martin Hentschel, Sven Apel |
| 2011 | ICST | Proof Composition for Deductive Verification of Software Product Lines. | Thomas Thm, Ina Schaefer, Martin Kuhlemann, Sven Apel |
| 2011 | SPLC | Automatic detection of feature interactions using the Java modeling language: an experience report. | Wolfgang Scholz, Thomas Thm, Sven Apel, Christian Lengauer |
| 2011 | SPLC | Abstract Features in Feature Modeling. | Thomas Thm, Christian Kstner, Sebastian Erdweg, Norbert Siegmund |
| 2009 | ICSE | FeatureIDE: A tool framework for feature-oriented software development. | Christian Kstner, Thomas Thm, Gunter Saake, Janet Feigenspan, Thomas Leich, Fabian Wielgorz, Sven Apel |
| 2009 | ICSE | Reasoning about edits to feature models. | Thomas Thm, Don S. Batory, Christian Kstner |