Supervised Bachelor Theses, Master Theses and Diploma Theses
2025
414.
Rohde,
Lukas
typeR: Static Interprocedural Subtype Inference for R Programs
Bachelor's Thesis
September 2025
typeR: Static Interprocedural Subtype Inference for R Programs
Bachelor's Thesis
September 2025
413.
Schubert,
Julian
Designing a Query Language for Linting R Scripts to Improve Reproducibility
Bachelor's Thesis
August 2025
Designing a Query Language for Linting R Scripts to Improve Reproducibility
Bachelor's Thesis
August 2025
| DOI: | 10.18725/OPARU-58026 |
412.
Gerstl,
Oliver
Designing a Query Language for Linting R Scripts to Improve Reproducibility
Master's Thesis
August 2025
Designing a Query Language for Linting R Scripts to Improve Reproducibility
Master's Thesis
August 2025
411.
Martin,
Simon
Improving Linting for Semantic Errors in the Data Science Domain With the Help of Large Language Models
Bachelor's Thesis
August 2025
Improving Linting for Semantic Errors in the Data Science Domain With the Help of Large Language Models
Bachelor's Thesis
August 2025
410.
Dunkel,
Raphael
Engineering and Selecting Machine Learning Features for Feature Models
Master's Thesis
University of Ulm, Germany
May 2025
Engineering and Selecting Machine Learning Features for Feature Models
Master's Thesis
University of Ulm, Germany
May 2025
409.
Dunkel,
Ruben
Cut to the Core - Automated Feature Extraction in R Using Program Slicing
Master's Thesis
April 2025
Cut to the Core - Automated Feature Extraction in R Using Program Slicing
Master's Thesis
April 2025
| DOI: | 10.18725/OPARU-57508 |
408.
Schlegel,
Felix
Field-Sensitive Pointer Analysis for Static Dataflow in the R Programming Language
Bachelor's Thesis
April 2025
Field-Sensitive Pointer Analysis for Static Dataflow in the R Programming Language
Bachelor's Thesis
April 2025
407.
Vill,
Stefan
Pseudo Boolean d-DNNF Compilation for Analyzing Expressive Feature-Model Formats
Master's Thesis
University of Ulm, Germany
March 2025
Pseudo Boolean d-DNNF Compilation for Analyzing Expressive Feature-Model Formats
Master's Thesis
University of Ulm, Germany
March 2025
| DOI: | 10.18725/OPARU-56664 |
406.
Pietzschmann,
Lukas
Improving Code Coverage Metrics using Static Program Slicing for R
Masterarbeit
University of Ulm, Germany
2025
Improving Code Coverage Metrics using Static Program Slicing for R
Masterarbeit
University of Ulm, Germany
2025
405.
Kleinschmidt,
Noah
Suitability of Large Language Models with Retrieval Augmented Generation for Providing Insight in Self-Adaptive Systems
University of Ulm, Germany
January 2025
Suitability of Large Language Models with Retrieval Augmented Generation for Providing Insight in Self-Adaptive Systems
University of Ulm, Germany
January 2025
404.
Shulimov,
Eugen
Unparsing von Datenstrukturen zur Analyse von C-Präprozessor-Variabilität
Bachelor's Thesis
University of Paderborn, Germany
January 2025
Unparsing von Datenstrukturen zur Analyse von C-Präprozessor-Variabilität
Bachelor's Thesis
University of Paderborn, Germany
January 2025
| DOI: | 10.17619/UNIPB/1-2306 |
2024
403.
Schmidt,
Tim Jannik
A Study of Error Masking in Software Product Lines
University of Ulm, Germany
December 2024
A Study of Error Masking in Software Product Lines
University of Ulm, Germany
December 2024
402.
Ostheimer,
Lukas
Commonality-Guided Identification, Resolution, and Exploitation of Variance Drivers in Feature Models
Master's Thesis
University of Ulm, Germany
December 2024
Commonality-Guided Identification, Resolution, and Exploitation of Variance Drivers in Feature Models
Master's Thesis
University of Ulm, Germany
December 2024
401.
Klier,
Daniel
Annotating Binary Decision Diagrams with Semantic Context from Feature-Model Analysis
Master's Thesis
University of Ulm, Germany
November 2024
Annotating Binary Decision Diagrams with Semantic Context from Feature-Model Analysis
Master's Thesis
University of Ulm, Germany
November 2024
400.
Rieg,
Felix
Concurrent Dynamic Variable Ordering Strategies for Binary Decision Diagrams
Master's Thesis
University of Ulm, Germany
November 2024
Concurrent Dynamic Variable Ordering Strategies for Binary Decision Diagrams
Master's Thesis
University of Ulm, Germany
November 2024
399.
Molt,
Aaron
T-Wise Sampling Operations on Binary Decision Diagrams
University of Ulm, Germany
November 2024
T-Wise Sampling Operations on Binary Decision Diagrams
University of Ulm, Germany
November 2024
398.
Molt,
Aaron
T-Wise Sampling Operations on Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
November 2024
T-Wise Sampling Operations on Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
November 2024
397.
Berlinger,
Simon
Automated Repair of Feature Model Defects in FeatureIDE
Bachelor's Thesis
University of Ulm, Germany
June 2024
Automated Repair of Feature Model Defects in FeatureIDE
Bachelor's Thesis
University of Ulm, Germany
June 2024
396.
Semmler,
Sean
Domain-Specific Variable Ordering for Compiling Binary Decision Diagrams from Feature Models
Bachelor's Thesis
University of Ulm, Germany
May 2024
Domain-Specific Variable Ordering for Compiling Binary Decision Diagrams from Feature Models
Bachelor's Thesis
University of Ulm, Germany
May 2024
| DOI: | 10.18725/OPARU-53151 |
| File: | https://oparu.uni-ulm.de/items/98976fb7-c4f8-46fc-bbb5-56f5591cc354 |
395.
Förster,
Pascal
Efficient Analysis of Indeterminate Hidden Features
Master's Thesis
University of Ulm, Germany
May 2024
Efficient Analysis of Indeterminate Hidden Features
Master's Thesis
University of Ulm, Germany
May 2024
394.
Maier,
Fenja
Investigating wether providing information about implemented algorithms is helpful for understanding and editing programs
Master's Thesis
April 2024
Investigating wether providing information about implemented algorithms is helpful for understanding and editing programs
Master's Thesis
April 2024
393.
Correlating Parameters of Configuration Files to the System State in ROS
2024
392.
Haas,
Yves
Exploratory Study on How Programmers Interact with LLM-Based Chatbots
Master
University of Ulm, Germany
2024
Exploratory Study on How Programmers Interact with LLM-Based Chatbots
Master
University of Ulm, Germany
2024
391.
Dunkel,
Raphael
One Solver to Rule All Feature Models - Or Not? Addressing the Algorithm Selection Problem for #SAT
Bachelor's Thesis
University of Ulm, Germany
January 2024
One Solver to Rule All Feature Models - Or Not? Addressing the Algorithm Selection Problem for #SAT
Bachelor's Thesis
University of Ulm, Germany
January 2024
| DOI: | 10.18725/OPARU-52711 |
390.
Riesland,
Jonathan
Optimizing T-Wise Sampling on d-DNNFs with Objective Functions
Bachelor's Thesis
University of Ulm, Germany
January 2024
Optimizing T-Wise Sampling on d-DNNFs with Objective Functions
Bachelor's Thesis
University of Ulm, Germany
January 2024