TU BRAUNSCHWEIG

Google Scholar

DBLP
ORCID ResearchGate Semantic Scholar
Github 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
Working Group on Formal Methods and Product Lines (FMPL)
Institute of Software Engineering and Automotive Informatics (ISF)

Informatikzentrum
Mühlenpfordtstr. 23
38106 Braunschweig

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

Room 415

Research Interests

  • Software and product configuration, software product lines (SPL), feature-oriented software development (FOSD)
  • Variability modeling, feature models, feature interactions, separation of concerns, explanations
  • Behavioral interface specification languages, design by contract, behavioral subtyping, framing
  • Deductive verification, software model checking, combinatorial interaction testing
  • Satisfiability (SAT) solving, satisfiability modulo theory (SMT) solving, binary decision diagrams (BDD)

Grants & Awards

Program Committees

  1. MODEVAR 2019: 1st International Workshop on Languages for Modelling Variability (MODEVAR)
  2. SPLC 2019: 22nd International Systems and Software Product Line Conference (Research Track Chair)
  3. VaMoS 2019: 13th International Workshop on Variability Modelling of Software-Intensive Systems
  4. ICSE 2019: 41st International Conference on Software Engineering (Workshop Selection Committee)
  5. SPLC 2018: 21st International Systems and Software Product Line Conference (Research Track and Challenge Track)
  6. VSPLE 2018: Variability and Software Product Line Engineering track at SAC
  7. FOSD 2017: International Workshop on Feature-Oriented Software Development
  8. VaMoS 2018: 12th International Workshop on Variability Modelling of Software-Intensive Systems
  9. CTA 2017: IEEE International Workshop on Combinatorial Testing and its Applications
  10. GPCE 2017: 16th International Conference on Generative Programming: Concepts & Experiences
  11. SPLC 2017: 20th International Systems and Software Product Line Conference (Workshop Chair and Research Track PC Member)
  12. LASSY 2017: 2nd Workshop on Live Adaptation of Software SYstems at Programming 2017
  13. FMSPLE 2016: 7th Workshop on Formal Methods and Analysis in Software Product Line Engineering at ETAPS 2016 (Program Chair)
  14. FOAL 2016: 15th Workshop on Foundations of Aspect-Oriented Languages
  15. ETX 2015: 7th Workshop on Eclipse Technology eXchange at SPLASH 2015
  16. SPLASH 2015: ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (Workshop Chair)
  17. FMSPLE 2015: 6th Workshop on Formal Methods and Analysis in Software Product Line Engineering at ETAPS 2015
  18. ETX 2014: 6th Workshop on Eclipse Technology eXchange at SPLASH 2014
  19. FOSD 2012: 4th International Workshop on Feature-Oriented Software Development (Program Chair)
  20. VaMoS 2012: 6th International Workshop on Variability Modelling of Software-intensive Systems
  21. FOSD 2011: 3rd International Workshop on Feature-Oriented Software Development
  22. FOSD 2010: 2nd International Workshop on Feature-Oriented Software Development
External reviewer

Research Projects

Former projects:

Publications

2019

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

    Summer term 2019

  1. Compiler 1 (C1)
  2. Winter term 2018/2019

  3. Software Quality 2 (SQ2)
  4. Summer term 2018

  5. Software-Produktlinien: Konzepte und Implementierung (SPL)
  6. Teamproject: Entwicklung von Eclipse-Plugins
  7. Winter term 2017/2018

  8. Software Quality 2 (SQ2)
  9. Summer term 2017

  10. Software-Produktlinien: Konzepte und Implementierung (SPL)
  11. Teamproject: Entwicklung von Eclipse-Plugins
  12. Winter term 2016/2017

  13. Software Engineering 1 (SE1)
  14. Summer term 2016

  15. Software-Produktlinien: Konzepte und Implementierung (SPL)
  16. Teamproject: Entwicklung von Eclipse-Plugins
  17. Winter term 2015/2016

  18. Software Quality 2 (SQ2)
  19. Summer term 2015

  20. Software-Produktlinien: Konzepte und Implementierung (SPL)
  21. Winter term 2014/2015

  22. Implementierungstechniken für Software-Produktlinien (ISP)
  23. Summer term 2014

  24. Student Conference on Software Engineering and Database Systems (StudConf)
  25. Softwareprojekt: Plugin-Entwicklung mit Eclipse (SPE)
  26. Winter term 2013/2014

  27. Erweiterte Programmierkonzepte für maßgeschneiderte Datenhaltung (EPMD)
  28. Summer term 2013

  29. Student Conference on Software Engineering and Database Systems (StudConf)
  30. Spezifikationstechnik (SPT)
  31. Softwareprojekt: Plugin-Entwicklung mit Eclipse (SPE)
  32. Winter term 2012/2013

  33. Einführung in empirische Methoden für Informatiker (EMCS)
  34. Erweiterte Programmierkonzepte für maßgeschneiderte Datenhaltung (EPMD)
  35. Summer term 2012

  36. Student Conference on Software Engineering and Database Systems (StudConf)
  37. Spezifikationstechnik (SPT)
  38. Softwareprojekt: Plugin-Entwicklung mit Eclipse (SPE)
  39. Winter term 2011/2012

  40. Erweiterte Programmierkonzepte für maßgeschneiderte Datenhaltung (EPMD)
  41. Transaktionsverwaltung (TV)
  42. Summer term 2011

  43. Datenbanken II - Implementierungstechniken (DB2)
  44. Spezifikationstechnik (SPT)
  45. Softwareprojekt: Plugin-Entwicklung mit Eclipse (SPE)
  46. Winter term 2010/2011

  47. Erweiterte Programmierkonzepte für maßgeschneiderte Datenhaltung (EPMD)
  48. Transaktionsverwaltung (TV)
  49. Summer term 2010

  50. Softwareprojekt: Plugin-Entwicklung mit Eclipse (SPE)
  51. Spezifikationstechnik (SPT)

