Dr.-Ing. Thomas Thüm TU Braunschweig Arbeitsgruppe Formale Methoden und Produktlinien (FMPL) Working Group on Formal Methods and Product Lines (FMPL) Institut für Softwaretechnik und Fahrzeuginformatik (ISF) Institute of Software Engineering and Automotive Informatics (ISF) Informatikzentrum Mühlenpfordtstr. 23 38106 Braunschweig tel.phone +49 531 391-2297 fax +49 531 391-2277 t.thuem@tu-braunschweig.de RaumRoom 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

• Grant over 85,500 Euro from the automotive industry for a closed-source extension of FeatureIDE

• Grant over 618,000 Euro by the German Research Foundation (DFG) for the project called VariantSync: Automating the Synchronization of Software Variants by Prof. Timo Kehrer and Dr. Thomas Thüm (VariantSync at Github, VariantSync on Twitter)

• Grant over 66,500 Euro from the automotive industry for a closed-source extension of FeatureIDE

• Grant over 17,000 Euro from the financial service industry for a closed-source extension of FeatureIDE

• FeatureIDE Alliance receives Hugo Junkers Award 2016, December 15th, 2016, Magdeburg, Germany (Certificate, Throphy, Signet, Portrait)

• Dissertation Award 2015 of University of Magdeburg, October 21st, 2015, Magdeburg, Germany (Certificate, Award Ceremony, Interview)

• Best Dissertation of the School of Computer Science, October 21st, 2015, Magdeburg, Germany (Certificate)
• Research Award 2014 of the School of Computer Science, January 14th, 2015, Magdeburg, Germany (Certificate)
• Housing and participation grants by the Heidelberg Laureate Forum, September 22nd to September 27th, 2013, Heidelberg, Germany (Certificate)
• Housing and participation grants by the Summer School Marktoberdorf, July 31st to August 12th, 2012, Marktoberdorf, Germany (Certificate)
• Best-Upcoming-PhD-Thesis Award 2012 of the School of Computer Science, July 17th, 2012, Magdeburg, Germany (Certificate)
• Software Engineering Award 2011 of the Ernst Denert Foundation for the best Master's thesis (Diplomarbeit), October 25th, 2011, Berlin, Germany (Certificate)
• Housing and participation grants by the Summer School in Software Engineering and Verification, July 17th to July 27th, 2011, Moscow, Russia (Certificate)
• Housing and participation grants by the 1st ADAPT Summer School, September 26th to October 2nd, 2010, Koblenz, Germany
• The faculty council of the School of Computer Science dignified the conference publication "Reasoning about Edits to Feature Models", January 13th, 2010, Magdeburg, Germany (Certificate)

Program Committees

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

External reviewer

• Journals: AUSE (2018), COMLAN (2015), COMPJ (2016), EMSE (2014, 2016), FORM (2016, 2017), INFSOF (2011, 2015, 2015, 2016, 2016), JLAMP (2014), JOT (2011), JSERD (2015), JSME (2015), JSS (2015, 2016), KBS (2010), SCP (2011, 2012, 2014), SoSyM (2012, 2013, 2014, 2014, 2017, 2017), SPE (2015), STTT (2016), TOPLAS (2012), TOSEM (2012, 2014, 2018, 2018), TSE (2014, 2017)
• Conferences: GPCE 2016, FM 2016, iFM 2016, Modularity 2016, ISSTA 2014, ICSOFT-PT 2013, SE 2013, SEFM 2012, SafeComp 2012, ECOOP 2011
• Workshops: NIM-ALP 2013, VaMoS 2013, NFPinDSML 2012, FMSPLE 2011

Research Projects

• Contracts for Software Product Lines
• Analysis Strategies for Software Product Lines
• FeatureIDE: Tool Support for Feature-Oriented Software Development
• Migration of Software Products to Software Product Lines
• NaVaS: Nachhaltiges Variabilitätsmanagement von Feature-orientierten Software-Produktlinien
• Similarity-Based Product-Line Testing
• Taxonomy for Product-Line Reengineering
• Tools for Feature-Oriented Software Development
• SPL2go - An online repository for open-source software product lines
• Velvet - Variability modeling language for multi product lines
• VariantSync - Automating the synchronization of software variants
• Prop4J - A Java library extending SAT4J with arbitrary propositional formulas
• FeatureHouse - Language-independent, automated software composition

Former projects:

• Colored Featherweight Java (CFJ)
• COMO B3 - IT-Security Automotive

Publications

2019

---

• Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, and Bruce W. Watson. Comparing Correctness-by-Construction with Post-hoc Verification - A Qualitative User Study. In Proceedings of the International Refinement Workshop (Refine).
• Thomas Thüm, Andre van Hoorn, Sven Apel, Johannes Bürdek, Sinem Getir, Robert Heinrich, Reiner Jung, Matthias Kowal, Malte Lochau, Ina Schaefer, Jürgen Walter. Performance Analysis Strategies for Software Variants and Versions. In Managed Software Evolution, Springer 2019.
• Reiner Jung, Lukas Märtin, Jan Ole Johanssen, Barbara Paech, Malte Lochau, Thomas Thüm, Kurt Schneider, Matthias Tichy, and Mattias Ulbrich. Addressed Challenges. In Managed Software Evolution, Springer 2019.
• Paul Maximilian Bittner, Thomas Thüm, and Ina Schaefer. SAT Encodings of the At-Most-k Constraint – A Case Study on Configuring University Courses. In Proceedings of the International Conference on Software Engineering and Formal Methods (SEFM), 2019.
• Thomas Thüm, Christoph Seidl, and Ina Schaefer. On Language Levels for Feature Modeling Notations. In Proceedings of the International Workshop on Languages for Modelling Variability (MODEVAR), 2019.
• Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, and Timo Kehrer. Towards Efficient Analysis of Variation in Time and Space. In Proceedings of the International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), 2019.
• Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, and Ina Schaefer. Feature-Oriented Contract Composition. In Proceedings of the International Software Product Line Conference (SPLC), 2019.
• Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, and Ina Schaefer. Product Sampling for Product Lines: The Scalability Challenge. In Proceedings of the International Software Product Line Conference (SPLC), 2019.
• Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick Kourie, and Bruce W. Watson. Tool Support for Correctness-by-Construction. In Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE).
• 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.
• 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).
• Mustafa Al-Hajjaji, Thomas Thüm, Malte Lochau, Jens Meinicke, and Gunter Saake. Effective Product-Line Testing Using Similarity-Based Product Prioritization. In Software and Systems Modeling. Springer 2019.
• 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.

2018

---

