Institute of Software Engineering and Programming Languages

SoftVarE Working Group

The working group for Software Variability and Evolution (SoftVarE) was established in January 2020. The group is headed by Prof. Thomas Thüm and located at the Institute of Software Engineering and Programming Languages at the University of Ulm.

     

Research Projects

FeatureIDE

Eclipse Plugin for Feature Oriented Software Development

VariantSync

Automating the Synchronization of Software Variants

Team

  • Dr. Jeffrey Young

Former Student Workers

  • B.Sc. Stefan Vill
  • M.Sc. Kevin Jedelhauser
  • M.Sc. Jonas Otto
  • Maren Schnur

2023

185.
Feichtinger, Kevin; Sundermann, Chico; Thüm, Thomas; Rabiser, Rick
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations - Summary
Proc. Software Engineering (SE), Page 51-52
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Feichtinger.pdf
184.
Schultheiß, Alexander; Bittner, Paul Maximilian; Thüm, Thomas; Kehrer, Timo
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary
Proc. Software Engineering (SE), Page 109-110
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Schultheiss.pdf
183.
Kuiter, Elias; Krieter, Sebastian; Sundermann, Chico; Thüm, Thomas; Saake, Gunter
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses - Summary
Proc. Software Engineering (SE), Page 83-84
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Kuiter-Tseitin.pdf
182.
Young, Jeffrey M.; Bittner, Paul Maximilian; Walkingshaw, Eric; Thüm, Thomas
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary
Proc. Software Engineering (SE), Page 129-130
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Young.pdf
181.
Kuiter, Elias; Krieter, Sebastian; Krüger, Jacob; Saake, Gunter; Leich, Thomas
variED: An Editor for Collaborative, Real-Time Feature Modeling - Summary
Proc. Software Engineering (SE), Page 85-86
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Kuiter-variED.pdf
180.
Bittner, Paul Maximilian; Tinnes, Christof; Schultheiß, Alexander; Viegener, Sören; Kehrer, Timo; Thüm, Thomas
Classifying Edits to Variability in Source Code - Summary
Proc. Software Engineering (SE), Page 39-40
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2023
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SE-Bittner.pdf
179.
Schultheiß, Alexander; Bittner, Paul Maximilian; Greiner, Sandra; Kehrer, Timo
Benchmark Generation with VEVOS: A Coverage Analysis of Evolution Scenarios in Variant-Rich Systems
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 13-22
Publisher: ACM, New York, NY, USA
January 2023
DOI:10.1145/3571788.3571793
ISBN:9798400700019
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-VaMoS-Schultheiss.pdf
178.
Sundermann, Chico; Heß, Tobias; Nieke, Michael; Bittner, Paul Maximilian; Young, Jeffrey M.; Thüm, Thomas; Schaefer, Ina
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE)
January 2023
Publisher: Springer
DOI:10.1007/s10664-022-10265-9
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-EMSE-Sundermann.pdf
177.

VaMoS '23: Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems
In Myra Cohen and Thomas Thüm and Jacopo Mauro, Editor
Publisher: ACM, New York, NY, USA
January 2023
ISBN:9798400700019

2022

176.
Hentze, Marc; Pett, Tobias; Sundermann, Chico; Krieter, Sebastian; Thüm, Thomas; Schaefer, Ina
Generic Solution-Space Sampling for Multi-Domain Product Lines
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE)
Publisher: ACM, New York, NY, USA
December 2022
DOI:10.1145/3564719.3568695
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-GPCE-Hentze.pdf
175.
Runge, Tobias; Bordis, Tabea; Potanin, Alex; Thüm, Thomas; Schaefer, Ina
Flexible Correct-by-Construction Programming
Technical Report arXiv:2205.15180
November 2022
DOI:10.48550/arXiv.2205.15180
File:https://arxiv.org/abs/2205.15180
174.
Young, Jeffrey M.; Bittner, Paul Maximilian; Walkingshaw, Eric; Thüm, Thomas
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems
Empirical Software Engineering (EMSE)
November 2022
Publisher: Springer
DOI:10.1007/s10664-022-10217-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-EMSE-Young.pdf
173.
Schultheiß, Alexander; Bittner, Paul Maximilian; Boll, Alexander; Grunske, Lars; Thüm, Thomas; Kehrer, Timo
RaQuN: A Generic and Scalable N-Way Model Matching Algorithm
Software and System Modeling (SoSyM)
November 2022
Publisher: Springer
DOI:10.1007/s10270-022-01062-5
File:pdfhttps://seg.inf.unibe.ch/papers/SBB%2B_SoSyM22.pdf
172.
Bittner, Paul Maximilian; Tinnes, Christof; Schultheiß, Alexander; Viegener, Sören; Kehrer, Timo; Thüm, Thomas
Classifying Edits to Variability in Source Code
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Page 196-208
Publisher: ACM, New York, NY, USA
November 2022
DOI:10.1145/3540250.3549108
ISBN:9781450394130
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ESECFSE-Bittner.pdf
171.
Kuiter, Elias; Krieter, Sebastian; Sundermann, Chico; Thüm, Thomas; Saake, Gunter
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Proc. Int'l Conf. on Automated Software Engineering (ASE), Page 110:1-110:13
Publisher: ACM, New York, NY, USA
October 2022
DOI:10.1145/3551349.3556938
ISBN:9781450394758
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ASE-Kuiter.pdf
170.
Schultheiß, Alexander; Bittner, Paul Maximilian; Thüm, Thomas; Kehrer, Timo
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own
Proc. Int'l Conf. on Software Maintenance and Evolution (ICSME), Page 269-280
Publisher: IEEE, Piscataway, NJ, USA
October 2022
DOI:10.1109/ICSME55016.2022.00032
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ICSME-Schultheiss.pdf
169.
Hentze, Marc; Sundermann, Chico; Thüm, Thomas; Schaefer, Ina
Quantifying the Variability Mismatch Between Problem and Solution Space
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), Page 322-333
Publisher: IEEE, Washington, DC, USA
October 2022
DOI:10.1145/3550355.3552411
ISBN:9781450394666
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-MODELS-Hentze.pdf
168.
Sundermann, Chico; Feichtinger, Kevin; Galindo, Jose A.; Benavides, David; Rabiser, Rick; Krieter, Sebastian; Thüm, Thomas
Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 260:1
Publisher: ACM, New York, NY, USA
September 2022
DOI:10.1145/3546932.3547024
ISBN:9781450394437
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Sundermann.pdf
167.
Feichtinger, Kevin; Sundermann, Chico; Thüm, Thomas; Rabiser, Rick
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 67-78
Publisher: ACM, New York, NY, USA
September 2022
DOI:10.1145/3546932.3546990
ISBN:9781450394437
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Feichtinger.pdf
166.
Heß, Tobias; Müller, Tobias; Sundermann, Chico; Thüm, Thomas
ddueruem: A Wrapper for Feature-Model Analysis Tools
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 54-57
Publisher: ACM, New York, NY, USA
September 2022
DOI:10.1145/3503229.3547032
ISBN:9781450392068
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Hess.pdf
165.
Linsbauer, Lukas; Westphal, Paul; Bittner, Paul Maximilian; Krieter, Sebastian; Thüm, Thomas; Schaefer, Ina
Derivation of Subset Product Lines in FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 38-41
Publisher: ACM, New York, NY, USA
September 2022
DOI:10.1145/3503229.3547033
ISBN:9781450392068
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Linsbauer.pdf
164.
Schultheiß, Alexander; Bittner, Paul Maximilian; El-Sharkawy, Sascha; Thüm, Thomas; Kehrer, Timo
Simulating the Evolution of Clone-and-Own Projects with VEVOS
Proc. Int'l Conf. on Evaluation Assessment in Software Engineering (EASE), Page 231-236
Publisher: ACM, New York, NY, USA
June 2022
DOI:10.1145/3530019.3534084
ISBN:9781450396134
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-EASE-Schultheiss.pdf
163.
Runge, Tobias; Potanin, Alex; Thüm, Thomas; Schaefer, Ina
Traits: Correctness-by-Construction for Free
Proc. Int'l Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Page 131-150
Publisher: Springer, Cham, Switzerland
June 2022
DOI:10.1007/978-3-031-08679-3_9
ISBN:978-3-031-08679-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-FORTE-Runge.pdf
162.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Ruland, Sebastian; Lochau, Malte; Saake, Gunter; Leich, Thomas
T-Wise Presence Condition Coverage and Sampling for Configurable Systems
Technical Report arXiv:2205.15180
May 2022
DOI:10.48550/arXiv.2205.15180
File:https://arxiv.org/pdf/2205.15180
161.
Runge, Tobias; Potanin, Alex; Thüm, Thomas; Schaefer, Ina
Traits for Correct-by-Construction Programming
Technical Report arXiv:2204.05644
April 2022
File:https://arxiv.org/abs/2204.05644
160.
Bittner, Paul Maximilian; Schultheiß, Alexander; Thüm, Thomas; Kehrer, Timo; Young, Jeffrey M.; Linsbauer, Lukas
Feature Trace Recording - Summary
Proc. Software Engineering (SE), Page 19-20
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2022
DOI:10.18420/se2022-ws-002
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SE-Bittner.pdf
159.
Schultheiß, Alexander; Bittner, Paul Maximilian; Thüm, Thomas; Kehrer, Timo
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary
Proc. Software Engineering (SE), Page 83-84
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2022
DOI:10.18420/se2022-ws-028
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SE-Schultheiss.pdf
158.
Nieke, Michael; Sampaio, Gabriela; Thüm, Thomas; Seidl, Christoph; Teixeira, Leopoldo; Schaefer, Ina
Guiding the Evolution of Product-Line Configurations
Software and System Modeling (SoSyM) :225-247
February 2022
DOI:https://link.springer.com/article/10.1007/s10270-021-00906-w
File:pdfhttps://link.springer.com/content/pdf/10.1007/s10270-021-00906-w.pdf

2021

157.
Runge, Tobias; Bordis, Tabea; Thüm, Thomas; Schaefer, Ina
Teaching Correctness-by-Construction and Post-Hoc Verification - The Online Experience
Proc. Int'l Workshop and Tutorial on Formal Methods Teaching (FMTea), Page 101-116
Publisher: Springer, Berlin, Heidelberg, Germany
November 2021
DOI:10.1007/978-3-030-91550-6_8
ISBN:978-3-030-91549-0
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-FMTea-Runge.pdf
156.
Schultheiß, Alexander; Bittner, Paul Maximilian; Grunske, Lars; Thüm, Thomas; Kehrer, Timo
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), Page 1-12
Publisher: IEEE, Washington, DC, USA
October 2021
DOI:10.1109/MODELS50736.2021.00010
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-MODELS-Schultheiss.pdf
155.
Pett, Tobias; Krieter, Sebastian; Thüm, Thomas; Lochau, Malte; Schaefer, Ina
AutoSMP: An Evaluation Platform for Sampling Algorithms
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 41-44
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461002.3473073
ISBN:9781450384704
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Pett.pdf
154.
Sundermann, Chico; Feichtinger, Kevin; Engelhardt, Dominik; Rabiser, Rick; Thüm, Thomas
Yet Another Textual Variability Language? A Community Effort Towards a Unified Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 136-147
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3471145
ISBN:9781450384698
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Sundermann.pdf
153.

Fourth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2021)
In Thomas Thüm and Philippe Collet and Mathieu Acher, Editor
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3473056
ISBN:9781450384698
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Thuem.pdf
152.
Krieter, Sebastian; Arens, Rahel; Nieke, Michael; Sundermann, Chico; Heß, Tobias; Thüm, Thomas; Seidl, Christoph
Incremental Construction of Modal Implication Graphs for Evolving Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 64-74
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3471148
ISBN:9781450384698
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Krieter.pdf
151.
Sundermann, Chico; Heß, Tobias; Engelhardt, Dominik; Arens, Rahel; Herschel, Johannes; Jedelhauser, Kevin; Jutz, Benedikt; Krieter, Sebastian; Schaefer, Ina
Integration of UVL in FeatureIDE
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Page 73-79
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461002.3473940
ISBN:9781450384704
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-MODEVAR-Sundermann.pdf
150.
Thüm, Thomas
Keynote: Where Are My Constraints and What Do They Constrain?
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page XVIII
Publisher: ACM, New York, NY, USA
September 2021
ISBN:9781450384698
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Thuem.pdf
149.
Heß, Tobias; Sundermann, Chico; Thüm, Thomas
On the Scalability of Building Binary Decision Diagrams for Current Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 131-135
Publisher: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3474452
ISBN:9781450384698
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Hess.pdf
148.
Bittner, Paul Maximilian; Schultheiß, Alexander; Thüm, Thomas; Kehrer, Timo; Young, Jeffrey M.; Linsbauer, Lukas
Feature Trace Recording
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Page 1007-1020
Publisher: ACM, New York, NY, USA
August 2021
DOI:10.1145/3468264.3468531
ISBN:9781450385626
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-ESECFSE-Bittner.pdf
147.

Special Issue on Configurable Systems in Empirical Software Engineering (EMSE)
In Laurence Duchien and Paul Grünbacher and Thomas Thüm, Editor
May 2021
DOI:10.1007/s10664-021-09964-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-EMSE-Duchien.pdf
146.
Kehrer, Timo; Thüm, Thomas; Schultheiß, Alexander; Bittner, Paul Maximilian
Bridging the Gap Between Clone-and-Own and Software Product Lines
Proc. Int'l Conf. on Software Engineering (ICSE), Page 21-25
Publisher: IEEE, Piscataway, NJ, USA
May 2021
DOI:10.1109/ICSE-NIER52604.2021.00013
ISBN:978-1-6654-0140-1
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-ICSE-Kehrer.pdf
145.
Knüppel, Alexander; Thüm, Thomas; Schaefer, Ina
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
Proc. Int'l Conf. on Formal Methods in Software Engineering (FormaliSE), Page 124-129
Publisher: IEEE, Piscataway, NJ, USA
May 2021
DOI:10.1109/FormaliSE52586.2021.00018
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-FormaliSE-Knueppel.pdf
144.
Kuiter, Elias; Krieter, Sebastian; Krüger, Jacob; Saake, Gunter; Leich, Thomas
variED: An Editor for Collaborative, Real-Time Feature Modeling
Empirical Software Engineering (EMSE) :24
March 2021
Publisher: Springer
DOI:10.1007/s10664-020-09892-x
143.
Knüppel, Alexander; Jatzkowski, Inga; Nolte, Marcus; Thüm, Thomas; Runge, Tobias; Schaefer, Ina
Skill-Based Verification of Cyber-Physical Systems (Extended Abstract)
Proc. Software Engineering (SE), Page 67-68
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2021
DOI:10.18420/SE2021_22
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SE-Knueppel.pdf
142.
Hentze, Marc; Pett, Tobias; Thüm, Thomas; Schaefer, Ina
Hyper Explanations for Feature-Model Defect Analysis
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2021
DOI:10.1145/3442391.3442406
ISBN:9781450388245
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Hentze.pdf
141.
Pett, Tobias; Krieter, Sebastian; Runge, Tobias; Thüm, Thomas; Lochau, Malte; Schaefer, Ina
Stability of Product-Line Sampling in Continuous Integration
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2021
DOI:10.1145/3442391.3442410
ISBN:9781450388245
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Pett.pdf
140.
Runge, Tobias; Schaefer, Ina; Cleophas, Loek; Thüm, Thomas; Kourie, Derrick; Watson, Bruce W.
Tool Support for Correctness-by-Construction (Extended Abstract)
Proc. Software Engineering (SE), Page 93-94
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2021
DOI:10.18420/SE2021_34
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SE-Runge.pdf
139.
Sundermann, Chico; Nieke, Michael; Bittner, Paul Maximilian; Heß, Tobias; Thüm, Thomas; Schaefer, Ina
Applications of #SAT Solvers on Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2021
DOI:10.1145/3442391.3442404
ISBN:9781450388245
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Sundermann.pdf

2020

138.
Knüppel, Alexander; Krüger, Stefan; Thüm, Thomas; Bubel, Richard; Krieter, Sebastian; Bodden, Eric; Schaefer, Ina
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
Page 122-148
Publisher: Springer, Cham, Switzerland
December 2020
122-148
DOI:10.1007/978-3-030-64354-6_5
ISBN:978-3-030-64354-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-Knueppel.pdf
137.
Mühlhausen, Moritz; Kappel, Moritz; Kassubeck, Marc; Bittner, Paul Maximilian; Castillo, Susana; Magnor, Marcus
Temporal Consistent Motion Parallax for Omnidirectional Stereo Panorama Video
Proc. ACM Symposium on Virtual Reality Software and Technology (VRST)
Publisher: ACM, New York, NY, USA
November 2020
DOI:10.1145/3385956.3418965
File:https://graphics.tu-bs.de/publications/muhlhausen2020temporal
136.
Ananieva, Sofia; Greiner, Sandra; Kühn, Thomas; Krüger, Jacob; Linsbauer, Lukas; Grüner, Sten; Kehrer, Timo; Klare, Heiko; Koziolek, Anne; Lönn, Henrik; Krieter, Sebastian; Seidl, Christoph; Ramesh, S.; Reussner, Ralf; Westfechtel, Bernhard
A Conceptual Model for Unifying Variability in Space and Time
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 1-12
Publisher: ACM, New York, NY, USA
October 2020
DOI:10.1145/3382025.3414955
ISBN:9781450375696
135.
Thüm, Thomas
A BDD for Linux? The Knowledge Compilation Challenge for Variability
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Publisher: ACM, New York, NY, USA
October 2020
DOI:10.1145/3382025.3414943
ISBN:9781450375696
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-SPLC-Thuem.pdf
134.
Nieke, Michael; Sampaio, Gabriela; Thüm, Thomas; Seidl, Christoph; Teixeira, Leopoldo; Schaefer, Ina
GuyDance: Guiding Configuration Updates for Product-Line Evolution
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Page 56-64
Publisher: ACM, New York, NY, USA
October 2020
DOI:10.1145/3382026.3425769
ISBN:9781450375702
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VariVolution-Nieke.pdf
133.
Krieter, Sebastian
Large-Scale T-Wise Interaction Sampling Using YASA
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 29:1-29:4
Publisher: ACM
October 2020
132.
Runge, Tobias; Knüppel, Alexander; Thüm, Thomas; Schaefer, Ina
Lattice-Based Information Flow Control-by-Construction for Security-by-Design
Proc. Int'l Conf. on Formal Methods in Software Engineering (FormaliSE), Page 44-54
Publisher: ACM, New York, NY, USA
October 2020
DOI:10.1145/3372020.3391565
ISBN:9781450370714
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-FormaliSE-Runge.pdf
131.
Schultheiß, Alexander; Bittner, Paul Maximilian; Kehrer, Timo; Thüm, Thomas
On the Use of Product-Line Variants as Experimental Subjects for Clone-and-Own Research: A Case Study
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Publisher: ACM, New York, NY, USA
October 2020
DOI:10.1145/3382025.3414972
ISBN:9781450375696
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-SPLC-Schultheiss.pdf
130.
Young, Jeffrey M.; Walkingshaw, Eric; Thüm, Thomas
Variational Satisfiability Solving
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Publisher: ACM, New York, NY, USA
October 2020
DOI:10.1145/3382025.3414965
ISBN:9781450375696
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-SPLC-Young.pdf
129.
Runge, Tobias; Thüm, Thomas; Cleophas, Loek; Schaefer, Ina; Watson, Bruce W.
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study
Proc. Int'l Workshop on Refinement (REFINE), Page 388-405
Publisher: Springer, Cham, Switzerland
August 2020
DOI:10.1007/978-3-030-54997-8_25
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-REFINE-Runge.pdf
128.
Bertel, Tobias; Mühlhausen, Moritz; Kappel, Moritz; Bittner, Paul Maximilian; Richardt, Christian; Magnor, Marcus
Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography
Proc. IEEE Virtual Reality Workshop (VR), Page 660-661
Publisher: IEEE, Piscataway, NJ, USA
May 2020
DOI:10.1109/VRW50115.2020.00181
ISBN:978-1-7281-6532-5
File:https://graphics.tu-bs.de/publications/bertel2020depth
127.
Knüppel, Alexander; Jatzkowski, Inga; Nolte, Marcus; Thüm, Thomas; Runge, Tobias; Schaefer, Ina
Skill-Based Verification of Cyber-Physical Systems
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Page 203-223
Publisher: Springer, Berlin, Heidelberg, Germany
April 2020
DOI:10.1007/978-3-030-45234-6_10
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-FASE-Knueppel.pdf
126.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Saake, Gunter; Leich, Thomas
YASA: Yet Another Sampling Algorithm
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2020
DOI:10.1145/3377024.3377042
ISBN:9781450375016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Krieter.pdf
125.
Sundermann, Chico; Thüm, Thomas; Schaefer, Ina
Evaluating #SAT Solvers on Industrial Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2020
DOI:10.1145/3377024.3377025
ISBN:9781450375016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sundermann.pdf
124.
Bordis, Tabea; Runge, Tobias; Knüppel, Alexander; Thüm, Thomas; Schaefer, Ina
Variational Correctness-by-Construction
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2020
DOI:10.1145/3377024.3377038
ISBN:9781450375016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Bordis.pdf
123.
Krüger, Jacob; Krieter, Sebastian; Saake, Gunter; Leich, Thomas
EXtracting product lines from vAriaNTs (EXPLANT)
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 13:1-13:2
Publisher: ACM
February 2020
DOI:10.1145/3377024.3377046
122.
Sprey, Joshua; Sundermann, Chico; Krieter, Sebastian; Nieke, Michael; Mauro, Jacopo; Thüm, Thomas; Schaefer, Ina
SMT-Based Variability Analyses in FeatureIDE
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2020
DOI:10.1145/3377024.3377036
ISBN:9781450375016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sprey.pdf

