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 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

2019

83.
Al-Hajjaji, Mustafa; Thüm, Thomas; Lochau, Malte; Meinicke, Jens; Saake, Gunter
Effective Product-Line Testing Using Similarity-Based Product Prioritization
Software and System Modeling (SoSyM) :499-521
2019
Herausgeber: Springer
ISSN: 1619-1366
DOI:10.1007/s10270-016-0569-2
82.
Jung, Reiner; Märtin, Lukas; Johanssen, Jan Ole; Paech, Barbara; Lochau, Malte; Thüm, Thomas; Schneider, Kurt; Tichy, Matthias; Ulbrich, Mattias
Addressed Challenges
Seite 21-36
Herausgeber: Springer, Cham, Switzerland
2019
21-36
DOI:10.1007/978-3-030-13499-0_3
ISBN:978-3-030-13499-0

2018

81.
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Proc. Workshop on Formal Integrated Development Environment (F-IDE), Seite 53-70
2018
DOI:10.4204/EPTCS.284.5
80.
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY
Proc. Inte'l Conf. on Interactive Theorem Proving (ITP), Seite 342-361
Herausgeber: Springer, Berlin, Heidelberg
2018
DOI:10.1007/978-3-319-94821-8_20
ISBN:978-3-319-94820-1
79.
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
Scalability of Deductive Verification Depends on Method Call Treatment
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Seite 159-175
Herausgeber: Springer, Cham, Switzerland
2018
DOI:10.1007/978-3-030-03427-6_15
ISBN:978-3-030-03426-9
78.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Schröter, Reimar; Saake, Gunter
Propagating Configuration Decisions with Modal Implication Graphs
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 898-909
Herausgeber: ACM, New York, NY, USA
2018
DOI:10.1145/3180155.3180159
ISBN:978-1-4503-5638-1
77.
Thüm, Thomas; Krieter, Sebastian; Schaefer, Ina
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators
Proc. Configuration Workshop (ConfWS), Seite 1-8
Herausgeber: RWTH Aachen University, Aachen, Germany
2018
76.
Ruland, Sebastian; Luthmann, Lars; Bürdek, Johannes; Lity, Sascha; Thüm, Thomas; Lochau, Malte; Ribeiro, Marcio
Measuring Effectiveness of Sample-Based Product-Line Testing
Proc. Int'l Conf. on Generative Programming and Component Engineering (GPCE), Seite 119-133
Herausgeber: ACM, New York, NY, USA
2018
DOI:10.1145/3278122.3278130
ISBN:978-1-4503-6045-6
75.
Thüm, Thomas; Krieter, Sebastian; Leich, Thomas
Feature Modeling and Development with FeatureIDE
Proc. Modellierung, Seite 297-298
Herausgeber: GI, Bonn, Germany
2018
ISBN:978-3-88579-674-9
74.
Bhayadia, Raj; Krowiorz, Kathrin; Haetscher, Nadine; Jammal, Razan; Emmrich, Stephan; Obulkasim, Askar; Fiedler, Jan; Schwarzer, Adrian; Rouhi, Arefeh; Heuser, Michael; Wingert, Susanne; Bothur, Sabrina; Döhner, Konstanze; Mätzig, Tobias; Ng, Michelle; Reinhardt, Dirk; Döhner, Hartmut; Zwaan, C Michel; Heuvel Eibrink, Marry; Heckl, Dirk; Fornerod, Maarten; Thüm, Thomas; Humphries, R Keith; Rieger, Michael A; Kuchenbauer, Florian; Klusmann, Jan-Henning
Endogenous Tumor Suppressor microRNA-193b: Therapeutic and Prognostic Value in Acute Myeloid Leukemia.
J Clin Oncol, 36 (10) :1007-1016
2018
ISSN: 1527-7755
DOI:10.1200/JCO.2017.75.2204

Editorials

Teaching

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