default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Thüm
Person information
- affiliation: University of Ulm, Germany
- affiliation (former): TU Braunschweig, Institute of Software Engineering and Automotive Informatics, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j19]David Benavides, Chico Sundermann, Kevin Feichtinger
, José A. Galindo, Rick Rabiser, Thomas Thüm:
UVL: Feature modelling with the Universal Variability Language. J. Syst. Softw. 225: 112326 (2025)- [e9]Anne Koziolek, Anna-Lena Lamprecht, Thomas Thüm, Erik Burger:
Software Engineering 2025, Fachtagung des GI-Fachbereichs Softwaretechnik, Karlsruhe, Germany, February 24-28, 2025. LNI P-360, Gesellschaft für Informatik e.V. 2025 [contents] - [i6]Dominik Krupke, Ahmad Moradi, Michael Perk, Phillip Keldenich, Gabriel Gehrke, Sebastian Krieter, Thomas Thüm, Sándor P. Fekete:
How Low Can We Go? Minimizing Interaction Samples for Configurable Systems. CoRR abs/2501.06788 (2025) - 2024
- [j18]Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, Thomas Thüm:
On the benefits of knowledge compilation for feature-model analyses. Ann. Math. Artif. Intell. 92(5): 1013-1050 (2024) - [j17]Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey M. Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, Thomas Thüm:
On the Expressive Power of Languages for Static Variability. Proc. ACM Program. Lang. 8(OOPSLA2): 1018-1050 (2024) - [j16]Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer:
Reusing d-DNNFs for Efficient Feature-Model Counting. ACM Trans. Softw. Eng. Methodol. 33(8): 208:1-208:32 (2024) - [c132]Chico Sundermann, Jacob Loth, Thomas Thüm:
Efficient Slicing of Feature Models via Projected d-DNNF Compilation. ASE 2024: 1332-1344 - [c131]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. Software Engineering 2024: 67-68 - [c130]Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Timo Kehrer, Thomas Thüm:
Variability-Aware Differencing with DiffDetective. SIGSOFT FSE Companion 2024: 632-636 - [c129]Tobias Pett, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. SPLC (A) 2024: 47-53 - [c128]Chico Sundermann, Vincenzo Francesco Brancaccio, Elias Kuiter, Sebastian Krieter, Tobias Heß, Thomas Thüm:
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking. SPLC (A) 2024: 54-65 - [c127]Chico Sundermann, Tobias Heß, Rahel Sundermann, Elias Kuiter, Sebastian Krieter, Thomas Thüm:
Generating Feature Models with UVL's Full Expressiveness. SPLC (B) 2024: 61-65 - [c126]Sandra Greiner, Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer:
Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing. SPLC (A) 2024: 84-95 - [c125]Tobias Heß, Sean Niklas Semmler, Chico Sundermann, Jacobo Torán, Thomas Thüm:
Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models. SPLC (A) 2024: 136-147 - [c124]Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, Thomas Thüm:
On the Benefits of Knowledge Compilation for Feature-Model Analyses. SPLC (A) 2024: 217 - [c123]Sabrina Böhm, Sebastian Krieter, Tobias Heß, Thomas Thüm, Malte Lochau:
Incremental Identification of T-Wise Feature Interactions. VaMoS 2024: 27-36 - [c122]Tobias Heß, Tim Jannik Schmidt, Lukas Ostheimer, Sebastian Krieter, Thomas Thüm:
UnWise: High T-Wise Coverage from Uniform Sampling. VaMoS 2024: 37-45 - [c121]Lukas Güthing, Paul Maximilian Bittner, Ina Schaefer, Thomas Thüm:
Explaining Edits to Variability Annotations in Evolving Software Product Lines. VaMoS 2024: 93-102 - [c120]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: 149-151 - [e8]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:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - [e7]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:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - [i5]Tobias Pett, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. CoRR abs/2406.19801 (2024) - 2023
- [j15]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): 14 (2023) - [j14]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): 29 (2023) - [j13]Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer:
Flexible Correct-by-Construction Programming. Log. Methods Comput. Sci. 19(2) (2023) - [j12]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): 1495-1517 (2023) - [c119]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: 3:1-3:11 - [c118]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: 39-40 - [c117]Kevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser:
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations. Software Engineering 2023: 51-52 - [c116]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: 83-84 - [c115]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: 109-110 - [c114]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: 129-130 - [c113]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: 39-42 - [c112]Jacob Loth, Chico Sundermann, Tobias Schrull, Thilo Brugger, Felix Rieg, Thomas Thüm:
UVLS: A Language Server Protocol For UVL. SPLC (B) 2023: 43-46 - [c111]Tobias Pett, Tobias Heß, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
Continuous T-Wise Coverage. SPLC (A) 2023: 87-98 - [c110]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: 141-152 - [c109]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: 273 - [e6]Myra B. Cohen, Thomas Thüm, Jacopo Mauro:
Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023. ACM 2023 [contents] - [i4]Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer:
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models. CoRR abs/2303.12383 (2023) - 2022
- [j11]Michael Nieke, Gabriela Cunha Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer:
Guiding the evolution of product-line configurations. Softw. Syst. Model. 21(1): 225-247 (2022) - [c108]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: 231-236 - [c107]Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer:
Traits: Correctness-by-Construction for Free. FORTE 2022: 131-150 - [c106]Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
Generic Solution-Space Sampling for Multi-domain Product Lines. GPCE 2022: 135-147 - [c105]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: 269-280 - [c104]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: 110:1-110:13 - [c103]Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer:
Quantifying the variability mismatch between problem and solution space. MoDELS 2022: 322-333 - [c102]Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer:
Feature Trace Recording - Summary. Software Engineering 2022: 19-20 - [c101]Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer:
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary. Software Engineering 2022: 83-84 - [c100]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: 196-208 - [c99]Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
Derivation of subset product lines in FeatureIDE. SPLC (B) 2022: 38-41 - [c98]Tobias Heß, Tobias Müller, Chico Sundermann, Thomas Thüm:
ddueruem: a wrapper for feature-model analysis tools. SPLC (B) 2022: 54-57 - [c97]Kevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser:
It's your loss: classifying information loss during variability model roundtrip transformations. SPLC (A) 2022: 67-78 - [c96]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: 260 - [i3]Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer:
Traits for Correct-by-Construction Programming. CoRR abs/2204.05644 (2022) - [i2]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 abs/2205.15180 (2022) - [i1]Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer:
Flexible Correct-by-Construction Programming. CoRR abs/2211.15261 (2022) - 2021
- [j10]Laurence Duchien, Paul Grünbacher, Thomas Thüm:
Foreword to the Special Issue on Configurable Systems. Empir. Softw. Eng. 26(4): 72 (2021) - [c95]Timo Kehrer, Thomas Thüm, Alexander Schultheiß, Paul Maximilian Bittner:
Bridging the Gap Between Clone-and-Own and Software Product Lines. ICSE (NIER) 2021: 21-25 - [c94]Alexander Knüppel, Thomas Thüm, Ina Schaefer:
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. FormaliSE@ICSE 2021: 124-129 - [c93]Alexander Schultheiß, Paul Maximilian Bittner, Lars Grunske, Thomas Thüm, Timo Kehrer:
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees. MoDELS 2021: 1-12 - [c92]Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer:
Skill-Based Verification of Cyber-Physical Systems. Software Engineering 2021: 67-68 - [c91]Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson:
Tool Support for Correctness-by-Construction. Software Engineering 2021: 93-94 - [c90]Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer:
Feature trace recording. ESEC/SIGSOFT FSE 2021: 1007-1020 - [c89]Tobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer:
AutoSMP: an evaluation platform for sampling algorithms. SPLC (B) 2021: 41-44 - [c88]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: 64-74 - [c87]Tobias Heß, Chico Sundermann, Thomas Thüm:
On the scalability of building binary decision diagrams for current feature models. SPLC (A) 2021: 131-135 - [c86]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: 136-147 - [c85]Thomas Thüm, Philippe Collet, Mathieu Acher:
Fourth International Workshop on Languages for Modelling Variability ([email protected] 2021). SPLC (A) 2021: 205 - [c84]Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer:
Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. FMTea 2021: 101-116 - [c83]Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer:
Applications of #SAT Solvers on Feature Models. VaMoS 2021: 12:1-12:10 - [c82]Marc Hentze, Tobias Pett, Thomas Thüm, Ina Schaefer:
Hyper Explanations for Feature-Model Defect Analysis. VaMoS 2021: 14:1-14:9 - [c81]Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer:
Stability of Product-Line Samplingin Continuous Integration. VaMoS 2021: 18:1-18:9 - 2020
- [c80]Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer:
Skill-Based Verification of Cyber-Physical Systems. FASE 2020: 203-223 - [c79]Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer:
Lattice-Based Information Flow Control-by-Construction for Security-by-Design. FormaliSE@ICSE 2020: 44-54 - [c78]Thomas Thüm:
A BDD for Linux?: the knowledge compilation challenge for variability. SPLC (A) 2020: 16:1-16:6 - [c77]Jeffrey M. Young, Eric Walkingshaw, Thomas Thüm:
Variational satisfiability solving. SPLC (A) 2020: 18:1-18:12 - [c76]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: 27:1-27:6 - [c75]Michael Nieke, Gabriela Cunha Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer:
GuyDance: Guiding Configuration Updates for Product-Line Evolution. SPLC (B) 2020: 56-64 - [c74]Chico Sundermann, Thomas Thüm, Ina Schaefer:
Evaluating #SAT solvers on industrial feature models. VaMoS 2020: 3:1-3:9 - [c73]Sebastian Krieter, Thomas Thüm, Sandro Schulze, Gunter Saake, Thomas Leich:
YASA: yet another sampling algorithm. VaMoS 2020: 4:1-4:10 - [c72]Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer:
SMT-based variability analyses in FeatureIDE. VaMoS 2020: 6:1-6:9 - [c71]Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer:
Variational correctness-by-construction. VaMoS 2020: 7:1-7:9 - [p4]Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer:
Using Abstract Contracts for Verifying Evolving Features and Their Interactions. 20 Years of KeY 2020: 122-148
2010 – 2019
- 2019
- [j9]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: 46-63 (2019) - [j8]Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer:
Feature-oriented contract composition. J. Syst. Softw. 152: 83-107 (2019) - [j7]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): 499-521 (2019) - [c70]Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson:
Tool Support for Correctness-by-Construction. FASE 2019: 25-42 - [c69]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: 388-405 - [c68]Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake:
Propagating Configuration Decisions with Modal Implication Graphs. SE/SWM 2019: 77-78 - [c67]Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer:
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. SE/SWM 2019: 165-166 - [c66]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: 127-144 - [c65]Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer:
Feature-oriented contract composition. SPLC (A) 2019: 5:1 - [c64]Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer:
Product sampling for product lines: the scalability challenge. SPLC (A) 2019: 14:1-14:6 - [c63]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: 69:1-69:8 - [c62]Thomas Thüm, Christoph Seidl, Ina Schaefer:
On language levels for feature modeling notations. SPLC (B) 2019: 83:1-83:4 - [p3]Reiner Jung, Lukas Märtin, Jan Ole Johanssen, Barbara Paech, Malte Lochau, Thomas Thüm, Kurt Schneider, Matthias Tichy, Mattias Ulbrich:
Addressed Challenges. Managed Software Evolution 2019: 21-36 - [p2]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:
Performance Analysis Strategies for Software Variants and Versions. Managed Software Evolution 2019: 175-206 - [e5]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:
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019. ACM 2019, ISBN 978-1-4503-7138-4 [contents] - [e4]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:
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume B, Paris, France, September 9-13, 2019. ACM 2019, ISBN 978-1-4503-6668-7 [contents] - 2018
- [c61]Thomas Thüm, Sebastian Krieter, Ina Schaefer:
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators. ConfWS 2018: 1-8 - [c60]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: 119-133 - [c59]Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, Felix Franzke:
Anomaly analyses for feature-model evolution. GPCE 2018: 188-201 - [c58]Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake:
Propagating configuration decisions with modal implication graphs. ICSE 2018: 898-909 - [c57]Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer:
Scalability of Deductive Verification Depends on Method Call Treatment. ISoLA (4) 2018: 159-175 - [c56]Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer:
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. ITP 2018: 342-361 - [c55]Thomas Thüm, Thomas Leich, Sebastian Krieter:
Feature Modeling and Development with FeatureIDE. Modellierung 2018: 297-298 - [c54]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: 53-54 - [c53]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: 1-13 - [c52]Michael Nieke, Christoph Seidl, Thomas Thüm:
Back to the future: avoiding paradoxes in feature-model evolution. SPLC (2) 2018: 48-51 - [c51]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: 251-256 - [c50]Thomas Thüm, Sebastian Krieter, Thomas Leich:
Clean your variable code with featureIDE. SPLC 2018: 299 - [c49]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: 11-18 - [c48]Sascha Lity, Sophia Nahrendorf, Thomas Thüm, Christoph Seidl, Ina Schaefer:
175% Modeling for Product-Line Evolution of Domain Artifacts. VaMoS 2018: 27-34 - [c47]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: 53-70 - 2017
- [b2]Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Thomas Leich, Gunter Saake:
Mastering Software Variability with FeatureIDE. Springer 2017, ISBN 978-3-319-61442-7, pp. 3-234 - [c46]Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake:
Modularization of Refinement Steps for Agile Formal Methods. ICFEM 2017: 19-35 - [c45]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: 34-40 - [c44]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: 129-130 - [c43]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: 291-302 - [c42]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: 42-45 - [c41]Sascha Lity, Mustafa Al-Hajjaji, Thomas Thüm, Ina Schaefer:
Optimizing product orders using graph algorithms for improving incremental product-line analysis. VaMoS 2017: 60-67 - [e3]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:
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, Sevilla, Spain, September 25-29, 2017. ACM 2017, ISBN 978-1-4503-5119-5 [contents] - 2016
- [j6]Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, Sven Apel:
Variability encoding: From compile-time to load-time variability. J. Log. Algebraic Methods Program. 85(1): 125-145 (2016) - [j5]Hagen Schink, Janet Siegmund, Reimar Schröter, Thomas Thüm, Gunter Saake:
A Study on Tool Support for Refactoring in Database Applications. Softwaretechnik-Trends 36(2) (2016) - [c40]Matthias Kowal, Sofia Ananieva, Thomas Thüm:
Explaining anomalies in feature models. GPCE 2016: 132-143 - [c39]Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thüm, Malte Lochau, Gunter Saake:
IncLing: efficient product-line testing using incremental pairwise sampling. GPCE 2016: 144-155 - [c38]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: 173-177 - [c37]Jens Meinicke, Thomas Thüm, Reimar Schröter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, Thomas Leich:
FeatureIDE: taming the preprocessor wilderness. ICSE (Companion Volume) 2016: 629-632 - [c36]Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake:
Feature-model interfaces: the highway to compositional analyses of highly-configurable systems. ICSE 2016: 667-678 - [c35]Sascha Lity, Thomas Morbach, Thomas Thüm, Ina Schaefer:
Applying Incremental Model Slicing to Product-Line Regression Testing. ICSR 2016: 3-19 - [c34]Sönke Holthusen, Michael Nieke, Thomas Thüm, Ina Schaefer:
Proof-Carrying Apps: Contract-Based Deployment-Time Verification. ISoLA (1) 2016: 839-855 - [c33]Jens Meinicke, Chu-Pan Wong, Christian Kästner, Thomas Thüm, Gunter Saake:
On essential configuration complexity: measuring interactions in highly-configurable systems. ASE 2016: 483-494 - [c32]Sofia Ananieva, Matthias Kowal, Thomas Thüm, Ina Schaefer:
Implicit constraints in partial feature models. FOSD 2016: 18-27 - [c31]Sebastian Krieter, Reimar Schröter, Thomas Thüm, Wolfram Fenske, Gunter Saake:
Comparing algorithms for efficient feature-model slicing. SPLC 2016: 60-64 - [c30]Thomas Thüm, Márcio Ribeiro, Reimar Schröter, Janet Siegmund, Francisco Dalton:
Product-line maintenance with emergent contract interfaces. SPLC 2016: 134-143 - [c29]Thomas Thüm, Thomas Leich, Sebastian Krieter:
Clean your variable code with featureIDE. SPLC 2016: 308 - [c28]Tristan Pfofe, Thomas Thüm, Sandro Schulze, Wolfram Fenske, Ina Schaefer:
Synchronizing software variants with variantsync. SPLC 2016: 329-332 - [c27]Mustafa Al-Hajjaji, Fabian Benduhn, Thomas Thüm, Thomas Leich, Gunter Saake:
Mutation Operators for Preprocessor-Based Variability. VaMoS 2016: 81-88 - [c26]Thomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel, Stefan Krüger:
Variability Hiding in Contracts for Dependent Software Product Lines. VaMoS 2016: 97-104 - [e2]Julia Rubin, Thomas Thüm:
Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, April 3, 2016. EPTCS 206, 2016 [contents] - 2015
- [b1]Thomas Thüm:
Product-line specification and verification with feature-oriented contracts. Otto von Guericke University Magdeburg, 2015 - [c25]Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake:
Analysis Strategies for Software Product Lines: A Classification and Survey. Software Engineering & Management 2015: 57-58 - [c24]Lina Ochoa, Oscar González Rojas, Thomas Thüm:
Using decision rules for solving conflicts in extended feature models. SLE 2015: 149-160 - [c23]Fabian Benduhn, Thomas Thüm, Malte Lochau, Thomas Leich, Gunter Saake:
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines. VaMoS 2015: 80 - [p1]Thomas Thüm:
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen. Ausgezeichnete Informatikdissertationen 2015: 299-308 - 2014
- [j4]Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake:
A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47(1): 6:1-6:45 (2014) - [j3]Thomas Thüm, Christian Kästner, Fabian Benduhn, Jens Meinicke, Gunter Saake, Thomas Leich:
FeatureIDE: An extensible framework for feature-oriented software development. Sci. Comput. Program. 79: 70-85 (2014) - [c22]Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm:
Modularizing crosscutting contracts with AspectJML. MODULARITY (Companion) 2014: 21-24 - [c21]Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm:
AspectJML: modular specification and runtime checking for crosscutting contracts. MODULARITY 2014: 157-168 - [c20]Thomas Thüm:
Modular Reasoning for Crosscutting Concerns with Contracts. Software Engineering 2014: 65-66 - [c19]Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Gunter Saake:
An overview on analysis tools for software product lines. SPLC Workshops 2014: 94-101 - [c18]Reimar Schröter, Norbert Siegmund, Thomas Thüm, Gunter Saake:
Feature-context interfaces: tailored programming interfaces for software product lines. SPLC 2014: 102-111 - [c17]Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake:
Potential synergies of theorem proving and model checking for software product lines. SPLC 2014: 177-186 - [c16]Mustafa Al-Hajjaji, Thomas Thüm, Jens Meinicke, Malte Lochau, Gunter Saake:
Similarity-based prioritization in software product-line testing. SPLC 2014: 197-206 - [c15]Wolfram Fenske, Thomas Thüm, Gunter Saake:
A taxonomy of software product line reengineering. VaMoS 2014: 4:1-4:8 - 2013
- [j2]Sven Apel, Alexander von Rhein, Thomas Thüm, Christian Kästner:
Feature-interaction detection based on feature-based specifications. Comput. Networks 57(12): 2399-2409 (2013) - [c14]Janet Siegmund, Thomas Thüm, Sandro Schulze, Elmar Jürgens:
Agile Methoden im Softwareprojekt. GI-Jahrestagung 2013: 234 - [c13]Thomas Thüm:
Product-line verification with feature-oriented contracts. ISSTA 2013: 374-377 - [c12]Reimar Schröter, Norbert Siegmund, Thomas Thüm:
Towards modular analysis of multi product lines. SPLC Workshops 2013: 96-99 - [c11]Reimar Schröter, Thomas Thüm, Norbert Siegmund, Gunter Saake:
Automated analysis of dependent feature models. VaMoS 2013: 9:1-9:5 - [c10]Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm, Ina Schaefer:
The PLA model: on the combination of product-line analyses. VaMoS 2013: 14:1-14:8 - 2012
- [j1]Christian Kästner, Sven Apel, Thomas Thüm, Gunter Saake:
Type checking annotation-based product lines. ACM Trans. Softw. Eng. Methodol. 21(3): 14:1-14:39 (2012) - [c9]Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake:
Applying Design by Contract to Feature-Oriented Programming. FASE 2012: 255-269 - [c8]Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel:
Family-based deductive verification of software product lines. GPCE 2012: 11-20 - [c7]Sandro Schulze, Thomas Thüm, Martin Kuhlemann, Gunter Saake:
Variant-preserving refactoring in feature-oriented software product lines. VaMoS 2012: 73-81 - [e1]Ina Schaefer, Thomas Thüm:
4th International Workshop on Feature-Oriented Software Development, FOSD '12, Dresden, Germany - September 24 - 25, 2012. ACM 2012, ISBN 978-1-4503-1309-4 [contents] - 2011
- [c6]Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel:
Proof Composition for Deductive Verification of Software Product Lines. ICST Workshops 2011: 270-277 - [c5]Wolfgang Scholz, Thomas Thüm, Sven Apel, Christian Lengauer:
Automatic detection of feature interactions using the Java modeling language: an experience report. SPLC Workshops 2011: 7 - [c4]Thomas Thüm, Christian Kästner, Sebastian Erdweg, Norbert Siegmund:
Abstract Features in Feature Modeling. SPLC 2011: 191-200 - [c3]Marko Rosenmüller, Norbert Siegmund, Thomas Thüm, Gunter Saake:
Multi-dimensional variability modeling. VaMoS 2011: 11-20
2000 – 2009
- 2009
- [c2]Thomas Thüm, Don S. Batory, Christian Kästner:
Reasoning about edits to feature models. ICSE 2009: 254-264 - [c1]Christian Kästner, Thomas Thüm, Gunter Saake, Janet Feigenspan, Thomas Leich, Fabian Wielgorz, Sven Apel:
FeatureIDE: A tool framework for feature-oriented software development. ICSE 2009: 611-614
Coauthor Index
Alexander Kittelmann
aka: Alexander Knüppel
aka: Alexander Knüppel
[j16] [c131] [c129] [c121] [i5] [j14] [j13] [c111] [i4] [j11] [c107] [c106] [c103] [c99] [i3] [i1] [c94] [c92] [c91] [c89] [c84] [c83] [c82] [c81] [c80] [c79] [c75] [c74] [c72] [c71] [p4] [j9] [j8] [c70] [c69] [c67] [c66] [c65] [c64] [c63] [c62] [p2] [c61] [c57] [c56] [c54] [c53] [c48] [c47] [c46] [c45] [c43] [c41] [j6] [c35] [c34] [c32] [c28] [c25] [j4] [c10] [c9] [c8] [e1] [c6]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-03 00:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