2019

121.
Thüm, Thomas; Seidl, Christoph; Schaefer, Ina
On Language Levels for Feature Modeling Notations
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Page 158-161
Publisher: ACM, New York, NY, USA
September 2019
DOI:10.1145/3307630.3342404
ISBN:9781450366687
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-MODEVAR-Thuem.pdf
120.

SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B
In Carlos Cetina and Oscar Diaz and Laurence Duchien and Marianne Huchard and Rick Rabiser and Camille Salinesi and Christoph Seidl and Xhevahire Ternava and Leopoldo Teixeira and Thomas Thüm and Tewfik Ziadi, Editor
Publisher: ACM, New York, NY, USA
September 2019
ISBN:978-1-4503-6668-7
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2019/2019-proceedings-Cetina.pdf
119.

SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A
In Thorsten Berger and Philippe Collet and Laurence Duchien and Thomas Fogdal and Patrick Heymans and Timo Kehrer and Jabier Martinez and Raul Mazo and Leticia Montalvillo and Camille Salinesi and Xhevahire Ternava and Thomas Thüm and Tewfik Ziadi, Editor
Publisher: ACM, New York, NY, USA
September 2019
ISBN:978-1-4503-7138-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2019/2019-proceedings-Berger.pdf
118.
Bittner, Paul Maximilian; Thüm, Thomas; Schaefer, Ina
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses
Proc. Int'l Conf. on Software Engineering and Formal Methods (SEFM), Page 127-144
Publisher: Springer, Berlin, Heidelberg, Germany
September 2019
DOI:10.1007/978-3-030-30446-1_7
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SEFM-Bittner.pdf
117.
Pett, Tobias; Thüm, Thomas; Runge, Tobias; Krieter, Sebastian; Lochau, Malte; Schaefer, Ina
Product Sampling for Product Lines: The Scalability Challenge
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 78-83
Publisher: ACM, New York, NY, USA
September 2019
DOI:10.1145/3336294.3336322
ISBN:9781450371384
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPLC-Pett.pdf
116.
Thüm, Thomas; Teixeira, Leopoldo; Schmid, Klaus; Walkingshaw, Eric; Mukelabai, Mukelabai; Varshosaz, Mahsa; Botterweck, Goetz; Schaefer, Ina; Kehrer, Timo
Towards Efficient Analysis of Variation in Time and Space
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Page 57-64
Publisher: ACM, New York, NY, USA
September 2019
DOI:10.1145/3307630.3342414
ISBN:9781450366687
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-VariVolution-Thuem.pdf
115.
Kuiter, Elias; Krieter, Sebastian; Krüger, Jacob; Leich, Thomas; Saake, Gunter
Foundations of Collaborative, Real-Time Feature Modeling
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 36:1-36:8
Publisher: ACM
September 2019
DOI:10.1145/3336294.3336308
114.
Thüm, Thomas; Knüppel, Alexander; Krüger, Stefan; Bolle, Stefanie; Schaefer, Ina
Feature-Oriented Contract Composition (Extended Abstract)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 25
Publisher: ACM, New York, NY, USA
September 2019
DOI:10.1145/3336294.3342374
ISBN:9781450371384
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPLC-Thuem.pdf
113.
Krieter, Sebastian
Enabling Efficient Automated Configuration Generation and Management
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 93:1-93:7
Publisher: ACM
September 2019
112.
Jung, Reiner; Märtin, Lukas; Johanssen, Jan Ole; Paech, Barbara; Lochau, Malte; Thüm, Thomas; Schneider, Kurt; Tichy, Matthias; Ulbrich, Mattias
Addressed Challenges
Page 21-36
Publisher: Springer, Cham, Switzerland
June 2019
21-36
DOI:10.1007/978-3-030-13499-0_3
ISBN:978-3-030-13499-0
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPP1593-Jung.pdf
111.
Thüm, Thomas; Hoorn, Andre; Apel, Sven; Bürdek, Johannes; Getir, Sinem; Heinrich, Robert; Jung, Reiner; Kowal, Matthias; Lochau, Malte; Schaefer, Ina; Walter, Jürgen
Performance Analysis Strategies for Software Variants and Versions
Page 175-206
Publisher: Springer, Cham, Switzerland
June 2019
175-206
DOI:10.1007/978-3-030-13499-0_8
ISBN:978-3-030-13499-0
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPP1593-Thuem.pdf
110.
Thüm, Thomas; Knüppel, Alexander; Krüger, Stefan; Bolle, Stefanie; Schaefer, Ina
Feature-Oriented Contract Composition
J. Systems and Software (JSS) :83-107
June 2019
Publisher: Elsevier Science Inc.
ISSN: 0164-1212
DOI:10.1016/j.jss.2019.01.044
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-JSS-Thuem.pdf
109.
Bittner, Paul Maximilian; Tauscher, Jan-Philipp; Grogorick, Steve; Magnor, Marcus
Evaluation of Optimised Centres of Rotation Skinning
April 2019
File:https://graphics.tu-bs.de/publications/bittner2019evaluation
108.
Runge, Tobias; Schaefer, Ina; Cleophas, Loek; Thüm, Thomas; Kourie, Derrick; Watson, Bruce W.
Tool Support for Correctness-by-Construction
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Page 25-42
Publisher: Springer, Cham, Switzerland
April 2019
DOI:10.1007/978-3-030-16722-6_2
ISBN:978-3-030-16722-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-FASE-Runge.pdf
107.
Grogorick, Steve; Überheide, Matthias; Tauscher, Jan-Philipp; Bittner, Paul Maximilian; Magnor, Marcus
Gaze and Motion-aware Real-Time Dome Projection System
Proc. IEEE Virtual Reality Workshop (VR), Page 1780-1783
Publisher: IEEE, Piscataway, NJ, USA
March 2019
DOI:10.1109/VR.2019.8797902
ISBN:978-1-7281-1377-7
File:https://graphics.tu-bs.de/publications/grogorick2019gaze
106.
Tauscher, Jan-Philipp; Schottky, Fabian Wolf; Grogorick, Steve; Bittner, Paul Maximilian; Mustafa, Maryam; Magnor, Marcus
Immersive EEG: Evaluating Electroencephalography in Virtual Reality
Proc. IEEE Virtual Reality Workshop (VR), Page 1794-1800
Publisher: IEEE, Piscataway, NJ, USA
March 2019
DOI:10.1109/VR.2019.8797858
File:https://graphics.tu-bs.de/publications/tauscher2019immersive
105.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Schröter, Reimar; Saake, Gunter
Propagating Configuration Decisions with Modal Implication Graphs (Extended Abstract)
Proc. Software Engineering (SE), Page 77-78
Publisher: Gesellschaft für Informatik
February 2019
DOI:10.18420/se2019-20
ISBN:978-3-88579-686-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SE-Krieter.pdf
104.
Al-Hajjaji, Mustafa; Thüm, Thomas; Lochau, Malte; Meinicke, Jens; Saake, Gunter
Effective Product-Line Testing Using Similarity-Based Product Prioritization
Software and System Modeling (SoSyM) :499-521
February 2019
Publisher: Springer
ISSN: 1619-1366
DOI:10.1007/s10270-016-0569-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SoSyM-Al-Hajjaji.pdf
103.
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY (Extended Abstract)
Proc. Software Engineering (SE), Page 165-166
Publisher: Gesellschaft für Informatik
February 2019
DOI:10.18420/se2019-51
ISBN:978-3-88579-686-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SE-Knueppel.pdf
102.
Krieter, Sebastian; Thiem, Tobias; Leich, Thomas
Using Dynamic Software Product Lines to Implement Adaptive SGX-Enabled Systems
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 9:1-9:9
Publisher: ACM
February 2019
DOI:10.1145/3302333.3302340
101.
Lity, Sascha; Nieke, Manuel; Thüm, Thomas; Schaefer, Ina
Retest Test Selection for Product-Line Regression Testing of Variants and Versions of Variants
J. Systems and Software (JSS) :46-63
January 2019
Publisher: Elsevier Science Inc.
ISSN: 0164-1212
DOI:10.1016/j.jss.2018.09.090
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-JSS-Lity.pdf

2018

