Prof. Dr.-Ing. Thomas Thüm

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)

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.
• 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.