Semantische Suche

Freitag, 21. August 2026, 14:00 Uhr

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)

Integration von Neuronalen Netzen in AUTOSAR Classic und Wartbarkeitsprognose mittels KAMP
Vortragende(r) Robin Schmieder
Vortragstyp Masterarbeit
Betreuer(in) Max Scheerer
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung
Modeling Adaptive Context and Memory Management for AI Agents
Vortragende(r) Ha Linh Nguyen
Vortragstyp Masterarbeit
Betreuer(in) Jan Keim
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung

Freitag, 25. September 2026, 14:00 Uhr

iCal (Download)
Ort: Raum 010 (Gebäude 50.34)

A Metamodel for representing and extracting Legal Knowledge from Ontologies
Vortragende(r) Sofia Tuzsuzova
Vortragstyp Bachelorarbeit
Betreuer(in) Nicolas Boltz
Vortragssprache Englisch
Vortragsmodus in Präsenz
Kurzfassung TBA
Energy consumption of compression algorithms across CPU platforms
Vortragende(r) Mattis Brecht
Vortragstyp Bachelorarbeit
Betreuer(in) Ralf Reussner
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung TBD
Feature Annotated Reactions Language
Vortragende(r) Valentin Kaczmarek
Vortragstyp Masterarbeit
Betreuer(in) Fabian Eger
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung

Freitag, 30. Oktober 2026, 14:00 Uhr

iCal (Download)
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

iCal (Download)
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

Freitag, 13. November 2026, 11:30 Uhr

iCal (Download)
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