100.
Pereira, Juliana Alves; Pawel, Matuszyk; Krieter, Sebastian; Spiliopoulou, Myra; Saake, Gunter
Personalized Recommender Systems for Product-Line Configuration Processes
Comput. Lang. Syst. Struct. :451-471
December 2018
DOI:10.1016/j.cl.2018.01.003
99.
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Proc. Workshop on Formal Integrated Development Environment (F-IDE), Page 53-70
November 2018
DOI:10.4204/EPTCS.284.5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-FIDE-Knueppel.pdf
98.
Nieke, Michael; Mauro, Jacopo; Seidl, Christoph; Thüm, Thomas; Yu, Ingrid Chieh; Franzke, Felix
Anomaly Analyses for Feature-Model Evolution
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 188-201
Publisher: ACM, New York, NY, USA
November 2018
DOI:10.1145/3278122.3278123
ISBN:978-1-4503-6045-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-GPCE-Nieke.pdf
97.
Ruland, Sebastian; Luthmann, Lars; Bürdek, Johannes; Lity, Sascha; Thüm, Thomas; Lochau, Malte; Ribeiro, Marcio
Measuring Effectiveness of Sample-Based Product-Line Testing
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 119-133
Publisher: ACM, New York, NY, USA
November 2018
DOI:10.1145/3278122.3278130
ISBN:978-1-4503-6045-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-GPCE-Ruland.pdf
96.
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
Scalability of Deductive Verification Depends on Method Call Treatment
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Page 159-175
Publisher: Springer, Cham, Switzerland
November 2018
DOI:10.1007/978-3-030-03427-6_15
ISBN:978-3-030-03426-9
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ISoLA-Knueppel.pdf
95.
Thüm, Thomas; Krieter, Sebastian; Schaefer, Ina
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators
Proc. Configuration Workshop (ConfWS), Page 1-8
Publisher: RWTH Aachen University, Aachen, Germany
September 2018
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-CONFWS-Thuem.pdf
94.
Kuiter, Elias; Krieter, Sebastian; Krüger, Jacob; Ludwig, Kai; Leich, Thomas; Saake, Gunter
PClocator: A Tool Suite to Automatically Identify Configurations for Code Locations
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 284-288
September 2018
93.
Kuiter, Elias; Krüger, Jacob; Krieter, Sebastian; Leich, Thomas; Saake, Gunter
Getting Rid of Clone-and-Own: Moving to a Software Product Line for Temperature Monitoring
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 179-–189
Publisher: ACM, New York, NY, USA
September 2018
DOI:10.1145/3233027.3233050
ISBN:9781450364645
File:https://doi.org/10.1145/3233027.3233050
92.
Varshosaz, Mahsa; Al-Hajjaji, Mustafa; Thüm, Thomas; Runge, Tobias; Mousavi, Mohammad Reza; Schaefer, Ina
A Classification of Product Sampling for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 1-13
Publisher: ACM, New York, NY, USA
September 2018
DOI:10.1145/3233027.3233035
ISBN:978-1-4503-6464-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SPLC-Varshosaz.pdf
91.
Thüm, Thomas; Krieter, Sebastian; Leich, Thomas
Clean Your Variable Code with FeatureIDE (Second Edition)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 299-299
Publisher: ACM, New York, NY, USA
September 2018
DOI:10.1145/3233027.3233053
ISBN:978-1-4503-6464-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SPLC-Thuem.pdf
90.
Nieke, Michael; Seidl, Christoph; Thüm, Thomas
Back to the Future: Avoiding Paradoxes in Feature-Model Evolution
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Page 48-51
Publisher: ACM, New York, NY, USA
September 2018
DOI:10.1145/3236405.3237201
ISBN:978-1-4503-5945-0
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-VariVolution-Nieke.pdf
89.
Krüger, Jacob; Fenske, Wolfram; Thüm, Thomas; Aporius, Dirk; Saake, Gunter; Leich, Thomas
Apo-Games: A Case Study for Reverse Engineering Variability from Cloned Java Variants
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 251-256
Publisher: ACM, New York, NY, USA
September 2018
DOI:10.1145/3233027.3236403
ISBN:978-1-4503-6464-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SPLC-Krueger.pdf
88.
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY
Proc. Inte'l Conf. on Interactive Theorem Proving (ITP), Page 342-361
Publisher: Springer, Berlin, Heidelberg, Germany
July 2018
DOI:10.1007/978-3-319-94821-8_20
ISBN:978-3-319-94820-1
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ITP-Knueppel.pdf
87.
Krieter, Sebastian; Krüger, Jacob; Weichbrodt, Nico; Sartakov, Vasily A.; Kapitza, Rüdiger; Leich, Thomas
Towards Secure Dynamic Product Lines in the Cloud
Proc. Int'l Conf. on Software Engineering (ICSE), Page 5-8
Publisher: ACM
May 2018
DOI:10.1145/3183399.3183425
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ICSE-Krieter.pdf
86.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Schröter, Reimar; Saake, Gunter
Propagating Configuration Decisions with Modal Implication Graphs
Proc. Int'l Conf. on Software Engineering (ICSE), Page 898-909
Publisher: ACM, New York, NY, USA
May 2018
DOI:10.1145/3180155.3180159
ISBN:978-1-4503-5638-1
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ICSE-Krieter.pdf
85.
Sartakov, Vasily A.; Weichbrodt, Nico; Krieter, Sebastian; Leich, Thomas; Kapitza, Rüdiger
STANlite - A Database Engine for Secure Data Processing at Rack-Scale Level
IEEE International Conference on Cloud Engineering (IC2E), Page 23-33
Publisher: IEEE Computer Society
April 2018
DOI:10.1109/IC2E.2018.00024
84.
Pereira, Juliana Alves; Martinez, Jabier; Gurudu, Hari Kumar; Krieter, Sebastian; Saake, Gunter
Visual Guidance for Product Line Configuration Using Recommendations and Non-Functional Properties
Proc. ACM Symposium on Applied Computing (SAC), Page 2058-2065
Publisher: ACM
April 2018
DOI:10.1145/3167132.3167353
83.
Knüppel, Alexander; Thüm, Thomas; Mennicke, Stephan; Meinicke, Jens; Schaefer, Ina
Is There a Mismatch between Real-World Feature Models and Product-Line Research? (Extended Abstract)
Proc. Software Engineering (SE), Page 53-54
Publisher: Gesellschaft für Informatik
March 2018
ISBN:978-3-88579-673-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SE-Knueppel.pdf
82.
Krieter, Sebastian; Krüger, Jacob; Leich, Thomas
Don't Worry About It: Managing Variability On-The-Fly
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 19-26
Publisher: ACM, New York, NY, USA
February 2018
DOI:10.1145/3168365.3170426
ISBN:9781450353984
File:https://doi.org/10.1145/3168365.3170426
81.
Thüm, Thomas; Krieter, Sebastian; Leich, Thomas
Feature Modeling and Development with FeatureIDE
Proc. Modellierung, Page 297-298
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2018
ISBN:978-3-88579-674-9
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-Modellierung-Thuem.pdf
80.
Lity, Sascha; Nahrendorf, Sophia; Thüm, Thomas; Seidl, Christoph; Schaefer, Ina
175% Modeling for Product-Line Evolution of Domain Artifacts
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 27-34
Publisher: ACM, New York, NY, USA
February 2018
DOI:10.1145/3168365.3168369
ISBN:978-1-4503-5398-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-VaMoS-Lity.pdf
79.
Carvalho, Luiz; Guimaraes, Marcio Augusto; Ribeiro, Marcio; Fernandes, Leonardo; Al-Hajjaji, Mustafa; Gheyi, Rohit; Thüm, Thomas
Equivalent Mutants in Configurable Systems: An Empirical Study
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 11-18
Publisher: ACM, New York, NY, USA
February 2018
DOI:10.1145/3168365.3168379
ISBN:978-1-4503-5398-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-VaMoS-Carvalho.pdf
78.
Pereira, Juliana Alves; Schulze, Sandro; Krieter, Sebastian; Ribeiro, Marcio; Saake, Gunter
A Context-Aware Recommender System for Extended Software Product Line Configurations
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 97-104
Publisher: ACM, New York, NY, USA
February 2018
DOI:10.1145/3168365.3168373
ISBN:9781450353984
File:https://doi.org/10.1145/3168365.3168373

2017

77.
Benduhn, Fabian; Thüm, Thomas; Schaefer, Ina; Saake, Gunter
Modularization of Refinement Steps for Agile Formal Methods
Proc. Int'l Conf. on Formal Engineering Methods (ICFEM), Page 19-35
Publisher: Springer, Cham, Switzerland
November 2017
DOI:10.1007/978-3-319-68690-5_2
ISBN:978-3-319-68690-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-ICFEM-Benduhn.pdf
76.
Knüppel, Alexander; Thüm, Thomas; Mennicke, Stephan; Meinicke, Jens; Schaefer, Ina
Is There a Mismatch Between Real-World Feature Models and Product-Line Research?
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Page 291-302
Publisher: ACM, New York, NY, USA
September 2017
DOI:10.1145/3106237.3106252
ISBN:978-1-4503-5105-8
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-ESECFSE-Knueppel.pdf
75.
Krüger, Jacob; Nielebock, Sebastian; Krieter, Sebastian; Diedrich, Christian; Leich, Thomas; Saake, Gunter; Zug, Sebastian; Ortmeier, Frank
Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 237-241
Publisher: ACM
September 2017
DOI:10.1145/3106195.3106217
74.
Bittner, Paul Maximilian
Evaluation of Skinning Techniques for Skeletal Animation in MonSteR
Bachelor's Thesis
TU Braunschweig, Germany
September 2017
73.
Krieter, Sebastian; Pinnecke, Marcus; Krüger, Jacob; Sprey, Joshua; Sontag, Christopher; Thüm, Thomas; Leich, Thomas; Saake, Gunter
FeatureIDE: Empowering Third-Party Developers
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 42-45
Publisher: ACM, New York, NY, USA
September 2017
DOI:10.1145/3109729.3109751
ISBN:978-1-4503-5119-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-SPLC-Krieter.pdf
72.
Kowal, Matthias; Ananieva, Sofia; Thüm, Thomas; Schaefer, Ina
Supporting the Development of Interdisciplinary Product Lines in the Manufacturing Domain
World Congress of the International Federation of Automatic Control (IFAC) :4336-4341
July 2017
ISSN: 2405-8963
DOI:10.1016/j.ifacol.2017.08.870
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-IFAC-Kowal.pdf
71.
Al-Hajjaji, Mustafa; Lity, Sascha; Lachmann, Remo; Thüm, Thomas; Schaefer, Ina; Saake, Gunter
Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing
Proc. Int'l Workshop on Variability and Complexity in Software Design (VACE), Page 34-40
Publisher: IEEE, Piscataway, NJ, USA
May 2017
DOI:10.1109/VACE.2017..8
ISBN:978-1-5386-2803-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-VACE-Al-Hajjaji.pdf
70.
Schröter, Reimar; Krieter, Sebastian; Thüm, Thomas; Benduhn, Fabian; Saake, Gunter
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces
Proc. Software Engineering (SE), Page 129-130
Publisher: Gesellschaft für Informatik
February 2017
ISBN:978-3-88579-661-9
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-SE-Schroeter.pdf
69.
Meinicke, Jens; Thüm, Thomas; Schröter, Reimar; Benduhn, Fabian; Leich, Thomas; Saake, Gunter
Mastering Software Variability with FeatureIDE
Publisher: Springer, Berlin, Heidelberg, Germany
2017
DOI:10.1007/978-3-319-61443-4
ISBN:978-3-319-61442-7
68.
Lity, Sascha; Al-Hajjaji, Mustafa; Thüm, Thomas; Schaefer, Ina
Optimizing Product Orders Using Graph Algorithms for Improving Incremental Product-line Analysis
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 60-67
Publisher: ACM, New York, NY, USA
January 2017
DOI:10.1145/3023956.3023961
ISBN:978-1-4503-4811-9
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-VaMoS-Lity.pdf
67.

