Prof. Dr.-Ing. Thomas Thüm

Since January 2020, Thomas Thüm is an associate professor for the Construction and Analysis of Secure Software Systems at the University of Ulm. From 2015 to 2019, he was a PostDoc (Akademischer Rat) at the TU Braunschweig in Ina Schaefer’s institute. He received his Ph.D. in 2015 from the University of Magdeburg under the supervision of Gunter Saake. His Ph.D. thesis received the Dissertation Award 2015 of the University of Magdeburg and his master’s thesis the Software Engineering Award 2011 of the Ernst Denert Foundation. He coauthored about 100 peer-reviewed publications and is known for his contributions to the well-known open-source project FeatureIDE.

Research Projects

FeatureIDE

Eclipse Plugin for Feature Oriented Software Development

Publications

2020

84.
Sundermann, Chico; Thüm, Thomas; Schaefer, Ina
Evaluating #SAT solvers on industrial feature models
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 3:1--3:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
DOI:10.1145/3377024.3377025
83.
Bordis, Tabea; Runge, Tobias; Knüppel, Alexander; Thüm, Thomas; Schaefer, Ina
Variational correctness-by-construction
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 7:1--7:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
DOI:10.1145/3377024.3377038
82.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Saake, Gunter; Leich, Thomas
YASA: Yet another sampling algorithm
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 4:1--4:10
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
DOI:10.1145/3377024.3377042
81.
Sprey, Joshua; Sundermann, Chico; Krieter, Sebastian; Nieke, Michael; Mauro, Jacopo; Thüm, Thomas; Schaefer, Ina
SMT-based variability analyses in FeatureIDE
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 6:1--6:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
DOI:10.1145/3377024.3377036

2019

