default search action

combined dblp search
author search
venue search
publication search

ask others

Thomas Thüm

> Home > Persons

Person information

affiliation: University of Ulm, Germany
affiliation (former): TU Braunschweig, Institute of Software Engineering and Automotive Informatics, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

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
2015
[b1]
- view
  - electronic edition @ nbn-resolving.org
  - details & citations
  authority control:
- export record
  dblp key:
  - phd/dnb/Thum15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Thum15
Thomas Thüm:
Product-line specification and verification with feature-oriented contracts. Otto von Guericke University Magdeburg, 2015

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/amai/SundermannKHRKT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/SundermannKHRKT24
Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, Thomas Thüm:
On the benefits of knowledge compilation for feature-model analyses. Ann. Math. Artif. Intell. 92(5): 1013-1050 (2024)
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/BittnerSMYTWAT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/BittnerSMYTWAT24
Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey M. Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, Thomas Thüm:
On the Expressive Power of Languages for Static Variability. Proc. ACM Program. Lang. 8(OOPSLA2): 1018-1050 (2024)
2023
[j15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ese/YoungBWT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/YoungBWT23
Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm:
Variational satisfiability solving: efficiently solving lots of related SAT problems. Empir. Softw. Eng. 28(1): 14 (2023)
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ese/SundermannHNBYTS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/SundermannHNBYTS23
Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer:
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces. Empir. Softw. Eng. 28(2): 29 (2023)
[j13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/RungeBPTS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/RungeBPTS23
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer:
Flexible Correct-by-Construction Programming. Log. Methods Comput. Sci. 19(2) (2023)
[j12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/SchultheissBBGTK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/SchultheissBBGTK23
Alexander Schultheiß, Paul Maximilian Bittner, Alexander Boll, Lars Grunske, Thomas Thüm, Timo Kehrer:
RaQuN: a generic and scalable n-way model matching algorithm. Softw. Syst. Model. 22(5): 1495-1517 (2023)
2022
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/NiekeSTSTS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/NiekeSTSTS22
Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer:
Guiding the evolution of product-line configurations. Softw. Syst. Model. 21(1): 225-247 (2022)
2021
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/DuchienGT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/DuchienGT21
Laurence Duchien, Paul Grünbacher, Thomas Thüm:
Foreword to the Special Issue on Configurable Systems. Empir. Softw. Eng. 26(4): 72 (2021)
2019
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/LityNTS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/LityNTS19
Sascha Lity, Manuel Nieke, Thomas Thüm, Ina Schaefer:
Retest test selection for product-line regression testing of variants and versions of variants. J. Syst. Softw. 147: 46-63 (2019)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ThumKKBS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ThumKKBS19
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer:
Feature-oriented contract composition. J. Syst. Softw. 152: 83-107 (2019)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/Al-HajjajiTLMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/Al-HajjajiTLMS19
Mustafa Al-Hajjaji, Thomas Thüm, Malte Lochau, Jens Meinicke, Gunter Saake:
Effective product-line testing using similarity-based product prioritization. Softw. Syst. Model. 18(1): 499-521 (2019)
2016
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/RheinTSLA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/RheinTSLA16
Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, Sven Apel:
Variability encoding: From compile-time to load-time variability. J. Log. Algebraic Methods Program. 85(1): 125-145 (2016)
[j5]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - journals/stt/SchinkSSTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stt/SchinkSSTS16
Hagen Schink, Janet Siegmund, Reimar Schröter, Thomas Thüm, Gunter Saake:
A Study on Tool Support for Refactoring in Database Applications. Softwaretechnik-Trends 36(2) (2016)
2014
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/ThumAKSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/ThumAKSS14
Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake:
A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47(1): 6:1-6:45 (2014)
[j3]
- view
  - electronic edition via DOI (open access)
  - details & 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)
2013
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/ApelRTK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/ApelRTK13
Sven Apel, Alexander von Rhein, Thomas Thüm, Christian Kästner:
Feature-interaction detection based on feature-based specifications. Comput. Networks 57(12): 2399-2409 (2013)
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/KastnerATS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/KastnerATS12
Christian Kästner, Sven Apel, Thomas Thüm, Gunter Saake:
Type checking annotation-based product lines. ACM Trans. Softw. Eng. Methodol. 21(3): 14:1-14:39 (2012)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c131]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/se/SundermannHNBYT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/SundermannHNBYT24
Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer:
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces. Software Engineering 2024: 67-68
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BittnerSMKT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BittnerSMKT24
Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Timo Kehrer, Thomas Thüm:
Variability-Aware Differencing with DiffDetective. SIGSOFT FSE Companion 2024: 632-636
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/PettKTS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/PettKTS24
Tobias Pett, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. SPLC (A) 2024: 47-53
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/SundermannBKKHT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SundermannBKKHT24
Chico Sundermann, Vincenzo Francesco Brancaccio, Elias Kuiter, Sebastian Krieter, Tobias Heß, Thomas Thüm:
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking. SPLC (A) 2024: 54-65
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/SundermannHSKKT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SundermannHSKKT24
Chico Sundermann, Tobias Heß, Rahel Sundermann, Elias Kuiter, Sebastian Krieter, Thomas Thüm:
Generating Feature Models with UVL's Full Expressiveness. SPLC (B) 2024: 61-65
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/0001SBTK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/0001SBTK24
Sandra Greiner, Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer:
Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing. SPLC (A) 2024: 84-95
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/HessSSTT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/HessSSTT24
Tobias Heß, Sean Niklas Semmler, Chico Sundermann, Jacobo Torán, Thomas Thüm:
Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models. SPLC (A) 2024: 136-147
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/SundermannKHRKT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SundermannKHRKT24
Chico Sundermann, Elias Kuiter, Tobias Heß, Heiko Raab, Sebastian Krieter, Thomas Thüm:
On the Benefits of Knowledge Compilation for Feature-Model Analyses. SPLC (A) 2024: 217
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/BohmKHTL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/BohmKHTL24
Sabrina Böhm, Sebastian Krieter, Tobias Heß, Thomas Thüm, Malte Lochau:
Incremental Identification of T-Wise Feature Interactions. VaMoS 2024: 27-36
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/HessSOKT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/HessSOKT24
Tobias Heß, Tim Jannik Schmidt, Lukas Ostheimer, Sebastian Krieter, Thomas Thüm:
UnWise: High T-Wise Coverage from Uniform Sampling. VaMoS 2024: 37-45
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/GuthingBST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/GuthingBST24
Lukas Güthing, Paul Maximilian Bittner, Ina Schaefer, Thomas Thüm:
Explaining Edits to Variability Annotations in Evolving Software Product Lines. VaMoS 2024: 93-102
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/KuiterHSKTS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/KuiterHSKTS24
Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Gunter Saake:
How Easy is SAT-Based Analysis of a Feature Model? VaMoS 2024: 149-151
2023
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/cscs2/BottnerHETK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cscs2/BottnerHETK23
Laura Bottner, Artur Hermann, Jeremias Eppler, Thomas Thüm, Frank Kargl:
Evaluation of Free and Open Source Tools for Automated Software Composition Analysis. CSCS 2023: 3:1-3:11
[c118]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/BittnerTSVKT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/BittnerTSVKT23
Paul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer, Thomas Thüm:
Classifying Edits to Variability in Source Code - Summary. Software Engineering 2023: 39-40
[c117]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/FeichtingerSTR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/FeichtingerSTR23
Kevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser:
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations. Software Engineering 2023: 51-52
[c116]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/KuiterKSTS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KuiterKSTS23
Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake:
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. Software Engineering 2023: 83-84
[c115]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/SchultheissBTK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/SchultheissBTK23
Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer:
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary. Software Engineering 2023: 109-110
[c114]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/YoungBWT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/YoungBWT23
Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm:
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary. Software Engineering 2023: 129-130
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/SundermannVTFAR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SundermannVTFAR23
Chico Sundermann, Stefan Vill, Thomas Thüm, Kevin Feichtinger, Prankur Agarwal, Rick Rabiser, José A. Galindo, David Benavides:
UVLParser: Extending UVL with Language Levels and Conversion Strategies. SPLC (B) 2023: 39-42
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/LothSSBRT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/LothSSBRT23
Jacob Loth, Chico Sundermann, Tobias Schrull, Thilo Brugger, Felix Rieg, Thomas Thüm:
UVLS: A Language Server Protocol For UVL. SPLC (B) 2023: 43-46
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/PettHKTS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/PettHKTS23
Tobias Pett, Tobias Heß, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
Continuous T-Wise Coverage. SPLC (A) 2023: 87-98
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BittnerSGMKTKT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BittnerSGMKTKT23
Paul Maximilian Bittner, Alexander Schultheiß, Sandra Greiner, Benjamin Moosherr, Sebastian Krieter, Christof Tinnes, Timo Kehrer, Thomas Thüm:
Views on Edits to Variational Software. SPLC (A) 2023: 141-152
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/KrieterFG0RST23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/KrieterFG0RST23
Sebastian Krieter, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thüm:
Second Tutorial on the Universal Variability Language. SPLC (A) 2023: 273
2022
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/ease/SchultheissBETK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ease/SchultheissBETK22
Alexander Schultheiß, Paul Maximilian Bittner, Sascha El-Sharkawy, Thomas Thüm, Timo Kehrer:
Simulating the Evolution of Clone-and-Own Projects with VEVOS. EASE 2022: 231-236
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/RungePTS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/RungePTS22
Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer:
Traits: Correctness-by-Construction for Free. FORTE 2022: 131-150
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/HentzePSK0S22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/HentzePSK0S22
Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
Generic Solution-Space Sampling for Multi-domain Product Lines. GPCE 2022: 135-147
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/SchultheissBTK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/SchultheissBTK22
Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer:
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own. ICSME 2022: 269-280
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/KuiterKSTS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/KuiterKSTS22
Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake:
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. ASE 2022: 110:1-110:13
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/models/HentzeSTS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/HentzeSTS22
Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer:
Quantifying the variability mismatch between problem and solution space. MoDELS 2022: 322-333
[c102]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/se/BittnerSTKYL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/BittnerSTKYL22
Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer:
Feature Trace Recording - Summary. Software Engineering 2022: 19-20
[c101]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/se/SchultheissBTK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/SchultheissBTK22
Alexander Schultheiß, Paul Maximilian Bittner, Thomas Thüm, Timo Kehrer:
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary. Software Engineering 2022: 83-84
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BittnerTSVKT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BittnerTSVKT22
Paul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer, Thomas Thüm:
Classifying edits to variability in source code. ESEC/SIGSOFT FSE 2022: 196-208
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/LinsbauerWBKTS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/LinsbauerWBKTS22
Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
Derivation of subset product lines in FeatureIDE. SPLC (B) 2022: 38-41
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/HessMST22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/HessMST22
Tobias Heß, Tobias Müller, Chico Sundermann, Thomas Thüm:
ddueruem: a wrapper for feature-model analysis tools. SPLC (B) 2022: 54-57
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/FeichtingerSTR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/FeichtingerSTR22
Kevin Feichtinger, Chico Sundermann, Thomas Thüm, Rick Rabiser:
It's your loss: classifying information loss during variability model roundtrip transformations. SPLC (A) 2022: 67-78
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/SundermannFG0RK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SundermannFG0RK22
Chico Sundermann, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Sebastian Krieter, Thomas Thüm:
Tutorial on the universal variability language. SPLC (A) 2022: 260
2021
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KehrerTSB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KehrerTSB21
Timo Kehrer, Thomas Thüm, Alexander Schultheiß, Paul Maximilian Bittner:
Bridging the Gap Between Clone-and-Own and Software Product Lines. ICSE (NIER) 2021: 21-25
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KnuppelTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KnuppelTS21
Alexander Knüppel, Thomas Thüm, Ina Schaefer:
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. FormaliSE@ICSE 2021: 124-129
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/models/SchultheissBGTK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SchultheissBGTK21
Alexander Schultheiß, Paul Maximilian Bittner, Lars Grunske, Thomas Thüm, Timo Kehrer:
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees. MoDELS 2021: 1-12
[c92]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/se/KnuppelJNRTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KnuppelJNRTS21
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer:
Skill-Based Verification of Cyber-Physical Systems. Software Engineering 2021: 67-68
[c91]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/se/RungeSCTKW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/RungeSCTKW21
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson:
Tool Support for Correctness-by-Construction. Software Engineering 2021: 93-94
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BittnerSTKYL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BittnerSTKYL21
Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer:
Feature trace recording. ESEC/SIGSOFT FSE 2021: 1007-1020
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/PettKTLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/PettKTLS21
Tobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer:
AutoSMP: an evaluation platform for sampling algorithms. SPLC (B) 2021: 41-44
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/KrieterANSHT021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/KrieterANSHT021
Sebastian Krieter, Rahel Arens, Michael Nieke, Chico Sundermann, Tobias Heß, Thomas Thüm, Christoph Seidl:
Incremental construction of modal implication graphs for evolving feature models. SPLC (A) 2021: 64-74
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/HessST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/HessST21
Tobias Heß, Chico Sundermann, Thomas Thüm:
On the scalability of building binary decision diagrams for current feature models. SPLC (A) 2021: 131-135
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/SundermannFERT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SundermannFERT21
Chico Sundermann, Kevin Feichtinger, Dominik Engelhardt, Rick Rabiser, Thomas Thüm:
Yet another textual variability language?: a community effort towards a unified language. SPLC (A) 2021: 136-147
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ThumCA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ThumCA21
Thomas Thüm, Philippe Collet, Mathieu Acher:
Fourth International Workshop on Languages for Modelling Variability ([email protected] 2021). SPLC (A) 2021: 205
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/tfm/RungeBTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/RungeBTS21
Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer:
Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. FMTea 2021: 101-116
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/SundermannNBHTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/SundermannNBHTS21
Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer:
Applications of #SAT Solvers on Feature Models. VaMoS 2021: 12:1-12:10
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/HentzePTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/HentzePTS21
Marc Hentze, Tobias Pett, Thomas Thüm, Ina Schaefer:
Hyper Explanations for Feature-Model Defect Analysis. VaMoS 2021: 14:1-14:9
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/PettKRTLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/PettKRTLS21
Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer:
Stability of Product-Line Samplingin Continuous Integration. VaMoS 2021: 18:1-18:9
2020
[c80]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/KnuppelJNTRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/KnuppelJNTRS20
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer:
Skill-Based Verification of Cyber-Physical Systems. FASE 2020: 203-223
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RungeKTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RungeKTS20
Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer:
Lattice-Based Information Flow Control-by-Construction for Security-by-Design. FormaliSE@ICSE 2020: 44-54
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/Thum20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/Thum20
Thomas Thüm:
A BDD for Linux?: the knowledge compilation challenge for variability. SPLC (A) 2020: 16:1-16:6
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/YoungWT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/YoungWT20
Jeffrey M. Young, Eric Walkingshaw, Thomas Thüm:
Variational satisfiability solving. SPLC (A) 2020: 18:1-18:12
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/SchultheissBKT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SchultheissBKT20
Alexander Schultheiß, Paul Maximilian Bittner, Timo Kehrer, Thomas Thüm:
On the use of product-line variants as experimental subjects for clone-and-own research: a case study. SPLC (A) 2020: 27:1-27:6
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/NiekeST0TS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/NiekeST0TS20
Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer:
GuyDance: Guiding Configuration Updates for Product-Line Evolution. SPLC (B) 2020: 56-64
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/SundermannTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/SundermannTS20
Chico Sundermann, Thomas Thüm, Ina Schaefer:
Evaluating #SAT solvers on industrial feature models. VaMoS 2020: 3:1-3:9
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/KrieterTSSL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/KrieterTSSL20
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Gunter Saake, Thomas Leich:
YASA: yet another sampling algorithm. VaMoS 2020: 4:1-4:10
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/SpreySKNMTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/SpreySKNMTS20
Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer:
SMT-based variability analyses in FeatureIDE. VaMoS 2020: 6:1-6:9
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/BordisRKTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/BordisRKTS20
Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer:
Variational correctness-by-construction. VaMoS 2020: 7:1-7:9
2019
[c70]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/RungeSCTKW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/RungeSCTKW19
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson:
Tool Support for Correctness-by-Construction. FASE 2019: 25-42
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/RungeTCSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/RungeTCSW19
Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson:
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. FM Workshops (2) 2019: 388-405
[c68]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/se/KrieterTSSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KrieterTSSS19
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake:
Propagating Configuration Decisions with Modal Implication Graphs. SE/SWM 2019: 77-78
[c67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/se/KnuppelTPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KnuppelTPS19
Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer:
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. SE/SWM 2019: 165-166
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BittnerTS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BittnerTS19
Paul Maximilian Bittner, Thomas Thüm, Ina Schaefer:
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. SEFM 2019: 127-144
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ThumKKBS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ThumKKBS19
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer:
Feature-oriented contract composition. SPLC (A) 2019: 5:1
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/PettTRKLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/PettTRKLS19
Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer:
Product sampling for product lines: the scalability challenge. SPLC (A) 2019: 14:1-14:6
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ThumTSWMVBSK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ThumTSWMVBSK19
Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer:
Towards efficient analysis of variation in time and space. SPLC (B) 2019: 69:1-69:8
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ThumSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ThumSS19
Thomas Thüm, Christoph Seidl, Ina Schaefer:
On language levels for feature modeling notations. SPLC (B) 2019: 83:1-83:4
2018
[c61]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/confws/ThumKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/confws/ThumKS18
Thomas Thüm, Sebastian Krieter, Ina Schaefer:
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators. ConfWS 2018: 1-8
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/RulandLBLTLR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/RulandLBLTLR18
Sebastian Ruland, Lars Luthmann, Johannes Bürdek, Sascha Lity, Thomas Thüm, Malte Lochau, Márcio Ribeiro:
Measuring effectiveness of sample-based product-line testing. GPCE 2018: 119-133
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/NiekeMSTYF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/NiekeMSTYF18
Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, Felix Franzke:
Anomaly analyses for feature-model evolution. GPCE 2018: 188-201
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KrieterTSSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KrieterTSSS18
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake:
Propagating configuration decisions with modal implication graphs. ICSE 2018: 898-909
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/KnuppelTPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KnuppelTPS18
Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer:
Scalability of Deductive Verification Depends on Method Call Treatment. ISoLA (4) 2018: 159-175
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/KnuppelTPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/KnuppelTPS18
Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer:
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. ITP 2018: 342-361
[c55]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/modellierung/ThumLK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modellierung/ThumLK18
Thomas Thüm, Thomas Leich, Sebastian Krieter:
Feature Modeling and Development with FeatureIDE. Modellierung 2018: 297-298
[c54]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/KnuppelTMMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KnuppelTMMS18
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer:
Is There a Mismatch between Real-World Feature Models and Product-Line Research? Software Engineering 2018: 53-54
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/VarshosazATRMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/VarshosazATRMS18
Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer:
A classification of product sampling for software product lines. SPLC 2018: 1-13
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/NiekeST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/NiekeST18
Michael Nieke, Christoph Seidl, Thomas Thüm:
Back to the future: avoiding paradoxes in feature-model evolution. SPLC (2) 2018: 48-51
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/KrugerFTASL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/KrugerFTASL18
Jacob Krüger, Wolfram Fenske, Thomas Thüm, Dirk Aporius, Gunter Saake, Thomas Leich:
Apo-games: a case study for reverse engineering variability from cloned Java variants. SPLC 2018: 251-256
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ThumKL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ThumKL18
Thomas Thüm, Sebastian Krieter, Thomas Leich:
Clean your variable code with featureIDE. SPLC 2018: 299
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/CarvalhoGRFAGT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/CarvalhoGRFAGT18
Luiz Carvalho, Marcio Augusto Guimarães, Márcio Ribeiro, Leonardo Fernandes, Mustafa Al-Hajjaji, Rohit Gheyi, Thomas Thüm:
Equivalent Mutants in Configurable Systems: An Empirical Study. VaMoS 2018: 11-18
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/LityNTSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/LityNTSS18
Sascha Lity, Sophia Nahrendorf, Thomas Thüm, Christoph Seidl, Ina Schaefer:
175% Modeling for Product-Line Evolution of Domain Artifacts. VaMoS 2018: 27-34
[c47]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10818
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10818
Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer:
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY. F-IDE@FLoC 2018: 53-70
2017
[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
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Al-HajjajiLLTSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Al-HajjajiLLTSS17
Mustafa Al-Hajjaji, Sascha Lity, Remo Lachmann, Thomas Thüm, Ina Schaefer, Gunter Saake:
Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing. VACE@ICSE 2017: 34-40
[c44]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- 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
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KnuppelTMMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KnuppelTMMS17
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer:
Is there a mismatch between real-world feature models and product-line research? ESEC/SIGSOFT FSE 2017: 291-302
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/KrieterPKSSTLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/KrieterPKSSTLS17
Sebastian Krieter, Marcus Pinnecke, Jacob Krüger, Joshua Sprey, Christopher Sontag, Thomas Thüm, Thomas Leich, Gunter Saake:
FeatureIDE: Empowering Third-Party Developers. SPLC (B) 2017: 42-45
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/LityATS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/LityATS17
Sascha Lity, Mustafa Al-Hajjaji, Thomas Thüm, Ina Schaefer:
Optimizing product orders using graph algorithms for improving incremental product-line analysis. VaMoS 2017: 60-67
2016
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/KowalAT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/KowalAT16
Matthias Kowal, Sofia Ananieva, Thomas Thüm:
Explaining anomalies in feature models. GPCE 2016: 132-143
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/Al-HajjajiKTLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/Al-HajjajiKTLS16
Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thüm, Malte Lochau, Gunter Saake:
IncLing: efficient product-line testing using incremental pairwise sampling. GPCE 2016: 144-155
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/Al-HajjajiMKSTL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/Al-HajjajiMKSTL16
Mustafa Al-Hajjaji, Jens Meinicke, Sebastian Krieter, Reimar Schröter, Thomas Thüm, Thomas Leich, Gunter Saake:
Tool demo: testing configurable systems with FeatureIDE. GPCE 2016: 173-177
[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
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/icsr/LityMTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/LityMTS16
Sascha Lity, Thomas Morbach, Thomas Thüm, Ina Schaefer:
Applying Incremental Model Slicing to Product-Line Regression Testing. ICSR 2016: 3-19
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HolthusenNTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HolthusenNTS16
Sönke Holthusen, Michael Nieke, Thomas Thüm, Ina Schaefer:
Proof-Carrying Apps: Contract-Based Deployment-Time Verification. ISoLA (1) 2016: 839-855
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/MeinickeWKTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/MeinickeWKTS16
Jens Meinicke, Chu-Pan Wong, Christian Kästner, Thomas Thüm, Gunter Saake:
On essential configuration complexity: measuring interactions in highly-configurable systems. ASE 2016: 483-494
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/AnanievaKTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/AnanievaKTS16
Sofia Ananieva, Matthias Kowal, Thomas Thüm, Ina Schaefer:
Implicit constraints in partial feature models. FOSD 2016: 18-27
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/KrieterSTFS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/KrieterSTFS16
Sebastian Krieter, Reimar Schröter, Thomas Thüm, Wolfram Fenske, Gunter Saake:
Comparing algorithms for efficient feature-model slicing. SPLC 2016: 60-64
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ThumRSSD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ThumRSSD16
Thomas Thüm, Márcio Ribeiro, Reimar Schröter, Janet Siegmund, Francisco Dalton:
Product-line maintenance with emergent contract interfaces. SPLC 2016: 134-143
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ThumLK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ThumLK16
Thomas Thüm, Thomas Leich, Sebastian Krieter:
Clean your variable code with featureIDE. SPLC 2016: 308
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/PfofeTSFS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/PfofeTSFS16
Tristan Pfofe, Thomas Thüm, Sandro Schulze, Wolfram Fenske, Ina Schaefer:
Synchronizing software variants with variantsync. SPLC 2016: 329-332
[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
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/ThumWS0K16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/ThumWS0K16
Thomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel, Stefan Krüger:
Variability Hiding in Contracts for Dependent Software Product Lines. VaMoS 2016: 97-104
2015
[c25]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/se/ThumAKSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/ThumAKSS15
Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake:
Analysis Strategies for Software Product Lines: A Classification and Survey. Software Engineering & Management 2015: 57-58
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sle/OchoaRT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sle/OchoaRT15
Lina Ochoa, Oscar González Rojas, Thomas Thüm:
Using decision rules for solving conflicts in extended feature models. SLE 2015: 149-160
[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
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/RebeloLBRLZCT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/RebeloLBRLZCT14
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm:
Modularizing crosscutting contracts with AspectJML. MODULARITY (Companion) 2014: 21-24
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/RebeloLBRLZCT14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/RebeloLBRLZCT14a
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm:
AspectJML: modular specification and runtime checking for crosscutting contracts. MODULARITY 2014: 157-168
[c20]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/Thum14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Thum14
Thomas Thüm:
Modular Reasoning for Crosscutting Concerns with Contracts. Software Engineering 2014: 65-66
[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
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/SchroterSTS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SchroterSTS14
Reimar Schröter, Norbert Siegmund, Thomas Thüm, Gunter Saake:
Feature-context interfaces: tailored programming interfaces for software product lines. SPLC 2014: 102-111
[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
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/Al-HajjajiTMLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/Al-HajjajiTMLS14
Mustafa Al-Hajjaji, Thomas Thüm, Jens Meinicke, Malte Lochau, Gunter Saake:
Similarity-based prioritization in software product-line testing. SPLC 2014: 197-206
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/FenskeTS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/FenskeTS14
Wolfram Fenske, Thomas Thüm, Gunter Saake:
A taxonomy of software product line reengineering. VaMoS 2014: 4:1-4:8
2013
[c14]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/gi/SiegmundTSJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/SiegmundTSJ13
Janet Siegmund, Thomas Thüm, Sandro Schulze, Elmar Jürgens:
Agile Methoden im Softwareprojekt. GI-Jahrestagung 2013: 234
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Thum13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Thum13
Thomas Thüm:
Product-line verification with feature-oriented contracts. ISSTA 2013: 374-377
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/SchroterST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SchroterST13
Reimar Schröter, Norbert Siegmund, Thomas Thüm:
Towards modular analysis of multi product lines. SPLC Workshops 2013: 96-99
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/SchroterTSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/SchroterTSS13
Reimar Schröter, Thomas Thüm, Norbert Siegmund, Gunter Saake:
Automated analysis of dependent feature models. VaMoS 2013: 9:1-9:5
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/RheinAKTS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/RheinAKTS13
Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm, Ina Schaefer:
The PLA model: on the combination of product-line analyses. VaMoS 2013: 14:1-14:8
2012
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ThumSKAS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ThumSKAS12
Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake:
Applying Design by Contract to Feature-Oriented Programming. FASE 2012: 255-269
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/ThumSHA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/ThumSHA12
Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel:
Family-based deductive verification of software product lines. GPCE 2012: 11-20
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/SchulzeTKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/SchulzeTKS12
Sandro Schulze, Thomas Thüm, Martin Kuhlemann, Gunter Saake:
Variant-preserving refactoring in feature-oriented software product lines. VaMoS 2012: 73-81
2011
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ThumSKA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ThumSKA11
Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel:
Proof Composition for Deductive Verification of Software Product Lines. ICST Workshops 2011: 270-277
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ScholzTAL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ScholzTAL11
Wolfgang Scholz, Thomas Thüm, Sven Apel, Christian Lengauer:
Automatic detection of feature interactions using the Java modeling language: an experience report. SPLC Workshops 2011: 7
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ThumKES11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ThumKES11
Thomas Thüm, Christian Kästner, Sebastian Erdweg, Norbert Siegmund:
Abstract Features in Feature Modeling. SPLC 2011: 191-200
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/RosenmullerSTS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/RosenmullerSTS11
Marko Rosenmüller, Norbert Siegmund, Thomas Thüm, Gunter Saake:
Multi-dimensional variability modeling. VaMoS 2011: 11-20
2009
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ThumBK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ThumBK09
Thomas Thüm, Don S. Batory, Christian Kästner:
Reasoning about edits to feature models. ICSE 2009: 254-264
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KastnerTSFLWA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KastnerTSFLWA09
Christian Kästner, Thomas Thüm, Gunter Saake, Janet Feigenspan, Thomas Leich, Fabian Wielgorz, Sven Apel:
FeatureIDE: A tool framework for feature-oriented software development. ICSE 2009: 611-614

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2020
[p4]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/KnuppelKTBKBS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/KnuppelKTBKBS20
Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer:
Using Abstract Contracts for Verifying Evolving Features and Their Interactions. 20 Years of KeY 2020: 122-148
2019
[p3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/19/JungMJPLTSTU19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/19/JungMJPLTSTU19
Reiner Jung, Lukas Märtin, Jan Ole Johanssen, Barbara Paech, Malte Lochau, Thomas Thüm, Kurt Schneider, Matthias Tichy, Mattias Ulbrich:
Addressed Challenges. Managed Software Evolution 2019: 21-36
[p2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - books/sp/19/ThumHABGHJKLSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/19/ThumHABGHJKLSW19
Thomas Thüm, André 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. Managed Software Evolution 2019: 175-206
2015
[p1]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/gi/Thum15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/Thum15
Thomas Thüm:
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen. Ausgezeichnete Informatikdissertationen 2015: 299-308

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2024
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/2024a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2024a
Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents]
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/2024b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2024b
Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents]
2023
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/2023
Myra B. Cohen, Thomas Thüm, Jacopo Mauro:
Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023. ACM 2023 [contents]
2019
[e5]
- view
- export record
  dblp key:
  - conf/splc/2019a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2019a
Thorsten Berger, Philippe Collet, Laurence Duchien, Thomas Fogdal, Patrick Heymans, Timo Kehrer, Jabier Martinez, Raúl Mazo, Leticia Montalvillo, Camille Salinesi, Xhevahire Tërnava, Thomas Thüm, Tewfik Ziadi:
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019. ACM 2019, ISBN 978-1-4503-7138-4 [contents]
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/2019b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2019b
Carlos Cetina, Oscar Díaz, Laurence Duchien, Marianne Huchard, Rick Rabiser, Camille Salinesi, Christoph Seidl, Xhevahire Tërnava, Leopoldo Teixeira, Thomas Thüm, Tewfik Ziadi:
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume B, Paris, France, September 9-13, 2019. ACM 2019, ISBN 978-1-4503-6668-7 [contents]
2017
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/2017b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2017b
Maurice H. ter Beek, Walter Cazzola, Oscar Díaz, Marcello La Rosa, Roberto E. Lopez-Herrejon, Thomas Thüm, Javier Troya, Antonio Ruiz Cortés, David Benavides:
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, Sevilla, Spain, September 25-29, 2017. ACM 2017, ISBN 978-1-4503-5119-5 [contents]
2016
[e2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/RubinT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RubinT16
Julia Rubin, Thomas Thüm:
Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, April 3, 2016. EPTCS 206, 2016 [contents]
2012
[e1]
- view
- export record
  dblp key:
  - conf/gpce/2012fosd
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/2012fosd
Ina Schaefer, Thomas Thüm:
4th International Workshop on Feature-Oriented Software Development, FOSD '12, Dresden, Germany - September 24 - 25, 2012. ACM 2012, ISBN 978-1-4503-1309-4 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-19801
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-19801
Tobias Pett, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. CoRR abs/2406.19801 (2024)
2023
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-12383
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-12383
Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer:
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models. CoRR abs/2303.12383 (2023)
2022
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-05644
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-05644
Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer:
Traits for Correct-by-Construction Programming. CoRR abs/2204.05644 (2022)
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-15180
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-15180
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Sebastian Ruland, Malte Lochau, Gunter Saake, Thomas Leich:
T-Wise Presence Condition Coverage and Sampling for Configurable Systems. CoRR abs/2205.15180 (2022)
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-15261
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-15261
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer:
Flexible Correct-by-Construction Programming. CoRR abs/2211.15261 (2022)

Coauthor Index

see FAQ

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.