• Alexander Knüppel, Thomas Thüm, Carsten Pardylla, and Ina Schaefer. Scalability of Deductive Verfication Depends on Method Call Treatment. In Proceedings of the International Symposium on Leveraging Applications (ISoLA), pages 159–175, Berlin, Heidelberg, November 2018. Springer.
• Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, and Felix Franzke. Anomaly Analyses for Feature-Model Evolution. In International Conference on Generative Programming: Concepts & Experience (GPCE), New York, NY, USA, November 2018. ACM.
• Sebastian Ruland, Lars Luthmann, Johannes Bürdek, Sascha Lity, Thomas Thüm, Malte Lochau, and Marcio Ribeiro. Measuring Effectiveness of Sample-Based Product-Line Testing. In International Conference on Generative Programming: Concepts & Experience (GPCE), New York, NY, USA, November 2018. ACM.
• Thomas Thüm, Sebastian Krieter, and Ina Schaefer. Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators. In 20th Intl. Workshop on Configuration (CONFWS), September 2018.
• Michael Nieke, Christoph Seidl, and Thomas Thüm. Back to the Future: Avoiding Paradoxes in Feature-Model Evolution. In 1st Intl. Workshop on Variability and Evolution of Software-intensive Systems (VariVolution), September 2018.
• Thomas Thüm, Sebastian Krieter, and Thomas Leich. Clean Your Variable Code with FeatureIDE. In Proceedings of the International Software Product Line Conference (SPLC), New York, NY, USA, September 2018. ACM.
• Alexander Knüppel, Thomas Thüm, Carsten Pardylla, and Ina Schaefer. Experience Report on Formally Verifying Parts of OpenJDK's API with KeY. In 4th Workshop on Formal Integrated Development Environment (F-IDE), July 2018.
• Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammadreza Mousavi, and Ina Schaefer. A Classification of Product Sampling for Software Product Lines. In Proceedings of the International Software Product Line Conference (SPLC). September 2018.
• Alexander Knüppel, Thomas Thüm, Carsten Pardylla, and Ina Schaefer. Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. In International Conference on Interactive Theorem Proving (ITP), July 2018.
• Jacob Krüger, Wolfram Fenske, Thomas Thüm, Dirk Aporius, Gunter Saake, and Thomas Leich. Apo-Games - A Case Study for Reverse Engineering Variability from Cloned Java Variants. In Proceedings of the International Software Product Line Conference (SPLC), February 2018.
• Thomas Thüm, Sebastian Krieter, and Thomas Leich. Feature Modeling and Development with FeatureIDE. In Tutorial at Modellierung, February 2018.
• Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, and Gunter Saake. Propagating Configuration Decisions with Modal Implication Graphs. In International Conference on Software Engineering (ICSE), New York, NY, USA, May 2018. ACM.
• Sascha Lity, Sophia Nahrendorf, Thomas Thüm, Christoph Seidl, and Ina Schaefer. 175% Modeling for Product-Line Evolution of Domain Artifacts. In International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), New York, NY, USA, February 2018. ACM.
• Luiz Carvalho, Marcio Augusto Guimaraes, Marcio Ribeiro, Leonardo Fernandes, Mustafa Al-Hajjaji, Rohit Gheyi, and Thomas Thüm. Equivalent Mutants in Configurable Systems: An Empirical Study. In International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), New York, NY, USA, February 2018. ACM.
• Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, and Ina Schaefer. Is There a Mismatch Between Real-World Feature Models and Product-Line Research?. In Software Engineering, Bonn, Germany, March 2018. Gesellschaft für Informatik (GI).

2017

---

• Maurice ter Beek, Walter Cazzola, Oscar Diaz, Marcello La Rosa, Roberto Lopez-Herrejon, Thomas Thüm, Javier Troya, Antonio Ruiz-Cortes, and David Benavides, editors. Proceedings of the 21st International Systems and Software Product Line Conference - Volume B. ACM, New York, NY, USA, September 2017.
• Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Thomas Leich, and Gunter Saake. Mastering Software Variability with FeatureIDE. Springer, 2017.
• Fabian Benduhn, Thomas Thüm, Ina Schaefer, and Gunter Saake. Modularization of Refinement Steps for Agile Formal Methods. In International Conference on Formal Engineering Methods (ICFEM). 2017.
• Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, and Ina Schaefer. Is There a Mismatch Between Real-World Feature Models and Product-Line Research?. In Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE). 2017.
• Sebastian Krieter, Marcus Pinnecke, Jacob Krüger, Joshua Sprey, Christopher Sontag, Thomas Thüm, Thomas Leich, and Gunter Saake. FeatureIDE: Empowering Third-Party Developers. In Proceedings of the International Software Product Line Conference (SPLC). 2017.
• Matthias Kowal, Sofia Ananieva, Thomas Thüm, and Ina Schaefer. Supporting the Development of Interdisciplinary Product Lines in the Manufacturing Domain. In World Congress of the International Federation of Automatic Control. 2017.
• Mustafa Al-Hajjaji, Sascha Lity, Remo Lachmann, Thomas Thüm, Ina Schaefer, and Gunter Saake. Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing. In Int'l Workshop on Variability and Complexity in Software Design (VACE). May 2017.
• Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, and Gunter Saake. Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces. In Software Engineering, pages 129–130, Bonn, Germany, February 2017. Gesellschaft für Informatik (GI).
• Sascha Lity, Mustafa Al-Hajjaji, Thomas Thüm, and Ina Schaefer. Optimizing Product Orders Using Graph Algorithms for Improving Incremental Product-Line Analysis. In International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 60–67, New York, NY, USA, January 2017. ACM.

2016

---

