M. Sc. Sofie Schüler
Teaching
- Database Systems I – Exercise (Winter semester 2020/21 – Winter semester 2024/25)
- Database Systems II – Exercise (Summer semester 2021 – Summer semester 2025)
- Proseminar/Seminar Model-based Engineering (Summer semester 2021 – Summer semester 2024)
Supervised theses
- 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)