Proceedings of the 21st International Systems and Software Product Line Conference (SPLC) - Volume B
In Maurice ter Beek and Walter Cazzola and Oscar Diaz and Marcello La Rosa and Roberto Lopez-Herrejon and Thomas Thüm and Javier Troya and Antonio Ruiz-Cortes and David Benavides, Editor
Publisher: ACM, New York, NY, USA
2017
DOI:10.1145/3109729
ISBN:978-1-4503-5119-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2017/2017-proceedings-Beek.pdf

2016

66.
Heß, Tobias
The Valued Workflow Satisfiability Problem and Its Solving With an Evolutionary Algorithm
Bachelor's Thesis
University of Ulm, Germany
November 2016
65.
Ananieva, Sofia; Kowal, Matthias; Thüm, Thomas; Schaefer, Ina
Implicit Constraints in Partial Feature Models
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Page 18-27
Publisher: ACM, New York, NY, USA
October 2016
DOI:10.1145/3001867.3001870
ISBN:978-1-4503-4647-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-FOSD-Ananieva.pdf
64.
Al-Hajjaji, Mustafa; Meinicke, Jens; Krieter, Sebastian; Schröter, Reimar; Thüm, Thomas; Leich, Thomas; Saake, Gunter
Tool Demo: Testing Configurable Systems with FeatureIDE
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 173-177
Publisher: ACM, New York, NY, USA
October 2016
DOI:10.1145/2993236.2993254
ISBN:978-1-4503-4446-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GPCE-Al-Hajjaji-Demo.pdf
63.
Thüm, Thomas
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen
Ausgezeichnete Informatikdissertationen 2015, Page 299-308
Publisher: Gesellschaft für Informatik, Bonn, Germany
October 2016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GI-Thuem.pdf
62.
Holthusen, Sönke; Nieke, Michael; Thüm, Thomas; Schaefer, Ina
Proof-Carrying Apps: Contract-Based Deployment-Time Verification
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Page 839-855
Publisher: Springer, Berlin, Heidelberg, Germany
October 2016
DOI:10.1007/978-3-319-47166-2_58
ISBN:978-3-319-47166-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ISoLA-Holthusen.pdf
61.
Kowal, Matthias; Ananieva, Sofia; Thüm, Thomas
Explaining Anomalies in Feature Models
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 132-143
Publisher: ACM, New York, NY, USA
October 2016
DOI:10.1145/2993236.2993248
ISBN:978-1-4503-4446-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GPCE-Kowal.pdf
60.
Al-Hajjaji, Mustafa; Krieter, Sebastian; Thüm, Thomas; Lochau, Malte; Saake, Gunter
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 144-155
Publisher: ACM, New York, NY, USA
October 2016
DOI:10.1145/2993236.2993253
ISBN:978-1-4503-4446-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GPCE-Al-Hajjaji.pdf
59.
Pfofe, Tristan; Thüm, Thomas; Schulze, Sandro; Fenske, Wolfram; Schaefer, Ina
Synchronizing Software Variants with VariantSync
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 329-332
Publisher: ACM, New York, NY, USA
September 2016
DOI:10.1145/2934466.2962726
ISBN:978-1-4503-4050-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Pfofe.pdf
58.
Thüm, Thomas; Ribeiro, Marcio; Schröter, Reimar; Siegmund, Janet; Dalton, Francisco
Product-Line Maintenance with Emergent Contract Interfaces
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 134-143
Publisher: ACM, New York, NY, USA
September 2016
DOI:10.1145/2934466.2934471
ISBN:978-1-4503-4050-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Thuem.pdf
57.
Meinicke, Jens; Wong, Chu-Pan; Kästner, Christian; Thüm, Thomas; Saake, Gunter
On Essential Configuration Complexity: Measuring Interactions In Highly-Configurable Systems
Proc. Int'l Conf. on Automated Software Engineering (ASE), Page 483-494
Publisher: ACM, New York, NY, USA
September 2016
DOI:10.1145/2970276.2970322
ISBN:978-1-4503-3845-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ASE-Meinicke.pdf
56.
Krieter, Sebastian; Schröter, Reimar; Thüm, Thomas; Fenske, Wolfram; Saake, Gunter
Comparing Algorithms for Efficient Feature-Model Slicing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 60-64
Publisher: ACM, New York, NY, USA
September 2016
DOI:10.1145/2934466.2934477
ISBN:978-1-4503-4050-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Krieter.pdf
55.
Thüm, Thomas; Leich, Thomas; Krieter, Sebastian
Clean Your Variable Code with FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 308-308
Publisher: ACM, New York, NY, USA
September 2016
DOI:10.1145/2934466.2956655
ISBN:978-1-4503-4050-2
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Thuem-Tutorial.pdf
54.
Kowal, Matthias; Ananieva, Sofia; Thüm, Thomas
Explaining Anomalies in Feature Models (Technical Report)
Germany
Technical Report 2016-01
August 2016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-TR-Kowal.pdf
53.
Pereira, Juliana Alves; Krieter, Sebastian; Meinicke, Jens; Schröter, Reimar; Saake, Gunter; Leich, Thomas
FeatureIDE: Scalable Product Configuration of Variable Systems
Proc. Int'l Conf. on Software Reuse (ICSR), Page 397-401
Publisher: Springer, Berlin, Heidelberg, Germany
June 2016
52.
Lity, Sascha; Morbach, Thomas; Thüm, Thomas; Schaefer, Ina
Applying Incremental Model Slicing to Product-Line Regression Testing
Proc. Int'l Conf. on Software Reuse (ICSR), Page 3-19
Publisher: Springer, Berlin, Heidelberg, Germany
June 2016
DOI:10.1007/978-3-319-35122-3_1
ISBN:978-3-319-35122-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ICSR-Lity.pdf
51.
Pereira, Juliana Alves; Matuszyk, Pawel; Krieter, Sebastian; Spiliopoulou, Myra; Saake, Gunter
A Feature-Based Personalized Recommender System for Product-Line Configuration
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE)
Publisher: ACM, New York, NY, USA
June 2016
DOI:10.1145/2993236.2993249
File:https://doi.org/10.1145/2993236.2993249
50.
Meinicke, Jens; Thüm, Thomas; Schröter, Reimar; Krieter, Sebastian; Benduhn, Fabian; Saake, Gunter; Leich, Thomas
FeatureIDE: Taming the Preprocessor Wilderness
Proc. Int'l Conf. on Software Engineering (ICSE), Page 629-632
Publisher: ACM, New York, NY, USA
May 2016
DOI:10.1145/2889160.2889175
ISBN:978-1-4503-4205-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ICSE-Meinicke.pdf
49.
Schröter, Reimar; Krieter, Sebastian; Thüm, Thomas; Benduhn, Fabian; Saake, Gunter
Feature-Model Interfaces: The Highway to Compositional Analyses of Highly-Configurable Systems
Proc. Int'l Conf. on Software Engineering (ICSE), Page 667-678
Publisher: ACM, New York, NY, USA
May 2016
DOI:10.1145/2884781.2884823
ISBN:978-1-4503-3900-1
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ICSE-Schroeter.pdf
48.
Schink, Hagen; Siegmund, Janet; Schröter, Reimar; Thüm, Thomas; Saake, Gunter
A Study on Tool Support for Refactoring in Database Applications
Softwaretechnik-Trends
May 2016
ISSN: 0720-8928
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-WSRE-Schink.pdf
47.

Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE@ETAPS)
In Julia Rubin and Thomas Thüm, Editor
Publisher: Open Publishing Association, Waterloo, Australia
April 2016
DOI:10.4204/EPTCS.206
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2016/2016-proceedings-Rubin.pdf
46.
Krieter, Sebastian; Schröter, Reimar; Thüm, Thomas; Saake, Gunter
An Efficient Algorithm for Feature-Model Slicing
Germany
Technical Report FIN-001-2016
April 2016
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-TR-Krieter.pdf
45.
Al-Hajjaji, Mustafa; Benduhn, Fabian; Thüm, Thomas; Leich, Thomas; Saake, Gunter
Mutation Operators for Preprocessor-Based Variability
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 81-88
Publisher: ACM, New York, NY, USA
January 2016
DOI:10.1145/2866614.2866626
ISBN:978-1-4503-4019-9
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-VaMoS-Al-Hajjaji.pdf
44.
Rhein, Alexander; Thüm, Thomas; Schaefer, Ina; Liebig, Jörg; Apel, Sven
Variability Encoding: From Compile-Time to Load-Time Variability
J. Logic and Algebraic Methods in Programming (JLAMP) :125-145
January 2016
ISSN: 2352-2208
DOI:10.1016/j.jlamp.2015.06.007
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-JLAMP-Rhein.pdf
43.
Thüm, Thomas; Winkelmann, Tim; Schröter, Reimar; Hentschel, Martin; Krüger, Stefan
Variability Hiding in Contracts for Dependent Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 97-104
Publisher: ACM, New York, NY, USA
January 2016
DOI:10.1145/2866614.2866628
ISBN:978-1-4503-4019-9
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-VaMoS-Thuem.pdf