• Thomas Thüm. Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen. In Ausgezeichnete Informatikdissertationen 2015, Lecture Notes in Informatics (LNI), pages 299–308, Gesellschaft für Informatik, Bonn, October 2016. In German.
• Sofia Ananieva, Matthias Kowal, Thomas Thüm, and Ina Schaefer. Implicit Constraints in Partial Feature Models. In International Workshop on Feature-Oriented Software Development (FOSD), pages 18–27, New York, NY, USA, October 2016. ACM.
• Matthias Kowal, Sofia Ananieva, and Thomas Thüm. Explaining Anomalies in Feature Models. In International Conference on Generative Programming: Concepts & Experience (GPCE), pages 132–143, New York, NY, USA, October 2016. ACM.
• Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thüm, Malte Lochau, and Gunter Saake. IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling. In International Conference on Generative Programming: Concepts & Experience (GPCE), pages 144–155, New York, NY, USA, October 2016. ACM.
• Mustafa Al-Hajjaji, Jens Meinicke, Sebastian Krieter, Reimar Schröter, Thomas Thüm, Thomas Leich, and Gunter Saake. Tool Demo: Testing Configurable Systems with FeatureIDE. Lines. In International Conference on Generative Programming: Concepts & Experience (GPCE), pages 173–177, New York, NY, USA, October 2016. ACM.
• Jens Meinicke, Chu-Pan Wong, Christian Kästner, Thomas Thüm, and Gunter Saake. On Essential Configuration Complexity: Measuring Interactions In Highly-Configurable Systems. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 483–494, New York, NY, USA, 2016. ACM.
• Sönke Holthusen, Michael Nieke, Thomas Thüm, and Ina Schaefer. Proof-Carrying Apps: Contract-Based Deployment-Time Verification. In Proceedings of the International Symposium on Leveraging Applications (ISoLA), pages 839–855, Berlin, Heidelberg, October 2016. Springer.
• Thomas Thüm, Thomas Leich, and Sebastian Krieter. Clean Your Variable Code with FeatureIDE. In Proceedings of the International Software Product Line Conference (SPLC), pages 308–308, New York, NY, USA, September 2016. ACM.
• Tristan Pfofe, Thomas Thüm, Wolfram Fenske, Sandro Schulze, and Ina Schaefer. Synchronizing Software Variants with VariantSync. In Proceedings of the International Software Product Line Conference (SPLC), pages 329–332, New York, NY, USA, September 2016. ACM.
• Sebastian Krieter, Reimar Schröter, Thomas Thüm, Wolfram Fenske, and Gunter Saake. Comparing Algorithms for Efficient Feature-Model Slicing. In Proceedings of the International Software Product Line Conference (SPLC), pages 60–64, New York, NY, USA, September 2016. ACM.
• Thomas Thüm, Marcio Ribeiro, Reimar Schröter, Janet Siegmund, and Francisco Dalton. Product-Line Maintenance with Emergent Contract Interfaces. In Proceedings of the International Software Product Line Conference (SPLC), pages 134–143, New York, NY, USA, September 2016. ACM.
M. Kowal, S. Ananieva, T. Thüm: , TU Braunschweig, Technical Report, 2016
• Matthias Kowal, Sofia Ananieva, and Thomas Thüm. Explaining Anomalies in Feature Models. Technical Report 2016-01, Computer Science, TU Braunschweig, Germany, August 2016.
• Sascha Lity, Thomas Morbach, Thomas Thüm, and Ina Schaefer. Applying Incremental Model Slicing to Product-Line Regression Testing. In International Conference on Software Reuse (ICSR), pages 3–19, New York, NY, USA, June 2016. ACM
• Jens Meinicke, Thomas Thüm, Reimar Schröter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, and Thomas Leich. FeatureIDE: Taming the Preprocessor Wilderness. In International Conference on Software Engineering (ICSE), pages 629–632, New York, NY, USA, May 2016. ACM
• Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, and Gunter Saake. Feature-Model Interfaces: The Highway to Compositional Analyses of Highly-Configurable Systems. In International Conference on Software Engineering (ICSE), pages 667–678, New York, NY, USA, May 2016. ACM
• Sebastian Krieter, Reimar Schröter, Thomas Thüm, and Gunter Saake. An Efficient Algorithm for Feature-Model Slicing. Technical Report FIN-001-2016, School of Computer Science, University of Magdeburg, Germany, April 2016. (PDF)
• Hagen Schink, Janet Siegmund, Reimar Schröter, Thomas Thüm, and Gunter Saake. A Study on Tool Support for Refactoring in Database Applications. Softwaretechnik-Trends, 36(2), 2016.
• Mustafa Al-Hajjaji, Fabian Benduhn, Thomas Thüm, Thomas Leich, and Gunter Saake. Mutation Operators for Preprocessor-Based Variability. In International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 81–88, New York, NY, USA, January 2016. ACM.
• Thomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel, and Stefan Krüger. Variability Hiding in Contracts for Dependent Software Product Lines. In International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 97–104, New York, NY, USA, January 2016. ACM.
• Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, and Sven Apel. Variability Encoding: From Compile-Time to Load-Time Variability. Journal of Logical and Algebraic Methods in Programming (JLAMP), 85(1-2):125–145, January 2016.

