M. Sc. Tobias Schüler

Contact
M. Sc. Tobias Schüler
Phone: 0271-740-2614
E-Mail: Tobias.Schueler@uni-siegen.de
Office: H-C 8331
Consultation hour
Tuesdays 9–10 o’clock (with prior registration via email).
Teaching
- Database Systems I – Exercise (since Winter semester 2020/21)
- Database Systems II – Exercise (since Summer semester 2021)
- Proseminar/Seminar Model-based Engineering (since Summer semester 2021)
Supervised theses
- Jonas Huckestein (2023): Inkrementelles Paarweises Sampling basierend auf grundlegenden SAT Solving Verfahren
- Bebeto Arold Ateumo (2022): Performance-Vergleich von Optimierungsstrategien für SQL Anfragen
- Karsten Klingspor (2022): Testdatengenerierung zum automatisierten Regressionstesten von Service-Applikationen im Maschinenbau
- Rostislav Iskandirov (2022): Entwurf und Implementierung einer Modellierungssprache zur Automatisierung von Datentransformationen in Geschäftsprozessen
- Lucas Bastian Lampenscherf (2022): Conflict-driven Clause-Learning-Strategien zur Analyse von Konfigurationsmodellen
- Niki Gabriel Mwakilenge (2021): Vergleich des SQL-Sprachumfangs ausgewählter relationaler Datenbanksysteme
- Thomas Lang (2021): Priorisierungsstrategien für die SAT-basierte Analyse von Konfigurationsmodellen variantenreicher Software
- Joel Benjamin Wolf (2021): Performance-Vergleich von BDD-basierten und SAT-basierten Analysestrategien für Konfigurationsmodelle
Research projects
Aktualisiert um 10:02 am 24. March 2022 von Robert