( en | de | ru )

 

Disambiguation of "Thüm, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Evaluating #SAT solvers on industrial feature models.

, , and . VaMoS, page 3:1-3:9. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Thüm

Thomas Thum

Thomas Thum

Thomas Thum

Thomas Thum

 

Other publications of authors with the same name

Generic Solution-Space Sampling for Multi-domain Product Lines., , , , , and . GPCE, page 135-147. ACM, (2022)SMT-based variability analyses in FeatureIDE., , , , , , and . VaMoS, page 6:1-6:9. ACM, (2020)SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses., , and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 127-144. Springer, (2019)Modular Reasoning for Crosscutting Concerns with Contracts.. Software Engineering, volume P-227 of LNI, page 65-66. GI, (2014)Bridging the Gap Between Clone-and-Own and Software Product Lines., , , and . ICSE (NIER), page 21-25. IEEE, (2021)Continuous T-Wise Coverage., , , , and . SPLC (A), page 87-98. ACM, (2023)Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own., , , and . ICSME, page 269-280. IEEE, (2022)On the use of product-line variants as experimental subjects for clone-and-own research: a case study., , , and . SPLC (A), page 27:1-27:6. ACM, (2020)Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models., , , , and . SPLC (A), page 136-147. ACM, (2024)Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience., , , and . FMTea, volume 13122 of Lecture Notes in Computer Science, page 101-116. Springer, (2021)