Supervised Bachelor Theses, Master Theses and Diploma Theses
2023
368.
Moosherr,
Benjamin
Constructing Variation Diffs Using Tree Diffing Algorithms
Bachelor's Thesis
University of Ulm, Germany
April 2023
Constructing Variation Diffs Using Tree Diffing Algorithms
Bachelor's Thesis
University of Ulm, Germany
April 2023
367.
Maier,
Jannis
Code Clones in Scientific Software: A Case Study on Ray-UI
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
February 2023
Code Clones in Scientific Software: A Case Study on Ray-UI
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
February 2023
366.
Klier,
Daniel
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
February 2023
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
February 2023
365.
Jellinek,
Angelina
Inkrementelle Extraktion von Feature-Mappings
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
February 2023
Inkrementelle Extraktion von Feature-Mappings
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
February 2023
364.
Koepke,
Ole
Patching with Matching in Clone-and-Own
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
February 2023
Patching with Matching in Clone-and-Own
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
February 2023
363.
Licha,
Lars
Cutting Edge T-Wise Sampling with ddnnife
Bachelor's Thesis
University of Ulm, Germany
January 2023
Cutting Edge T-Wise Sampling with ddnnife
Bachelor's Thesis
University of Ulm, Germany
January 2023
362.
Güthing,
Lukas
Inspecting the Evolution of Feature Annotations in Configurable Software
Master's Thesis
University of Ulm, Germany
January 2023
Inspecting the Evolution of Feature Annotations in Configurable Software
Master's Thesis
University of Ulm, Germany
January 2023
361.
Langenbucher,
Eric
The Impact of Static Variable Ordering on Building BDDs for Real-World Feature Models
Master's Thesis
University of Ulm, Germany
January 2023
The Impact of Static Variable Ordering on Building BDDs for Real-World Feature Models
Master's Thesis
University of Ulm, Germany
January 2023
2022
360.
Ostheimer,
Lukas
Identification of Variance Driving Features in Feature Models
Bachelor's Thesis
University of Ulm, Germany
December 2022
Identification of Variance Driving Features in Feature Models
Bachelor's Thesis
University of Ulm, Germany
December 2022
359.
Vill,
Stefan
Language Levels for the Universal Variability Language: An Extension Mechanism and Conversion Strategies
Bachelor's Thesis
University of Ulm, Germany
November 2022
Language Levels for the Universal Variability Language: An Extension Mechanism and Conversion Strategies
Bachelor's Thesis
University of Ulm, Germany
November 2022
358.
Brancaccio,
Vincenzo
A Systematic Literature Review Towards a Representative Feature-Model Benchmark
Master's Thesis
University of Ulm, Germany
November 2022
A Systematic Literature Review Towards a Representative Feature-Model Benchmark
Master's Thesis
University of Ulm, Germany
November 2022
| DOI: | 10.18725/OPARU-46759 |
| File: | http://dx.doi.org/10.18725/OPARU-46759 |
357.
Wilke,
Sebastian
Simulating Variant Drift in Product-Line Variants Using AST-Based Refactoring
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
November 2022
Simulating Variant Drift in Product-Line Variants Using AST-Based Refactoring
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
November 2022
356.
Böhm,
Sabrina
Identification of Feature Interactions Through Combinatorial Interaction Analysis
Master's Thesis
University of Ulm, Germany
October 2022
Identification of Feature Interactions Through Combinatorial Interaction Analysis
Master's Thesis
University of Ulm, Germany
October 2022
| DOI: | 10.18725/OPARU-47319 |
| File: |  https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/47395/thesis_boehm.pdf |
355.
Bormann,
Lukas
Reverse Engineering Feature-Aware Commits from Software Product-Line Repositories
Bachelor's Thesis
University of Ulm, Germany
October 2022
Reverse Engineering Feature-Aware Commits from Software Product-Line Repositories
Bachelor's Thesis
University of Ulm, Germany
October 2022
| DOI: | 10.18725/OPARU-47892 |
| File: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/47968/Thesis_Bormann.pdf |
354.
Jedelhauser,
Kevin
Type-Checking Variability in Clone-and-Own Variants with Product-Line Tooling
Master's Thesis
University of Ulm, Germany
September 2022
Type-Checking Variability in Clone-and-Own Variants with Product-Line Tooling
Master's Thesis
University of Ulm, Germany
September 2022
353.
Lukas,
Marc
A Survey of BDD-Based Tools For Points-To Analysis
Bachelor's Thesis
University of Ulm, Germany
August 2022
A Survey of BDD-Based Tools For Points-To Analysis
Bachelor's Thesis
University of Ulm, Germany
August 2022
352.
Heimowski,
Yvonne
Simplifying Feature Models for Better Scalability of #SAT Solvers
Bachelor's Thesis
University of Ulm, Germany
August 2022
Simplifying Feature Models for Better Scalability of #SAT Solvers
Bachelor's Thesis
University of Ulm, Germany
August 2022
351.
Krieter,
Sebastian
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Magdeburg, Germany
June 2022
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Magdeburg, Germany
June 2022
| DOI: | 10.25673/92625 |
| File: | https://opendata.uni-halle.de//handle/1981185920/94577 |
350.
Berndt,
Luca
Investigating Conflict Scenarios During Change-Propagation in Managed Clone-and-Own
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
June 2022
Investigating Conflict Scenarios During Change-Propagation in Managed Clone-and-Own
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
June 2022
349.
Störmer,
Karl
T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling
Master's Thesis
TU Braunschweig, Germany
May 2022
T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling
Master's Thesis
TU Braunschweig, Germany
May 2022
348.
Hohmann,
Daniel
Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
Master's Thesis
University of Magdeburg, Germany
May 2022
Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
Master's Thesis
University of Magdeburg, Germany
May 2022
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/Hohmann2022:MasterThesis.pdf |
347.
Kittelmann,
Alexander
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
TU Braunschweig, Braunschweig, Germany
February 2022
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
TU Braunschweig, Braunschweig, Germany
February 2022
| DOI: | 10.24355/dbbs.084-202204121019-0 |
| File: | https://leopard.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00049280/Diss_Kittelmann_Alexander.pdf |
346.
Jurinka,
Philipp
Implementation of an Algorithm for Semantic Clone Detection in Prolog
Bachelorarbeit
Universität Ulm
January 2022
Implementation of an Algorithm for Semantic Clone Detection in Prolog
Bachelorarbeit
Universität Ulm
January 2022
345.
Raab,
Heiko
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor's Thesis
University of Ulm, Germany
January 2022
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor's Thesis
University of Ulm, Germany
January 2022
| DOI: | 10.18725/OPARU-43414 |
| File: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/43490/Thesis_RaabHeiko.pdf |
344.
Döring,
Jacob
Cherry-Picking in Practice
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
January 2022
Cherry-Picking in Practice
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
January 2022