TU BRAUNSCHWEIG

Google Scholar

Semantic Scholar
DBLP
ResearchGate
ORCID Github Twitter
Xing

Research Interests
Grants & Awards
Program Committees
Research Projects
Publications
Teaching
Supervised Theses
Downloads & Links

Dr.-Ing. Thomas Thüm, research assistant

Dr.-Ing. Thomas Thüm

TU Braunschweig
Institut für Softwaretechnik und Fahrzeuginformatik

Informatikzentrum
Mühlenpfordtstr. 23
38106 Braunschweig

tel. +49 531 391-2297
fax +49 531 391-2277
t.thuem@tu-braunschweig.de

Raum 415

Research Interests

  • Feature-oriented software development (FOSD), software product lines (SPL), program families
  • Product-line analysis: theorem proving, static analysis, type systems, model checking, runtime assertion checking, testing
  • Product-line specification: formal specification, design by contract, behavioral subtyping
  • Product-line implementation: feature-oriented programming (FOP), aspect-oriented programming (AOP), black-box frameworks, plug-ins, preprocessors
  • Variability modeling: feature models, automated analyses and reasoning, separation of concerns

Grants & Awards

Program Committees

  • SPLC 2018: 21th International Systems and Software Product Line Conference
  • 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
External reviewer

Research Projects

Former projects:

Publications

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

  • Thomas Thüm, Don Batory, and Christian Kästner. Reasoning about Edits to Feature Models. In Proceedings of the 31th International Conference on Software Engineering (ICSE), pages 254–264. IEEE Computer Society, May 2009.
  • Christian Kästner, Thomas Thüm, Gunter Saake, Janet Feigenspan, Thomas Leich, Fabian Wielgorz, and Sven Apel. FeatureIDE: Tool Framework for Feature-Oriented Software Development. In Proceedings of the 31th International Conference on Software Engineering (ICSE), pages 611–614. IEEE Computer Society, May 2009. Formal Demonstration paper.

2008

Teaching

Winter term 2017/2018 Summer term 2017 Winter term 2016/2017 Summer term 2016 Winter term 2015/2016 Summer term 2015 Winter term 2014/2015 Summer term 2014 Winter term 2013/2014 Summer term 2013 Winter term 2012/2013 Summer term 2012 Winter term 2011/2012 Summer term 2011 Winter term 2010/2011 Summer term 2010

Supervised Theses

Interested in a thesis or a practical course? Watchout the offers of our institute.

Downloads & Links

  • A template for bachelor, master, or PhD theses based on a template by Roland Bless. The template supports theses in English and German so far. Bugs and recommendations are welcome.
  • A Java class to prepare LaTeX documents for publishing. It removes all generated files and comments.
  • RegexTester - A Java applet to write regular expressions for Java
  • Perfect instructions for poor theses (in German)
  • Title Capitalization Tool - Automatic capitalization of titles in English
  • A very good roofer, just in case you need one ;) (in German)

  aktualisiert am 01.04.2015
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang