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

2016

58.
Rhein, Alexander; Thüm, Thomas; Schaefer, Ina; Liebig, Jörg; Apel, Sven
Variability Encoding: From Compile-Time to Load-Time Variability
J. Logic and Algebraic Methods in Programming (JLAMP) :125-145
2016
ISSN: 2352-2208
DOI:10.1016/j.jlamp.2015.06.007
57.
Al-Hajjaji, Mustafa; Meinicke, Jens; Krieter, Sebastian; Schröter, Reimar; Thüm, Thomas; Leich, Thomas; Saake, Gunter
Tool Demo: Testing Configurable Systems with FeatureIDE
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 173-177
Herausgeber: ACM, New York, NY, USA
2016
DOI:10.1145/2993236.2993254
ISBN:978-1-4503-4446-3
56.
Pfofe, Tristan; Thüm, Thomas; Schulze, Sandro; Fenske, Wolfram; Schaefer, Ina
Synchronizing Software Variants with VariantSync
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 329-332
Herausgeber: ACM, New York, NY, USA
2016
DOI:10.1145/2934466.2962726
ISBN:978-1-4503-4050-2
55.
Thüm, Thomas
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen
Ausgezeichnete Informatikdissertationen 2015, Seite 299-308
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
2016
54.
Holthusen, Sönke; Nieke, Michael; Thüm, Thomas; Schaefer, Ina
Proof-Carrying Apps: Contract-Based Deployment-Time Verification
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Seite 839-855
Herausgeber: Springer, Berlin, Heidelberg
2016
DOI:10.1007/978-3-319-47166-2_58
ISBN:978-3-319-47166-2
53.
Thüm, Thomas; Ribeiro, Marcio; Schröter, Reimar; Siegmund, Janet; Dalton, Francisco
Product-Line Maintenance with Emergent Contract Interfaces
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 134-143
Herausgeber: ACM, New York, NY, USA
2016
DOI:10.1145/2934466.2934471
ISBN:978-1-4503-4050-2
52.
Meinicke, Jens; Wong, Chu-Pan; Kästner, Christian; Thüm, Thomas; Saake, Gunter
On Essential Configuration Complexity: Measuring Interactions In Highly-Configurable Systems
Proc. Int'l Conf. on Automated Software Engineering (ASE), Seite 483-494
Herausgeber: ACM, New York, NY, USA
2016
DOI:10.1145/2970276.2970322
ISBN:978-1-4503-3845-5
51.
Krieter, Sebastian; Schröter, Reimar; Thüm, Thomas; Saake, Gunter
An Efficient Algorithm for Feature-Model Slicing
Germany
Technical Report FIN-001-2016
2016
50.
Al-Hajjaji, Mustafa; Krieter, Sebastian; Thüm, Thomas; Lochau, Malte; Saake, Gunter
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 144-155
Herausgeber: ACM, New York, NY, USA
2016
DOI:10.1145/2993236.2993253
ISBN:978-1-4503-4446-3
49.
Meinicke, Jens; Thüm, Thomas; Schröter, Reimar; Krieter, Sebastian; Benduhn, Fabian; Saake, Gunter; Leich, Thomas
FeatureIDE: Taming the Preprocessor Wilderness
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 629-632
Herausgeber: ACM, New York, NY, USA
2016
DOI:10.1145/2889160.2889175
ISBN:978-1-4503-4205-6

Editorials

Prof. Dr. Thomas Thüm

Thomas Thüm
Prof. Dr. Thomas Thüm
Professor
University Ulm Institute of Software Engineering and Programming Languages Albert-Einstein-Allee 11
89069 Ulm
Germany
Raum: O27 416
Telefon: +49731/50-24254
          

          Publons