Thomas Thüm
Thomas Thüm
Professor of Computer Science, University of Ulm, Germany
Vahvistettu sähköpostiosoite verkkotunnuksessa uni-ulm.de - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
FeatureIDE: An extensible framework for feature-oriented software development
T Thüm, C Kästner, F Benduhn, J Meinicke, G Saake, T Leich
Science of Computer Programming 79 (0), 70-85, 2014
4432014
Reasoning about edits to feature models
T Thüm, D Batory, C Kästner
Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on …, 2009
4002009
A classification and survey of analysis strategies for software product lines
T Thüm, S Apel, C Kästner, I Schaefer, G Saake
ACM Computing Surveys (CSUR) 47 (1), 6, 2014
3642014
FeatureIDE: A tool framework for feature-oriented software development
C Kästner, T Thüm, G Saake, J Feigenspan, T Leich, F Wielgorz, S Apel
Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on …, 2009
2552009
Type checking annotation-based product lines
C Kästner, S Apel, T Thüm, G Saake
ACM Trans. Softw. Eng. Methodol.(TOSEM) 21 (3), 14:1–14:39, 2012
1672012
Abstract features in feature modeling
T Thüm, C Kästner, S Erdweg, N Siegmund
Software Product Line Conference (SPLC), 2011 15th International, 191-200, 2011
1562011
Similarity-based prioritization in software product-line testing
M Al-Hajjaji, T Thüm, J Meinicke, M Lochau, G Saake
Proceedings of the International Software Product Line Conference (SPLC …, 2014
882014
Analysis strategies for software product lines
T Thüm, S Apel, C Kästner, M Kuhlemann, I Schaefer, G Saake
Technical Report FIN-004-2012, 2012
852012
Family-based deductive verification of software product lines
T Thüm, I Schaefer, S Apel, M Hentschel
International Conference on Generative Programming and Component Engineering, 2012
792012
Multi-dimensional variability modeling
M Rosenmüller, N Siegmund, T Thüm, G Saake
Proceedings of the 5th Workshop on Variability Modeling of Software …, 2011
792011
On essential configuration complexity: measuring interactions in highly-configurable systems
J Meinicke, CP Wong, C Kästner, T Thüm, G Saake
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
782016
Feature-interaction detection based on feature-based specifications
S Apel, A Rhein, T Thüm, C Kästner
Computer Networks, 2013
752013
Mastering Software Variability with FeatureIDE
J Meinicke, T Thüm, R Schröter, F Benduhn, T Leich, G Saake
Springer, 2017
722017
Variant-preserving refactoring in feature-oriented software product lines
S Schulze, T Thüm, M Kuhlemann, G Saake
692012
IncLing: efficient product-line testing using incremental pairwise sampling
M Al-Hajjaji, S Krieter, T Thüm, M Lochau, G Saake
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative …, 2016
642016
Effective product-line testing using similarity-based product prioritization
M Al-Hajjaji, T Thüm, M Lochau, J Meinicke, G Saake
Software & Systems Modeling 18 (1), 499-521, 2019
622019
Explaining anomalies in feature models
M Kowal, S Ananieva, T Thüm
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative …, 2016
522016
Proof composition for deductive verification of software product lines
T Thüm, I Schaefer, M Kuhlemann, S Apel
Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE …, 2011
522011
A taxonomy of software product line reengineering
W Fenske, T Thüm, G Saake
Proceedings of the Eighth International Workshop on Variability Modelling of …, 2014
492014
The PLA model: On the combination of product-line analyses
A von Rhein, S Apel, C Kästner, T Thüm, I Schaefer
472013
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20