Prof. Dr.-Ing. Thomas Thüm

Thomas Thüm is a professor for the Construction and Analysis of Secure Software Systems at the University of Ulm since January 2020. His research interests range from Software Engineering and Formal Methods to Artificial Intelligence and Security. In particular, his research focuses on variability and evolution of software systems. From 2015 to 2019, he was a postdoctoral researcher 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 more than 100 peer-reviewed publications and is known for his contributions to the famous open-source project FeatureIDE. Since 2020, he is an associate editor for ACM Transactions on Software Engineering and Methodology (TOSEM).

Favorite Quote

“People have an enormous tendency to resist change. They love to say, 'We've always done it this way.' I try to fight that.” - Grace Hopper

Research Projects

FeatureIDE

Eclipse Plugin for Feature Oriented Software Development

VariantSync

Automating the Synchronization of Software Variants

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
  • VaMoS 2018: 12th International Workshop on Variability Modelling of Software-Intensive Systems
  • FOSD 2017: International Workshop on Feature-Oriented Software Development
  • 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

102.
Sundermann, Chico; Thüm, Thomas; Schaefer, Ina
Evaluating #SAT Solvers on Industrial Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 3:1--3:9
Publisher: ACM, New York, NY, USA
February 2020
DOI:10.1145/3377024.3377025
ISBN:9781450375016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-VaMoS-Sundermann.pdf
101.
Schultheiß, 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
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Publisher: ACM, New York, NY, USA
2020
DOI:10.1145/3382025.3414972
ISBN:9781450375696
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-SPLC-Schultheiss.pdf
100.
Knüppel, Alexander; Krüger, Stefan; Thüm, Thomas; Bubel, Richard; Krieter, Sebastian; Bodden, Eric; Schaefer, Ina
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
Page 122-148
Publisher: Springer, Cham, Switzerland
2020
122-148
DOI:10.1007/978-3-030-64354-6_5
ISBN:978-3-030-64354-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-Knueppel.pdf
99.
Runge, Tobias; Knüppel, Alexander; Thüm, Thomas; Schaefer, Ina
Lattice-Based Information Flow Control-by-Construction for Security-by-Design
Proc. Int'l Conf. on Formal Methods in Software Engineering (FormaliSE), Page 44-54
Publisher: ACM, New York, NY, USA
2020
DOI:10.1145/3372020.3391565
ISBN:9781450370714
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-FormaliSE-Runge.pdf
98.
Runge, Tobias; Thüm, Thomas; Cleophas, Loek; Schaefer, Ina; Watson, Bruce W.
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study
Proc. Int'l Workshop on Refinement (REFINE), Page 388-405
Publisher: Springer, Cham, Switzerland
2020
DOI:10.1007/978-3-030-54997-8_25
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-REFINE-Runge.pdf
97.
Thüm, Thomas
A BDD for Linux? The Knowledge Compilation Challenge for Variability
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Publisher: ACM, New York, NY, USA
2020
DOI:10.1145/3382025.3414943
ISBN:9781450375696
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-SPLC-Thuem.pdf

2019

96.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Schröter, Reimar; Saake, Gunter
Propagating Configuration Decisions with Modal Implication Graphs (Extended Abstract)
Proc. Software Engineering (SE), Page 77-78
Publisher: Gesellschaft für Informatik
2019
DOI:10.18420/se2019-20
ISBN:978-3-88579-686-2
95.
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY (Extended Abstract)
Proc. Software Engineering (SE), Page 165-166
Publisher: Gesellschaft für Informatik
2019
DOI:10.18420/se2019-51
ISBN:978-3-88579-686-2
94.
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
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Page 57-64
Publisher: ACM, New York, NY, USA
2019
DOI:10.1145/3307630.3342414
ISBN:9781450366687
93.
Runge, Tobias; Schaefer, Ina; Cleophas, Loek; Thüm, Thomas; Kourie, Derrick; Watson, Bruce W.
Tool Support for Correctness-by-Construction
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Page 25-42
Publisher: Springer, Cham, Switzerland
2019
ISBN:978-3-030-16722-6

Editorials

          

          Publons