Zum Inhalt springen

Semantische Suche

Freitag, 16. Oktober 2026, 11:30 Uhr

Ort: Raum 010 (Gebäude 50.34)

LLM-assisted Generation of Semantic Tests for Model Transformation Language Code
Vortragende(r) Kirill Dyachenko
Vortragstyp Bachelorarbeit
Betreuer(in) Bowen Jiang
Vortragssprache Englisch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung
Reliable Neural Acceleration of Data Assimilation Methods An Architectural Pattern for Integrating Learned Surrogate Models
Vortragende(r) Paul Schaarschmidt
Vortragstyp Masterarbeit
Betreuer(in) Nathan Hagel
Vortragssprache Englisch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung

Freitag, 30. Oktober 2026, 14:00 Uhr

Ort: Raum 010 (Gebäude 50.34)

Metamodellgestütztes LLM-Kontextverständnis komplexer MBSE-Modelle
Vortragende(r) Simon von Rönn
Vortragstyp Masterarbeit
Betreuer(in) Julian Roßkothen
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung TBA
Variabilitätsmodellierung in SysML v2 und UVL: Vergleichende Analyse und Modelltransformationen
Vortragende(r) Dennis Steinbuch
Vortragstyp Masterarbeit
Betreuer(in) Kevin Feichtinger
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung TBD

Freitag, 30. Oktober 2026, 14:00 Uhr

Ort: Raum 348 (Gebäude 50.34)

Building a Benchmark for LLM-assisted Formal Verification
Vortragende(r) Niklas Hermerding
Vortragstyp Bachelorarbeit
Betreuer(in) Dominik Fuchß
Vortragssprache Englisch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung
LLM-Assisted Style Customization of Xtext-Based DSLs
Vortragende(r) Amir Yeschanov
Vortragstyp Bachelorarbeit
Betreuer(in) Weixing Zhang
Vortragssprache Englisch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung
LLM-getriebene Änderungspropagierung von architekturellen Leistungsmodellen nach Java
Vortragende(r) Manuel Lutzi
Vortragstyp Bachelorarbeit
Betreuer(in) Martin Armbruster
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung

Freitag, 13. November 2026, 11:30 Uhr

Ort: Raum 010 (Gebäude 50.34)

Ein zweistufiger RAG-Ansatz zur Deduplizierung von Fehlerberichten: Eine industrielle Evaluation basierend auf Multi-Vector Embeddings und agentischer LLM-Verifikation
Vortragende(r) David Kowal
Vortragstyp Masterarbeit
Betreuer(in) Julian Roßkothen
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung
Product-Line Engineering for Metamodels
Vortragende(r) Henrik Kayser
Vortragstyp Masterarbeit
Betreuer(in) Fabian Eger
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung

Freitag, 27. November 2026, 14:00 Uhr

Ort: Raum 010 (Gebäude 50.34)

Leveraging Structural Context for Improved Retrieval in Model-Driven Systems
Vortragende(r) Manuel Córcoles
Vortragstyp Masterarbeit
Betreuer(in) Julian Roßkothen
Vortragssprache Englisch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung