Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Thüm
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
2020 – today
- 2023
[j13]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)- [j12]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) - [c113]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 - [c112]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 - [c111]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 - [c110]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 - [c109]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 - [e6]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] - [i4]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
- [j11]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) - [c108]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]Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer:
Traits: Correctness-by-Construction for Free. FORTE 2022: 131-150 - [c106]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]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]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]Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer:
Quantifying the variability mismatch between problem and solution space. MoDELS 2022: 322-333 - [c102]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]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]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]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]Tobias Heß, Tobias Müller, Chico Sundermann, Thomas Thüm:
ddueruem: a wrapper for feature-model analysis tools. SPLC (B) 2022: 54-57 - [c97]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]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 - [i3]Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer:
Traits for Correct-by-Construction Programming. CoRR abs/2204.05644 (2022) - [i2]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]Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer:
Flexible Correct-by-Construction Programming. CoRR abs/2211.15261 (2022) - 2021
- [j10]Laurence Duchien, Paul Grünbacher, Thomas Thüm:
Foreword to the Special Issue on Configurable Systems. Empir. Softw. Eng. 26(4): 72 (2021) - [c95]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]Alexander Knüppel, Thomas Thüm, Ina Schaefer:
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. FormaliSE@ICSE 2021: 124-129 - [c93]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]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]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]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]Tobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer:
AutoSMP: an evaluation platform for sampling algorithms. SPLC (B) 2021: 41-44 - [c88]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]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]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]Thomas Thüm, Philippe Collet, Mathieu Acher:
Fourth International Workshop on Languages for Modelling Variability ([email protected] 2021). SPLC (A) 2021: 205 - [c84]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]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]Marc Hentze, Tobias Pett, Thomas Thüm, Ina Schaefer:
Hyper Explanations for Feature-Model Defect Analysis. VaMoS 2021: 14:1-14:9 - [c81]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]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]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]Thomas Thüm:
A BDD for Linux?: the knowledge compilation challenge for variability. SPLC (A) 2020: 16:1-16:6 - [c77]Jeffrey M. Young, Eric Walkingshaw, Thomas Thüm:
Variational satisfiability solving. SPLC (A) 2020: 18:1-18:12 - [c76]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]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]Chico Sundermann, Thomas Thüm, Ina Schaefer:
Evaluating #SAT solvers on industrial feature models. VaMoS 2020: 3:1-3:9 - [c73]Sebastian Krieter, Thomas Thüm, Sandro Schulze, Gunter Saake, Thomas Leich:
YASA: yet another sampling algorithm. VaMoS 2020: 4:1-4:10 - [c72]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]Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer:
Variational correctness-by-construction. VaMoS 2020: 7:1-7:9 - [p4]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
2010 – 2019
- 2019
- [j9]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]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]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) - [c70]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]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]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]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]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]Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer:
Feature-oriented contract composition. SPLC (A) 2019: 5:1 - [c64]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]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]Thomas Thüm, Christoph Seidl, Ina Schaefer:
On language levels for feature modeling notations. SPLC (B) 2019: 83:1-83:4 - [p3]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]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 - [e5]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]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] - 2018
- [c61]Thomas Thüm, Sebastian Krieter, Ina Schaefer:
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators. ConfWS 2018: 1-8 - [c60]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]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]Sebastian Krieter, Thomas Thüm, Sandro Schulze, Reimar Schröter, Gunter Saake:
Propagating configuration decisions with modal implication graphs. ICSE 2018: 898-909 - [c57]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]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]Thomas Thüm, Thomas Leich, Sebastian Krieter:
Feature Modeling and Development with FeatureIDE. Modellierung 2018: 297-298 - [c54]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]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]Michael Nieke, Christoph Seidl, Thomas Thüm:
Back to the future: avoiding paradoxes in feature-model evolution. SPLC (2) 2018: 48-51 - [c51]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]Thomas Thüm, Sebastian Krieter, Thomas Leich:
Clean your variable code with featureIDE. SPLC 2018: 299 - [c49]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]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]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
- [b2]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]Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake:
Modularization of Refinement Steps for Agile Formal Methods. ICFEM 2017: 19-35 - [c45]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]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]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]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]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 - [e3]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
- [j6]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]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) - [c40]Matthias Kowal, Sofia Ananieva, Thomas Thüm:
Explaining anomalies in feature models. GPCE 2016: 132-143 - [c39]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]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]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]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]Sascha Lity, Thomas Morbach, Thomas Thüm, Ina Schaefer:
Applying Incremental Model Slicing to Product-Line Regression Testing. ICSR 2016: 3-19 - [c34]Sönke Holthusen, Michael Nieke, Thomas Thüm, Ina Schaefer:
Proof-Carrying Apps: Contract-Based Deployment-Time Verification. ISoLA (1) 2016: 839-855 - [c33]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]Sofia Ananieva, Matthias Kowal, Thomas Thüm, Ina Schaefer:
Implicit constraints in partial feature models. FOSD 2016: 18-27 - [c31]Sebastian Krieter, Reimar Schröter, Thomas Thüm, Wolfram Fenske, Gunter Saake:
Comparing algorithms for efficient feature-model slicing. SPLC 2016: 60-64 - [c30]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]Thomas Thüm, Thomas Leich, Sebastian Krieter:
Clean your variable code with featureIDE. SPLC 2016: 308 - [c28]Tristan Pfofe, Thomas Thüm, Sandro Schulze, Wolfram Fenske, Ina Schaefer:
Synchronizing software variants with variantsync. SPLC 2016: 329-332 - [c27]Mustafa Al-Hajjaji, Fabian Benduhn, Thomas Thüm, Thomas Leich, Gunter Saake:
Mutation Operators for Preprocessor-Based Variability. VaMoS 2016: 81-88 - [c26]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 - [e2]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] - 2015
- [b1]Thomas Thüm:
Product-line specification and verification with feature-oriented contracts. Otto von Guericke University Magdeburg, 2015 - [c25]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]Lina Ochoa, Oscar González Rojas, Thomas Thüm:
Using decision rules for solving conflicts in extended feature models. SLE 2015: 149-160 - [c23]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 - [p1]Thomas Thüm:
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen. Ausgezeichnete Informatikdissertationen 2015: 299-308 - 2014
- [j4]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]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) - [c22]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]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]