Thomas Thüm

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

Dr.-Ing. Thomas Thüm

Institute of Software Engineering and Automotive Informatics
Technische Universität Braunschweig

Informatikzentrum
Mühlenpfordtstr. 23
38106 Braunschweig

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

Room ~~415~~ 364

Research Interests

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

Grants & Awards

Dissertation Award 2015 of University of Magdeburg, October 21st, 2015, Magdeburg, Germany (Certificate, 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)

Tweets von @ThomasThuem

Program Committees

FMSPLE 2016: Seventh Workshop on Formal Methods and Analysis in Software Product Line Engineering at ETAPS 2016 (Program Chair)
FOAL 2016: Fifteenth Workshop on Foundations of Aspect-Oriented Languages
ETX 2015: Seventh Workshop on Eclipse Technology eXchange at SPLASH 2015
SPLASH 2015 Workshops: ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity
FMSPLE 2015: Sixth Workshop on Formal Methods and Analysis in Software Product Line Engineering at ETAPS 2015
ETX 2014: Sixth Workshop on Eclipse Technology eXchange at SPLASH 2014
FOSD 2012: Fourth International Workshop on Feature-Oriented Software Development (Program Chair)
VaMoS 2012: Sixth International Workshop on Variability Modelling of Software-intensive Systems
FOSD 2011: Third International Workshop on Feature-Oriented Software Development
FOSD 2010: Second International Workshop on Feature-Oriented Software Development

External reviewer

Journals: COMLAN, CSI Journal of Computing, EMSE, INFSOF, ISRN Software Engineering, JSERD, JSME, JSS, SCP, SPE, STTT, SoSyM, TSE
Conferences: iFM 2016, Modularity 2016, ISSTA 2014, ICSOFT-PT 2013, SE 2013, SEFM 2012, SafeComp 2012
Workshops: NIM-ALP 2013, VaMoS 2013, NFPinDSML 2012

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:

Publications

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), 2016. To appear.
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), 2016. To appear.
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), 2016. To appear.
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 Gonz�lez 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 Proc. Int�l Work. on Variability Modeling of Software-Intensive Systems (VaMoS �14), 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 2016

Software-Produktlinien: Konzepte und Implementierung (SPL)

Winter term 2015/2016

Software Quality 2 (SQ2)

Summer term 2015

Software-Produktlinien: Konzepte und Implementierung (SPL)

Winter term 2014/2015

Summer term 2014

Winter term 2013/2014

Summer term 2013

Winter term 2012/2013

Summer term 2012

Winter term 2011/2012

Summer term 2011

Winter term 2010/2011

Summer term 2010

Supervised Theses

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

Vasco Menzel. Metaanalyse zu Strategien für die formale Verifikation von Software-Produktlinien. Master's thesis, TU Braunschweig, Germany, February 2016. In German.
Tristan Pfofe. Automating the Synchronization of Software Variants. Master's thesis, University of Magdeburg, Germany, January 2016.
Sebastian Krieter. Efficient Configuration of Large-Scale Feature Models Using Extended Implication Graphs. Master's thesis, University of Magdeburg, Germany, October 2015.
Stefan Krüger. Product-Line Verification with Abstract Contracts. Master's thesis, University of Magdeburg, Germany, December 2014.
Jens Meinicke. VarexJ: A Variability-Aware Interpreter for Java Applications. Master's thesis, University of Magdeburg, Germany, December 2014.
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.
Fabian Benduhn. Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques. Master thesis, University of Magdeburg, Germany, April 2014.
Matthias Praast. Effiziente Kodierung von Variabilität in Spezifikationen. Master thesis, University of Magdeburg, Germany, March 2014. In German.
David Broneske. On the Impact of Hardware on Relational Join Processing. Master thesis, University of Magdeburg, Germany, August 2013.
André Weigelt. Methoden-basierte Komposition von Kontrakten in Feature-orientierter Programmierung. Bachelor thesis, University of Magdeburg, Germany, August 2013. In German.
Jens Meinicke. JML-Based Verification for Feature-Oriented Programming. Bachelor thesis, University of Magdeburg, Germany, May 2013.
Lei Luo. Synchronisierung von Software-Varianten mit VariantSync. Master thesis, University of Magdeburg, Germany, January 2013. In German.
Fabian Benduhn. Contract-Aware Feature Composition. Bachelor thesis, University of Magdeburg, Germany, October 2012.
Daniel Lüddecke. Extraktion von Feature-Modellen aus Implementierungsartefakten. Master thesis, University of Magdeburg, Germany, October 2012. In German.
Ivonne Schröter. Modulare Integration von konfigurierbaren Transaktionsmechanismen in Cloud-basierte Datenspeichersysteme. Master thesis (diplomarbeit), University of Magdeburg, Germany, September 2012. In German.
Sönke Holthusen. Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE. Master thesis, University of Magdeburg, Germany, July 2012. In German.
Reimar Schröter. Automatisierte Analysen der Modellierung von Multiproduktlinien in VELVET. Master thesis, University of Magdeburg, Germany, April 2012. In German.
Steffen Haase. A Program Slicing Approach to Feature Identification in Legacy C Code. Master thesis (diplomarbeit), University of Magdeburg, Germany, February 2012.
Constanze Adler. Optional Composition - A Solution to the Optional Feature Problem?. Master thesis, University of Magdeburg, Germany, February 2011.
Christoph Mewes. Migration von Subversion nach Mercurial und Einsatz dezentraler Versionskontrolle in Unternehmen. Bachelor 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
EclEmma - Java code coverage for Eclipse
Perfect instructions for poor theses (in German)
Title Capitalization Tool - Automatic capitalization of titles in English