2015

42.
Ochoa, Lina; Gonzalez-Rojas, Oscar; Thüm, Thomas
Using Decision Rules for Solving Conflicts in Extended Feature Models
Proc. Int'l Conf. on Software Language Engineering (SLE), Page 149-160
Publisher: ACM, New York, NY, USA
October 2015
ISBN:978-1-4503-3686-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-SLE-Ochoa.pdf
41.
Schröter, Reimar; Krieter, Sebastian; Thüm, Thomas; Benduhn, Fabian; Saake, Gunter
Feature-Model Interfaces for Compositional Analyses
Germany
Technical Report FIN-001-2015
May 2015
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-TR-Schroeter.pdf
40.
Thüm, Thomas; Apel, Sven; Kästner, Christian; Schaefer, Ina; Saake, Gunter
Analysis Strategies for Software Product Lines: A Classification and Survey
Proc. Software Engineering (SE), Page 57-58
Publisher: Gesellschaft für Informatik, Bonn, Germany
March 2015
ISBN:978-3-88579-633-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-SE-Thuem.pdf
39.
Thüm, Thomas
Product-Line Specification and Verification with Feature-Oriented Contracts
University of Magdeburg, Germany
February 2015
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-PhD-Thuem.pdf
38.
Benduhn, Fabian; Thüm, Thomas; Lochau, Malte; Leich, Thomas; Saake, Gunter
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 80:80-80:87
Publisher: ACM, New York, NY, USA
January 2015
DOI:10.1145/2701319.2701332
ISBN:978-1-4503-3273-6
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-VaMoS-Benduhn.pdf
37.
Krieter, Sebastian; Schröter, Reimar; Fenske, Wolfram; Saake, Gunter
Use-Case-Specific Source-Code Documentation for Feature-Oriented Programming
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 27:27-27:34
Publisher: ACM, New York, NY, USA
January 2015
ISBN:978-1-4503-3273-6

2014

36.
Al-Hajjaji, Mustafa; Thüm, Thomas; Meinicke, Jens; Lochau, Malte; Saake, Gunter
Similarity-Based Prioritization in Software Product-Line Testing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 197-206
Publisher: ACM, New York, NY, USA
September 2014
DOI:10.1145/2648511.2648532
ISBN:978-1-4503-2740-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SPLC-Al-Hajjaji.pdf
35.
Meinicke, Jens; Thüm, Thomas; Schröter, Reimar; Benduhn, Fabian; Saake, Gunter
An Overview on Analysis Tools for Software Product Lines
Proc. Workshop on Software Product Line Analysis Tools (SPLat), Page 94-101
Publisher: ACM, New York, NY, USA
September 2014
DOI:10.1145/2647908.2655972
ISBN:978-1-4503-2739-8
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SPLatools-Meinicke.pdf
34.
Schröter, Reimar; Siegmund, Norbert; Thüm, Thomas; Saake, Gunter
Feature-Context Interfaces: Tailored Programming Interfaces for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 102-111
Publisher: ACM, New York, NY, USA
September 2014
DOI:10.1145/2648511.2648522
ISBN:978-1-4503-2740-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SPLC-Schroeter.pdf
33.
Thüm, Thomas; Meinicke, Jens; Benduhn, Fabian; Hentschel, Martin; Rhein, Alexander; Saake, Gunter
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 177-186
Publisher: ACM, New York, NY, USA
September 2014
DOI:10.1145/2648511.2648530
ISBN:978-1-4503-2740-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SPLC-Thuem.pdf
32.
Thüm, Thomas; Apel, Sven; Kästner, Christian; Schaefer, Ina; Saake, Gunter
A Classification and Survey of Analysis Strategies for Software Product Lines
ACM Computing Surveys (CSUR) :6:1-6:45
June 2014
Publisher: ACM
ISSN: 0360-0300
DOI:10.1145/2580950
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-CSUR-Thuem.pdf
31.
Rebelo, Henrique; Leavens, Gary T.; Bagherzadeh, Mehdi; Rajan, Hridesh; Lima, Ricardo; Zimmerman, Daniel M.; Cornelio, Marcio; Thüm, Thomas
Modularizing Crosscutting Contracts with AspectJML
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Page 21-24
Publisher: ACM, New York, NY, USA
April 2014
DOI:10.1145/2584469.2584476
ISBN:978-1-4503-2772-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-AOSD-Rebelo-Demo.pdf
30.
Rebelo, Henrique; Leavens, Gary T.; Bagherzadeh, Mehdi; Rajan, Hridesh; Lima, Ricardo; Zimmerman, Daniel M.; Cornelio, Marcio; Thüm, Thomas
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Page 157-168
Publisher: ACM, New York, NY, USA
April 2014
DOI:10.1145/2577080.2577084
ISBN:978-1-4503-2772-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-AOSD-Rebelo.pdf
29.
Thüm, Thomas
Modular Reasoning for Crosscutting Concerns with Contracts
Proc. Software Engineering (SE), Page 65-66
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2014
ISBN:978-388579-621-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SE-Thuem.pdf
28.
Thüm, Thomas; Kästner, Christian; Benduhn, Fabian; Meinicke, Jens; Saake, Gunter; Leich, Thomas
FeatureIDE: An Extensible Framework for Feature-Oriented Software Development
Science of Computer Programming (SCP) :70-85
January 2014
ISSN: 0167-6423
DOI:10.1016/j.scico.2012.06.002
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SCP-Thuem.pdf
27.
Fenske, Wolfram; Thüm, Thomas; Saake, Gunter
A Taxonomy of Software Product Line Reengineering
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 4:1-4:8
Publisher: ACM, New York, NY, USA
January 2014
DOI:10.1145/2556624.2556643
ISBN:978-1-4503-2556-1
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-VaMoS-Fenske.pdf

2013

26.
Siegmund, Janet; Thüm, Thomas; Schulze, Sandro; Jürgens, Elmar
Agile Methoden im Softwareprojekt
Jahrestagung der Gesellschaft für Informatik, Page 234
Publisher: Gesellschaft für Informatik
September 2013
ISBN:978-3-88579-614-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-Informatik-Siegmund.pdf
25.
Rebelo, Henrique; Leavens, Gary T.; Bagherzadeh, Mehdi; Rajan, Hridesh; Lima, Ricardo; Zimmerman, Daniel M.; Cornelio, Marcio; Thüm, Thomas
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts (Technical Report)
Orlando, FL, USA
Technical Report CS-TR-13-07
September 2013
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-TR-Rebelo.pdf
24.
Schröter, Reimar; Siegmund, Norbert; Thüm, Thomas
Towards Modular Analysis of Multi Product Lines
Proc. Int'l Workshop on Multi Product Line Engineering (MultiPLE), Page 96-99
Publisher: ACM, New York, NY, USA
August 2013
DOI:10.1145/2499777.2500719
ISBN:978-1-4503-2325-3
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-MultiPLE-Schroeter.pdf
23.
Apel, Sven; Rhein, Alexander; Thüm, Thomas; Kästner, Christian
Feature-Interaction Detection Based on Feature-Based Specifications
Computer Networks :2399-2409
August 2013
Publisher: Elsevier North-Holland, Inc.
ISSN: 1389-1286
DOI:10.1016/j.comnet.2013.02.025
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-ComNet-Apel.pdf
22.
Thüm, Thomas
Product-Line Verification with Feature-Oriented Contracts
Proc. Int'l Symposium on Software Testing and Analysis (ISSTA), Page 374-377
Publisher: ACM, New York, NY, USA
July 2013
DOI:10.1145/2483760.2492396
ISBN:978-1-4503-2159-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-ISSTA-Thuem.pdf
21.
Thüm, Thomas; Apel, Sven; Zelend, Andreas; Schröter, Reimar; Möller, Bernhard
Subclack: Feature-Oriented Programming with Behavioral Feature Interfaces
Proc. Workshop on MechAnisms for SPEcialization, Generalization and inHerItance (MASPEGHI), Page 1-8
Publisher: ACM, New York, NY, USA
July 2013
DOI:10.1145/2489828.2489829
ISBN:978-1-4503-2046-7
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-MASPEGHI-Thuem.pdf
20.
Rhein, Alexander; Apel, Sven; Kästner, Christian; Thüm, Thomas; Schaefer, Ina
The PLA Model: On the Combination of Product-Line Analyses
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 14:1-14:8
Publisher: ACM, New York, NY, USA
January 2013
DOI:10.1145/2430502.2430515
ISBN:978-1-4503-1541-8
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-VaMoS-Rhein.pdf
19.
Schröter, Reimar; Thüm, Thomas; Siegmund, Norbert; Saake, Gunter
Automated Analysis of Dependent Feature Models
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 9:1-9:5
Publisher: ACM, New York, NY, USA
January 2013
DOI:10.1145/2430502.2430515
ISBN:978-1-4503-1541-8
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-VaMoS-Schroeter.pdf

2012

18.
Thüm, Thomas; Schaefer, Ina; Apel, Sven; Hentschel, Martin
Family-Based Deductive Verification of Software Product Lines
Proc. Int'l Conf. on Generative Programming and Component Engineering (GPCE), Page 11-20
Publisher: ACM, New York, NY, USA
September 2012
DOI:10.1145/2371401.2371404
ISBN:978-1-4503-1129-8
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-GPCE-Thuem.pdf
17.

