Supervised Bachelor Theses, Master Theses and Diploma Theses
2026
420.
Schoppe,
Felix
Handling Uncertainty in Coupling Model-based Analyses
Master's Thesis
University of Ulm, Germany
Februar 2026
Handling Uncertainty in Coupling Model-based Analyses
Master's Thesis
University of Ulm, Germany
Februar 2026
419.
Moharram,
Mohammad Hossameldeen
Detecting Non-Trivial Algorithms in Code: How Far Can LLMs Go?
Bachelor
University of Ulm, Germany
Januar 2026
Detecting Non-Trivial Algorithms in Code: How Far Can LLMs Go?
Bachelor
University of Ulm, Germany
Januar 2026
418.
Schlecker,
Luca
Static Analysis for Self-Modifying R Programs
Januar 2026
Static Analysis for Self-Modifying R Programs
Januar 2026
2025
417.
Weber,
Jens
Automatic Translation Of DSL Constraints Into CNF With Formal Verification
Bachelor's Thesis
University of Ulm, Germany
Oktober 2025
Automatic Translation Of DSL Constraints Into CNF With Formal Verification
Bachelor's Thesis
University of Ulm, Germany
Oktober 2025
416.
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
415.
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 |
414.
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
413.
Gerstl,
Oliver
Tracking the Shape of Data Frames in R Programs Using Abstract Interpretation
Master's Thesis
August 2025
Tracking the Shape of Data Frames in R Programs Using Abstract Interpretation
Master's Thesis
August 2025
| DOI: | 10.18725/OPARU-58621 |
412.
Dunkel,
Raphael
Engineering and Selecting Machine Learning Features for Feature Models
Master's Thesis
University of Ulm, Germany
Mai 2025
Engineering and Selecting Machine Learning Features for Feature Models
Master's Thesis
University of Ulm, Germany
Mai 2025
411.
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 |
410.
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
409.
Vill,
Stefan
Pseudo Boolean d-DNNF Compilation for Analyzing Expressive Feature-Model Formats
Master's Thesis
University of Ulm, Germany
März 2025
Pseudo Boolean d-DNNF Compilation for Analyzing Expressive Feature-Model Formats
Master's Thesis
University of Ulm, Germany
März 2025
| DOI: | 10.18725/OPARU-56664 |
408.
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
407.
Kleinschmidt,
Noah
Suitability of Large Language Models with Retrieval Augmented Generation for Providing Insight in Self-Adaptive Systems
University of Ulm, Germany
Januar 2025
Suitability of Large Language Models with Retrieval Augmented Generation for Providing Insight in Self-Adaptive Systems
University of Ulm, Germany
Januar 2025
406.
Shulimov,
Eugen
Unparsing von Datenstrukturen zur Analyse von C-Präprozessor-Variabilität
Bachelor's Thesis
University of Paderborn, Germany
Januar 2025
Unparsing von Datenstrukturen zur Analyse von C-Präprozessor-Variabilität
Bachelor's Thesis
University of Paderborn, Germany
Januar 2025
| DOI: | 10.17619/UNIPB/1-2306 |
2024
405.
Schmidt,
Tim Jannik
A Study of Error Masking in Software Product Lines
University of Ulm, Germany
Dezember 2024
A Study of Error Masking in Software Product Lines
University of Ulm, Germany
Dezember 2024
404.
Ostheimer,
Lukas
Commonality-Guided Identification, Resolution, and Exploitation of Variance Drivers in Feature Models
Master's Thesis
University of Ulm, Germany
Dezember 2024
Commonality-Guided Identification, Resolution, and Exploitation of Variance Drivers in Feature Models
Master's Thesis
University of Ulm, Germany
Dezember 2024
403.
Boll,
Sebastian
Pre-filtering Strategies for LLM-Based Algorithm Detection
Master
University of Ulm, Germany
Dezember 2024
Pre-filtering Strategies for LLM-Based Algorithm Detection
Master
University of Ulm, Germany
Dezember 2024
402.
Schüler,
David
Understanding the Capability of Large Language Models for Algorithm Detection
Bachelor
University of Ulm, Germany
Dezember 2024
Understanding the Capability of Large Language Models for Algorithm Detection
Bachelor
University of Ulm, Germany
Dezember 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
Juni 2024
Automated Repair of Feature Model Defects in FeatureIDE
Bachelor's Thesis
University of Ulm, Germany
Juni 2024
396.
Semmler,
Sean
Domain-Specific Variable Ordering for Compiling Binary Decision Diagrams from Feature Models
Bachelor's Thesis
University of Ulm, Germany
Mai 2024
Domain-Specific Variable Ordering for Compiling Binary Decision Diagrams from Feature Models
Bachelor's Thesis
University of Ulm, Germany
Mai 2024
| DOI: | 10.18725/OPARU-53151 |
| Datei: | https://oparu.uni-ulm.de/items/98976fb7-c4f8-46fc-bbb5-56f5591cc354 |