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

2013

23.
Rhein, Alexander; Apel, Sven; Kästner, Christian; Thüm, Thomas; Schaefer, Ina
The PLA Model: On the Combination of Product-Line Analyses
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 14:1-14:8
Herausgeber: ACM, New York, NY, USA
2013
DOI:10.1145/2430502.2430515
ISBN:978-1-4503-1541-8
22.
Rebelo, Henrique; Leavens, Gary T.; Bagherzadeh, Mehdi; Rajan, Hridesh; Lima, Ricardo; Zimmerman, Daniel M.; Cornelio, Marcio; Thüm, Thomas
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts
Herausgeber: ACM
Orlando, FL, USA
Technical Report CS-TR-13-07
2013
DOI:10.1145/2577080.2577084
ISBN:978-1-4503-2772-5
21.
Thüm, Thomas
Product-Line Verification with Feature-Oriented Contracts
Proc. Int'l Symposium on Software Testing and Analysis (ISSTA), Seite 374-377
Herausgeber: ACM, New York, NY, USA
2013
DOI:10.1145/2483760.2492396
ISBN:978-1-4503-2159-4
20.
Schröter, Reimar; Thüm, Thomas; Siegmund, Norbert; Saake, Gunter
Automated Analysis of Dependent Feature Models
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 9:1-9:5
Herausgeber: ACM, New York, NY, USA
2013
DOI:10.1145/2430502.2430515
ISBN:978-1-4503-1541-8
19.
Siegmund, Janet; Thüm, Thomas; Schulze, Sandro; Jürgens, Elmar
Agile Methoden im Softwareprojekt
Informatik, Seite 234
Herausgeber: GI
2013
ISBN:978-3-88579-614-5
18.
Apel, Sven; Rhein, Alexander; Thüm, Thomas; Kästner, Christian
Feature-Interaction Detection Based on Feature-Based Specifications
Computer Networks :2399-2409
2013
Herausgeber: 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), Seite 75-82
Herausgeber: 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. Software Engineering and Methodology (TOSEM) :14:1-14:39
2012
Herausgeber: 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), Seite 73-81
Herausgeber: ACM, New York, NY, USA
2012
DOI:http://doi.acm.org/10.1145/2110147.2110156

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