Supervised Bachelor Theses, Master Theses and Diploma Theses
2020
323.
Mund,
Niklas
Continuous T-Wise Coverage
Master's Thesis
TU Braunschweig, Germany
Oktober 2020
Continuous T-Wise Coverage
Master's Thesis
TU Braunschweig, Germany
Oktober 2020
322.
Birnkammer,
Thomas
Recommending Model Transformations from User Changes and Typical Model Transformations
Masterarbeit
Universität Ulm
September 2020
Recommending Model Transformations from User Changes and Typical Model Transformations
Masterarbeit
Universität Ulm
September 2020
321.
Sundermann,
Chico
Applications of #SAT Solvers on Product Lines
Master's Thesis
TU Braunschweig, Germany
August 2020
Applications of #SAT Solvers on Product Lines
Master's Thesis
TU Braunschweig, Germany
August 2020
| DOI: | 10.24355/dbbs.084-202009161329-0 |
| Datei: |  https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047722/Masters_Thesis_Chico_Sundermann_4633286_22072020.pdf |
320.
Sprey,
Joshua
Automated Comparison of Product Sampling Algorithms
Master's Thesis
TU Braunschweig, Germany
August 2020
Automated Comparison of Product Sampling Algorithms
Master's Thesis
TU Braunschweig, Germany
August 2020
| DOI: | 10.24355/dbbs.084-202009211318-0 |
| Datei: | https://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's Thesis
TU Braunschweig, Germany
August 2020
Deriving Subset Software Product Lines Using Partial Configurations With FeatureIDE
Bachelor's Thesis
TU Braunschweig, Germany
August 2020
| DOI: | 10.24355/dbbs.084-202011201423-0 |
| Datei: | https://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
The Impact of Vertical Hierarchization Representation on Diagram Understandability
Masterarbeit
Universität Ulm
August 2020
317.
Engelhardt,
Dominik
Towards a Universal Variability Language
Master's Thesis
TU Braunschweig, Germany
August 2020
Towards a Universal Variability Language
Master's Thesis
TU Braunschweig, Germany
August 2020
| DOI: | 10.24355/dbbs.084-202008211051-0 |
| Datei: | https://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
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
Februar 2020
Modeling Inductive Reasoning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
Februar 2020
314.
Bittner,
Paul Maximilian
Semi-Automated Inference of Feature Traceability During Software Development
Master's Thesis
TU Braunschweig, Germany
Februar 2020
Semi-Automated Inference of Feature Traceability During Software Development
Master's Thesis
TU Braunschweig, Germany
Februar 2020
| DOI: | 10.24355/dbbs.084-202002271120-0 |
| Datei: | https://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 Thesis
TU Braunschweig, Germany
Dezember 2019
Evaluating #SAT-Solvers on Industrial Feature Models
Project Thesis
TU Braunschweig, Germany
Dezember 2019
| Datei: | https://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
Dezember 2019
Measuring and Improving the Performance of PureScript Applications
Bachelorarbeit
Universität Ulm
Dezember 2019
311.
Sprey,
Joshua
SMT-Based Variability Analyses in FeatureIDE (Project Thesis)
Project Thesis
TU Braunschweig, Germany
Dezember 2019
SMT-Based Variability Analyses in FeatureIDE (Project Thesis)
Project Thesis
TU Braunschweig, Germany
Dezember 2019
| Datei: | https://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
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
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
Oktober 2019
A convenient editor for ROS drone configuration and debugging
Bachelorarbeit
Universität Ulm
Oktober 2019
307.
Georgi,
Juliane
Let’s Speak Graphic! Design and Implementation of an Editor Prototype for Graphical Ontology Creation
Bachelorarbeit
Universität Ulm
Juni 2019
Let’s Speak Graphic! Design and Implementation of an Editor Prototype for Graphical Ontology Creation
Bachelorarbeit
Universität Ulm
Juni 2019
306.
Krais,
Simon
Easy and Correct Component Composition in Robotics for low Experienced Users
Masterarbeit
Universität Ulm
März 2019
Easy and Correct Component Composition in Robotics for low Experienced Users
Masterarbeit
Universität Ulm
März 2019
305.
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
März 2019
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (Project Thesis)
Project Thesis
TU Braunschweig, Germany
März 2019
| Datei: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SEFM-Bittner.pdf |
304.
Rechenberger,
Sascha
Informationstheoretische Analyse von SLS-Solvern
Masterarbeit
Universität Ulm
Institut für Theoretische Informatik
Januar 2019
Informationstheoretische Analyse von SLS-Solvern
Masterarbeit
Universität Ulm
Institut für Theoretische Informatik
Januar 2019
2018
303.
Robin,
Céline
Empirische Untersuchung zu Verbesserungsmöglichkeiten der Lehre hinsichtlich Debuggingtechniken
Bachelorarbeit
Universität Ulm
Dezember 2018
Empirische Untersuchung zu Verbesserungsmöglichkeiten der Lehre hinsichtlich Debuggingtechniken
Bachelorarbeit
Universität Ulm
Dezember 2018
302.
Illich,
Moritz
Program Structures for Learning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
Dezember 2018
Program Structures for Learning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
Dezember 2018
301.
Götz,
Stefan
Exploiting dependent types for representing Graph-constraints in GADTs
Masterarbeit
Universität Ulm
November 2018
Exploiting dependent types for representing Graph-constraints in GADTs
Masterarbeit
Universität Ulm
November 2018
300.
Löser,
Christoph
Nutzung von Repository Mining Ansätzen zur Unterstützung von Expertenschätzung in der Softwareentwicklung
Masterarbeit
Universität Ulm
November 2018
Nutzung von Repository Mining Ansätzen zur Unterstützung von Expertenschätzung in der Softwareentwicklung
Masterarbeit
Universität Ulm
November 2018
299.
Thiele,
Nico
Re-Engineering Feature Models From Product Configurators
Master's Thesis
TU Braunschweig, Germany
November 2018
Re-Engineering Feature Models From Product Configurators
Master's Thesis
TU Braunschweig, Germany
November 2018
| DOI: | 10.24355/dbbs.084-201812111501-0 |
| Datei: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044869/Master_Thesis_Nico_Thiele.pdf |