80.
Pett, Tobias; Thüm, Thomas; Runge, Tobias; Krieter, Sebastian; Lochau, Malte; Schaefer, Ina
Product sampling for product lines: the scalability challenge
In Thorsten Berger and Philippe Collet and Laurence Duchien and Thomas Fogdal and Patrick Heymans and Timo Kehrer and Jabier Martinez and Ra{\'{u}}l Mazo and Leticia Montalvillo and Camille Salinesi and Xhevahire T{\"{e}}rnava and Thomas Th{\"{u}}m and Tewfik Ziadi, Editor, Proceedings of the 23rd International Systems and Software Product Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13, 2019, Page 14:1--14:6
In Thorsten Berger and Philippe Collet and Laurence Duchien and Thomas Fogdal and Patrick Heymans and Timo Kehrer and Jabier Martinez and Ra{\'{u}}l Mazo and Leticia Montalvillo and Camille Salinesi and Xhevahire T{\"{e}}rnava and Thomas Th{\"{u}}m and Tewfik Ziadi, Editor
Publisher: {ACM}
2019
DOI:10.1145/3336294.3336322
File:https://doi.org/10.1145/3336294.3336322
79.
Thüm, Thomas; Teixeira, Leopoldo; Schmid, Klaus; Walkingshaw, Eric; Mukelabai, Mukelabai; Varshosaz, Mahsa; Botterweck, Goetz; Schaefer, Ina; Kehrer, Timo
Towards efficient analysis of variation in time and space
In Carlos Cetina and Oscar D{\'{\i}}az and Laurence Duchien and Marianne Huchard and Rick Rabiser and Camille Salinesi and Christoph Seidl and Xhevahire T{\"{e}}rnava and Leopoldo Teixeira and Thomas Th{\"{u}}m and Tewfik Ziadi, Editor, Proceedings of the 23rd International Systems and Software Product Line Conference, {SPLC} 2019, Volume B, Paris, France, September 9-13, 2019, Page 69:1--69:8
In Carlos Cetina and Oscar D{\'{\i}}az and Laurence Duchien and Marianne Huchard and Rick Rabiser and Camille Salinesi and Christoph Seidl and Xhevahire T{\"{e}}rnava and Leopoldo Teixeira and Thomas Th{\"{u}}m and Tewfik Ziadi, Editor
Publisher: {ACM}
2019
DOI:10.1145/3307630.3342414
File:https://doi.org/10.1145/3307630.3342414
78.
Runge, Tobias; Schaefer, Ina; Cleophas, Loek; Thüm, Thomas; Kourie, Derrick G.; Watson, Bruce W.
Tool Support for Correctness-by-Construction
In Reiner H{\"{a}}hnle and Wil M. P. van der Aalst, Editor, Fundamental Approaches to Software Engineering - 22nd International Conference, {FASE} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, ProceedingsVolume11424fromLecture Notes in Computer Science, Page 25--42
In Reiner H{\"{a}}hnle and Wil M. P. van der Aalst, Editor
Publisher: Springer
2019
DOI:10.1007/978-3-030-16722-6\_2
File:https://doi.org/10.1007/978-3-030-16722-6\_2
77.
Bittner, Paul Maximilian; Thüm, Thomas; Schaefer, Ina
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses
In Peter Csaba Ölveczky and Gwen Salaün, Editor, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, ProceedingsVolume11724fromLecture Notes in Computer Science, Page 127-144
In Peter Csaba Ölveczky and Gwen Salaün, Editor
Publisher: Springer
2019
DOI:10.1007/978-3-030-30446-1_7
File:https://doi.org/10.1007/978-3-030-30446-1_7
76.
Lity, Sascha; Nieke, Manuel; Thüm, Thomas; Schaefer, Ina
Retest test selection for product-line regression testing of variants and versions of variants
J. Syst. Softw., 147 :46--63
2019
DOI:10.1016/j.jss.2018.09.090
File:https://doi.org/10.1016/j.jss.2018.09.090
75.
Thüm, Thomas; Hoorn, André; Apel, Sven; Bürdek, Johannes; Getir, Sinem; Heinrich, Robert; Jung, Reiner; Kowal, Matthias; Lochau, Malte; Schaefer, Ina; Walter, Jürgen
Performance Analysis Strategies for Software Variants and Versions
In Ralf H. Reussner and Michael Goedicke and Wilhelm Hasselbring and Birgit Vogel{-}Heuser and Jan Keim and Lukas M{\"{a}}rtin, Editor, Managed Software Evolution
Page 175--206
Publisher: Springer
2019
175--206
DOI:10.1007/978-3-030-13499-0\_8
File:https://doi.org/10.1007/978-3-030-13499-0\_8

Editorials

5.

Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019
In Thorsten 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, and Tewfik Ziadi, Editor
Publisher: ACM
2019
DOI:10.1145/3336294
ISBN:978-1-4503-7138-4
4.

Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume B, Paris, France, September 9-13, 2019
In Carlos Cetina, Oscar Díaz, Laurence Duchien, Marianne Huchard, Rick Rabiser, Camille Salinesi, Christoph Seidl, Xhevahire Tërnava, Leopoldo Teixeira, Thomas Thüm, and Tewfik Ziadi, Editor
Publisher: ACM
2019
DOI:10.1145/3307630
ISBN:978-1-4503-6668-7

2017

3.

Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, Sevilla, Spain, September 25-29, 2017
In Maurice H. ter Beek, Walter Cazzola, Oscar Díaz, Marcello La Rosa, Roberto E. Lopez-Herrejon, Thomas Thüm, Javier Troya, Antonio Ruiz Cortés, and David Benavides, Editor
Publisher: ACM
2017
DOI:10.1145/3109729
ISBN:978-1-4503-5119-5

2016

2.

Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, April 3, 2016
In Julia Rubin and Thomas Thüm, Editor, Volume 206 from EPTCS
2016
DOI:10.4204/EPTCS.206

2012

1.

4th International Workshop on Feature-Oriented Software Development, FOSD '12, Dresden, Germany - September 24 - 25, 2012
In Ina Schaefer and Thomas Thüm, Editor
Publisher: ACM
2012
DOI:10.1145/2377816
ISBN:978-1-4503-1309-4

Teaching