default search action
Thomas Thüm
- > Home > Persons > Thomas Thüm
Publications
- 2019
- [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 - 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) - 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 - 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) - 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) - [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 - 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 - 2009
- [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
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 2024-09-10 02:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint