Supervised Bachelor Theses, Master Theses and Diploma Theses
2023
358.
Klier,
Daniel
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Februar 2023
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Februar 2023
357.
Langenbucher,
Eric
The Impact of Static Variable Ordering on Building BDDs for Real-World Feature Models
Master's Thesis
University of Ulm, Germany
Januar 2023
The Impact of Static Variable Ordering on Building BDDs for Real-World Feature Models
Master's Thesis
University of Ulm, Germany
Januar 2023
356.
Licha,
Lars
Cutting Edge T-Wise Sampling with ddnnife
Bachelor's Thesis
University of Ulm, Germany
Januar 2023
Cutting Edge T-Wise Sampling with ddnnife
Bachelor's Thesis
University of Ulm, Germany
Januar 2023
355.
Güthing,
Lukas
Inspecting the Evolution of Feature Annotations in Configurable Software
Master's Thesis
University of Ulm, Germany
Januar 2023
Inspecting the Evolution of Feature Annotations in Configurable Software
Master's Thesis
University of Ulm, Germany
Januar 2023
2022
354.
Ostheimer,
Lukas
Identification of Variance Driving Features in Feature Models
Bachelor's Thesis
University of Ulm, Germany
Dezember 2022
Identification of Variance Driving Features in Feature Models
Bachelor's Thesis
University of Ulm, Germany
Dezember 2022
353.
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
352.
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 |
Datei: | http://dx.doi.org/10.18725/OPARU-46759 |
351.
Böhm,
Sabrina
Identification of Feature Interactions Through Combinatorial Interaction Analysis
Master's Thesis
University of Ulm, Germany
Oktober 2022
Identification of Feature Interactions Through Combinatorial Interaction Analysis
Master's Thesis
University of Ulm, Germany
Oktober 2022
DOI: | 10.18725/OPARU-47319 |
Datei: |
350.
Bormann,
Lukas
Reverse Engineering Feature-Aware Commits from Software Product-Line Repositories
Bachelor's Thesis
University of Ulm, Germany
Oktober 2022
Reverse Engineering Feature-Aware Commits from Software Product-Line Repositories
Bachelor's Thesis
University of Ulm, Germany
Oktober 2022
349.
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
348.
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
347.
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
346.
Krieter,
Sebastian
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Germany
Juni 2022
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Germany
Juni 2022
DOI: | 10.25673/92625 |
Datei: | https://opendata.uni-halle.de//handle/1981185920/94577 |
345.
Störmer,
Karl
T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling
Master's Thesis
TU Braunschweig, Germany
Mai 2022
T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling
Master's Thesis
TU Braunschweig, Germany
Mai 2022
344.
Hohmann,
Daniel
Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
Master's Thesis
University of Magdeburg, Germany
Mai 2022
Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
Master's Thesis
University of Magdeburg, Germany
Mai 2022
Datei: |
343.
Schiessl,
Dominik
An Incremental #SAT Solver for Efficient Analysis of Feature Models
Master's Thesis
University of Ulm, Germany
Januar 2022
An Incremental #SAT Solver for Efficient Analysis of Feature Models
Master's Thesis
University of Ulm, Germany
Januar 2022
342.
Raab,
Heiko
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor's Thesis
University of Ulm, Germany
Januar 2022
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor's Thesis
University of Ulm, Germany
Januar 2022
DOI: | 10.18725/OPARU-43414 |
Datei: |
341.
Jurinka,
Philipp
Implementation of an Algorithm for Semantic Clone Detection in Prolog
Bachelorarbeit
Universität Ulm
Januar 2022
Implementation of an Algorithm for Semantic Clone Detection in Prolog
Bachelorarbeit
Universität Ulm
Januar 2022
340.
Sihler,
Florian
One-way Model Transformations
Bachelorarbeit
Universität Ulm
Januar 2022
One-way Model Transformations
Bachelorarbeit
Universität Ulm
Januar 2022
339.
Kistner,
Konstantin
Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Januar 2022
Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Januar 2022
2021
338.
Funk,
Lenard
Enhancing comprehensibility of model evolution in collaborative modeling environment
Masterarbeit
Universität Ulm
Dezember 2021
Enhancing comprehensibility of model evolution in collaborative modeling environment
Masterarbeit
Universität Ulm
Dezember 2021
337.
Witschel,
Tim
Generating Optimized Samples with Attributed Feature Models
Master's Thesis
TU Braunschweig, Germany
November 2021
Generating Optimized Samples with Attributed Feature Models
Master's Thesis
TU Braunschweig, Germany
November 2021
336.
Wiebe,
Annika
A Runtime Environment for Constraint Handling Rules in Kotlin
Bachelorarbeit
Universität Ulm
Oktober 2021
A Runtime Environment for Constraint Handling Rules in Kotlin
Bachelorarbeit
Universität Ulm
Oktober 2021
335.
Beaucamp,
Luis
Using Graph Queries to Enable Runtime Monitoring in Robotic Applications
Masterarbeit
Universität Ulm
Oktober 2021
Using Graph Queries to Enable Runtime Monitoring in Robotic Applications
Masterarbeit
Universität Ulm
Oktober 2021
334.
Tschada,
Marcel
Generating Taxonomies of Feature-Model Anomalies
Bachelor's Thesis
TU Braunschweig, Germany
September 2021
Generating Taxonomies of Feature-Model Anomalies
Bachelor's Thesis
TU Braunschweig, Germany
September 2021