Supervised Theses

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

  1. Paul Maximilian Bittner. SAT Encodings of the At-Most-k Constraint: A Case Study on Configuring University Courses. Project thesis, TU Braunschweig, Germany, March 2019.
  2. Nico Thiele. Re-Engineering Feature Models from Product Configurators. Master's thesis, TU Braunschweig, Germany, November 2018.
  3. Tobias Pett. Stability of Product Sampling under Product-Line Evolution. Master's thesis, TU Braunschweig, Germany, November 2018.
  4. Christopher Sontag. Recording Feature Mappings during Evolution of Cloned Variants. Master's thesis, TU Braunschweig, Germany, September 2018.
  5. Joshua Sprey and Chico Sundermann. Computing Attribute Ranges for Partial Configurations with JavaSMT. Bachelor's thesis, TU Braunschweig, Germany, April 2018.
  6. Christopher Sontag. VariantSync: Automating the Synchronization of Software Variants. Project thesis, TU Braunschweig, Germany, December 2017.
  7. Carsten Immanuel Pardylla (Burmeister). Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY. Master's thesis, TU Braunschweig, Germany, December 2017. In German.
  8. Timo Günther. Explaining Satisfiability Queries for Software Product Lines. Master's thesis, TU Braunschweig, Germany, November 2017.
  9. Stefanie Bolle. Feature-orientiertes Framing für die Verifikation von Software-Produktlinien. Master's thesis, TU Braunschweig, Germany, November 2017. In German.
  10. Carsten Immanuel Burmeister. On the Scalability of Contracting and Inlining for Deductive Verification. Project thesis, TU Braunschweig, Germany, March 2017.
  11. Stefanie Bolle. Automating Deductive Verfication of Software Product Lines. Project thesis, TU Braunschweig, Germany, March 2017.
  12. Frederik Kanning. Presence Condition Reasoning with Feature Model Interfaces. Master's thesis, TU Braunschweig, Germany, January 2017.
  13. Timo Günther. Visual Explanation of Defects in Feature Diagrams. Project thesis, TU Braunschweig, Germany, December 2016.
  14. Sofia Ananieva. Explaining Defects and Identifying Dependencies in Interrelated Feature Models. Master's thesis, TU Braunschweig, Germany, September 2016.
  15. Christopher Sontag. FeatFork: Feature Tracking in Preprocessor-Based Forks. Bachelor's thesis, TU Braunschweig, Germany, September 2016.
  16. Alexander Knüppel. The Role of Complex Constraints in Feature Modeling. Master's thesis, TU Braunschweig, Germany, July 2016.
  17. Vasco Menzel. Metaanalyse zu Strategien für die formale Verifikation von Software-Produktlinien. Master's thesis, TU Braunschweig, Germany, February 2016. In German.
  18. Tristan Pfofe. Automating the Synchronization of Software Variants. Master's thesis, University of Magdeburg, Germany, January 2016.
  19. Sebastian Krieter. Efficient Configuration of Large-Scale Feature Models Using Extended Implication Graphs. Master's thesis, University of Magdeburg, Germany, October 2015.
  20. Stefan Krüger. Product-Line Verification with Abstract Contracts. Master's thesis, University of Magdeburg, Germany, December 2014.
  21. Jens Meinicke. VarexJ: A Variability-Aware Interpreter for Java Applications. Master's thesis, University of Magdeburg, Germany, December 2014.
  22. Florian Proksch and Stefan Krüger. Tool Support for Contracts in FeatureIDE. Technical Report FIN-001-2014, School of Computer Science, University of Magdeburg, Germany, April 2014.
  23. Fabian Benduhn. Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques. Master's thesis, University of Magdeburg, Germany, April 2014.
  24. Matthias Praast. Effiziente Kodierung von Variabilität in Spezifikationen. Master's thesis, University of Magdeburg, Germany, March 2014. In German.
  25. David Broneske. On the Impact of Hardware on Relational Join Processing. Master's thesis, University of Magdeburg, Germany, August 2013.
  26. André Weigelt. Methoden-basierte Komposition von Kontrakten in Feature-orientierter Programmierung. Bachelor's thesis, University of Magdeburg, Germany, August 2013. In German.
  27. Jens Meinicke. JML-Based Verification for Feature-Oriented Programming. Bachelor's thesis, University of Magdeburg, Germany, May 2013.
  28. Lei Luo. Synchronisierung von Software-Varianten mit VariantSync. Master's thesis, University of Magdeburg, Germany, January 2013. In German.
  29. Fabian Benduhn. Contract-Aware Feature Composition. Bachelor's thesis, University of Magdeburg, Germany, October 2012.
  30. Daniel Lüddecke. Extraktion von Feature-Modellen aus Implementierungsartefakten. Master's thesis, University of Magdeburg, Germany, October 2012. In German.
  31. Ivonne Schröter. Modulare Integration von konfigurierbaren Transaktionsmechanismen in Cloud-basierte Datenspeichersysteme. Master's thesis (Diplomarbeit), University of Magdeburg, Germany, September 2012. In German.
  32. Sönke Holthusen. Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE. Master's thesis, University of Magdeburg, Germany, July 2012. In German.
  33. Reimar Schröter. Automatisierte Analysen der Modellierung von Multiproduktlinien in VELVET. Master's thesis, University of Magdeburg, Germany, April 2012. In German.
  34. Steffen Haase. A Program Slicing Approach to Feature Identification in Legacy C Code. Master's thesis (Diplomarbeit), University of Magdeburg, Germany, February 2012.
  35. Constanze Adler. Optional Composition - A Solution to the Optional Feature Problem?. Master's thesis, University of Magdeburg, Germany, February 2011.
  36. Christoph Mewes. Migration von Subversion nach Mercurial und Einsatz dezentraler Versionskontrolle in Unternehmen. Bachelor's thesis, University of Magdeburg, Germany, August 2011. In German.

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
  • Feedback sheet for scientific presentations (supposed to make practice presentations and feedback more efficient, feedback on this feedback sheet is welcome)

  last changed 01.04.2015
TU_Icon_E_Mail_1_17x17_RGB pagetop