Dipl.-Inform. Thomas Thüm

Thomas Thüm University of Magdeburg
School of Computer Science
Department of Technical and Business Information Systems
Database and Information Systems Group
P.O. Box 4120, D-39016 Magdeburg, Germany

Office: Building 29, Room 108

Phone: ++49 391 67-51899 (new)
Fax: ++49 391 67-12020
E-mail: thomas.thuem@ovgu.de

researchr.org

Research Interests

Feature-oriented software development (FOSD), software product lines (SPL), program families, feature-oriented programming (FOP), black-box frameworks
Formal specification and deductive verification of SPLs
Product-line–aware analyses: theorem proving, static analysis/type systems, model checking
Feature modeling, feature models, automated analyses and reasoning
Interactive and automated theorem proving

Program Committees

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

Research Projects

Analysis Strategies for Software Product Lines
FeatureIDE: Tool Support for Feature-Oriented Software Development
SPL2go - An online repository for open-source software product lines
Velvet - Variability modeling language for multi product lines
VariantSync - Tool support for managing software variants and merging in between
Prop4J - A Java library extending SAT4J with arbitrary propositional formulas

Former projects:

Teaching

Interested in a thesis or a practical course? Watchout the offers of our working group and here is a direct link to my offers.

Summer term 2012

Winter term 2011/2012

Summer term 2011

Winter term 2010/2011

Summer term 2010

Publications

2012

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.
Christian Kästner, Sven Apel, Thomas Thüm, and Gunter Saake. Type Checking Annotation-Based Product Lines. ACM TOSEM, 21(3), 2012. To appear; submitted 8 Jun 2010, accepted 4 Jan 2011.
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.
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, 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, 2012. Springer.

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

Supervised Theses

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

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.

Grants & Awards

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)