Supervised Bachelor Theses, Master Theses and Diploma Theses
2023
364.
Schmid,
Manuel
Utilising general purpose language features to implement a seamless graph querying library
Master
University of Ulm, Germany
2023
Utilising general purpose language features to implement a seamless graph querying library
Master
University of Ulm, Germany
2023
2022
363.
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
362.
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 |
361.
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
| DOI: | 10.18725/OPARU-47708 |
| File: |  https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/47784/thesis_vill.pdf |
360.
Vauranchuk,
Nina
Parametrized Stochastic Timed Attack-Fault Trees
Bachelor
University of Ulm, Germany
November 2022
Parametrized Stochastic Timed Attack-Fault Trees
Bachelor
University of Ulm, Germany
November 2022
359.
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
358.
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 |
357.
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 |
356.
Duft,
Sean
Incremental Construction of Binary Decision Diagrams for Feature Model Histories
Master
University of Ulm, Germany
September 2022
Incremental Construction of Binary Decision Diagrams for Feature Model Histories
Master
University of Ulm, Germany
September 2022
355.
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
354.
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
353.
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
352.
Krieter,
Sebastian
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Germany
June 2022
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Germany
June 2022
| DOI: | 10.25673/92625 |
| File: | https://opendata.uni-halle.de//handle/1981185920/94577 |
351.
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
350.
Hohmann,
Daniel
Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
Master's Thesis
University of Magdeburg, Germany
June 2022
Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
Master's Thesis
University of Magdeburg, 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.
Kramer,
Linus
Sensor Fusion Based on Recurrent Neural Networks for Indoor Navigation
Master
University of Ulm, Germany
April 2022
Sensor Fusion Based on Recurrent Neural Networks for Indoor Navigation
Master
University of Ulm, Germany
April 2022
347.
Kittelmann,
Alexander
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
TU Braunschweig, Germany
February 2022
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
TU 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.
Schiessl,
Dominik
An Incremental #SAT Solver for Efficient Analysis of Feature Models
Master's Thesis
University of Ulm, Germany
January 2022
An Incremental #SAT Solver for Efficient Analysis of Feature Models
Master's Thesis
University of Ulm, Germany
January 2022
345.
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
344.
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 |
343.
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
342.
Sihler,
Florian
One-way Model Transformations
Bachelorarbeit
Universität Ulm
January 2022
One-way Model Transformations
Bachelorarbeit
Universität Ulm
January 2022
| DOI: | 10.18725/OPARU-47275 |
341.
Kistner,
Konstantin
Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
January 2022
Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
January 2022
2021
340.
Funk,
Lenard
Enhancing comprehensibility of model evolution in collaborative modeling environment
Masterarbeit
Universität Ulm
December 2021
Enhancing comprehensibility of model evolution in collaborative modeling environment
Masterarbeit
Universität Ulm
December 2021