Supervised Bachelor Theses, Master Theses and Diploma Theses

2021

329.
Delxen, Xavier-Walton
Automatic tracking of usability issues: A tracking and detection software for usability issues
Bachelorarbeit
Universität Ulm
January 2021
328.
Arens, Rahel
Incremental Construction of Modal Implication Graphs for Feature-Model Evolution
Bachelor
TU Braunschweig, Germany
January 2021
DOI:10.24355/dbbs.084-202107050823-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00048313/Arens_Rahel_Bachelorarbeit_4570828.pdf

2020

327.
Haas, Yves
Interview Study about the advantages and disadvantages of model transformation languages
Bachelorarbeit
Universität Ulm
December 2020
326.
Heß, Tobias
Binary Decision Diagrams for the Analysis of Large Feature Models
Master
University of Ulm, Germany
November 2020
325.
Lappe, Hannah
Development and Evaluation of a Metamodel to Define Modeling Syntaxes for CouchEdit
Bachelorarbeit
Universität Ulm
November 2020
324.
Bückle, Fabian
Evaluating the Usability of State Chart Tools
Masterarbeit
Universität Ulm
November 2020
323.
Mund, Niklas
Continuous T-Wise Coverage
Master
TU Braunschweig, Germany
October 2020
322.
Birnkammer, Thomas
Recommending Model Transformations from User Changes and Typical Model Transformations
Masterarbeit
Universität Ulm
September 2020
320.
Sprey, Joshua
Automated Comparison of Product Sampling Algorithms
Master
TU Braunschweig, Germany
August 2020
DOI:10.24355/dbbs.084-202009211318-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047730/Sprey_Masterthesis.pdf
319.
Westphal, Paul
Deriving Subset Software Product Lines Using Partial Configurations With FeatureIDE
Bachelor
TU Braunschweig, Germany
August 2020
DOI:10.24355/dbbs.084-202011201423-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047852/Westphal_thesis.pdf
318.
Lollert, Jannic
The Impact of Vertical Hierarchization Representation on Diagram Understandability
Masterarbeit
Universität Ulm
August 2020
317.
Engelhardt, Dominik
Towards a Universal Variability Language
Master
TU Braunschweig, Germany
August 2020
DOI:10.24355/dbbs.084-202008211051-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047673/Engelhardt_Thesis.pdf
316.
Wittmann, Bernhard
Transforming the modality of element selection strategies to enhance the usability of modeling tools
Masterarbeit
Universität Ulm
August 2020
315.
Jox, Lukas
Modeling Inductive Reasoning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
February 2020
314.
Bittner, Paul Maximilian
Semi-Automated Inference of Feature Traceability During Software Development
Master
TU Braunschweig, Germany
February 2020
DOI:10.24355/dbbs.084-202002271120-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047261/Master_Thesis_Paul_Bittner.pdf

2019

313.
Sundermann, Chico
Evaluating #SAT-Solvers on Industrial Feature Models
Project
TU Braunschweig, Germany
December 2019
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sundermann.pdf
312.
Hirn, Sophie
Measuring and Improving the Performance of PureScript Applications
Bachelorarbeit
Universität Ulm
December 2019
311.
Sprey, Joshua
SMT-Based Variability Analyses in FeatureIDE (Project Thesis)
Project
TU Braunschweig, Germany
December 2019
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sprey.pdf
310.
Nachreiner, Leander
Frustration by Construction? Exploring Relaxed Conformance Editing in a Modular Graphical Editing Environment
Masterarbeit
Universität Ulm
November 2019
309.
Seiffert, Matthias
Recommending Model Transformations via Subgraph Matching
Bachelorarbeit
Universität Ulm
November 2019
308.
Schindler-Zins, Dominik
A convenient editor for ROS drone configuration and debugging
Bachelorarbeit
Universität Ulm
October 2019
307.
Georgi, Juliane
Let’s Speak Graphic! Design and Implementation of an Editor Prototype for Graphical Ontology Creation
Bachelorarbeit
Universität Ulm
June 2019
306.
Krais, Simon
Easy and Correct Component Composition in Robotics for low Experienced Users
Masterarbeit
Universität Ulm
March 2019
305.
Bittner, Paul Maximilian
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (Project Thesis)
Project
TU Braunschweig, Germany
March 2019
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SEFM-Bittner.pdf