2015

---

• Lina Ochoa Venegas, Oscar Gonzalez Rojas and Thomas Thüm. Using Decision Rules for Solving Conflicts in Extended Feature Models. International Conference on Software Language Engineering (SLE), pages 149–160, ACM, New York, NY, USA, October 2015.
• Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, and Gunter Saake. Feature-Model Interfaces for Compositional Analyses. Technical report, University of Magdeburg, Germany, 2015.
• Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, and Gunter Saake. Analysis Strategies for Software Product Lines: A Classification and Survey. In Software Engineering, pages 57–58, Bonn, Germany, March 2015. Gesellschaft für Informatik (GI).
• Thomas Thüm. Product-Line Specification and Verification with Feature-Oriented Contracts. PhD thesis, University of Magdeburg, Germany, February 2015.
• Fabian Benduhn, Thomas Thüm, Malte Lochau, Thomas Leich, and Gunter Saake. A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines. In International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 80–87, New York, NY, USA, January 2015. ACM.

2014

---

• Reimar Schröter, Norbert Siegmund, Thomas Thüm, and Gunter Saake. Feature-Context Interfaces: Tailored Programming Interfaces for Software Product Lines. In Proceedings of the International Software Product Line Conference (SPLC), pages 102–111, New York, NY, USA, September 2014. ACM.
• Jens Meinicke, Thomas Thüm, Reimar Schöter, Fabian Benduhn, and Gunter Saake. An Overview on Analysis Tools for Software Product Lines. In Workshop on Software Product Line Analysis Tools (SPLat), pages 94–101, New York, NY, USA, September 2014. ACM.
• Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, and Gunter Saake. Potential Synergies of Theorem Proving and Model Checking for Software Product Lines. In Proceedings of the International Software Product Line Conference (SPLC), pages 177–186, New York, NY, USA, September 2014. ACM.
• Mustafa Al-Hajjaji, Thomas Thüm, Jens Meinicke, Malte Lochau, and Gunter Saake. Similarity-Based Prioritization in Software Product-Line Testing. In Proceedings of the International Software Product Line Conference (SPLC), pages 197–206, New York, NY, USA, September 2014. ACM.
• Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, and Gunter Saake. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Computing Surveys, 47(1):6:1–6:45, June 2014.
• Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, and Thomas Thüm. AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts. In International Conference on Modularity (AOSD), pages 157–168, New York, NY, USA, April 2014. ACM.
• Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, and Thomas Thüm. Modularizing Crosscutting Contracts with AspectJML (Tool Demonstration). In International Conference on Modularity (AOSD), pages 21–24, New York, NY, USA, April 2014. ACM.
• Thomas Thüm. Modular Reasoning for Crosscutting Concerns with Contracts. In Software Engineering, pages 65–66, Bonn, Germany, February 2014. Gesellschaft für Informatik (GI).
• Thomas Thüm, Christian Kästner, Fabian Benduhn, Jens Meinicke, Gunter Saake, and Thomas Leich. FeatureIDE: An Extensible Framework for Feature-Oriented Software Development. Science of Computer Programming, 79(0):70–85, January 2014.
• Wolfram Fenske, Thomas Thüm, and Gunter Saake. A Taxonomy of Software Product Line Reengineering. In Proceedings of the International Workshop on Variability Modeling of Software-Intensive Systems (VaMoS), pages 4:1–4:8, New York, NY, USA, January 2014. ACM.

