TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 11.

Jung, Reiner and Märtin, Lukas and Johanssen, Jan Ole and Paech, Barbara and Lochau, Malte and Thüm, Thomas and Schneider, Kurt and Tichy, Matthias and Ulbrich, Mattias (2019):
Addressed Challenges.
In: Managed Software Evolution, Springer, pp. 21-36, DOI: 10.1007/978-3-030-13499-0_3,
[Book Section]

Al-Hajjaji, Mustafa and Thüm, Thomas and Lochau, Malte and Meinicke, Jens and Saake, Gunter (2019):
Effective product-line testing using similarity-based product prioritization.
In: Software and Systems Modeling, Springer, pp. 499-521, 18, (1), DOI: 10.1007/s10270-016-0569-2,
[Online-Edition: https://doi.org/10.1007/s10270-016-0569-2],
[Article]

Thüm, Thomas and van Hoorn, André and Apel, Sven and Bürdek, Johannes and Getir, Sinem and Heinrich, Robert and Jung, Reiner and Kowal, Matthias and Lochau, Malte and Schaefer, Ina and Walter, Jürgen (2019):
Performance Analysis Strategies for Software Variants and Versions.
In: Managed Software Evolution, Springer, pp. 175-206, DOI: 10.1007/978-3-030-13499-0_8,
[Book Section]

Pett, Tobias and Thüm, Thomas and Runge, Tobias and Krieter, Sebastian and Lochau, Malte and Schaefer, Ina (2019):
Product Sampling for Product Lines: The Scalability Challenge.
Paris, ACM, In: 23rd International Systems and Software Product Line Conference (SPLC '19), DOI: 10.1145/3336294.3336322,
[Online-Edition: https://doi.org/10.1145/3336294.3336322],
[Conference or Workshop Item]

Ruland, Sebastian and Luthmann, Lars and Bürdek, Johannes and Lity, Sascha and Thüm, Thomas and Lochau, Malte and Ribeiro, Márcio (2018):
Measuring Effectiveness of Sample-Based Product-Line Testing.
ACM, In: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE'18), DOI: 10.1145/3278122.3278130,
[Online-Edition: http://doi.acm.org/10.1145/3278122.3278130],
[Conference or Workshop Item]

Thüm, Thomas and Winkelmann, Tim and Schröter, Reimar and Hentschel, Martin and Krüger, Stefan (2016):
Variability Hiding in Contracts for Dependent Software Product Lines.
In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, ACM, Salvador, Brazil, In: VaMoS '16, ISBN 978-1-4503-4019-9,
DOI: 10.1145/2866614.2866628,
[Conference or Workshop Item]

Al-Hajjaji, Mustafa and Krieter, Sebastian and Thüm, Thomas and Lochau, Malte and Saake, Gunter (2016):
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling.
ACM, In: Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2016), ISBN 978-1-4503-4446-3,
[Online-Edition: http://dx.doi.org/10.1145/2993236.2993253],
[Conference or Workshop Item]

Benduhn, Fabian and Thüm, Thomas and Lochau, Malte and Leich, Thomas and Saake, Gunter (2015):
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
In: Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, [Online-Edition: http://doi.acm.org/10.1145/2701319.2701332],
[Conference or Workshop Item]

Thüm, Thomas and Meinicke, Jens and Benduhn, Fabian and Hentschel, Martin and von Rhein, Alexander and Saake, Gunter (2014):
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines.
In: Proceedings of the International Software Product Line Conference (SPLC), ACM, In: SPLC, [Conference or Workshop Item]

Al-Hajjaji, Mustafa and Thüm, Thomas and Meinicke, Jens and Lochau, Malte and Saake, Gunter
Gnesi, S. and Fantechi, A. and Heymans, P. and Rubin, J. and Czarnecki, K. and Dhungana, D. (eds.) (2014):
Similarity-based Prioritization in Software Product-Line Testing.
In: Proceedings of the 18th International Software Product Line Conference, In: Software Product Line Conference, [Conference or Workshop Item]

Thüm, Thomas and Schaefer, Ina and Apel, Sven and Hentschel, Martin (2012):
Family-Based Deductive Verification of Software Product Lines.
In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering, ACM, Dresden, Germany, In: GPCE '12, ISBN 978-1-4503-1129-8,
[Conference or Workshop Item]

This list was generated on Tue Oct 22 01:03:15 2019 CEST.