Supervised Bachelor Theses, Master Theses and Diploma Theses

2020

315.
Wittmann, Bernhard
Transforming the modality of element selection strategies to enhance the usability of modeling tools
Masterarbeit
Universität Ulm
August 2020
314.
Lollert, Jannic
The Impact of Vertical Hierarchization Representation on Diagram Understandability
Masterarbeit
Universität Ulm
August 2020
313.
Bittner, Paul Maximilian
Semi-Automated Inference of Feature Traceability During Software Development
Master's Thesis
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
312.
Jox, Lukas
Modeling Inductive Reasoning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
February 2020

2019

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

2018

301.
Illich, Moritz
Program Structures for Learning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
December 2018
300.
Robin, Céline
Empirische Untersuchung zu Verbesserungsmöglichkeiten der Lehre hinsichtlich Debuggingtechniken
Bachelorarbeit
Universität Ulm
December 2018
299.
Pett, Tobias
Stability of Product Sampling under Product-Line Evolution
Master's Thesis
TU Braunschweig, Germany
November 2018
DOI:10.24355/dbbs.084-201812111412-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044868/master_thesis_tobias_pett.pdf
298.
Götz, Stefan
Exploiting dependent types for representing Graph-constraints in GADTs
Masterarbeit
Universität Ulm
November 2018
297.
Thiele, Nico
Re-Engineering Feature Models from Product Configurators
Master's Thesis
TU Braunschweig, Germany
November 2018
DOI:10.24355/dbbs.084-201812111501-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044869/Master_Thesis_Nico_Thiele.pdf
296.
Löser, Christoph
Nutzung von Repository Mining Ansätzen zur Unterstützung von Expertenschätzung in der Softwareentwicklung
Masterarbeit
Universität Ulm
November 2018
295.
Weber, Pascal
Distribution in CHR
Bachelorarbeit
Universität Ulm
October 2018
294.
Maier, Nathan
Extending the CoreASM Language by User Definded Operators
Bachelorarbeit
Universität Ulm
September 2018
293.
Sontag, Christopher
Recording Feature Mappings During Evolution of Cloned Variants
Master's Thesis
TU Braunschweig, Germany
September 2018
DOI:10.24355/dbbs.084-201812191127-0
File:pdfhttps://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044881/Sontag_Master_Thesis.pdf
292.
Gylstorff, Sophie
A Dynamic Performance Analyses of Bad Smells in Model Transformations
Masterarbeit
Universität Ulm
August 2018
291.
Liebhardt, Marco
Creating a Domain Specific Language for Voice User Interface Dialog Modeling
Masterarbeit
Universität Ulm
July 2018