M. Sc. Sofie Schüler
Lehre
- Datenbanksysteme I – Übung (WiSe 2020/21 – WiSe 2024/25)
- Datenbanksysteme II – Übung (SoSe 2021 – SoSe 2025)
- Proseminar/Seminar Modellbasierte Entwicklung (SoSe 2021 – SoSe 2024)
Betreute Abschlussarbeiten
- Transformation und Analyse von parallelen Datenbankprozessen (2024)
- Strukturierte Literaturrecherche zu datenorientierten Prozessanalyse-Ansätzen (2024)
- Testansätze für relationale Datenbanksysteme (2023)
- Anfrage-spezifische Synthese großer Testdatensätze für relationale Datenbanken (2023)
- Inkrementelles Paarweises Sampling basierend auf grundlegenden SAT Solving Verfahren (2023)
- Performance-Vergleich von Optimierungsstrategien für SQL Anfragen (2022)
- Testdatengenerierung zum automatisierten Regressionstesten von Service-Applikationen im Maschinenbau (2022)
- Entwurf und Implementierung einer Modellierungssprache zur Automatisierung von Datentransformationen in Geschäftsprozessen (2022)
- Conflict-driven Clause-Learning-Strategien zur Analyse von Konfigurationsmodellen (2022)
- Vergleich des SQL-Sprachumfangs ausgewählter relationaler Datenbanksysteme (2021)
- Priorisierungsstrategien für die SAT-basierte Analyse von Konfigurationsmodellen variantenreicher Software (2021)
- Performance-Vergleich von BDD-basierten und SAT-basierten Analysestrategien für Konfigurationsmodelle (2021)