Proceedings of the 4th International Workshop on Feature-Oriented Software Development (FOSD)
In Ina Schaefer and Thomas Thüm, Editor
Publisher: ACM, New York, NY, USA
September 2012
DOI:10.1145/2377816
ISBN:978-1-4503-1309-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2012/2012-proceedings-Schaefer.pdf
16.
Kästner, Christian; Apel, Sven; Thüm, Thomas; Saake, Gunter
Type Checking Annotation-Based Product Lines
Trans. on Software Engineering and Methodology (TOSEM) :14:1-14:39
July 2012
Publisher: ACM
ISSN: 1049-331X
DOI:10.1145/2211616.2211617
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-TOSEM-Kaestner.pdf
15.
Thüm, Thomas
Verification of Software Product Lines Using Contracts
Doktorandentagung Magdeburger-Informatik-Tage (MIT), Page 75-82
Publisher: University of Magdeburg, Germany
July 2012
ISBN:978-3-940961-73-0
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-MIT-Thuem.pdf
14.
Thüm, Thomas; Apel, Sven; Kästner, Christian; Kuhlemann, Martin; Schaefer, Ina; Saake, Gunter
Analysis Strategies for Software Product Lines
Germany
Technical Report FIN-004-2012
April 2012
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-TR-Thuem.pdf
13.
Thüm, Thomas; Schulze, Sandro; Pukall, Mario; Saake, Gunter; Günther, Sebastian
Secure and Customizable Data Management for Automotive Systems: A Feasibility Study
ISRN Software Engineering
March 2012
DOI:10.5402/2012/424230
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-ISRN-Thuem.pdf
12.
Thüm, Thomas; Schaefer, Ina; Kuhlemann, Martin; Apel, Sven; Saake, Gunter
Applying Design by Contract to Feature-Oriented Programming
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Page 255-269
Publisher: Springer, Berlin, Heidelberg, Germany
March 2012
DOI:10.1007/978-3-642-28872-2_18
ISBN:978-3-642-28871-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-FASE-Thuem.pdf
11.
Thüm, Thomas; Benduhn, Fabian
Entwicklung von Softwarevarianten mit FeatureIDE
Eclipse Magazin :94-97
January 2012
10.
Schulze, Sandro; Thüm, Thomas; Kuhlemann, Martin; Saake, Gunter
Variant-Preserving Refactoring in Feature-Oriented Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 73-81
Publisher: ACM, New York, NY, USA
January 2012
DOI:http://doi.acm.org/10.1145/2110147.2110156
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-VaMoS-Schulze.pdf

2011

9.
Thüm, Thomas; Schulze, Sandro; Pukall, Mario; Saake, Gunter; Günther, Sebastian
AutoDaMa: On the Feasibility of Secure and Tailor-made Automotive Data Management
Germany
Technical Report FIN-008-2011
November 2011
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-TR-Thuem.pdf
8.
Thüm, Thomas; Kästner, Christian; Erdweg, Sebastian; Siegmund, Norbert
Abstract Features in Feature Modeling
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 191-200
Publisher: IEEE, Washington, DC, USA
August 2011
DOI:10.1109/SPLC.2011.53
ISBN:978-0-7695-4487-8
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-SPLC-Thuem.pdf
7.
Scholz, Wolfgang; Thüm, Thomas; Apel, Sven; Lengauer, Christian
Automatic Detection of Feature Interactions Using the Java Modeling Language: An Experience Report
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Page 7:1-7:8
Publisher: ACM, New York, NY, USA
August 2011
DOI:http://doi.acm.org/10.1145/2019136.2019144
ISBN:978-1-4503-0789-5
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-FOSD-Scholz.pdf
6.
Thüm, Thomas; Schaefer, Ina; Kuhlemann, Martin; Apel, Sven
Proof Composition for Deductive Verification of Software Product Lines
Proc. Int'l Workshop on Variability-Intensive Systems Testing, Validation and Verification (VAST), Page 270-277
Publisher: IEEE, Washington, DC, USA
March 2011
DOI:10.1109/ICSTW.2011.48
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-VAST-Thuem.pdf
5.
Rosenmüller, Marko; Siegmund, Norbert; Thüm, Thomas; Saake, Gunter
Multi-Dimensional Variability Modeling
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 11-22
Publisher: ACM, New York, NY, USA
January 2011
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-VaMoS-Rosenmueller.pdf

2010

4.
Thüm, Thomas
A Machine-Checked Proof for a Product-Line-Aware Type System
Master's Thesis
University of Magdeburg, Germany
January 2010
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2010/2010-Master-Thuem.pdf

2009

3.
Kästner, Christian; Thüm, Thomas; Saake, Gunter; Feigenspan, Janet; Leich, Thomas; Wielgorz, Fabian; Apel, Sven
FeatureIDE: A Tool Framework for Feature-Oriented Software Development
Proc. Int'l Conf. on Software Engineering (ICSE), Page 611-614
Publisher: IEEE, Washington, DC, USA
May 2009
DOI:10.1109/ICSE.2009.5070568
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2009/2009-ICSE-Kaestner.pdf
2.
Thüm, Thomas; Batory, Don; Kästner, Christian
Reasoning About Edits to Feature Models
Proc. Int'l Conf. on Software Engineering (ICSE), Page 254-264
Publisher: IEEE, Washington, DC, USA
May 2009
DOI:10.1109/ICSE.2009.5070526
ISBN:978-1-4244-3453-4
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2009/2009-ICSE-Thuem.pdf

2008

1.
Thüm, Thomas
Reasoning About Feature Model Edits
Bachelor's Thesis
University of Magdeburg, Germany
June 2008
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2008/2008-Bachelor-Thuem.pdf

2023

71.
B. Moosherr, "Constructing Variation Diffs Using Tree Diffing Algorithms", Bachelor's Thesis, University of Ulm, Germany, Apr. 2023.
70.
D. Klier, "Hashing Strategies for Concurrent Building of Binary Decision Diagrams", Bachelor's Thesis, University of Ulm, Germany, Feb. 2023.
69.
L. Licha, "Cutting Edge T-Wise Sampling with ddnnife", Bachelor's Thesis, University of Ulm, Germany, Jan. 2023.
68.
L. Güthing, "Inspecting the Evolution of Feature Annotations in Configurable Software", Master's Thesis, University of Ulm, Germany, Jan. 2023.
67.
E. Langenbucher, "The Impact of Static Variable Ordering on Building BDDs for Real-World Feature Models", Master's Thesis, University of Ulm, Germany, Jan. 2023.

2022

66.
L. Ostheimer, "Identification of Variance Driving Features in Feature Models", Bachelor's Thesis, University of Ulm, Germany, Dec. 2022.
65.
V. Brancaccio, "A Systematic Literature Review Towards a Representative Feature-Model Benchmark", Master's Thesis, University of Ulm, Germany, Nov. 2022.
DOI:10.18725/OPARU-46759
File:http://dx.doi.org/10.18725/OPARU-46759
64.
S. Vill, "Language Levels for the Universal Variability Language: An Extension Mechanism and Conversion Strategies", Bachelor's Thesis, University of Ulm, Germany, Nov. 2022.
63.
S. Böhm, "Identification of Feature Interactions Through Combinatorial Interaction Analysis", Master's Thesis, University of Ulm, Germany, Oct. 2022.
DOI:10.18725/OPARU-47319
File:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/47395/thesis_boehm.pdf
62.
L. Bormann, "Reverse Engineering Feature-Aware Commits from Software Product-Line Repositories", Bachelor's Thesis, University of Ulm, Germany, Oct. 2022.
DOI:10.18725/OPARU-47892
File:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/47968/Thesis_Bormann.pdf
61.
K. Jedelhauser, "Type-Checking Variability in Clone-and-Own Variants with Product-Line Tooling", Master's Thesis, University of Ulm, Germany, Sep. 2022.
60.
M. Lukas, "A Survey of BDD-Based Tools For Points-To Analysis", Bachelor's Thesis, University of Ulm, Germany, Aug. 2022.
59.
Y. Heimowski, "Simplifying Feature Models for Better Scalability of #SAT Solvers", Bachelor's Thesis, University of Ulm, Germany, Aug. 2022.
58.
S. Krieter, "Efficient Interactive and Automated Product-Line Configuration", University of Magdeburg, Germany, Jun. 2022.
DOI:10.25673/92625
File:https://opendata.uni-halle.de//handle/1981185920/94577
57.
K. Störmer, "T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling", Master's Thesis, TU Braunschweig, Germany, May 2022.
56.
D. Hohmann, "Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen", Master's Thesis, University of Magdeburg, Germany, May 2022.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/Hohmann2022:MasterThesis.pdf
55.
K. Kistner, "Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams", Bachelor's Thesis, University of Ulm, Germany, Jan. 2022.
54.
H. Raab, "Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses", Bachelor's Thesis, University of Ulm, Germany, Jan. 2022.
DOI:10.18725/OPARU-43414
File:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/43490/Thesis_RaabHeiko.pdf
53.
D. Schiessl, "An Incremental #SAT Solver for Efficient Analysis of Feature Models", Master's Thesis, University of Ulm, Germany, Jan. 2022.

2021

52.
T. Witschel, "Generating Optimized Samples with Attributed Feature Models", Master's Thesis, TU Braunschweig, Germany, Nov. 2021.
DOI:10.24355/dbbs.084-202201210857-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00048775/Witschel%20Masters%20Thesis%20Generating%20Optimized%20Samples.pdf
51.
M. Tschada, "Generating Taxonomies of Feature-Model Anomalies", Bachelor's Thesis, TU Braunschweig, Germany, Sep. 2021.
50.
T. Netzer, "Development of a Parallelized BDD Library in Rust", Bachelor's Thesis, University of Ulm, Germany, Jul. 2021.
DOI:10.18725/OPARU-39798
File:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/39874/thesis_netzer.pdf
49.
J. M. Young, "Variational Satisfiability Solving (PhD Thesis)", Oregon State University, USA, Jun. 2021.
File:https://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/dv140182g?locale=en
48.
S. Viegener, "Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin", Bachelor's Thesis, University of Ulm, Germany, Apr. 2021.
DOI:10.18725/OPARU-38603
File:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/38679/BA_Viegener.pdf
47.
T. Witschel, "Analyzing Sampling Stability of Highly Configurable Systems", Project Thesis, TU Braunschweig, Germany, Mar. 2021.
DOI:10.24355/dbbs.084-202201211010-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00048776/Witschel%20Analyzing%20Sampling%20Stability.pdf
46.
R. Arens, "Incremental Construction of Modal Implication Graphs for Feature-Model Evolution", Bachelor's Thesis, TU Braunschweig, Germany, Jan. 2021.
DOI:10.24355/dbbs.084-202107050823-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00048313/Arens_Rahel_Bachelorarbeit_4570828.pdf

