Supervised Bachelor Theses, Master Theses and Diploma Theses
2022
355.
Jedelhauser,
Kevin
Type-Checking Variability in Clone-and-Own Variants With Product-Line Tooling
Master's Thesis
University of Ulm, Germany
September 2022
Type-Checking Variability in Clone-and-Own Variants With Product-Line Tooling
Master's Thesis
University of Ulm, Germany
September 2022
354.
Lukas,
Marc
A Survey of BDD-Based Tools for Points-To Analysis
Bachelor's Thesis
University of Ulm, Germany
August 2022
A Survey of BDD-Based Tools for Points-To Analysis
Bachelor's Thesis
University of Ulm, Germany
August 2022
353.
Heimowski,
Yvonne
Simplifying Feature Models for Better Scalability of #SAT Solvers
Bachelor's Thesis
University of Ulm, Germany
August 2022
Simplifying Feature Models for Better Scalability of #SAT Solvers
Bachelor's Thesis
University of Ulm, Germany
August 2022
352.
Krieter,
Sebastian
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Germany
Juni 2022
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Germany
Juni 2022
| DOI: | 10.25673/92625 |
| Datei: | https://opendata.uni-halle.de//handle/1981185920/94577 |
351.
Berndt,
Luca
Investigating Conflict Scenarios During Change-Propagation in Managed Clone-and-Own
Bachelor's Thesis
Humboldt-Universit??t zu Berlin, Germany
Juni 2022
Investigating Conflict Scenarios During Change-Propagation in Managed Clone-and-Own
Bachelor's Thesis
Humboldt-Universit??t zu Berlin, Germany
Juni 2022
350.
Hohmann,
Daniel
Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
Master's Thesis
University of Magdeburg, Germany
Juni 2022
Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
Master's Thesis
University of Magdeburg, Germany
Juni 2022
349.
Störmer,
Karl
T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling
Master's Thesis
TU Braunschweig, Germany
Mai 2022
T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling
Master's Thesis
TU Braunschweig, Germany
Mai 2022
348.
Kramer,
Linus
Sensor Fusion Based on Recurrent Neural Networks for Indoor Navigation
Master
University of Ulm, Germany
April 2022
Sensor Fusion Based on Recurrent Neural Networks for Indoor Navigation
Master
University of Ulm, Germany
April 2022
347.
Kittelmann,
Alexander
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
TU Braunschweig, Germany
Februar 2022
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
TU Braunschweig, Germany
Februar 2022
| DOI: | 10.24355/dbbs.084-202204121019-0 |
| Datei: |  https://leopard.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00049280/Diss_Kittelmann_Alexander.pdf |
346.
Schiessl,
Dominik
An Incremental #SAT Solver for Efficient Analysis of Feature Models
Master's Thesis
University of Ulm, Germany
Januar 2022
An Incremental #SAT Solver for Efficient Analysis of Feature Models
Master's Thesis
University of Ulm, Germany
Januar 2022
345.
Döring,
Jacob
Cherry-Picking in Practice
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
Januar 2022
Cherry-Picking in Practice
Bachelor's Thesis
Humboldt-Universität zu Berlin, Germany
Januar 2022
344.
Raab,
Heiko
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor's Thesis
University of Ulm, Germany
Januar 2022
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor's Thesis
University of Ulm, Germany
Januar 2022
| DOI: | 10.18725/OPARU-43414 |
| Datei: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/43490/Thesis_RaabHeiko.pdf |
343.
Jurinka,
Philipp
Implementation of an Algorithm for Semantic Clone Detection in Prolog
Bachelorarbeit
Universität Ulm
Januar 2022
Implementation of an Algorithm for Semantic Clone Detection in Prolog
Bachelorarbeit
Universität Ulm
Januar 2022
342.
Sihler,
Florian
One-way Model Transformations
Bachelorarbeit
Universität Ulm
Januar 2022
One-way Model Transformations
Bachelorarbeit
Universität Ulm
Januar 2022
| DOI: | 10.18725/OPARU-47275 |
341.
Kistner,
Konstantin
Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Januar 2022
Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Januar 2022
2021
340.
Funk,
Lenard
Enhancing comprehensibility of model evolution in collaborative modeling environment
Masterarbeit
Universität Ulm
Dezember 2021
Enhancing comprehensibility of model evolution in collaborative modeling environment
Masterarbeit
Universität Ulm
Dezember 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
Oktober 2021
A Runtime Environment for Constraint Handling Rules in Kotlin
Bachelorarbeit
Universität Ulm
Oktober 2021
337.
Beaucamp,
Luis
Using Graph Queries to Enable Runtime Monitoring in Robotic Applications
Masterarbeit
Universität Ulm
Oktober 2021
Using Graph Queries to Enable Runtime Monitoring in Robotic Applications
Masterarbeit
Universität Ulm
Oktober 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
Juli 2021
Conflict Detection and Resolution in Graphical Modeling Environments
Masterarbeit
Universität Ulm
Juli 2021
334.
Netzer,
Timo
Development of a Parallelized BDD Library in Rust
Bachelor's Thesis
University of Ulm, Germany
Juli 2021
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 |
333.
Young,
Jeffrey M.
Variational Satisfiability Solving (PhD Thesis)
Oregon State University, USA
Juni 2021
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 |
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 |
| Datei: | 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
März 2021
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 |