Supervised Bachelor Theses, Master Theses and Diploma Theses

2021

333.

Füg, Fabian
Conflict Detection and Resolution in Graphical Modeling Environments
Masterarbeit
Universität Ulm
Juli 2021

332.

Netzer, Timo
Development of a Parallelized BDD Library in Rust
Bachelor's Thesis
University of Ulm, Germany
Juli 2021

DOI:	10.18725/OPARU-39798
Datei:	https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/39874/thesis_netzer.pdf

331.

Young, Jeffrey M.
Variational Satisfiability Solving (PhD Thesis)
Oregon State University, USA
Juni 2021

Datei:

https://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/dv140182g?locale=en

330.

Viegener, Sören
Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin
Bachelor's Thesis
University of Ulm, Germany
April 2021

DOI:	10.18725/OPARU-38603
Datei:	https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/38679/BA_Viegener.pdf

329.

Witschel, Tim
Analyzing Sampling Stability of Highly Configurable Systems
Project Thesis
TU Braunschweig, Germany
März 2021

DOI:	10.24355/dbbs.084-202201211010-0
Datei:	https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00048776/Witschel%20Analyzing%20Sampling%20Stability.pdf

328.

Chen, Xianhua
ROS/Gazebo-Based Simulation of a Hand-Guided Quadcopter System To Support Bidirectional Programming
Bachelorarbeit
Universität Ulm
März 2021

327.

Delxen, Xavier-Walton
Automatic tracking of usability issues: A tracking and detection software for usability issues
Bachelorarbeit
Universität Ulm
Januar 2021

326.

Arens, Rahel
Incremental Construction of Modal Implication Graphs for Feature-Model Evolution
Bachelor's Thesis
TU Braunschweig, Germany
Januar 2021

DOI:	10.24355/dbbs.084-202107050823-0
Datei:	https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00048313/Arens_Rahel_Bachelorarbeit_4570828.pdf

2020

325.

Haas, Yves
Interview Study about the advantages and disadvantages of model transformation languages
Bachelorarbeit
Universität Ulm
Dezember 2020

324.

Bückle, Fabian
Evaluating the Usability of State Chart Tools
Masterarbeit
Universität Ulm
November 2020

323.

Lappe, Hannah
Development and Evaluation of a Metamodel to Define Modeling Syntaxes for CouchEdit
Bachelorarbeit
Universität Ulm
November 2020

322.

Heß, Tobias
Binary Decision Diagrams for the Analysis of Large Feature Models
Master's Thesis
University of Ulm, Germany
November 2020

321.

Mund, Niklas
Continuous T-Wise Coverage
Master's Thesis
TU Braunschweig, Germany
Oktober 2020

320.

Birnkammer, Thomas
Recommending Model Transformations from User Changes and Typical Model Transformations
Masterarbeit
Universität Ulm
September 2020

319.

Wittmann, Bernhard
Transforming the modality of element selection strategies to enhance the usability of modeling tools
Masterarbeit
Universität Ulm
August 2020

318.

Westphal, Paul
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

317.

Lollert, Jannic
The Impact of Vertical Hierarchization Representation on Diagram Understandability
Masterarbeit
Universität Ulm
August 2020

316.

Engelhardt, Dominik
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

315.

Sundermann, Chico
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

314.

Sprey, Joshua
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

313.

Bittner, Paul Maximilian
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

312.

Jox, Lukas
Modeling Inductive Reasoning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
Februar 2020