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
Arbeitsgruppe Formale Methoden und Produktlinien (FMPL)
Institut für Softwaretechnik und Fahrzeuginformatik (ISF)

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

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

Research Projects

Former projects:

Publications

2019

  • Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, and Ina Schaefer. Feature-Oriented Contract Composition. In Journal of Systems and Software (JSS), Elsevier, 2019. To appear.
  • Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, and Ina Schaefer. Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. In Software Engineering, Bonn, Germany, February 2019. Gesellschaft für Informatik (GI).
  • Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, and Gunter Saake. Propagating Configuration Decisions with Modal Implication Graphs. In Software Engineering, Bonn, Germany, February 2019. Gesellschaft für Informatik (GI).
  • Sascha Lity, Manuel Nieke, Thomas Thüm, and Ina Schaefer. Retest Test Selection for Product-Line Regression Testing of Variants and Versions of Variants. In Journal of Systems and Software (JSS), Elsevier, 2019. To appear.

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 2018/2019

  1. Software Quality 2 (SQ2)
  2. Summer term 2018

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

  6. Software Quality 2 (SQ2)
  7. Summer term 2017

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

  11. Software Engineering 1 (SE1)
  12. Summer term 2016

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

  16. Software Quality 2 (SQ2)
  17. Summer term 2015

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

  20. Implementierungstechniken für Software-Produktlinien (ISP)
  21. Summer term 2014

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

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

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

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

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

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

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

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

  48. Softwareprojekt: Plugin-Entwicklung mit Eclipse (SPE)
  49. Spezifikationstechnik (SPT)

Supervised Theses

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

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

  aktualisiert am 01.04.2015
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang