Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Thomas Thüm

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Fabian Benduhn

> Home > Persons > Thomas Thüm

Publications

2017
[b2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/MeinickeTSBLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/MeinickeTSBLS17
Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Thomas Leich, Gunter Saake:
Mastering Software Variability with FeatureIDE. Springer 2017, ISBN 978-3-319-61442-7, pp. 3-234
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BenduhnTSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BenduhnTSS17
Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake:
Modularization of Refinement Steps for Agile Formal Methods. ICFEM 2017: 19-35
[c44]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/SchroterKTBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/SchroterKTBS17
Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake:
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces. Software Engineering 2017: 129-130
2016
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MeinickeTSKBSL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MeinickeTSKBSL16
Jens Meinicke, Thomas Thüm, Reimar Schröter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, Thomas Leich:
FeatureIDE: taming the preprocessor wilderness. ICSE (Companion Volume) 2016: 629-632
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SchroterKTBS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SchroterKTBS16
Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake:
Feature-model interfaces: the highway to compositional analyses of highly-configurable systems. ICSE 2016: 667-678
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/Al-HajjajiBTLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/Al-HajjajiBTLS16
Mustafa Al-Hajjaji, Fabian Benduhn, Thomas Thüm, Thomas Leich, Gunter Saake:
Mutation Operators for Preprocessor-Based Variability. VaMoS 2016: 81-88
2015
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/BenduhnTLLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/BenduhnTLLS15
Fabian Benduhn, Thomas Thüm, Malte Lochau, Thomas Leich, Gunter Saake:
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines. VaMoS 2015: 80
2014
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ThumKBMSL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ThumKBMSL14
Thomas Thüm, Christian Kästner, Fabian Benduhn, Jens Meinicke, Gunter Saake, Thomas Leich:
FeatureIDE: An extensible framework for feature-oriented software development. Sci. Comput. Program. 79: 70-85 (2014)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/MeinickeTSBS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/MeinickeTSBS14
Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Gunter Saake:
An overview on analysis tools for software product lines. SPLC Workshops 2014: 94-101
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ThumMBHRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ThumMBHRS14
Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake:
Potential synergies of theorem proving and model checking for software product lines. SPLC 2014: 177-186

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.