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 and head of the SoftVarE working group. 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

Eclipse Plugin for Feature Oriented Software Development

Automating the Synchronization of Software Variants

Program Committees

  • ICSE 2023: 45th International Conference on Software Engineering (Technical Track)
  • ASE Workshop 2022: 19th Workshop on Automotive Software Engineering
  • VaMoS 2022: 16th International Working Conference on Variability Modelling of Software-Intensive Systems
  • QAVS 2021: 2nd Workshop on Quantitative Aspects of Variant-Rich Systems
  • ASE Workshop 2021: 18th Workshop on Automotive Software Engineering
  • MODEVAR 2021: 4th International Workshop on Languages for Modelling Variability (Program Chair)
  • SPLC 2021: 25th Systems and Software Product Line Conference (Research Track and Doctorial Symposium)
  • VaMoS 2021: 15th International Working Conference on Variability Modelling of Software-Intensive Systems
  • MODEVAR@SPLC 2020: 3rd International Workshop on Languages for Modelling Variability
  • SPLC 2020: 24th Systems and Software Product Line Conference (Research Track and Challenge Solutions Track)
  • MODEVAR@VaMoS 2020: 2nd International Workshop on Languages for Modelling Variability
  • ICSE 2020: 42nd International Conference on Software Engineering (SEIP Track)
  • MODEVAR 2019: 1st International Workshop on Languages for Modelling Variability
  • 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

2014

32.
Rebelo, Henrique; Leavens, Gary T.; Bagherzadeh, Mehdi; Rajan, Hridesh; Lima, Ricardo; Zimmerman, Daniel M.; Cornelio, Marcio; Thüm, Thomas
Modularizing Crosscutting Contracts with AspectJML
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Page 21-24
Publisher: ACM, New York, NY, USA
2014
DOI:10.1145/2584469.2584476
ISBN:978-1-4503-2772-5
31.
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
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Page 157-168
Publisher: ACM, New York, NY, USA
2014
DOI:10.1145/2577080.2577084
ISBN:978-1-4503-2772-5
30.
Thüm, Thomas; Kästner, Christian; Benduhn, Fabian; Meinicke, Jens; Saake, Gunter; Leich, Thomas
FeatureIDE: An Extensible Framework for Feature-Oriented Software Development
Science of Computer Programming (SCP) :70-85
2014
ISSN: 0167-6423
DOI:10.1016/j.scico.2012.06.002
29.
Meinicke, Jens; Thüm, Thomas; Schröter, Reimar; Benduhn, Fabian; Saake, Gunter
An Overview on Analysis Tools for Software Product Lines
Proc. Workshop on Software Product Line Analysis Tools (SPLat), Page 94-101
Publisher: ACM, New York, NY, USA
2014
DOI:10.1145/2647908.2655972
ISBN:978-1-4503-2739-8
28.
Fenske, Wolfram; Thüm, Thomas; Saake, Gunter
A Taxonomy of Software Product Line Reengineering
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 4:1-4:8
Publisher: ACM, New York, NY, USA
2014
DOI:10.1145/2556624.2556643
ISBN:978-1-4503-2556-1
27.
Thüm, Thomas; Apel, Sven; Kästner, Christian; Schaefer, Ina; Saake, Gunter
A Classification and Survey of Analysis Strategies for Software Product Lines
ACM Computing Surveys :6:1-6:45
2014
Publisher: ACM
ISSN: 0360-0300
DOI:10.1145/2580950
26.
Schröter, Reimar; Siegmund, Norbert; Thüm, Thomas; Saake, Gunter
Feature-Context Interfaces: Tailored Programming Interfaces for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 102-111
Publisher: ACM, New York, NY, USA
2014
DOI:10.1145/2648511.2648522
ISBN:978-1-4503-2740-4

2013

25.
Siegmund, Janet; Thüm, Thomas; Schulze, Sandro; Jürgens, Elmar
Agile Methoden im Softwareprojekt
Jahrestagung der Gesellschaft für Informatik, Page 234
Publisher: Gesellschaft für Informatik
2013
ISBN:978-3-88579-614-5
24.
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 (Technical Report)
Orlando, FL, USA
Technical Report CS-TR-13-07
2013
23.
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), Page 9:1-9:5
Publisher: ACM, New York, NY, USA
2013
DOI:10.1145/2430502.2430515
ISBN:978-1-4503-1541-8

Editorials

          

          Publons