Institute of Software Engineering and Programming Languages

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

Program Committees

  • SPLC2020: 24th Systems and Software Product Line Conference (Research Track and Challenge Solutions Track)
  • ICSE 2020: 42nd International Conference on Software Engineering (SEIP Track)
  • MODEVAR 2019: 1st International Workshop on Languages for Modelling Variability (MODEVAR)
  • SPLC 2019: 22nd International Systems and Software Product Line Conference (Research Track Chair, Challenge Track)
  • VaMoS 2019: 13th International Workshop on Variability Modelling of Software-Intensive Systems
  • ICSE 2019: 41st International Conference on Software Engineering (Workshop Selection Committee)
  • SPLC 2018: 21st International Systems and Software Product Line Conference (Research Track and Challenge Track)
  • VSPLE 2018: Variability and Software Product Line Engineering track at SAC
  • FOSD 2017: International Workshop on Feature-Oriented Software Development
  • VaMoS 2018: 12th International Workshop on Variability Modelling of Software-Intensive Systems
  • CTA 2017: IEEE International Workshop on Combinatorial Testing and its Applications
  • GPCE 2017: 16th International Conference on Generative Programming: Concepts & Experiences
  • SPLC 2017: 20th International Systems and Software Product Line Conference (Workshop Chair and Research Track PC Member)
  • LASSY 2017: 2nd Workshop on Live Adaptation of Software SYstems at Programming 2017
  • FMSPLE 2016: 7th Workshop on Formal Methods and Analysis in Software Product Line Engineering at ETAPS 2016 (Program Chair)
  • FOAL 2016: 15th Workshop on Foundations of Aspect-Oriented Languages
  • ETX 2015: 7th Workshop on Eclipse Technology eXchange at SPLASH 2015
  • SPLASH 2015: ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (Workshop Chair)
  • FMSPLE 2015: 6th Workshop on Formal Methods and Analysis in Software Product Line Engineering at ETAPS 2015
  • ETX 2014: 6th Workshop on Eclipse Technology eXchange at SPLASH 2014
  • FOSD 2012: 4th International Workshop on Feature-Oriented Software Development (Program Chair)
  • VaMoS 2012: 6th International Workshop on Variability Modelling of Software-intensive Systems
  • FOSD 2011: 3rd International Workshop on Feature-Oriented Software Development
  • FOSD 2010: 2nd International Workshop on Feature-Oriented Software Development

Publications

2020

86.
Thüm, Thomas
A BDD for Linux? - The Knowledge Compilation Challenge for Variability
Proceedings of the Interational Systems and Software Product Line Conference (SPLC)
Publisher: ACM, New York, NY, USA
2020
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-SPLC-Thuem.pdf
85.
Runge, Tobias; Knüppel, Alexander; Thüm, Thomas; Schaefer, Ina
Lattice-Based Information Flow Control-by-Construction for Security-by-Design
Proceedings of the International Conference on Formal Methods in Software Engineering (FormaliSE)
2020
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-FormaliSE-Runge.pdf
84.
Schultheiss, Alexander; Bittner, Paul Maximilian; Kehrer, Timo; Thüm, Thomas
On the Use of Product-Line Variants as Experimental Subjects for Clone-and-Own Research: A Case Study
Proceedings of the Interational Systems and Software Product Line Conference (SPLC)
Publisher: ACM, New York, NY, USA
2020
83.
Knüppel, Alexander; Jatzkowski, Inga; Nolte, Marcus; Thüm, Thomas; Runge, Tobias; Schaefer, Ina
Skill-Based Verification of Cyber-Physical Systems
In Heike Wehrheim and Jordi Cabot, Editor, Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE)Volume12076fromLNCS, Page 203--223
In Heike Wehrheim and Jordi Cabot, Editor
Publisher: Springer, Berlin, Heidelberg
2020
DOI:10.1007/978-3-030-45234-6\_10
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-FASE-Knueppel.pdf
82.
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
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Sprey.pdf
81.
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
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Bordis.pdf
80.
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
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Krieter.pdf
79.
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
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Sundermann.pdf

2019

78.
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
77.
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

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