2020

45.
T. Heß, "Binary Decision Diagrams for the Analysis of Large Feature Models", Master's Thesis, University of Ulm, Germany, Nov. 2020.
44.
N. Mund, "Continuous T-Wise Coverage", Master's Thesis, TU Braunschweig, Germany, Oct. 2020.
43.
C. Sundermann, "Applications of #SAT Solvers on Product Lines", Master's Thesis, TU Braunschweig, Germany, Aug. 2020.
DOI:10.24355/dbbs.084-202009161329-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047722/Masters_Thesis_Chico_Sundermann_4633286_22072020.pdf
42.
J. Sprey, "Automated Comparison of Product Sampling Algorithms", Master's Thesis, TU Braunschweig, Germany, Aug. 2020.
DOI:10.24355/dbbs.084-202009211318-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047730/Sprey_Masterthesis.pdf
41.
P. Westphal, "Deriving Subset Software Product Lines Using Partial Configurations with FeatureIDE", Bachelor's Thesis, TU Braunschweig, Germany, Aug. 2020.
DOI:10.24355/dbbs.084-202011201423-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047852/Westphal_thesis.pdf
40.
D. Engelhardt, "Towards a Universal Variability Language", Master's Thesis, TU Braunschweig, Germany, Aug. 2020.
DOI:10.24355/dbbs.084-202008211051-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047673/Engelhardt_Thesis.pdf
39.
P. M. Bittner, "Semi-Automated Inference of Feature Traceability During Software Development", Master's Thesis, TU Braunschweig, Germany, Feb. 2020.
DOI:10.24355/dbbs.084-202002271120-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047261/Master_Thesis_Paul_Bittner.pdf

2019

38.
J. Sprey, "SMT-Based Variability Analyses in FeatureIDE (Project Thesis)", Project Thesis, TU Braunschweig, Germany, Dec. 2019.
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sprey.pdf
37.
C. Sundermann, "Evaluating #SAT-Solvers on Industrial Feature Models", Project Thesis, TU Braunschweig, Germany, Dec. 2019.
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sundermann.pdf
36.
P. M. Bittner, "SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (Project Thesis)", Project Thesis, TU Braunschweig, Germany, Mar. 2019.
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SEFM-Bittner.pdf

2018

35.
N. Thiele, "Re-Engineering Feature Models from Product Configurators", Master's Thesis, TU Braunschweig, Germany, Nov. 2018.
DOI:10.24355/dbbs.084-201812111501-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044869/Master_Thesis_Nico_Thiele.pdf
34.
T. Pett, "Stability of Product Sampling under Product-Line Evolution", Master's Thesis, TU Braunschweig, Germany, Nov. 2018.
DOI:10.24355/dbbs.084-201812111412-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044868/master_thesis_tobias_pett.pdf
33.
C. Sontag, "Recording Feature Mappings During Evolution of Cloned Variants", Master's Thesis, TU Braunschweig, Germany, Sep. 2018.
DOI:10.24355/dbbs.084-201812191127-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044881/Sontag_Master_Thesis.pdf
32.
J. Sprey and C. Sundermann, "Computing Attribute Ranges for Partial Configurations with JavaSMT", Bachelor's Thesis, TU Braunschweig, Germany, Apr. 2018.
DOI:10.24355/dbbs.084-201807060926-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044588/Thesis_Sprey_Sundermann.pdf

2017

31.
C. I. P. (Burmeister), "Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY", Master's Thesis, TU Braunschweig, Germany, Dec. 2017.
DOI:10.24355/dbbs.084-201801311013
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044294/Pardylla-Ein_Erfahrungsbericht_zur_Deduktiven_Verifikation_mit_KeY.pdf
30.
C. Sontag, "VariantSync: Automating the Synchronization of Software Variants", Project Thesis, TU Braunschweig, Germany, Dec. 2017.
File:https://www.youtube.com/watch?v=JMIDvWYvaR0&list=PLBZnGZWZgEBZ8Me6WDQGdQRg438_Z4sl_&index=2
29.
T. Günther, "Explaining Satisfiability Queries for Software Product Lines", Master's Thesis, TU Braunschweig, Germany, Nov. 2017.
DOI:10.24355/dbbs.084-201711171100
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044082/Guenther_Timo_Explaining_Satisfiabiltiy_Queries_for_Software_Product_Lines.pdf
28.
S. Bolle, "Feature-orientiertes Framing für die Verifikation von Software-Produktlinien", Master's Thesis, TU Braunschweig, Germany, Nov. 2017.
DOI:10.24355/dbbs.084-201711280920
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044117/Masterarbeit-Stefanie_Bolle.pdf
27.
S. Bolle, "Automating Deductive Verification of Software Product Lines", Project Thesis, TU Braunschweig, Germany, Mar. 2017.
26.
C. I. Burmeister, "On the Scalability of Contracting and Inlining for Deductive Verification", Project Thesis, TU Braunschweig, Germany, Mar. 2017.
25.
F. Kanning, "Presence Condition Reasoning with Feature Model Interfaces", Master's Thesis, TU Braunschweig, Germany, Jan. 2017.
DOI:10.24355/dbbs.084-201702231449-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00043191/ma_kanning.pdf

2016

24.
T. Günther, "Visual Explanation of Defects in Feature Diagrams", Project Thesis, TU Braunschweig, Germany, Dec. 2016.
File:https://youtu.be/0n-CibotBnc
23.
S. Ananieva, "Explaining Defects and Identifying Dependencies in Interrelated Feature Models", Master's Thesis, TU Braunschweig, Germany, Sep. 2016.
DOI:10.24355/dbbs.084-201701191034-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00043005/thesisAnanieva16.pdf
22.
A. Knüppel, "The Role of Complex Constraints in Feature Modeling", Master's Thesis, TU Braunschweig, Germany, Jul. 2016.
DOI:10.24355/dbbs.084-201701181304-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00043003/thesisKnueppel16.pdf
21.
C. Sontag, "FeatFork: Feature Tracking in Preprocessor-Based Forks", Bachelor's Thesis, TU Braunschweig, Germany, May 2016.
20.
V. Menzel, "Metaanalyse zu Strategien für die formale Verifikation von Software-Produktlinien", Master's Thesis, TU Braunschweig, Germany, Feb. 2016.
File:pdfhttps://www.isf.cs.tu-bs.de/cms/team/thuem/downloads/thesisMenzel16.pdf
19.
T. Pfofe, "Automating the Synchronization of Software Variants", Master's Thesis, University of Magdeburg, Germany, Jan. 2016.
File:pdfhttps://www.isf.cs.tu-bs.de/cms/team/thuem/downloads/thesisPfofe16.pdf

2015

18.
S. Krieter, "Efficient Configuration of Large-Scale Feature Models Using Extended Implication Graphs", Master's Thesis, University of Magdeburg, Germany, Oct. 2015.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisKrieter15.pdf

2014

17.
S. Krüger, "Product-Line Verification with Abstract Contracts", Master's Thesis, University of Magdeburg, Germany, Dec. 2014.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/K14.pdf
16.
J. Meinicke, "VarexJ: A Variability-Aware Interpreter for Java Applications", Master's Thesis, University of Magdeburg, Germany, Dec. 2014.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/M14.pdf
15.
F. Benduhn, "Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques", Master's Thesis, University of Magdeburg, Germany, Apr. 2014.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisBenduhn14.pdf
14.
F. Proksch and S. Krüger, "Tool Support for Contracts in FeatureIDE", Project Thesis, University of Magdeburg, Germany, Apr. 2014.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/PK14.pdf
13.
M. Praast, "Effiziente Kodierung von Variabilität in Spezifikationen", Master's Thesis, University of Magdeburg, Germany, Mar. 2014.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisPraast14.pdf

2013

12.
D. Broneske, "On the Impact of Hardware on Relational Join Processing", Master's Thesis, University of Magdeburg, Germany, Aug. 2013.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisBroneske13.pdf
11.
A. Weigelt, "Methoden-basierte Komposition von Kontrakten in Feature-orientierter Programmierung", Bachelor's Thesis, University of Magdeburg, Germany, Aug. 2013.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisWeigelt13.pdf
10.
J. Meinicke, "JML-Based Verification for Feature-Oriented Programming", Bachelor's Thesis, University of Magdeburg, Germany, May 2013.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisMeinicke13.pdf
9.
L. Luo, "Synchronisierung von Software-Varianten mit VariantSync", Master's Thesis, University of Magdeburg, Germany, Jan. 2013.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisLuo.pdf

2012

8.
F. Benduhn, "Contract-Aware Feature Composition", Bachelor's Thesis, University of Magdeburg, Germany, Oct. 2012.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisBenduhn12.pdf
7.
D. Lüddecke, "Extraktion von Feature-Modellen aus Implementierungsartefakten", Master's Thesis, University of Magdeburg, Germany, Oct. 2012.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/12/thesisLueddecke.pdf
6.
I. Schröter, "Modulare Integration von konfigurierbaren Transaktionsmechanismen in Cloud-basierte Datenspeichersysteme", Master's Thesis (Diplomarbeit), University of Magdeburg, Germany, Sep. 2012.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisSchroeterIvonne12.pdf
5.
S. Holthusen, "Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE", Master's Thesis, University of Magdeburg, Germany, Jul. 2012.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisHolthusen.pdf
4.
R. Schröter, "Automatisierte Analysen der Modellierung von Multiproduktlinien in VELVET", Master's Thesis, University of Magdeburg, Germany, Apr. 2012.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisSchroeter12.pdf
3.
S. Haase, "A Program Slicing Approach to Feature Identification in Legacy C Code", Master's Thesis (Diplomarbeit), University of Magdeburg, Germany, Feb. 2012.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisHaase.pdf

2011

2.
C. Mewes, "Migration von Subversion nach Mercurial und Einsatz dezentraler Versionskontrolle in Unternehmen", Bachelor's Thesis, University of Magdeburg, Germany, Aug. 2011.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisMewes.pdf
1.
C. Adler, "Optional Composition - A Solution to the Optional Feature Problem?", Master's Thesis, University of Magdeburg, Germany, Feb. 2011.
File:pdfhttps://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisAdler10.pdf