2013

---

• Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, and Thomas Thüm. AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts. Technical Report CS-TR-13-07, University of Central Florida, Computer Science, Orlando, FL, USA, September 2013.
• Sven Apel, Alexander von Rhein, Thomas Thüm, and Christian Kästner. Feature-Interaction Detection based on Feature-Based Specifications. Computer Networks, 57(12):2399–2409, August 2013.
• Reimar Schröter, Norbert Siegmund, and Thomas Thüm. Towards Modular Analysis of Multi Product Lines. In Proceedings of the 17th International Software Product Line Conference co-located workshops, SPLC '13 Workshops, pages 96–99, New York, NY, USA, August 2013. ACM.
• Thomas Thüm. Product-Line Verification with Feature-Oriented Contracts. In International Symposium in Software Testing and Analysis (ISSTA), pages 374–377, New York, NY, USA, July 2013. ACM.
• Thomas Thüm, Sven Apel, Andreas Zelend, Reimar Schröter, and Bernhard Möller. Subclack: Feature-Oriented Programming with Behavioral Feature Interfaces. In Workshop on MechAnisms for SPEcialization, Generalization and inHerItance (MASPEGHI), pages 1–8, New York, NY, USA, July 2013. ACM.
• Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm, and Ina Schaefer. The PLA Model: On the Combination of Product-Line Analyses. In International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 14:1–14:8, New York, NY, USA, January 2013. ACM.
• Reimar Schröter, Thomas Thüm, Norbert Siegmund, and Gunter Saake. Automated Analysis of Dependent Feature Models. In International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 9:1–9:5, New York, NY, USA, January 2013. ACM.

2012

---

• Thomas Thüm, Ina Schaefer, Sven Apel, and Martin Hentschel. Family-Based Deductive Verification of Software Product Lines. In International Conference on Generative Programming and Component Engineering, pages 11–20, New York, NY, USA, September 2012. ACM.
• Ina Schaefer and Thomas Thüm, editors. FOSD '12: Proceedings of the 4th International Workshop on Feature-Oriented Software Development, New York, NY, USA, September 2012. ACM.
• Christian Kästner, Sven Apel, Thomas Thüm, and Gunter Saake. Type Checking Annotation-Based Product Lines. ACM Transactions on Software Engineering and Methodology, 21(3):14:1–14:39, July 2012.
• Thomas Thüm. Verification of Software Product Lines Using Contracts. In Doktorandentagung Magdeburger-Informatik-Tage (MIT), pages 75–82, Germany, July 2012. University of Magdeburg.
• Thomas Thüm, Sven Apel, Christian Kästner, Martin Kuhlemann, Ina Schaefer, and Gunter Saake. Analysis Strategies for Software Product Lines. Technical Report FIN-004-2012, School of Computer Science, University of Magdeburg, Germany, April 2012. (PDF)
• Thomas Thüm, Sandro Schulze, Mario Pukall, Gunter Saake, and Sebastian Günther. Secure and Customizeable Data Management for Automotive Systems - A Feasibility Study. ISRN Software Engineering, Volume 2012, pages 1–7, March 2012.
• Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, and Gunter Saake. Applying Design by Contract to Feature-Oriented Programming. In Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE), volume 7212 of LNCS, pages 255–269, Berlin, Heidelberg, New York, London, March 2012. Springer.
• Sandro Schulze, Thomas Thüm, Martin Kuhlemann, and Gunter Saake. Variant-Preserving Refactoring in Feature-Oriented Software Product Lines. In International Workshop on Variability Modeling of Software-intensive Systems (VaMoS), pages 73–81, New York, NY, USA, January 2012. ACM.

2011

---

