Thomas Thüm - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Thomas Thüm' as author, editor, or advisor:

Guiding the evolution of product-line configurationsMichael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl 0001, Leopoldo Teixeira, Ina Schaefer. SoSyM, 21(1):225-247, 2022. [doi]
175% Modeling for Product-Line Evolution of Domain ArtifactsSascha Lity, Sophia Nahrendorf, Thomas Thüm, Christoph Seidl, Ina Schaefer. vamos 2018: 27-34 [doi]
An overview on analysis tools for software product linesJens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Gunter Saake. SPLC 2014: 94-101 [doi]
Feature Trace Recording - SummaryPaul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer. se 2022: 19-20 [doi]
Product-line maintenance with emergent contract interfacesThomas Thüm, Márcio Ribeiro, Reimar Schröter, Janet Siegmund, Francisco Dalton. SPLC 2016: 134-143 [doi]
Potential synergies of theorem proving and model checking for software product linesThomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake. SPLC 2014: 177-186 [doi]
Implicit constraints in partial feature modelsSofia Ananieva, Matthias Kowal, Thomas Thüm, Ina Schaefer. OOPSLA 2016: 18-27 [doi]
Retest test selection for product-line regression testing of variants and versions of variantsSascha Lity, Manuel Nieke, Thomas Thüm, Ina Schaefer. jss, 147:46-63, 2019. [doi]
Quantifying the variability mismatch between problem and solution spaceMarc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer. MoDELS 2022: 322-333 [doi]
Analysis Strategies for Software Product Lines: A Classification and SurveyThomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake. se 2015: 57-58
Variational satisfiability solving: efficiently solving lots of related SAT problemsJeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm. ese, 28(1):14, 2023. [doi]
The PLA model: on the combination of product-line analyses Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm, Ina Schaefer. vamos 2013: 14 [doi]
Type checking annotation-based product linesChristian Kästner, Sven Apel, Thomas Thüm, Gunter Saake. TOSEM, 21(3):14, 2012. [doi]
Classifying Edits to Variability in Source Code - SummaryPaul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer, Thomas Thüm. se 2023: 39-40 [doi]
Back to the future: avoiding paradoxes in feature-model evolutionMichael Nieke, Christoph Seidl, Thomas Thüm. SPLC 2018: 48-51 [doi]
Clean your variable code with featureIDEThomas Thüm, Thomas Leich, Sebastian Krieter. SPLC 2016: 308 [doi]
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, Sevilla, Spain, September 25-29, 2017Maurice H. ter Beek, Walter Cazzola, Oscar Diaz, Marcello La Rosa, Roberto E. Lopez-Herrejon, Thomas Thüm, Javier Troya, Antonio Ruiz Cortés, David Benavides, editors, ACM, 2017. [doi]
Feature-model interfaces: the highway to compositional analyses of highly-configurable systemsReimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake. ICSE 2016: 667-678 [doi]
Lattice-Based Information Flow Control-by-Construction for Security-by-DesignTobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer. ICSE 2020: 44-54 [doi]
Tool demo: testing configurable systems with FeatureIDEMustafa Al-Hajjaji, Jens Meinicke, Sebastian Krieter, Reimar Schröter, Thomas Thüm, Thomas Leich, Gunter Saake. GPCE 2016: 173-177 [doi]
Product-line specification and verification with feature-oriented contractsThomas Thüm. PhD thesis, Otto von Guericke University Magdeburg, 2015. [doi]
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten VerträgenThomas Thüm. gi 2016: 299-308
UVLParser: Extending UVL with Language Levels and Conversion StrategiesChico Sundermann, Stefan Vill, Thomas Thüm, Kevin Feichtinger, Prankur Agarwal, Rick Rabiser, José A. Galindo, David Benavides 0001. SPLC 2023: 39-42 [doi]
Synchronizing software variants with variantsyncTristan Pfofe, Thomas Thüm, Sandro Schulze, Wolfram Fenske, Ina Schaefer. SPLC 2016: 329-332 [doi]
Product sampling for product lines: the scalability challenge [challenge proposal]Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer. SPLC 2019: [doi]
FeatureIDE: Empowering Third-Party DevelopersSebastian Krieter, Marcus Pinnecke, Jacob Krüger, Joshua Sprey, Christopher Sontag, Thomas Thüm, Thomas Leich, Gunter Saake. SPLC 2017: 42-45 [doi]
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product LinesFabian Benduhn, Thomas Thüm, Malte Lochau, Thomas Leich, Gunter Saake. vamos 2015: 80 [doi]
On the scalability of building binary decision diagrams for current feature modelsTobias Heß, Chico Sundermann, Thomas Thüm. SPLC 2021: 131-135 [doi]
Variability Hiding in Contracts for Dependent Software Product LinesThomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel 0002, Stefan Krüger. vamos 2016: 97-104 [doi]
How Easy is SAT-Based Analysis of a Feature Model?Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Gunter Saake. vamos 2024: 149-151 [doi]
Using Abstract Contracts for Verifying Evolving Features and Their InteractionsAlexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, editors, Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Volume 12345 of Lecture Notes in Computer Science, pages 122-148, Springer, 2020. [doi]
Applying Incremental Model Slicing to Product-Line Regression TestingSascha Lity, Thomas Morbach, Thomas Thüm, Ina Schaefer. icsr 2016: 3-19 [doi]
Bridging the Gap Between Clone-and-Own and Software Product LinesTimo Kehrer, Thomas Thüm, Alexander Schultheiß, Paul Maximilian Bittner. ICSE 2021: 21-25 [doi]
Abstract Features in Feature ModelingThomas Thüm, Christian Kästner, Sebastian Erdweg, Norbert Siegmund. SPLC 2011: 191-200 [doi]
Scalable N-Way Model Matching Using Multi-Dimensional Search TreesAlexander Schultheiß, Paul Maximilian Bittner, Lars Grunske, Thomas Thüm, Timo Kehrer. MoDELS 2021: 1-12 [doi]
GuyDance: Guiding Configuration Updates for Product-Line EvolutionMichael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl 0001, Leopoldo Teixeira, Ina Schaefer. SPLC 2020: 56-64 [doi]
Stability of Product-Line Samplingin Continuous IntegrationTobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer. vamos 2021: [doi]
Is There a Mismatch between Real-World Feature Models and Product-Line Research?Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer. se 2018: 53-54 [doi]
UVLS: A Language Server Protocol For UVLJacob Loth, Chico Sundermann, Tobias Schrull, Thilo Brugger, Felix Rieg, Thomas Thüm. SPLC 2023: 43-46 [doi]
Second Tutorial on the Universal Variability LanguageSebastian Krieter, Kevin Feichtinger, José A. Galindo, David Benavides 0001, Rick Rabiser, Chico Sundermann, Thomas Thüm. SPLC 2023: 273 [doi]
It's your loss: classifying information loss during variability model roundtrip transformationsKevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser. SPLC 2022: 67-78 [doi]
Mastering Software Variability with FeatureIDEJens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Thomas Leich, Gunter Saake. Springer, 2017. [doi]
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model AnalysesElias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake. se 2023: 83-84 [doi]
Feature-oriented contract composition: [journal first]Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer. SPLC 2019: [doi]
Evaluating #SAT solvers on industrial feature modelsChico Sundermann, Thomas Thüm, Ina Schaefer. vamos 2020: [doi]
Mutation Operators for Preprocessor-Based VariabilityMustafa Al-Hajjaji, Fabian Benduhn, Thomas Thüm, Thomas Leich, Gunter Saake. vamos 2016: 81-88 [doi]
Effective product-line testing using similarity-based product prioritizationMustafa Al-Hajjaji, Thomas Thüm, Malte Lochau, Jens Meinicke, Gunter Saake. SoSyM, 18(1):499-521, 2019. [doi]
Flexible Correct-by-Construction ProgrammingTobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer. lmcs, 19(2), 2023. [doi]
Classifying edits to variability in source codePaul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer, Thomas Thüm. FSE 2022: 196-208 [doi]
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - SummaryAlexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer. se 2023: 109-110 [doi]
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeYAlexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer. itp 2018: 342-361 [doi]
FeatureIDE: taming the preprocessor wildernessJens Meinicke, Thomas Thüm, Reimar Schröter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, Thomas Leich. ICSE 2016: 629-632 [doi]
Comparing algorithms for efficient feature-model slicingSebastian Krieter, Reimar Schröter, Thomas Thüm, Wolfram Fenske, Gunter Saake. SPLC 2016: 60-64 [doi]
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User StudyTobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson. FM 2020: 388-405 [doi]
YASA: yet another sampling algorithmSebastian Krieter, Thomas Thüm, Sandro Schulze, Gunter Saake, Thomas Leich. vamos 2020: [doi]
On essential configuration complexity: measuring interactions in highly-configurable systemsJens Meinicke, Chu-Pan Wong, Christian Kästner, Thomas Thüm, Gunter Saake. ASE 2016: 483-494 [doi]
Traits: Correctness-by-Construction for FreeTobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer. forte 2022: 131-150 [doi]
Addressed ChallengesReiner Jung, Lukas Märtin, Jan Ole Johanssen, Barbara Paech, Malte Lochau, Thomas Thüm, Kurt Schneider, Matthias Tichy, Mattias Ulbrich. In Ralf H. Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin, editors, Managed Software Evolution. pages 21-36, Springer, 2019. [doi]
Tool Support for Correctness-by-ConstructionTobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson. se 2021: 93-94 [doi]
GUIDO: Automated Guidance for the Configuration of Deductive Program VerifiersAlexander Knüppel, Thomas Thüm, Ina Schaefer. ICSE 2021: 124-129 [doi]
Explaining Edits to Variability Annotations in Evolving Software Product LinesLukas Güthing, Paul Maximilian Bittner, Ina Schaefer, Thomas Thüm. vamos 2024: 93-102 [doi]
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-OwnAlexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer. ICSM 2022: 269-280 [doi]
Measuring effectiveness of sample-based product-line testingSebastian Ruland, Lars Luthmann, Johannes Bürdek, Sascha Lity, Thomas Thüm, Malte Lochau, Márcio Ribeiro. GPCE 2018: 119-133 [doi]
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip TransformationsKevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser. se 2023: 51-52 [doi]
Skill-Based Verification of Cyber-Physical SystemsAlexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer. se 2021: 67-68 [doi]
Applying Design by Contract to Feature-Oriented ProgrammingThomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake. FASE 2012: 255-269 [doi]
Views on Edits to Variational SoftwarePaul Maximilian Bittner, Alexander Schultheiß, Sandra Greiner, Benjamin Moosherr, Sebastian Krieter, Christof Tinnes, Timo Kehrer, Thomas Thüm. SPLC 2023: 141-152 [doi]
Is there a mismatch between real-world feature models and product-line research?Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer. FSE 2017: 291-302 [doi]
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - SummaryJeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm. se 2023: 129-130 [doi]
Hyper Explanations for Feature-Model Defect AnalysisMarc Hentze, Tobias Pett, Thomas Thüm, Ina Schaefer. vamos 2021: [doi]
Equivalent Mutants in Configurable Systems: An Empirical StudyLuiz Carvalho, Marcio Augusto Guimarães, Márcio Ribeiro, Leonardo Fernandes, Mustafa Al-Hajjaji, Rohit Gheyi, Thomas Thüm. vamos 2018: 11-18 [doi]
Variant-preserving refactoring in feature-oriented software product linesSandro Schulze, Thomas Thüm, Martin Kuhlemann, Gunter Saake. vamos 2012: 73-81 [doi]
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University CoursesPaul Maximilian Bittner, Thomas Thüm, Ina Schaefer. SEFM 2019: 127-144 [doi]
Compositional Analyses of Highly-Configurable Systems with Feature-Model InterfacesReimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake. se 2017: 129-130
AutoSMP: an evaluation platform for sampling algorithmsTobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer. SPLC 2021: 41-44 [doi]
Product-line verification with feature-oriented contractsThomas Thüm. ISSTA 2013: 374-377 [doi]
SMT-based variability analyses in FeatureIDEJoshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer. vamos 2020: [doi]
Using decision rules for solving conflicts in extended feature modelsLina Ochoa, Oscar González Rojas, Thomas Thüm. SLE 2015: 149-160 [doi]
AspectJML: modular specification and runtime checking for crosscutting contractsHenrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm. AOSD 2014: 157-168 [doi]
Proof-Carrying Apps: Contract-Based Deployment-Time VerificationSönke Holthusen, Michael Nieke, Thomas Thüm, Ina Schaefer. ISoLA 2016: 839-855 [doi]
Tutorial on the universal variability languageChico Sundermann, Kevin Feichtinger, José A. Galindo, David Benavides 0001, Rick Rabiser, Sebastian Krieter, Thomas Thüm. SPLC 2022: 260 [doi]
FeatureIDE: An extensible framework for feature-oriented software developmentThomas Thüm, Christian Kästner, Fabian Benduhn, Jens Meinicke, Gunter Saake, Thomas Leich. SCP, 79:70-85, 2014. [doi]
Modularizing crosscutting contracts with AspectJMLHenrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm. AOSD 2014: 21-24 [doi]
Feature-context interfaces: tailored programming interfaces for software product linesReimar Schröter, Norbert Siegmund, Thomas Thüm, Gunter Saake. SPLC 2014: 102-111 [doi]
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume B, Paris, France, September 9-13, 2019Carlos Cetina, Oscar Díaz, Laurence Duchien, Marianne Huchard, Rick Rabiser, Camille Salinesi, Christoph Seidl, Xhevahire Tërnava, Leopoldo Teixeira, Thomas Thüm, Tewfik Ziadi, editors, ACM, 2019. [doi]
On language levels for feature modeling notationsThomas Thüm, Christoph Seidl, Ina Schaefer. SPLC 2019: [doi]
Remote Welfare Monitoring of Rodents Using Thermal ImagingCarina Barbosa Pereira, Janosch Kunczik, Leonie Zieglowski, René Tolba, Ahmed Abdelrahman, Dietmar Zechner, Brigitte Vollmar, Heike Janssen, Thomas Thüm, Michael Czaplik. sensors, 18(11):3653, 2018. [doi]
Automated analysis of dependent feature modelsReimar Schröter, Thomas Thüm, Norbert Siegmund, Gunter Saake. vamos 2013: 9 [doi]
Towards modular analysis of multi product linesReimar Schröter, Norbert Siegmund, Thomas Thüm. SPLC 2013: 96-99 [doi]
Delta-Oriented Product Prioritization for Similarity-Based Product-Line TestingMustafa Al-Hajjaji, Sascha Lity, Remo Lachmann, Thomas Thüm, Ina Schaefer, Gunter Saake. ICSE 2017: 34-40 [doi]
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - SummaryAlexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer. se 2022: 83-84 [doi]
Simulating the Evolution of Clone-and-Own Projects with VEVOSAlexander Schultheiß, Paul Maximilian Bittner, Sascha El-Sharkawy, Thomas Thüm, Timo Kehrer. EASE 2022: 231-236 [doi]
Applications of #SAT Solvers on Feature ModelsChico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer. vamos 2021: [doi]
Towards efficient analysis of variation in time and spaceThomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer. SPLC 2019: [doi]
Evaluating state-of-the-art # SAT solvers on industrial configuration spacesChico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer. ese, 28(2):29, March 2023. [doi]
A Study on Tool Support for Refactoring in Database ApplicationsHagen Schink, Janet Siegmund, Reimar Schröter, Thomas Thüm, Gunter Saake. stt, 36(2), 2016. [doi]
A Classification and Survey of Analysis Strategies for Software Product LinesThomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake. ACM Comput. Surv., 47(1):6, 2014. [doi]
Modular Reasoning for Crosscutting Concerns with ContractsThomas Thüm. se 2014: 65-66
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019Thorsten 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, editors, ACM, 2019. [doi]
RaQuN: a generic and scalable n-way model matching algorithmAlexander Schultheiß, Paul Maximilian Bittner, Alexander Boll, Lars Grunske, Thomas Thüm, Timo Kehrer. SoSyM, 22(5):1495-1517, October 2023. [doi]
Feature-interaction detection based on feature-based specificationsSven Apel, Alexander von Rhein, Thomas Thüm, Christian Kästner. cn, 57(12):2399-2409, 2013. [doi]
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration SpacesChico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer. se 2024: 67-68 [doi]
Similarity-based prioritization in software product-line testingMustafa Al-Hajjaji, Thomas Thüm, Jens Meinicke, Malte Lochau, Gunter Saake. SPLC 2014: 197-206 [doi]
Modularization of Refinement Steps for Agile Formal MethodsFabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake. icfem 2017: 19-35 [doi]
On the use of product-line variants as experimental subjects for clone-and-own research: a case studyAlexander Schultheiß, Paul Maximilian Bittner, Timo Kehrer, Thomas Thüm. SPLC 2020: [doi]
Teaching Correctness-by-Construction and Post-hoc Verification - The Online ExperienceTobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer. tfm 2021: 101-116 [doi]
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web ConfiguratorsThomas Thüm, Sebastian Krieter, Ina Schaefer. confws 2018: 1-8 [doi]
Clean your variable code with featureIDEThomas Thüm, Sebastian Krieter, Thomas Leich. SPLC 2018: 299 [doi]
4th International Workshop on Feature-Oriented Software Development, FOSD '12, Dresden, Germany - September 24 - 25, 2012Ina Schaefer, Thomas Thüm, editors, ACM, 2012. [doi]
Variational correctness-by-constructionTabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer. vamos 2020: [doi]
A BDD for Linux?: the knowledge compilation challenge for variabilityThomas Thüm. SPLC 2020: [doi]
Derivation of subset product lines in FeatureIDELukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm, Ina Schaefer. SPLC 2022: 38-41 [doi]
Yet another textual variability language?: a community effort towards a unified languageChico Sundermann, Kevin Feichtinger, Dominik Engelhardt, Rick Rabiser, Thomas Thüm. SPLC 2021: 136-147 [doi]
Feature trace recordingPaul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer. FSE 2021: 1007-1020 [doi]
ddueruem: a wrapper for feature-model analysis toolsTobias Heß, Tobias Müller, Chico Sundermann, Thomas Thüm. SPLC 2022: 54-57 [doi]
Skill-Based Verification of Cyber-Physical SystemsAlexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer. FASE 2020: 203-223 [doi]
Tool Support for Correctness-by-ConstructionTobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson. FASE 2019: 25-42 [doi]
Optimizing product orders using graph algorithms for improving incremental product-line analysisSascha Lity, Mustafa Al-Hajjaji, Thomas Thüm, Ina Schaefer. vamos 2017: 60-67 [doi]
IncLing: efficient product-line testing using incremental pairwise samplingMustafa Al-Hajjaji, Sebastian Krieter, Thomas Thüm, Malte Lochau, Gunter Saake. GPCE 2016: 144-155 [doi]
Variational satisfiability solvingJeffrey M. Young, Eric Walkingshaw, Thomas Thüm. SPLC 2020: [doi]
Agile Methoden im SoftwareprojektJanet Siegmund, Thomas Thüm, Sandro Schulze, Elmar Jürgens. gi 2013: 234
Family-based deductive verification of software product linesThomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel. GPCE 2012: 11-20 [doi]
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeYAlexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer. se 2019: 165-166 [doi]
Performance Analysis Strategies for Software Variants and VersionsThomas 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. In Ralf H. Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin, editors, Managed Software Evolution. pages 175-206, Springer, 2019. [doi]
A classification of product sampling for software product linesMahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer. SPLC 2018: 1-13 [doi]
Evaluation of Free and Open Source Tools for Automated Software Composition AnalysisLaura Bottner, Artur Hermann, Jeremias Eppler, Thomas Thüm, Frank Kargl. cscs2 2023: [doi]
Variability encoding: From compile-time to load-time variability Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, Sven Apel. jlp, 85(1):125-145, 2016. [doi]
Scalability of Deductive Verification Depends on Method Call TreatmentAlexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer. ISoLA 2018: 159-175 [doi]
Incremental Identification of T-Wise Feature InteractionsSabrina Böhm, Sebastian Krieter, Tobias Heß, Thomas Thüm, Malte Lochau. vamos 2024: 27-36 [doi]
Apo-games: a case study for reverse engineering variability from cloned Java variantsJacob Krüger, Wolfram Fenske, Thomas Thüm, Dirk Aporius, Gunter Saake, Thomas Leich. SPLC 2018: 251-256 [doi]
Anomaly analyses for feature-model evolutionMichael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, Felix Franzke. GPCE 2018: 188-201 [doi]
Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023Myra B. Cohen, Thomas Thüm, Jacopo Mauro, editors, ACM, 2023. [doi]
Incremental construction of modal implication graphs for evolving feature modelsSebastian Krieter, Rahel Arens, Michael Nieke, Chico Sundermann, Tobias Heß, Thomas Thüm, Christoph Seidl 0001. SPLC 2021: 64-74 [doi]
UnWise: High T-Wise Coverage from Uniform SamplingTobias Heß, Tim Jannik Schmidt, Lukas Ostheimer, Sebastian Krieter, Thomas Thüm. vamos 2024: 37-45 [doi]
Feature-oriented contract compositionThomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer. jss, 152:83-107, 2019. [doi]
Proof Composition for Deductive Verification of Software Product LinesThomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel. icst 2011: 270-277 [doi]
Propagating configuration decisions with modal implication graphsSebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake. ICSE 2018: 898-909 [doi]
Explaining anomalies in feature modelsMatthias Kowal, Sofia Ananieva, Thomas Thüm. GPCE 2016: 132-143 [doi]
Foreword to the Special Issue on Configurable SystemsLaurence Duchien, Paul Grünbacher, Thomas Thüm. ese, 26(4):72, 2021. [doi]
Fourth International Workshop on Languages for Modelling Variability ([email protected] 2021)Thomas Thüm, Philippe Collet, Mathieu Acher. SPLC 2021: 205 [doi]
A taxonomy of software product line reengineeringWolfram Fenske, Thomas Thüm, Gunter Saake. vamos 2014: 4 [doi]
Feature Modeling and Development with FeatureIDEThomas Thüm, Thomas Leich, Sebastian Krieter. modellierung 2018: 297-298 [doi]
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model AnalysesElias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake. ASE 2022: [doi]
Continuous T-Wise CoverageTobias Pett, Tobias Heß, Sebastian Krieter, Thomas Thüm, Ina Schaefer. SPLC 2023: 87-98 [doi]
Propagating Configuration Decisions with Modal Implication GraphsSebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake. se 2019: 77-78 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Thomas Thüm's Profile

Unidentified Publications