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
Eclipse Plugin for Feature Oriented Software Development

Analyzing Large Configuration Spaces with Feature-Model Counting
Automating the Synchronization of Software Variants
Team
Prof. Dr. Thomas Thüm

Prof. Dr.
Thomas
Thüm
Professor
Ulm University
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069
Ulm
Germany
Dr.-Ing. Sebastian Krieter

Dr.-Ing.
Sebastian
Krieter
Research Associate
Ulm University
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069
Ulm
Germany
M.Sc. Paul Maximilian Bittner

M.Sc.
Paul Maximilian
Bittner
Research Assistant
Ulm University
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069
Ulm
Germany
M.Sc. Tobias Heß

M.Sc.
Tobias
Heß
Research Assistant
SoftVarE Working Group
M.Sc. Chico Sundermann

M.Sc.
Chico
Sundermann
Research Assistant
Ulm University
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069
Ulm
Germany
E-Mail:
chico.sundermann(at)uni-ulm.de
www:
Chico Sundermann
Raum:
O27 413
Telefon:
+49-731/50-24174
M.Sc. Sabrina Böhm

M.Sc.
Sabrina
Böhm
Research Assistant
2023
140.
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)
Januar 2023
Herausgeber: Springer
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE)
Januar 2023
Herausgeber: Springer
DOI: | 10.1007/s10664-022-10265-9 |
Datei: |
2022
139.
Runge,
Tobias;
Bordis,
Tabea;
Potanin,
Alex;
Thüm,
Thomas;
Schaefer,
Ina
Flexible Correct-by-Construction Programming
Technical Report arXiv:2205.15180
November 2022
Flexible Correct-by-Construction Programming
Technical Report arXiv:2205.15180
November 2022
DOI: | 10.48550/arXiv.2205.15180 |
Datei: | https://arxiv.org/abs/2211.15261 |
138.
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)
Herausgeber: ACM, New York, NY, USA
November 2022
Classifying Edits to Variability in Source Code
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE)
Herausgeber: ACM, New York, NY, USA
November 2022
DOI: | 10.1145/3540250.3549108 |
Datei: |
137.
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
Herausgeber: Springer
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems
Empirical Software Engineering (EMSE)
November 2022
Herausgeber: Springer
DOI: | 10.1007/s10664-022-10217-3 |
Datei: |
136.
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)
Herausgeber: ACM, New York, NY, USA
Oktober 2022
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Proc. Int'l Conf. on Automated Software Engineering (ASE)
Herausgeber: ACM, New York, NY, USA
Oktober 2022
Datei: |
135.
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)
Herausgeber: IEEE, Washington, DC, USA
Oktober 2022
Quantifying the Variability Mismatch Between Problem and Solution Space
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS)
Herausgeber: IEEE, Washington, DC, USA
Oktober 2022
134.
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)
Herausgeber: IEEE, Piscataway, NJ, USA
Oktober 2022
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own
Proc. Int'l Conf. on Software Maintenance and Evolution (ICSME)
Herausgeber: IEEE, Piscataway, NJ, USA
Oktober 2022
Datei: |
133.
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), Seite 38-41
Herausgeber: ACM, New York, NY, USA
September 2022
Derivation of Subset Product Lines in FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 38-41
Herausgeber: ACM, New York, NY, USA
September 2022
DOI: | 10.1145/3503229.3547033 |
ISBN: | 9781450392068 |
Datei: |
132.
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), Seite 67-78
Herausgeber: ACM, New York, NY, USA
September 2022
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 67-78
Herausgeber: ACM, New York, NY, USA
September 2022
DOI: | 10.1145/3546932.3546990 |
ISBN: | 9781450394437 |
Datei: |
131.
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), Seite 54-57
Herausgeber: ACM, New York, NY, USA
September 2022
ddueruem: A Wrapper for Feature-Model Analysis Tools
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 54-57
Herausgeber: ACM, New York, NY, USA
September 2022
DOI: | 10.1145/3503229.3547032 |
ISBN: | 9781450392068 |
Datei: |
130.
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), Seite 260:1
Herausgeber: ACM, New York, NY, USA
September 2022
Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 260:1
Herausgeber: ACM, New York, NY, USA
September 2022
DOI: | 10.1145/3546932.3547024 |
ISBN: | 9781450394437 |
Datei: |
129.
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), Seite 231-236
Herausgeber: ACM, New York, NY, USA
Juni 2022
Simulating the Evolution of Clone-and-Own Projects with VEVOS
Proc. Int'l Conf. on Evaluation Assessment in Software Engineering (EASE), Seite 231-236
Herausgeber: ACM, New York, NY, USA
Juni 2022
DOI: | 10.1145/3530019.3534084 |
ISBN: | 9781450396134 |
Datei: | https://doi.org/10.1145/3530019.3534084 |
128.
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), Seite 131-150
Herausgeber: Springer, Cham, Switzerland
Juni 2022
Traits: Correctness-by-Construction for Free
Proc. Int'l Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Seite 131-150
Herausgeber: Springer, Cham, Switzerland
Juni 2022
DOI: | 10.1007/978-3-031-08679-3_9 |
ISBN: | 978-3-031-08679-3 |
Datei: |
127.
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
Mai 2022
T-Wise Presence Condition Coverage and Sampling for Configurable Systems
Technical Report arXiv:2205.15180
Mai 2022
DOI: | 10.48550/arXiv.2205.15180 |
Datei: | https://arxiv.org/pdf/2205.15180 |
126.
Runge,
Tobias;
Potanin,
Alex;
Thüm,
Thomas;
Schaefer,
Ina
Traits for Correct-by-Construction Programming
Technical Report arXiv:2204.05644
April 2022
Traits for Correct-by-Construction Programming
Technical Report arXiv:2204.05644
April 2022
Datei: | https://arxiv.org/abs/2204.05644 |
125.
Bittner,
Paul Maximilian;
Schultheiß,
Alexander;
Thüm,
Thomas;
Kehrer,
Timo;
Young,
Jeffrey M.;
Linsbauer,
Lukas
Feature Trace Recording - Summary
Proc. Software Engineering (SE), Seite 19-20
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2022
Feature Trace Recording - Summary
Proc. Software Engineering (SE), Seite 19-20
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2022
DOI: | 10.18420/se2022-ws-002 |
Datei: | https://doi.org/10.18420/se2022-ws-002 |
124.
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
Februar 2022
Guiding the Evolution of Product-Line Configurations
Software and System Modeling (SoSyM) :225-247
Februar 2022
DOI: | https://link.springer.com/article/10.1007/s10270-021-00906-w |
Datei: |
123.
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), Seite 83-84
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2022
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary
Proc. Software Engineering (SE), Seite 83-84
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2022
DOI: | 10.18420/se2022-ws-028 |
Datei: | https://doi.org/10.18420/se2022-ws-028 |
122.
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) (To Appear)
Herausgeber: ACM, New York, NY, USA
2022
Generic Solution-Space Sampling for Multi-Domain Product Lines
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE) (To Appear)
Herausgeber: ACM, New York, NY, USA
2022
2021
121.
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), Seite 101-116
Herausgeber: Springer, Berlin, Heidelberg, Germany
November 2021
Teaching Correctness-by-Construction and Post-Hoc Verification - The Online Experience
Proc. Int'l Workshop and Tutorial on Formal Methods Teaching (FMTea), Seite 101-116
Herausgeber: Springer, Berlin, Heidelberg, Germany
November 2021
DOI: | 10.1007/978-3-030-91550-6_8 |
ISBN: | 978-3-030-91549-0 |
Datei: |
120.
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), Seite 1-12
Herausgeber: IEEE, Washington, DC, USA
Oktober 2021
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), Seite 1-12
Herausgeber: IEEE, Washington, DC, USA
Oktober 2021
DOI: | 10.1109/MODELS50736.2021.00010 |
Datei: |
119.
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), Seite 41-44
Herausgeber: ACM, New York, NY, USA
September 2021
AutoSMP: An Evaluation Platform for Sampling Algorithms
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 41-44
Herausgeber: ACM, New York, NY, USA
September 2021
DOI: | 10.1145/3461002.3473073 |
ISBN: | 9781450384704 |
Datei: |
118.
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), Seite 64-74
Herausgeber: ACM, New York, NY, USA
September 2021
Incremental Construction of Modal Implication Graphs for Evolving Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 64-74
Herausgeber: ACM, New York, NY, USA
September 2021
DOI: | 10.1145/3461001.3471148 |
ISBN: | 9781450384698 |
Datei: |
117.
Thüm,
Thomas
Keynote: Where Are My Constraints and What Do They Constrain?
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite XVIII
Herausgeber: ACM, New York, NY, USA
September 2021
Keynote: Where Are My Constraints and What Do They Constrain?
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite XVIII
Herausgeber: ACM, New York, NY, USA
September 2021
ISBN: | 9781450384698 |
Datei: |
116.
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), Seite 131-135
Herausgeber: ACM, New York, NY, USA
September 2021
On the Scalability of Building Binary Decision Diagrams for Current Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 131-135
Herausgeber: ACM, New York, NY, USA
September 2021
DOI: | 10.1145/3461001.3474452 |
ISBN: | 9781450384698 |
Datei: |
115.
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), Seite 136-147
Herausgeber: ACM, New York, NY, USA
September 2021
Yet Another Textual Variability Language? A Community Effort Towards a Unified Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 136-147
Herausgeber: ACM, New York, NY, USA
September 2021
DOI: | 10.1145/3461001.3471145 |
ISBN: | 9781450384698 |
Datei: |
114.
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), Seite 1007-1020
Herausgeber: ACM, New York, NY, USA
August 2021
Feature Trace Recording
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Seite 1007-1020
Herausgeber: ACM, New York, NY, USA
August 2021
DOI: | 10.1145/3468264.3468531 |
ISBN: | 9781450385626 |
Datei: |
113.
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), Seite 124-129
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2021
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
Proc. Int'l Conf. on Formal Methods in Software Engineering (FormaliSE), Seite 124-129
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2021
DOI: | 10.1109/FormaliSE52586.2021.00018 |
Datei: |
112.
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), Seite 21-25
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2021
Bridging the Gap Between Clone-and-Own and Software Product Lines
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 21-25
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2021
DOI: | 10.1109/ICSE-NIER52604.2021.00013 |
ISBN: | 978-1-6654-0140-1 |
Datei: |
111.
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), Seite 93-94
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2021
Tool Support for Correctness-by-Construction (Extended Abstract)
Proc. Software Engineering (SE), Seite 93-94
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2021
DOI: | 10.18420/SE2021_34 |
Datei: |
110.
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)
Herausgeber: ACM, New York, NY, USA
Februar 2021
Applications of #SAT Solvers on Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2021
DOI: | 10.1145/3442391.3442404 |
ISBN: | 9781450388245 |
Datei: |
109.
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)
Herausgeber: ACM, New York, NY, USA
Februar 2021
Stability of Product-Line Sampling in Continuous Integration
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2021
DOI: | 10.1145/3442391.3442410 |
ISBN: | 9781450388245 |
Datei: |
108.
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), Seite 67-68
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2021
Skill-Based Verification of Cyber-Physical Systems (Extended Abstract)
Proc. Software Engineering (SE), Seite 67-68
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2021
DOI: | 10.18420/SE2021_22 |
Datei: |
107.
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)
Herausgeber: ACM, New York, NY, USA
Februar 2021
Hyper Explanations for Feature-Model Defect Analysis
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2021
DOI: | 10.1145/3442391.3442406 |
ISBN: | 9781450388245 |
Datei: |
2020
106.
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
Seite 122-148
Herausgeber: Springer, Cham, Switzerland
Dezember 2020
122-148
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
Seite 122-148
Herausgeber: Springer, Cham, Switzerland
Dezember 2020
122-148
DOI: | 10.1007/978-3-030-64354-6_5 |
ISBN: | 978-3-030-64354-6 |
Datei: |
105.
Young,
Jeffrey M.;
Walkingshaw,
Eric;
Thüm,
Thomas
Variational Satisfiability Solving
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
Oktober 2020
Variational Satisfiability Solving
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
Oktober 2020
DOI: | 10.1145/3382025.3414965 |
ISBN: | 9781450375696 |
Datei: |
104.
Thüm,
Thomas
A BDD for Linux? The Knowledge Compilation Challenge for Variability
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
Oktober 2020
A BDD for Linux? The Knowledge Compilation Challenge for Variability
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
Oktober 2020
DOI: | 10.1145/3382025.3414943 |
ISBN: | 9781450375696 |
Datei: |
103.
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), Seite 56-64
Herausgeber: ACM, New York, NY, USA
Oktober 2020
GuyDance: Guiding Configuration Updates for Product-Line Evolution
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Seite 56-64
Herausgeber: ACM, New York, NY, USA
Oktober 2020
DOI: | 10.1145/3382026.3425769 |
ISBN: | 9781450375702 |
Datei: |
102.
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), Seite 44-54
Herausgeber: ACM, New York, NY, USA
Oktober 2020
Lattice-Based Information Flow Control-by-Construction for Security-by-Design
Proc. Int'l Conf. on Formal Methods in Software Engineering (FormaliSE), Seite 44-54
Herausgeber: ACM, New York, NY, USA
Oktober 2020
DOI: | 10.1145/3372020.3391565 |
ISBN: | 9781450370714 |
Datei: |
101.
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)
Herausgeber: ACM, New York, NY, USA
Oktober 2020
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)
Herausgeber: ACM, New York, NY, USA
Oktober 2020
DOI: | 10.1145/3382025.3414972 |
ISBN: | 9781450375696 |
Datei: |
100.
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), Seite 388-405
Herausgeber: Springer, Cham, Switzerland
August 2020
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study
Proc. Int'l Workshop on Refinement (REFINE), Seite 388-405
Herausgeber: Springer, Cham, Switzerland
August 2020
DOI: | 10.1007/978-3-030-54997-8_25 |
Datei: |
99.
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), Seite 203-223
Herausgeber: Springer, Berlin, Heidelberg, Germany
April 2020
Skill-Based Verification of Cyber-Physical Systems
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Seite 203-223
Herausgeber: Springer, Berlin, Heidelberg, Germany
April 2020
DOI: | 10.1007/978-3-030-45234-6_10 |
Datei: |
98.
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)
Herausgeber: ACM, New York, NY, USA
Februar 2020
YASA: Yet Another Sampling Algorithm
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
DOI: | 10.1145/3377024.3377042 |
ISBN: | 9781450375016 |
Datei: |
97.
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)
Herausgeber: ACM, New York, NY, USA
Februar 2020
SMT-Based Variability Analyses in FeatureIDE
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
DOI: | 10.1145/3377024.3377036 |
ISBN: | 9781450375016 |
Datei: |
96.
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)
Herausgeber: ACM, New York, NY, USA
Februar 2020
Variational Correctness-by-Construction
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
DOI: | 10.1145/3377024.3377038 |
ISBN: | 9781450375016 |
Datei: |
95.
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)
Herausgeber: ACM, New York, NY, USA
Februar 2020
Evaluating #SAT Solvers on Industrial Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
DOI: | 10.1145/3377024.3377025 |
ISBN: | 9781450375016 |
Datei: |
2019
94.
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), Seite 25
Herausgeber: ACM, New York, NY, USA
September 2019
Feature-Oriented Contract Composition (Extended Abstract)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 25
Herausgeber: ACM, New York, NY, USA
September 2019
DOI: | 10.1145/3336294.3342374 |
ISBN: | 9781450371384 |
Datei: |
93.
Thüm,
Thomas;
Seidl,
Christoph;
Schaefer,
Ina
On Language Levels for Feature Modeling Notations
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Seite 158-161
Herausgeber: ACM, New York, NY, USA
September 2019
On Language Levels for Feature Modeling Notations
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Seite 158-161
Herausgeber: ACM, New York, NY, USA
September 2019
DOI: | 10.1145/3307630.3342404 |
ISBN: | 9781450366687 |
Datei: |
92.
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), Seite 78-83
Herausgeber: ACM, New York, NY, USA
September 2019
Product Sampling for Product Lines: The Scalability Challenge
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 78-83
Herausgeber: ACM, New York, NY, USA
September 2019
DOI: | 10.1145/3336294.3336322 |
ISBN: | 9781450371384 |
Datei: |
91.
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), Seite 57-64
Herausgeber: ACM, New York, NY, USA
September 2019
Towards Efficient Analysis of Variation in Time and Space
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Seite 57-64
Herausgeber: ACM, New York, NY, USA
September 2019
DOI: | 10.1145/3307630.3342414 |
ISBN: | 9781450366687 |
Datei: |
90.
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), Seite 127-144
Herausgeber: Springer, Berlin, Heidelberg, Germany
September 2019
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), Seite 127-144
Herausgeber: Springer, Berlin, Heidelberg, Germany
September 2019
DOI: | 10.1007/978-3-030-30446-1_7 |
Datei: |
89.
Jung,
Reiner;
Märtin,
Lukas;
Johanssen,
Jan Ole;
Paech,
Barbara;
Lochau,
Malte;
Thüm,
Thomas;
Schneider,
Kurt;
Tichy,
Matthias;
Ulbrich,
Mattias
Addressed Challenges
Seite 21-36
Herausgeber: Springer, Cham, Switzerland
Juni 2019
21-36
Addressed Challenges
Seite 21-36
Herausgeber: Springer, Cham, Switzerland
Juni 2019
21-36
DOI: | 10.1007/978-3-030-13499-0_3 |
ISBN: | 978-3-030-13499-0 |
Datei: |
88.
Thüm,
Thomas;
Knüppel,
Alexander;
Krüger,
Stefan;
Bolle,
Stefanie;
Schaefer,
Ina
Feature-Oriented Contract Composition
J. Systems and Software (JSS) :83-107
Juni 2019
Herausgeber: Elsevier Science Inc.
ISSN: 0164-1212
Feature-Oriented Contract Composition
J. Systems and Software (JSS) :83-107
Juni 2019
Herausgeber: Elsevier Science Inc.
ISSN: 0164-1212
DOI: | 10.1016/j.jss.2019.01.044 |
Datei: |
87.
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
Seite 175-206
Herausgeber: Springer, Cham, Switzerland
Juni 2019
175-206
Performance Analysis Strategies for Software Variants and Versions
Seite 175-206
Herausgeber: Springer, Cham, Switzerland
Juni 2019
175-206
DOI: | 10.1007/978-3-030-13499-0_8 |
ISBN: | 978-3-030-13499-0 |
Datei: |
86.
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), Seite 25-42
Herausgeber: Springer, Cham, Switzerland
April 2019
Tool Support for Correctness-by-Construction
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Seite 25-42
Herausgeber: Springer, Cham, Switzerland
April 2019
ISBN: | 978-3-030-16722-6 |
Datei: |
85.
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), Seite 165-166
Herausgeber: Gesellschaft für Informatik
Februar 2019
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY (Extended Abstract)
Proc. Software Engineering (SE), Seite 165-166
Herausgeber: Gesellschaft für Informatik
Februar 2019
DOI: | 10.18420/se2019-51 |
ISBN: | 978-3-88579-686-2 |
Datei: |
84.
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), Seite 77-78
Herausgeber: Gesellschaft für Informatik
Februar 2019
Propagating Configuration Decisions with Modal Implication Graphs (Extended Abstract)
Proc. Software Engineering (SE), Seite 77-78
Herausgeber: Gesellschaft für Informatik
Februar 2019
DOI: | 10.18420/se2019-20 |
ISBN: | 978-3-88579-686-2 |
Datei: |
83.
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
Februar 2019
Herausgeber: Springer
ISSN: 1619-1366
Effective Product-Line Testing Using Similarity-Based Product Prioritization
Software and System Modeling (SoSyM) :499-521
Februar 2019
Herausgeber: Springer
ISSN: 1619-1366
DOI: | 10.1007/s10270-016-0569-2 |
Datei: |
82.
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
Januar 2019
Herausgeber: Elsevier Science Inc.
ISSN: 0164-1212
Retest Test Selection for Product-Line Regression Testing of Variants and Versions of Variants
J. Systems and Software (JSS) :46-63
Januar 2019
Herausgeber: Elsevier Science Inc.
ISSN: 0164-1212
DOI: | 10.1016/j.jss.2018.09.090 |
Datei: |
2018
81.
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), Seite 159-175
Herausgeber: Springer, Cham, Switzerland
November 2018
Scalability of Deductive Verification Depends on Method Call Treatment
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Seite 159-175
Herausgeber: Springer, Cham, Switzerland
November 2018
DOI: | 10.1007/978-3-030-03427-6_15 |
ISBN: | 978-3-030-03426-9 |
Datei: |
80.
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), Seite 53-70
November 2018
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Proc. Workshop on Formal Integrated Development Environment (F-IDE), Seite 53-70
November 2018
DOI: | 10.4204/EPTCS.284.5 |
Datei: |
79.
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), Seite 188-201
Herausgeber: ACM, New York, NY, USA
November 2018
Anomaly Analyses for Feature-Model Evolution
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 188-201
Herausgeber: ACM, New York, NY, USA
November 2018
DOI: | 10.1145/3278122.3278123 |
ISBN: | 978-1-4503-6045-6 |
Datei: |
78.
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), Seite 119-133
Herausgeber: ACM, New York, NY, USA
November 2018
Measuring Effectiveness of Sample-Based Product-Line Testing
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 119-133
Herausgeber: ACM, New York, NY, USA
November 2018
DOI: | 10.1145/3278122.3278130 |
ISBN: | 978-1-4503-6045-6 |
Datei: |
77.
Thüm,
Thomas;
Krieter,
Sebastian;
Schaefer,
Ina
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators
Proc. Configuration Workshop (ConfWS), Seite 1-8
Herausgeber: RWTH Aachen University, Aachen, Germany
September 2018
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators
Proc. Configuration Workshop (ConfWS), Seite 1-8
Herausgeber: RWTH Aachen University, Aachen, Germany
September 2018
Datei: |
76.
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), Seite 299-299
Herausgeber: ACM, New York, NY, USA
September 2018
Clean Your Variable Code with FeatureIDE (Second Edition)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 299-299
Herausgeber: ACM, New York, NY, USA
September 2018
DOI: | 10.1145/3233027.3233053 |
ISBN: | 978-1-4503-6464-5 |
Datei: |
75.
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), Seite 48-51
Herausgeber: ACM, New York, NY, USA
September 2018
Back to the Future: Avoiding Paradoxes in Feature-Model Evolution
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Seite 48-51
Herausgeber: ACM, New York, NY, USA
September 2018
DOI: | 10.1145/3236405.3237201 |
ISBN: | 978-1-4503-5945-0 |
Datei: |
74.
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), Seite 251-256
Herausgeber: ACM, New York, NY, USA
September 2018
Apo-Games: A Case Study for Reverse Engineering Variability from Cloned Java Variants
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 251-256
Herausgeber: ACM, New York, NY, USA
September 2018
DOI: | 10.1145/3233027.3236403 |
ISBN: | 978-1-4503-6464-5 |
Datei: |
73.
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), Seite 1-13
Herausgeber: ACM, New York, NY, USA
September 2018
A Classification of Product Sampling for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 1-13
Herausgeber: ACM, New York, NY, USA
September 2018
DOI: | 10.1145/3233027.3233035 |
ISBN: | 978-1-4503-6464-5 |
Datei: |
72.
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), Seite 342-361
Herausgeber: Springer, Berlin, Heidelberg, Germany
Juli 2018
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY
Proc. Inte'l Conf. on Interactive Theorem Proving (ITP), Seite 342-361
Herausgeber: Springer, Berlin, Heidelberg, Germany
Juli 2018
DOI: | 10.1007/978-3-319-94821-8_20 |
ISBN: | 978-3-319-94820-1 |
Datei: |
71.
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), Seite 898-909
Herausgeber: ACM, New York, NY, USA
Mai 2018
Propagating Configuration Decisions with Modal Implication Graphs
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 898-909
Herausgeber: ACM, New York, NY, USA
Mai 2018
DOI: | 10.1145/3180155.3180159 |
ISBN: | 978-1-4503-5638-1 |
Datei: |
70.
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), Seite 53-54
Herausgeber: Gesellschaft für Informatik
März 2018
Is There a Mismatch between Real-World Feature Models and Product-Line Research? (Extended Abstract)
Proc. Software Engineering (SE), Seite 53-54
Herausgeber: Gesellschaft für Informatik
März 2018
ISBN: | 978-3-88579-673-2 |
Datei: |
69.
Thüm,
Thomas;
Krieter,
Sebastian;
Leich,
Thomas
Feature Modeling and Development with FeatureIDE
Proc. Modellierung, Seite 297-298
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2018
Feature Modeling and Development with FeatureIDE
Proc. Modellierung, Seite 297-298
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2018
ISBN: | 978-3-88579-674-9 |
Datei: |
68.
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), Seite 27-34
Herausgeber: ACM, New York, NY, USA
Februar 2018
175% Modeling for Product-Line Evolution of Domain Artifacts
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 27-34
Herausgeber: ACM, New York, NY, USA
Februar 2018
DOI: | 10.1145/3168365.3168369 |
ISBN: | 978-1-4503-5398-4 |
Datei: |
67.
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), Seite 11-18
Herausgeber: ACM, New York, NY, USA
Februar 2018
Equivalent Mutants in Configurable Systems: An Empirical Study
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 11-18
Herausgeber: ACM, New York, NY, USA
Februar 2018
DOI: | 10.1145/3168365.3168379 |
ISBN: | 978-1-4503-5398-4 |
Datei: |
2017
66.
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), Seite 19-35
Herausgeber: Springer, Cham, Switzerland
November 2017
Modularization of Refinement Steps for Agile Formal Methods
Proc. Int'l Conf. on Formal Engineering Methods (ICFEM), Seite 19-35
Herausgeber: Springer, Cham, Switzerland
November 2017
DOI: | 10.1007/978-3-319-68690-5_2 |
ISBN: | 978-3-319-68690-5 |
Datei: |
65.
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), Seite 291-302
Herausgeber: ACM, New York, NY, USA
September 2017
Is There a Mismatch Between Real-World Feature Models and Product-Line Research?
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Seite 291-302
Herausgeber: ACM, New York, NY, USA
September 2017
DOI: | 10.1145/3106237.3106252 |
ISBN: | 978-1-4503-5105-8 |
Datei: |
64.
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), Seite 42-45
Herausgeber: ACM, New York, NY, USA
September 2017
FeatureIDE: Empowering Third-Party Developers
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 42-45
Herausgeber: ACM, New York, NY, USA
September 2017
DOI: | 10.1145/3109729.3109751 |
ISBN: | 978-1-4503-5119-5 |
Datei: |
63.
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
Juli 2017
ISSN: 2405-8963
Supporting the Development of Interdisciplinary Product Lines in the Manufacturing Domain
World Congress of the International Federation of Automatic Control (IFAC) :4336-4341
Juli 2017
ISSN: 2405-8963
DOI: | 10.1016/j.ifacol.2017.08.870 |
Datei: |
62.
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), Seite 34-40
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2017
Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing
Proc. Int'l Workshop on Variability and Complexity in Software Design (VACE), Seite 34-40
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2017
DOI: | 10.1109/VACE.2017..8 |
ISBN: | 978-1-5386-2803-4 |
Datei: |
61.
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), Seite 129-130
Herausgeber: Gesellschaft für Informatik
Februar 2017
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces
Proc. Software Engineering (SE), Seite 129-130
Herausgeber: Gesellschaft für Informatik
Februar 2017
ISBN: | 978-3-88579-661-9 |
Datei: |
60.
Meinicke,
Jens;
Thüm,
Thomas;
Schröter,
Reimar;
Benduhn,
Fabian;
Leich,
Thomas;
Saake,
Gunter
Mastering Software Variability with FeatureIDE
Herausgeber: Springer, Berlin, Heidelberg, Germany
2017
Mastering Software Variability with FeatureIDE
Herausgeber: Springer, Berlin, Heidelberg, Germany
2017
DOI: | 10.1007/978-3-319-61443-4 |
ISBN: | 978-3-319-61442-7 |
59.
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), Seite 60-67
Herausgeber: ACM, New York, NY, USA
Januar 2017
Optimizing Product Orders Using Graph Algorithms for Improving Incremental Product-line Analysis
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 60-67
Herausgeber: ACM, New York, NY, USA
Januar 2017
DOI: | 10.1145/3023956.3023961 |
ISBN: | 978-1-4503-4811-9 |
Datei: |
2016
58.
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), Seite 18-27
Herausgeber: ACM, New York, NY, USA
Oktober 2016
Implicit Constraints in Partial Feature Models
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Seite 18-27
Herausgeber: ACM, New York, NY, USA
Oktober 2016
DOI: | 10.1145/3001867.3001870 |
ISBN: | 978-1-4503-4647-4 |
Datei: |
57.
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), Seite 173-177
Herausgeber: ACM, New York, NY, USA
Oktober 2016
Tool Demo: Testing Configurable Systems with FeatureIDE
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 173-177
Herausgeber: ACM, New York, NY, USA
Oktober 2016
DOI: | 10.1145/2993236.2993254 |
ISBN: | 978-1-4503-4446-3 |
Datei: |
56.
Thüm,
Thomas
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen
Ausgezeichnete Informatikdissertationen 2015, Seite 299-308
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Oktober 2016
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen
Ausgezeichnete Informatikdissertationen 2015, Seite 299-308
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Oktober 2016
Datei: |
55.
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), Seite 839-855
Herausgeber: Springer, Berlin, Heidelberg, Germany
Oktober 2016
Proof-Carrying Apps: Contract-Based Deployment-Time Verification
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Seite 839-855
Herausgeber: Springer, Berlin, Heidelberg, Germany
Oktober 2016
DOI: | 10.1007/978-3-319-47166-2_58 |
ISBN: | 978-3-319-47166-2 |
Datei: |
54.
Kowal,
Matthias;
Ananieva,
Sofia;
Thüm,
Thomas
Explaining Anomalies in Feature Models
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 132-143
Herausgeber: ACM, New York, NY, USA
Oktober 2016
Explaining Anomalies in Feature Models
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 132-143
Herausgeber: ACM, New York, NY, USA
Oktober 2016
DOI: | 10.1145/2993236.2993248 |
ISBN: | 978-1-4503-4446-3 |
Datei: |
53.
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), Seite 144-155
Herausgeber: ACM, New York, NY, USA
Oktober 2016
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 144-155
Herausgeber: ACM, New York, NY, USA
Oktober 2016
DOI: | 10.1145/2993236.2993253 |
ISBN: | 978-1-4503-4446-3 |
Datei: |
52.
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), Seite 329-332
Herausgeber: ACM, New York, NY, USA
September 2016
Synchronizing Software Variants with VariantSync
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 329-332
Herausgeber: ACM, New York, NY, USA
September 2016
DOI: | 10.1145/2934466.2962726 |
ISBN: | 978-1-4503-4050-2 |
Datei: |
51.
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), Seite 134-143
Herausgeber: ACM, New York, NY, USA
September 2016
Product-Line Maintenance with Emergent Contract Interfaces
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 134-143
Herausgeber: ACM, New York, NY, USA
September 2016
DOI: | 10.1145/2934466.2934471 |
ISBN: | 978-1-4503-4050-2 |
Datei: |
50.
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), Seite 483-494
Herausgeber: ACM, New York, NY, USA
September 2016
On Essential Configuration Complexity: Measuring Interactions In Highly-Configurable Systems
Proc. Int'l Conf. on Automated Software Engineering (ASE), Seite 483-494
Herausgeber: ACM, New York, NY, USA
September 2016
DOI: | 10.1145/2970276.2970322 |
ISBN: | 978-1-4503-3845-5 |
Datei: |
49.
Thüm,
Thomas;
Leich,
Thomas;
Krieter,
Sebastian
Clean Your Variable Code with FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 308-308
Herausgeber: ACM, New York, NY, USA
September 2016
Clean Your Variable Code with FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 308-308
Herausgeber: ACM, New York, NY, USA
September 2016
DOI: | 10.1145/2934466.2956655 |
ISBN: | 978-1-4503-4050-2 |
Datei: |
48.
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), Seite 60-64
Herausgeber: ACM, New York, NY, USA
September 2016
Comparing Algorithms for Efficient Feature-Model Slicing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 60-64
Herausgeber: ACM, New York, NY, USA
September 2016
DOI: | 10.1145/2934466.2934477 |
ISBN: | 978-1-4503-4050-2 |
Datei: |
47.
Kowal,
Matthias;
Ananieva,
Sofia;
Thüm,
Thomas
Explaining Anomalies in Feature Models (Technical Report)
Germany
Technical Report 2016-01
August 2016
Explaining Anomalies in Feature Models (Technical Report)
Germany
Technical Report 2016-01
August 2016
Datei: |
46.
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), Seite 3-19
Herausgeber: Springer, Berlin, Heidelberg, Germany
Juni 2016
Applying Incremental Model Slicing to Product-Line Regression Testing
Proc. Int'l Conf. on Software Reuse (ICSR), Seite 3-19
Herausgeber: Springer, Berlin, Heidelberg, Germany
Juni 2016
DOI: | 10.1007/978-3-319-35122-3_1 |
ISBN: | 978-3-319-35122-3 |
Datei: |
45.
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), Seite 629-632
Herausgeber: ACM, New York, NY, USA
Mai 2016
FeatureIDE: Taming the Preprocessor Wilderness
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 629-632
Herausgeber: ACM, New York, NY, USA
Mai 2016
DOI: | 10.1145/2889160.2889175 |
ISBN: | 978-1-4503-4205-6 |
Datei: |
44.
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), Seite 667-678
Herausgeber: ACM, New York, NY, USA
Mai 2016
Feature-Model Interfaces: The Highway to Compositional Analyses of Highly-Configurable Systems
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 667-678
Herausgeber: ACM, New York, NY, USA
Mai 2016
DOI: | 10.1145/2884781.2884823 |
ISBN: | 978-1-4503-3900-1 |
Datei: |
43.
Schink,
Hagen;
Siegmund,
Janet;
Schröter,
Reimar;
Thüm,
Thomas;
Saake,
Gunter
A Study on Tool Support for Refactoring in Database Applications
Softwaretechnik-Trends
Mai 2016
ISSN: 0720-8928
A Study on Tool Support for Refactoring in Database Applications
Softwaretechnik-Trends
Mai 2016
ISSN: 0720-8928
Datei: |
42.
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
An Efficient Algorithm for Feature-Model Slicing
Germany
Technical Report FIN-001-2016
April 2016
Datei: |
41.
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), Seite 81-88
Herausgeber: ACM, New York, NY, USA
Januar 2016
Mutation Operators for Preprocessor-Based Variability
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 81-88
Herausgeber: ACM, New York, NY, USA
Januar 2016
DOI: | 10.1145/2866614.2866626 |
ISBN: | 978-1-4503-4019-9 |
Datei: |
40.
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
Januar 2016
ISSN: 2352-2208
Variability Encoding: From Compile-Time to Load-Time Variability
J. Logic and Algebraic Methods in Programming (JLAMP) :125-145
Januar 2016
ISSN: 2352-2208
DOI: | 10.1016/j.jlamp.2015.06.007 |
Datei: |
39.
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), Seite 97-104
Herausgeber: ACM, New York, NY, USA
Januar 2016
Variability Hiding in Contracts for Dependent Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 97-104
Herausgeber: ACM, New York, NY, USA
Januar 2016
DOI: | 10.1145/2866614.2866628 |
ISBN: | 978-1-4503-4019-9 |
Datei: |
2015
38.
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), Seite 149-160
Herausgeber: ACM, New York, NY, USA
Oktober 2015
Using Decision Rules for Solving Conflicts in Extended Feature Models
Proc. Int'l Conf. on Software Language Engineering (SLE), Seite 149-160
Herausgeber: ACM, New York, NY, USA
Oktober 2015
ISBN: | 978-1-4503-3686-4 |
Datei: |
37.
Schröter,
Reimar;
Krieter,
Sebastian;
Thüm,
Thomas;
Benduhn,
Fabian;
Saake,
Gunter
Feature-Model Interfaces for Compositional Analyses
Germany
Technical Report FIN-001-2015
Mai 2015
Feature-Model Interfaces for Compositional Analyses
Germany
Technical Report FIN-001-2015
Mai 2015
Datei: |
36.
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), Seite 57-58
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
März 2015
Analysis Strategies for Software Product Lines: A Classification and Survey
Proc. Software Engineering (SE), Seite 57-58
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
März 2015
ISBN: | 978-3-88579-633-6 |
Datei: |
35.
Thüm,
Thomas
Product-Line Specification and Verification with Feature-Oriented Contracts
University of Magdeburg, Germany
Februar 2015
Product-Line Specification and Verification with Feature-Oriented Contracts
University of Magdeburg, Germany
Februar 2015
Datei: |
34.
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), Seite 80:80-80:87
Herausgeber: ACM, New York, NY, USA
Januar 2015
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), Seite 80:80-80:87
Herausgeber: ACM, New York, NY, USA
Januar 2015
DOI: | 10.1145/2701319.2701332 |
ISBN: | 978-1-4503-3273-6 |
Datei: |
2014
33.
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), Seite 94-101
Herausgeber: ACM, New York, NY, USA
September 2014
An Overview on Analysis Tools for Software Product Lines
Proc. Workshop on Software Product Line Analysis Tools (SPLat), Seite 94-101
Herausgeber: ACM, New York, NY, USA
September 2014
DOI: | 10.1145/2647908.2655972 |
ISBN: | 978-1-4503-2739-8 |
Datei: |
32.
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), Seite 102-111
Herausgeber: ACM, New York, NY, USA
September 2014
Feature-Context Interfaces: Tailored Programming Interfaces for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 102-111
Herausgeber: ACM, New York, NY, USA
September 2014
DOI: | 10.1145/2648511.2648522 |
ISBN: | 978-1-4503-2740-4 |
Datei: |
31.
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), Seite 177-186
Herausgeber: ACM, New York, NY, USA
September 2014
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 177-186
Herausgeber: ACM, New York, NY, USA
September 2014
DOI: | 10.1145/2648511.2648530 |
ISBN: | 978-1-4503-2740-4 |
Datei: |
30.
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), Seite 197-206
Herausgeber: ACM, New York, NY, USA
September 2014
Similarity-Based Prioritization in Software Product-Line Testing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 197-206
Herausgeber: ACM, New York, NY, USA
September 2014
DOI: | 10.1145/2648511.2648532 |
ISBN: | 978-1-4503-2740-4 |
Datei: |
29.
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
Juni 2014
Herausgeber: ACM
ISSN: 0360-0300
A Classification and Survey of Analysis Strategies for Software Product Lines
ACM Computing Surveys (CSUR) :6:1-6:45
Juni 2014
Herausgeber: ACM
ISSN: 0360-0300
DOI: | 10.1145/2580950 |
Datei: |
28.
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), Seite 157-168
Herausgeber: ACM, New York, NY, USA
April 2014
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Seite 157-168
Herausgeber: ACM, New York, NY, USA
April 2014
DOI: | 10.1145/2577080.2577084 |
ISBN: | 978-1-4503-2772-5 |
Datei: |
27.
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), Seite 21-24
Herausgeber: ACM, New York, NY, USA
April 2014
Modularizing Crosscutting Contracts with AspectJML
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Seite 21-24
Herausgeber: ACM, New York, NY, USA
April 2014
DOI: | 10.1145/2584469.2584476 |
ISBN: | 978-1-4503-2772-5 |
Datei: |
26.
Thüm,
Thomas
Modular Reasoning for Crosscutting Concerns with Contracts
Proc. Software Engineering (SE), Seite 65-66
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2014
Modular Reasoning for Crosscutting Concerns with Contracts
Proc. Software Engineering (SE), Seite 65-66
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2014
ISBN: | 978-388579-621-3 |
Datei: |
25.
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), Seite 4:1-4:8
Herausgeber: ACM, New York, NY, USA
Januar 2014
A Taxonomy of Software Product Line Reengineering
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 4:1-4:8
Herausgeber: ACM, New York, NY, USA
Januar 2014
DOI: | 10.1145/2556624.2556643 |
ISBN: | 978-1-4503-2556-1 |
Datei: |
24.
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
Januar 2014
ISSN: 0167-6423
FeatureIDE: An Extensible Framework for Feature-Oriented Software Development
Science of Computer Programming (SCP) :70-85
Januar 2014
ISSN: 0167-6423
DOI: | 10.1016/j.scico.2012.06.002 |
Datei: |
2013
23.
Siegmund,
Janet;
Thüm,
Thomas;
Schulze,
Sandro;
Jürgens,
Elmar
Agile Methoden im Softwareprojekt
Jahrestagung der Gesellschaft für Informatik, Seite 234
Herausgeber: Gesellschaft für Informatik
September 2013
Agile Methoden im Softwareprojekt
Jahrestagung der Gesellschaft für Informatik, Seite 234
Herausgeber: Gesellschaft für Informatik
September 2013
ISBN: | 978-3-88579-614-5 |
Datei: |
22.
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
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts (Technical Report)
Orlando, FL, USA
Technical Report CS-TR-13-07
September 2013
Datei: |
21.
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), Seite 96-99
Herausgeber: ACM, New York, NY, USA
August 2013
Towards Modular Analysis of Multi Product Lines
Proc. Int'l Workshop on Multi Product Line Engineering (MultiPLE), Seite 96-99
Herausgeber: ACM, New York, NY, USA
August 2013
DOI: | 10.1145/2499777.2500719 |
ISBN: | 978-1-4503-2325-3 |
Datei: |
20.
Apel,
Sven;
Rhein,
Alexander;
Thüm,
Thomas;
Kästner,
Christian
Feature-Interaction Detection Based on Feature-Based Specifications
Computer Networks :2399-2409
August 2013
Herausgeber: Elsevier North-Holland, Inc.
ISSN: 1389-1286
Feature-Interaction Detection Based on Feature-Based Specifications
Computer Networks :2399-2409
August 2013
Herausgeber: Elsevier North-Holland, Inc.
ISSN: 1389-1286
DOI: | 10.1016/j.comnet.2013.02.025 |
Datei: |
19.
Thüm,
Thomas
Product-Line Verification with Feature-Oriented Contracts
Proc. Int'l Symposium on Software Testing and Analysis (ISSTA), Seite 374-377
Herausgeber: ACM, New York, NY, USA
Juli 2013
Product-Line Verification with Feature-Oriented Contracts
Proc. Int'l Symposium on Software Testing and Analysis (ISSTA), Seite 374-377
Herausgeber: ACM, New York, NY, USA
Juli 2013
DOI: | 10.1145/2483760.2492396 |
ISBN: | 978-1-4503-2159-4 |
Datei: |
18.
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), Seite 1-8
Herausgeber: ACM, New York, NY, USA
Juli 2013
Subclack: Feature-Oriented Programming with Behavioral Feature Interfaces
Proc. Workshop on MechAnisms for SPEcialization, Generalization and inHerItance (MASPEGHI), Seite 1-8
Herausgeber: ACM, New York, NY, USA
Juli 2013
DOI: | 10.1145/2489828.2489829 |
ISBN: | 978-1-4503-2046-7 |
Datei: |
17.
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), Seite 14:1-14:8
Herausgeber: ACM, New York, NY, USA
Januar 2013
The PLA Model: On the Combination of Product-Line Analyses
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 14:1-14:8
Herausgeber: ACM, New York, NY, USA
Januar 2013
DOI: | 10.1145/2430502.2430515 |
ISBN: | 978-1-4503-1541-8 |
Datei: |
16.
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), Seite 9:1-9:5
Herausgeber: ACM, New York, NY, USA
Januar 2013
Automated Analysis of Dependent Feature Models
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 9:1-9:5
Herausgeber: ACM, New York, NY, USA
Januar 2013
DOI: | 10.1145/2430502.2430515 |
ISBN: | 978-1-4503-1541-8 |
Datei: |
2012
15.
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), Seite 11-20
Herausgeber: ACM, New York, NY, USA
September 2012
Family-Based Deductive Verification of Software Product Lines
Proc. Int'l Conf. on Generative Programming and Component Engineering (GPCE), Seite 11-20
Herausgeber: ACM, New York, NY, USA
September 2012
DOI: | 10.1145/2371401.2371404 |
ISBN: | 978-1-4503-1129-8 |
Datei: |
14.
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
Juli 2012
Herausgeber: ACM
ISSN: 1049-331X
Type Checking Annotation-Based Product Lines
Trans. on Software Engineering and Methodology (TOSEM) :14:1-14:39
Juli 2012
Herausgeber: ACM
ISSN: 1049-331X
DOI: | 10.1145/2211616.2211617 |
Datei: |
13.
Thüm,
Thomas
Verification of Software Product Lines Using Contracts
Doktorandentagung Magdeburger-Informatik-Tage (MIT), Seite 75-82
Herausgeber: University of Magdeburg, Germany
Juli 2012
Verification of Software Product Lines Using Contracts
Doktorandentagung Magdeburger-Informatik-Tage (MIT), Seite 75-82
Herausgeber: University of Magdeburg, Germany
Juli 2012
ISBN: | 978-3-940961-73-0 |
Datei: |
12.
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
Analysis Strategies for Software Product Lines
Germany
Technical Report FIN-004-2012
April 2012
Datei: |
11.
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), Seite 255-269
Herausgeber: Springer, Berlin, Heidelberg, Germany
März 2012
Applying Design by Contract to Feature-Oriented Programming
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Seite 255-269
Herausgeber: Springer, Berlin, Heidelberg, Germany
März 2012
DOI: | 10.1007/978-3-642-28872-2_18 |
ISBN: | 978-3-642-28871-5 |
Datei: |
10.
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
März 2012
Secure and Customizable Data Management for Automotive Systems: A Feasibility Study
ISRN Software Engineering
März 2012
DOI: | 10.5402/2012/424230 |
Datei: |
9.
Thüm,
Thomas;
Benduhn,
Fabian
Entwicklung von Softwarevarianten mit FeatureIDE
Eclipse Magazin :94-97
Januar 2012
Entwicklung von Softwarevarianten mit FeatureIDE
Eclipse Magazin :94-97
Januar 2012
8.
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), Seite 73-81
Herausgeber: ACM, New York, NY, USA
Januar 2012
Variant-Preserving Refactoring in Feature-Oriented Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 73-81
Herausgeber: ACM, New York, NY, USA
Januar 2012
DOI: | http://doi.acm.org/10.1145/2110147.2110156 |
Datei: |
2011
7.
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
AutoDaMa: On the Feasibility of Secure and Tailor-made Automotive Data Management
Germany
Technical Report FIN-008-2011
November 2011
Datei: |
6.
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), Seite 191-200
Herausgeber: IEEE, Washington, DC, USA
August 2011
Abstract Features in Feature Modeling
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 191-200
Herausgeber: IEEE, Washington, DC, USA
August 2011
DOI: | 10.1109/SPLC.2011.53 |
ISBN: | 978-0-7695-4487-8 |
Datei: |
5.
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), Seite 7:1-7:8
Herausgeber: ACM, New York, NY, USA
August 2011
Automatic Detection of Feature Interactions Using the Java Modeling Language: An Experience Report
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Seite 7:1-7:8
Herausgeber: ACM, New York, NY, USA
August 2011
DOI: | http://doi.acm.org/10.1145/2019136.2019144 |
ISBN: | 978-1-4503-0789-5 |
Datei: |
4.
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), Seite 270-277
Herausgeber: IEEE, Washington, DC, USA
März 2011
Proof Composition for Deductive Verification of Software Product Lines
Proc. Int'l Workshop on Variability-Intensive Systems Testing, Validation and Verification (VAST), Seite 270-277
Herausgeber: IEEE, Washington, DC, USA
März 2011
DOI: | 10.1109/ICSTW.2011.48 |
Datei: |
3.
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), Seite 11-22
Herausgeber: ACM, New York, NY, USA
Januar 2011
Multi-Dimensional Variability Modeling
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 11-22
Herausgeber: ACM, New York, NY, USA
Januar 2011
Datei: |
2009
2.
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), Seite 611-614
Herausgeber: IEEE, Washington, DC, USA
Mai 2009
FeatureIDE: A Tool Framework for Feature-Oriented Software Development
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 611-614
Herausgeber: IEEE, Washington, DC, USA
Mai 2009
Datei: |
1.
Thüm,
Thomas;
Batory,
Don;
Kästner,
Christian
Reasoning About Edits to Feature Models
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 254-264
Herausgeber: IEEE, Washington, DC, USA
Mai 2009
Reasoning About Edits to Feature Models
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 254-264
Herausgeber: IEEE, Washington, DC, USA
Mai 2009
DOI: | 10.1109/ICSE.2009.5070526 |
ISBN: | 978-1-4244-3453-4 |
Datei: |
2023
59.
L. Güthing,
"Inspecting the Evolution of Feature Annotations in Configurable Software",
Master's Thesis,
University of Ulm,
Germany,
Jan.
2023.
2022
58.
L. Bormann,
"Reverse Engineering Feature-Aware Commits from Software Product-Line Repositories",
Bachelor's Thesis,
University of Ulm,
Germany,
Okt.
2022.
57.
K. Jedelhauser,
"Type-Checking Variability in Clone-and-Own Variants with Product-Line Tooling",
Master's Thesis,
University of Ulm,
Germany,
Sep.
2022.
56.
Y. Heimowski,
"Simplifying Feature Models for Better Scalability of #SAT Solvers",
Bachelor's Thesis,
University of Ulm,
Germany,
Aug.
2022.
55.
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 |
Datei: |
54.
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.
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.
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 |
Datei: |
49.
J. M. Young,
"Variational Satisfiability Solving (PhD Thesis)",
Oregon State University,
USA,
Jun.
2021.
Datei: | 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 |
Datei: |
47.
T. Witschel,
"Analyzing Sampling Stability of Highly Configurable Systems",
Project Thesis,
TU Braunschweig,
Germany,
Mä.
2021.
DOI: | 10.24355/dbbs.084-202201211010-0 |
Datei: |
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 |
Datei: |
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,
Okt.
2020.
43.
D. Engelhardt,
"Towards a Universal Variability Language",
Master's Thesis,
TU Braunschweig,
Germany,
Aug.
2020.
DOI: | 10.24355/dbbs.084-202008211051-0 |
Datei: |
42.
C. Sundermann,
"Applications of #SAT Solvers on Product Lines",
Master's Thesis,
TU Braunschweig,
Germany,
Aug.
2020.
DOI: | 10.24355/dbbs.084-202009161329-0 |
Datei: |
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 |
Datei: |
40.
J. Sprey,
"Automated Comparison of Product Sampling Algorithms",
Master's Thesis,
TU Braunschweig,
Germany,
Aug.
2020.
DOI: | 10.24355/dbbs.084-202009211318-0 |
Datei: |
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 |
Datei: |
2019
38.
C. Sundermann,
"Evaluating #SAT-Solvers on Industrial Feature Models",
Project Thesis,
TU Braunschweig,
Germany,
Dez.
2019.
Datei: |
37.
J. Sprey,
"SMT-Based Variability Analyses in FeatureIDE (Project Thesis)",
Project Thesis,
TU Braunschweig,
Germany,
Dez.
2019.
Datei: |
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,
Mä.
2019.
Datei: |
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 |
Datei: |
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 |
Datei: |
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 |
Datei: |
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 |
Datei: |
2017
31.
C. Sontag,
"VariantSync: Automating the Synchronization of Software Variants",
Project Thesis,
TU Braunschweig,
Germany,
Dez.
2017.
Datei: | https://www.youtube.com/watch?v=JMIDvWYvaR0&list=PLBZnGZWZgEBZ8Me6WDQGdQRg438_Z4sl_&index=2 |
30.
C. I. P. (Burmeister),
"Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY",
Master's Thesis,
TU Braunschweig,
Germany,
Dez.
2017.
29.
T. Günther,
"Explaining Satisfiability Queries for Software Product Lines",
Master's Thesis,
TU Braunschweig,
Germany,
Nov.
2017.
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 |
Datei: |
27.
C. I. Burmeister,
"On the Scalability of Contracting and Inlining for Deductive Verification",
Project Thesis,
TU Braunschweig,
Germany,
Mä.
2017.
26.
S. Bolle,
"Automating Deductive Verification of Software Product Lines",
Project Thesis,
TU Braunschweig,
Germany,
Mä.
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 |
Datei: |
2016
24.
T. Günther,
"Visual Explanation of Defects in Feature Diagrams",
Project Thesis,
TU Braunschweig,
Germany,
Dez.
2016.
Datei: | 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 |
Datei: |
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 |
Datei: |
21.
C. Sontag,
"FeatFork: Feature Tracking in Preprocessor-Based Forks",
Bachelor's Thesis,
TU Braunschweig,
Germany,
Mai
2016.
20.
V. Menzel,
"Metaanalyse zu Strategien für die formale Verifikation von Software-Produktlinien",
Master's Thesis,
TU Braunschweig,
Germany,
Feb.
2016.
Datei: |
19.
T. Pfofe,
"Automating the Synchronization of Software Variants",
Master's Thesis,
University of Magdeburg,
Germany,
Jan.
2016.
Datei: |
2015
18.
S. Krieter,
"Efficient Configuration of Large-Scale Feature Models Using Extended Implication Graphs",
Master's Thesis,
University of Magdeburg,
Germany,
Okt.
2015.
Datei: |
2014
17.
J. Meinicke,
"VarexJ: A Variability-Aware Interpreter for Java Applications",
Master's Thesis,
University of Magdeburg,
Germany,
Dez.
2014.
Datei: |
16.
S. Krüger,
"Product-Line Verification with Abstract Contracts",
Master's Thesis,
University of Magdeburg,
Germany,
Dez.
2014.
Datei: |
15.
F. Benduhn,
"Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques",
Master's Thesis,
University of Magdeburg,
Germany,
Apr.
2014.
Datei: |
14.
F. Proksch and
S. Krüger,
"Tool Support for Contracts in FeatureIDE",
Project Thesis,
University of Magdeburg,
Germany,
Apr.
2014.
Datei: |
13.
M. Praast,
"Effiziente Kodierung von Variabilität in Spezifikationen",
Master's Thesis,
University of Magdeburg,
Germany,
Mä.
2014.
Datei: |
2013
12.
A. Weigelt,
"Methoden-basierte Komposition von Kontrakten in Feature-orientierter Programmierung",
Bachelor's Thesis,
University of Magdeburg,
Germany,
Aug.
2013.
Datei: |
11.
D. Broneske,
"On the Impact of Hardware on Relational Join Processing",
Master's Thesis,
University of Magdeburg,
Germany,
Aug.
2013.
Datei: |
10.
J. Meinicke,
"JML-Based Verification for Feature-Oriented Programming",
Bachelor's Thesis,
University of Magdeburg,
Germany,
Mai
2013.
Datei: |
9.
L. Luo,
"Synchronisierung von Software-Varianten mit VariantSync",
Master's Thesis,
University of Magdeburg,
Germany,
Jan.
2013.
Datei: |
2012
8.
F. Benduhn,
"Contract-Aware Feature Composition",
Bachelor's Thesis,
University of Magdeburg,
Germany,
Okt.
2012.
Datei: |
7.
D. Lüddecke,
"Extraktion von Feature-Modellen aus Implementierungsartefakten",
Master's Thesis,
University of Magdeburg,
Germany,
Okt.
2012.
Datei: |
6.
I. Schröter,
"Modulare Integration von konfigurierbaren Transaktionsmechanismen in Cloud-basierte Datenspeichersysteme",
Master's Thesis (Diplomarbeit),
University of Magdeburg,
Germany,
Sep.
2012.
Datei: |
5.
S. Holthusen,
"Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE",
Master's Thesis,
University of Magdeburg,
Germany,
Jul.
2012.
Datei: |
4.
R. Schröter,
"Automatisierte Analysen der Modellierung von Multiproduktlinien in VELVET",
Master's Thesis,
University of Magdeburg,
Germany,
Apr.
2012.
Datei: |
3.
S. Haase,
"A Program Slicing Approach to Feature Identification in Legacy C Code",
Master's Thesis (Diplomarbeit),
University of Magdeburg,
Germany,
Feb.
2012.
Datei: |
2011
2.
C. Mewes,
"Migration von Subversion nach Mercurial und Einsatz dezentraler Versionskontrolle in Unternehmen",
Bachelor's Thesis,
University of Magdeburg,
Germany,
Aug.
2011.
Datei: |
1.
C. Adler,
"Optional Composition - A Solution to the Optional Feature Problem?",
Master's Thesis,
University of Magdeburg,
Germany,
Feb.
2011.
Datei: |