Supervised Bachelor Theses, Master Theses and Diploma Theses
2021
339.
Witschel,
Tim
Generating Optimized Samples With Attributed Feature Models
Master's Thesis
TU Braunschweig, Germany
November 2021
Generating Optimized Samples With Attributed Feature Models
Master's Thesis
TU Braunschweig, Germany
November 2021
338.
Wiebe,
Annika
A Runtime Environment for Constraint Handling Rules in Kotlin
Bachelorarbeit
Universität Ulm
October 2021
A Runtime Environment for Constraint Handling Rules in Kotlin
Bachelorarbeit
Universität Ulm
October 2021
337.
Beaucamp,
Luis
Using Graph Queries to Enable Runtime Monitoring in Robotic Applications
Masterarbeit
Universität Ulm
October 2021
Using Graph Queries to Enable Runtime Monitoring in Robotic Applications
Masterarbeit
Universität Ulm
October 2021
336.
Tschada,
Marcel
Generating Taxonomies of Feature-Model Anomalies
Bachelor's Thesis
TU Braunschweig, Germany
September 2021
Generating Taxonomies of Feature-Model Anomalies
Bachelor's Thesis
TU Braunschweig, Germany
September 2021
335.
Füg,
Fabian
Conflict Detection and Resolution in Graphical Modeling Environments
Masterarbeit
Universität Ulm
July 2021
Conflict Detection and Resolution in Graphical Modeling Environments
Masterarbeit
Universität Ulm
July 2021
334.
Netzer,
Timo
Development of a Parallelized BDD Library in Rust
Bachelor's Thesis
University of Ulm, Germany
July 2021
Development of a Parallelized BDD Library in Rust
Bachelor's Thesis
University of Ulm, Germany
July 2021
| DOI: | 10.18725/OPARU-39798 |
| File: |  https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/39874/thesis_netzer.pdf |
333.
Young,
Jeffrey M.
Variational Satisfiability Solving (PhD Thesis)
Oregon State University, USA
June 2021
Variational Satisfiability Solving (PhD Thesis)
Oregon State University, USA
June 2021
| File: | https://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/dv140182g?locale=en |
332.
Viegener,
Sören
Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin
Bachelor's Thesis
University of Ulm, Germany
April 2021
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 |
| File: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/38679/BA_Viegener.pdf |
331.
Witschel,
Tim
Analyzing Sampling Stability of Highly Configurable Systems
Project Thesis
TU Braunschweig, Germany
March 2021
Analyzing Sampling Stability of Highly Configurable Systems
Project Thesis
TU Braunschweig, Germany
March 2021
| DOI: | 10.24355/dbbs.084-202201211010-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00048776/Witschel%20Analyzing%20Sampling%20Stability.pdf |
330.
Chen,
Xianhua
ROS/Gazebo-Based Simulation of a Hand-Guided Quadcopter System To Support Bidirectional Programming
Bachelorarbeit
Universität Ulm
March 2021
ROS/Gazebo-Based Simulation of a Hand-Guided Quadcopter System To Support Bidirectional Programming
Bachelorarbeit
Universität Ulm
March 2021
329.
Delxen,
Xavier-Walton
Automatic tracking of usability issues: A tracking and detection software for usability issues
Bachelorarbeit
Universität Ulm
January 2021
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's Thesis
TU Braunschweig, Germany
January 2021
Incremental Construction of Modal Implication Graphs for Feature-Model Evolution
Bachelor's Thesis
TU Braunschweig, Germany
January 2021
| DOI: | 10.24355/dbbs.084-202107050823-0 |
| File: | https://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
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's Thesis
University of Ulm, Germany
November 2020
Binary Decision Diagrams for the Analysis of Large Feature Models
Master's Thesis
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
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
Evaluating the Usability of State Chart Tools
Masterarbeit
Universität Ulm
November 2020
323.
Mund,
Niklas
Continuous T-Wise Coverage
Master's Thesis
TU Braunschweig, Germany
October 2020
Continuous T-Wise Coverage
Master's Thesis
TU Braunschweig, Germany
October 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 |
| File: | 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 |
| File: | 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 |
| File: | 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 |
| File: | 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
February 2020
Modeling Inductive Reasoning in Constraint Handling Rules
Bachelorarbeit
Universität Ulm
February 2020