• Wolfgang Scholz, Thomas Thüm, Sven Apel, and Christian Lengauer. Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience Report. In Proceedings of the International SPLC Workshop Feature-Oriented Software Development (FOSD), pages 7:1–7:8, New York, NY, USA, August 2011. ACM.
• Fabian Benduhn and Thomas Thüm. FeatureIDE - A Novel Approach to Develop Software. Online Portal, November 2011.
• Marko Rosenmüller, Norbert Siegmund, Thomas Thüm, and Gunter Saake. Multi-Dimensional Variability Modeling. In Proceedings of the Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 11–20. ACM Press, January 2011.
• Thomas Thüm, Ina Schaefer, Martin Kuhlemann, and Sven Apel. Proof Composition for Deductive Verification of Software Product Lines. In Proceedings of the International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST), pages 270–277. IEEE Computer Society, March 2011.
• Thomas Thüm, Christian Kästner, Sebastian Erdweg, and Norbert Siegmund. Abstract Features in Feature Modeling. In Proceedings of the International Software Product Line Conference (SPLC), pages 191–200. IEEE Computer Society, August 2011.
• Thomas Thüm and Fabian Benduhn. Entwicklung von Softwarevarianten mit FeatureIDE. Eclipse Magazin, 12(1):94–97, November 2011. In German.
• Thomas Thüm, Sandro Schulze, Mario Pukall, Gunter Saake, and Sebastian Günther. AutoDaMa: On the Feasibility of Secure and Tailor-made Automotive Data Management. Technical Report FIN-008-2011, School of Computer Science, University of Magdeburg, November 2011. (PDF)

2010

---

• Thomas Thüm. A Machine-Checked Proof for a Product-Line–Aware Type System. Master thesis (diplomarbeit), University of Magdeburg, Germany, January 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

---

• Thomas Thüm. Reasoning about Feature Model Edits. Bachelor thesis (studienarbeit), University of Magdeburg, Germany, June 2008.

Teaching

Summer term 2019

1. Compiler 1 (C1)

Winter term 2018/2019

2. Software Quality 2 (SQ2)

Summer term 2018

3. Software-Produktlinien: Konzepte und Implementierung (SPL)
4. Teamproject: Entwicklung von Eclipse-Plugins

Winter term 2017/2018

5. Software Quality 2 (SQ2)

Summer term 2017

6. Software-Produktlinien: Konzepte und Implementierung (SPL)
7. Teamproject: Entwicklung von Eclipse-Plugins

Winter term 2016/2017

8. Software Engineering 1 (SE1)

Summer term 2016

9. Software-Produktlinien: Konzepte und Implementierung (SPL)
10. Teamproject: Entwicklung von Eclipse-Plugins

Winter term 2015/2016

11. Software Quality 2 (SQ2)

Summer term 2015

12. Software-Produktlinien: Konzepte und Implementierung (SPL)

Winter term 2014/2015

13. Implementierungstechniken für Software-Produktlinien (ISP)

Summer term 2014

14. Student Conference on Software Engineering and Database Systems (StudConf)
15. Softwareprojekt: Plugin-Entwicklung mit Eclipse (SPE)

Winter term 2013/2014

16. Erweiterte Programmierkonzepte für maßgeschneiderte Datenhaltung (EPMD)

Summer term 2013

17. Student Conference on Software Engineering and Database Systems (StudConf)
18. Spezifikationstechnik (SPT)
19. Softwareprojekt: Plugin-Entwicklung mit Eclipse (SPE)

Winter term 2012/2013

20. Einführung in empirische Methoden für Informatiker (EMCS)
21. Erweiterte Programmierkonzepte für maßgeschneiderte Datenhaltung (EPMD)

Summer term 2012

22. Student Conference on Software Engineering and Database Systems (StudConf)
23. Spezifikationstechnik (SPT)
24. Softwareprojekt: Plugin-Entwicklung mit Eclipse (SPE)

Winter term 2011/2012

25. Erweiterte Programmierkonzepte für maßgeschneiderte Datenhaltung (EPMD)
26. Transaktionsverwaltung (TV)

Summer term 2011

27. Datenbanken II - Implementierungstechniken (DB2)
28. Spezifikationstechnik (SPT)
29. Softwareprojekt: Plugin-Entwicklung mit Eclipse (SPE)

Winter term 2010/2011

30. Erweiterte Programmierkonzepte für maßgeschneiderte Datenhaltung (EPMD)
31. Transaktionsverwaltung (TV)

Summer term 2010

32. Softwareprojekt: Plugin-Entwicklung mit Eclipse (SPE)
33. 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)