Supervised Bachelor Theses, Master Theses and Diploma Theses
2023
372.
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
371.
Edlhuber,
Jonas
Planning of coordinated Reconfigurations in cloud-native Systems -- From State Graph to Decision Tree
Bachelor
University of Ulm, Germany
September 2023
Planning of coordinated Reconfigurations in cloud-native Systems -- From State Graph to Decision Tree
Bachelor
University of Ulm, Germany
September 2023
370.
Kunz,
Alexander
Provenance Tracking in Python for ROS
Bachelor
University of Ulm, Germany
June 2023
Provenance Tracking in Python for ROS
Bachelor
University of Ulm, Germany
June 2023
369.
Lamers,
Jan-Philipp
Runtime Scalability Analysis and Profiling of the AlDeSCo Algorithm Detection System
Bachelor
University of Ulm, Germany
December 2023
Runtime Scalability Analysis and Profiling of the AlDeSCo Algorithm Detection System
Bachelor
University of Ulm, Germany
December 2023
368.
Jutz,
Benedikt
Textual Queries for Graphical Roadmap Models with Edit History
Master
University of Ulm. Germany
December 2023
Textual Queries for Graphical Roadmap Models with Edit History
Master
University of Ulm. Germany
December 2023
367.
Denzel,
Christoph
The Essence of the Mergesort, Ford-Fulkerson and a Subset of the Raft Algorithm
Bachelor
University of Ulm, Germany
October 2023
The Essence of the Mergesort, Ford-Fulkerson and a Subset of the Raft Algorithm
Bachelor
University of Ulm, Germany
October 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
July 2023
The Essence of the Ternary Search, Depth-First Search and a Subset of the Raft Algorithm
Bachelor
University of Ulm, Germany
July 2023
365.
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
364.
Schmid,
Manuel
Utilising general purpose language features to implement a seamless graph querying library
Master
University of Ulm, Germany
July 2023
Utilising general purpose language features to implement a seamless graph querying library
Master
University of Ulm, Germany
July 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.
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
359.
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 |
358.
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 |
357.
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
356.
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
355.
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
354.
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 |
353.
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
352.
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 |
351.
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
350.
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 |
349.
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
348.
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