Prof. Dr.-Ing. Thomas Thüm

Since January 2020, Thomas Thüm is a 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 more than 100 peer-reviewed publications and is known for his contributions to the well-known open-source project FeatureIDE.

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

2013

18.
Apel, Sven; Rhein, Alexander; Thüm, Thomas; Kästner, Christian
Feature-Interaction Detection Based on Feature-Based Specifications
Computer Networks :2399-2409
2013
Publisher: Elsevier North-Holland, Inc.
ISSN: 1389-1286
DOI:10.1016/j.comnet.2013.02.025

2012

17.
Thüm, Thomas; Schulze, Sandro; Pukall, Mario; Saake, Gunter; Günther, Sebastian
Secure and Customizable Data Management for Automotive Systems: A Feasibility Study
ISRN Software Engineering
2012
DOI:10.5402/2012/424230
16.
Thüm, Thomas
Verification of Software Product Lines Using Contracts
Doktorandentagung Magdeburger-Informatik-Tage (MIT), Page 75-82
Publisher: University of Magdeburg, Germany
2012
ISBN:978-3-940961-73-0
15.
Kästner, Christian; Apel, Sven; Thüm, Thomas; Saake, Gunter
Type Checking Annotation-Based Product Lines
Trans. on Software Engineering and Methodology (TOSEM) :14:1-14:39
2012
Publisher: ACM
ISSN: 1049-331X
DOI:10.1145/2211616.2211617
14.
Schulze, Sandro; Thüm, Thomas; Kuhlemann, Martin; Saake, Gunter
Variant-Preserving Refactoring in Feature-Oriented Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 73-81
Publisher: ACM, New York, NY, USA
2012
DOI:http://doi.acm.org/10.1145/2110147.2110156
13.
Thüm, Thomas; Schaefer, Ina; Apel, Sven; Hentschel, Martin
Family-Based Deductive Verification of Software Product Lines
Proc. Int'l Conf. on Generative Programming and Component Engineering (GPCE), Page 11-20
Publisher: ACM, New York, NY, USA
2012
DOI:10.1145/2371401.2371404
ISBN:978-1-4503-1129-8
12.
Thüm, Thomas; Benduhn, Fabian
Entwicklung von Softwarevarianten mit FeatureIDE
Eclipse Magazin :94-97
2012
11.
Thüm, Thomas; Schaefer, Ina; Kuhlemann, Martin; Apel, Sven; Saake, Gunter
Applying Design by Contract to Feature-Oriented Programming
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Page 255-269
Publisher: Springer, Berlin, Heidelberg
2012
DOI:10.1007/978-3-642-28872-2_18
ISBN:978-3-642-28871-5
10.
Thüm, Thomas; Apel, Sven; Kästner, Christian; Kuhlemann, Martin; Schaefer, Ina; Saake, Gunter
Analysis Strategies for Software Product Lines
Germany
Technical Report FIN-004-2012
2012

2011

9.
Thüm, Thomas; Kästner, Christian; Erdweg, Sebastian; Siegmund, Norbert
Abstract Features in Feature Modeling
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 191-200
Publisher: IEEE, Washington, DC, USA
2011
DOI:10.1109/SPLC.2011.53
ISBN:978-0-7695-4487-8

Editorials

          

          Publons