Supervised Bachelor Theses, Master Theses and Diploma Theses
2023
367.
Denzel,
Christoph
The Essence of the Mergesort, Ford-Fulkerson and a Subset of the Raft Algorithm
Bachelor
University of Ulm, Germany
Oktober 2023
The Essence of the Mergesort, Ford-Fulkerson and a Subset of the Raft Algorithm
Bachelor
University of Ulm, Germany
Oktober 2023
366.
Nohr,
Julian
The Essence of the Ternary Search, Depth-First Search and a Subset of the Raft Algorithm
Bachelor
University of Ulm, Germany
Juli 2023
The Essence of the Ternary Search, Depth-First Search and a Subset of the Raft Algorithm
Bachelor
University of Ulm, Germany
Juli 2023
365.
Langenbucher,
Eric
The Impact of Static Variable Ordering on Building BDDs for Real-World Feature Models
Master
University of Ulm, Germany
Januar 2023
The Impact of Static Variable Ordering on Building BDDs for Real-World Feature Models
Master
University of Ulm, Germany
Januar 2023
364.
Schmid,
Manuel
Utilising general purpose language features to implement a seamless graph querying library
Master
University of Ulm, Germany
Juli 2023
Utilising general purpose language features to implement a seamless graph querying library
Master
University of Ulm, Germany
Juli 2023
2022
363.
Ostheimer,
Lukas
Identification of Variance Driving Features in Feature Models
Bachelor
University of Ulm, Germany
Dezember 2022
Identification of Variance Driving Features in Feature Models
Bachelor
University of Ulm, Germany
Dezember 2022
362.
Brancaccio,
Vincenzo
A Systematic Literature Review Towards a Representative Feature-Model Benchmark
Master
University of Ulm, Germany
November 2022
A Systematic Literature Review Towards a Representative Feature-Model Benchmark
Master
University of Ulm, Germany
November 2022
| DOI: | 10.18725/OPARU-46759 |
| Datei: | http://dx.doi.org/10.18725/OPARU-46759 |
361.
Vill,
Stefan
Language Levels for the Universal Variability Language: An Extension Mechanism and Conversion Strategies
Bachelor
University of Ulm, Germany
November 2022
Language Levels for the Universal Variability Language: An Extension Mechanism and Conversion Strategies
Bachelor
University of Ulm, Germany
November 2022
| DOI: | 10.18725/OPARU-47708 |
| Datei: |  https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/47784/thesis_vill.pdf |
360.
Wilke,
Sebastian
Simulating Variant Drift in Product-Line Variants Using AST-Based Refactoring
Bachelor
Humboldt-Universität zu Berlin, Germany
November 2022
Simulating Variant Drift in Product-Line Variants Using AST-Based Refactoring
Bachelor
Humboldt-Universität zu Berlin, Germany
November 2022
359.
Böhm,
Sabrina
Identification of Feature Interactions Through Combinatorial Interaction Analysis
Master
University of Ulm, Germany
Oktober 2022
Identification of Feature Interactions Through Combinatorial Interaction Analysis
Master
University of Ulm, Germany
Oktober 2022
| DOI: | 10.18725/OPARU-47319 |
| Datei: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/47395/thesis_boehm.pdf |
358.
Bormann,
Lukas
Reverse Engineering Feature-Aware Commits From Software Product-Line Repositories
Bachelor
University of Ulm, Germany
Oktober 2022
Reverse Engineering Feature-Aware Commits From Software Product-Line Repositories
Bachelor
University of Ulm, Germany
Oktober 2022
| DOI: | 10.18725/OPARU-47892 |
| Datei: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/47968/Thesis_Bormann.pdf |
357.
Jedelhauser,
Kevin
Type-Checking Variability in Clone-and-Own Variants With Product-Line Tooling
Master
University of Ulm, Germany
September 2022
Type-Checking Variability in Clone-and-Own Variants With Product-Line Tooling
Master
University of Ulm, Germany
September 2022
356.
Lukas,
Marc
A Survey of BDD-Based Tools for Points-To Analysis
Bachelor
University of Ulm, Germany
August 2022
A Survey of BDD-Based Tools for Points-To Analysis
Bachelor
University of Ulm, Germany
August 2022
355.
Heimowski,
Yvonne
Simplifying Feature Models for Better Scalability of #SAT Solvers
Bachelor
University of Ulm, Germany
August 2022
Simplifying Feature Models for Better Scalability of #SAT Solvers
Bachelor
University of Ulm, Germany
August 2022
354.
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 |
353.
Berndt,
Luca
Investigating Conflict Scenarios During Change-Propagation in Managed Clone-and-Own
Bachelor
Humboldt-Universität zu Berlin, Germany
Juni 2022
Investigating Conflict Scenarios During Change-Propagation in Managed Clone-and-Own
Bachelor
Humboldt-Universität zu Berlin, Germany
Juni 2022
352.
Hohmann,
Daniel
Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
Master
University of Magdeburg, Germany
Mai 2022
Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
Master
University of Magdeburg, Germany
Mai 2022
| Datei: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/Hohmann2022:MasterThesis.pdf |
351.
Störmer,
Karl
T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling
Master
TU Braunschweig, Germany
Mai 2022
T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling
Master
TU Braunschweig, Germany
Mai 2022
350.
Kittelmann,
Alexander
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
TU Braunschweig, Germany
Februar 2022
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
TU Braunschweig, Germany
Februar 2022
| DOI: | 10.24355/dbbs.084-202204121019-0 |
| Datei: | https://leopard.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00049280/Diss_Kittelmann_Alexander.pdf |
349.
Schiessl,
Dominik
An Incremental #SAT Solver for Efficient Analysis of Feature Models
Master
University of Ulm, Germany
Januar 2022
An Incremental #SAT Solver for Efficient Analysis of Feature Models
Master
University of Ulm, Germany
Januar 2022
348.
Döring,
Jacob
Cherry-Picking in Practice
Bachelor
Humboldt-Universität zu Berlin, Germany
Januar 2022
Cherry-Picking in Practice
Bachelor
Humboldt-Universität zu Berlin, Germany
Januar 2022
347.
Raab,
Heiko
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor
University of Ulm, Germany
Januar 2022
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor
University of Ulm, Germany
Januar 2022
| DOI: | 10.18725/OPARU-43414 |
| Datei: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/43490/Thesis_RaabHeiko.pdf |
346.
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
345.
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
344.
Sihler,
Florian
One-way Model Transformations
Bachelorarbeit
Universität Ulm
Januar 2022
One-way Model Transformations
Bachelorarbeit
Universität Ulm
Januar 2022
343.
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