Supervised Bachelor Theses, Master Theses and Diploma Theses
2022
352.
Heimowski,
Yvonne
Simplifying Feature Models for Better Scalability of #SAT Solvers
Bachelor
University of Ulm, Germany
August 2022
Simplifying Feature Models for Better Scalability of #SAT Solvers
Bachelor
University of Ulm, Germany
August 2022
351.
Krieter,
Sebastian
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Germany
June 2022
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Germany
June 2022
DOI: | 10.25673/92625 |
File: | https://opendata.uni-halle.de//handle/1981185920/94577 |
350.
Berndt,
Luca
Investigating Conflict Scenarios During Change-Propagation in Managed Clone-and-Own
Bachelor
Humboldt-Universität zu Berlin, Germany
June 2022
Investigating Conflict Scenarios During Change-Propagation in Managed Clone-and-Own
Bachelor
Humboldt-Universität zu Berlin, Germany
June 2022
349.
Hohmann,
Daniel
Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
Master
University of Magdeburg, Germany
May 2022
Konfiguration von Softwareproduktlinien mit Configuring-Constraints über Feature-Attributen
Master
University of Magdeburg, Germany
May 2022
File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/Hohmann2022:MasterThesis.pdf |
348.
Störmer,
Karl
T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling
Master
TU Braunschweig, Germany
May 2022
T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling
Master
TU Braunschweig, Germany
May 2022
347.
Kittelmann,
Alexander
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
TU Braunschweig, Germany
February 2022
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
TU Braunschweig, Germany
February 2022
DOI: | 10.24355/dbbs.084-202204121019-0 |
File: | 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
University of Ulm, Germany
January 2022
An Incremental #SAT Solver for Efficient Analysis of Feature Models
Master
University of Ulm, Germany
January 2022
345.
Döring,
Jacob
Cherry-Picking in Practice
Bachelor
Humboldt-Universität zu Berlin, Germany
January 2022
Cherry-Picking in Practice
Bachelor
Humboldt-Universität zu Berlin, Germany
January 2022
344.
Kistner,
Konstantin
Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams
Bachelor
University of Ulm, Germany
January 2022
Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams
Bachelor
University of Ulm, Germany
January 2022
343.
Sihler,
Florian
One-way Model Transformations
Bachelorarbeit
Universität Ulm
January 2022
One-way Model Transformations
Bachelorarbeit
Universität Ulm
January 2022
342.
Jurinka,
Philipp
Implementation of an Algorithm for Semantic Clone Detection in Prolog
Bachelorarbeit
Universität Ulm
January 2022
Implementation of an Algorithm for Semantic Clone Detection in Prolog
Bachelorarbeit
Universität Ulm
January 2022
341.
Raab,
Heiko
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor
University of Ulm, Germany
January 2022
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor
University of Ulm, Germany
January 2022
DOI: | 10.18725/OPARU-43414 |
File: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/43490/Thesis_RaabHeiko.pdf |
2021
340.
Funk,
Lenard
Enhancing comprehensibility of model evolution in collaborative modeling environment
Masterarbeit
Universität Ulm
December 2021
Enhancing comprehensibility of model evolution in collaborative modeling environment
Masterarbeit
Universität Ulm
December 2021
339.
Witschel,
Tim
Generating Optimized Samples With Attributed Feature Models
Master
TU Braunschweig, Germany
November 2021
Generating Optimized Samples With Attributed Feature Models
Master
TU Braunschweig, Germany
November 2021
338.
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
337.
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
336.
Tschada,
Marcel
Generating Taxonomies of Feature-Model Anomalies
Bachelor
TU Braunschweig, Germany
September 2021
Generating Taxonomies of Feature-Model Anomalies
Bachelor
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
University of Ulm, Germany
July 2021
Development of a Parallelized BDD Library in Rust
Bachelor
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
University of Ulm, Germany
April 2021
Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin
Bachelor
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
TU Braunschweig, Germany
March 2021
Analyzing Sampling Stability of Highly Configurable Systems
Project
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
TU Braunschweig, Germany
January 2021
Incremental Construction of Modal Implication Graphs for Feature-Model Evolution
Bachelor
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 |