BEGIN:VCALENDAR
PRODID:-//SMW Project//Semantic Result Formats
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:SDQ-Wiki
X-WR-CALDESC:
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2025-11-17
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2025-11-17
DTSTART:20251117T113000
DTEND:20251117T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nFabio Freund: Textual Modeling for Cloud-Native Performance Simulation (Bachelorarbeit)\, Betreuer/in: Benedikt Jutz\, Maximilian Hummel\n\nJosua Eyl: A Context-Based Approach for Change Propagation in Vitruvius (Bachelor thesis)\, Betreuer/in: Raziyeh Dehghani\, Muhammad Minhas\n\nMarco Demartino: Automatic Component Diagram Generation from Natural Language Specifications (Bachelorarbeit)\, Betreuer/in: Vincenzo Scotti\n\nMaximilian Supp: Fine-tuning vs. Prompting: The Case of Requirements Classification (Bachelor thesis)\, Betreuer/in: Dominik Fuchß\, Tobias Hey
DTSTAMP:20251110T120121
SEQUENCE:37406
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2025-12-01
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2025-12-01
DTSTART:20251201T113000
DTEND:20251201T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nBenoit Legien: A Methodology for Systematically Including Semantic Information in Threat Modeling and Analysis (Bachelorarbeit)\, Betreuer/in: Christopher Gerking\, Nicolas Boltz\n\nGabriel Gehrig: LLM-Assisted Legal Compliance Checking via Data Flow Analysis (Masterarbeit)\, Betreuer/in: Nicolas Boltz\, Tobias Hey\n\nSimon Wessel: Semantic Tokenization in Source Code Plagiarism Detection (Bachelorarbeit)\, Betreuer/in: Nathan Hagel\, Robin Maisch
DTSTAMP:20251201T095752
SEQUENCE:37484
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2025-12-08
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2025-12-08
DTSTART:20251208T113000
DTEND:20251208T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nAnnika Kienle: Deep Reactions: Consistency preservation in multi-level\, multi-view modeling (Masterarbeit)\, Betreuer/in: Erik Burger\, Arne Lange\n\nFatih Çatalkaya: LLM-based architectural  performance model inference (Masterarbeit)\, Betreuer/in: Julian Roßkothen\, Maximilian Hummel\n\nLars Neidiger: Formalizing Requirements using Large Language Models (Bachelorarbeit)\, Betreuer/in: Jan Keim\, Tobias Hey\, Miriam Boß\n\nSaigent Zeqja: Benchmarking Coding Agents on Educational Programming Tasks (Bachelorarbeit)\, Betreuer/in: Haoyu Liu
DTSTAMP:20251204T084031
SEQUENCE:37494
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2025-12-15
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2025-12-15
DTSTART:20251215T113000
DTEND:20251209T121500
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nDaniil Wins: LLM-gestützte Aufbereitung von Analyseergebnissen zur Unterstützung der Rechtsdomäne (Bachelorarbeit)\, Betreuer/in: Nicolas Boltz\, Tobias Hey\n\nJonas Strittmatter: LLM-based data extraction from logistics dialogs (Masterarbeit)\, Betreuer/in: Ralf Reussner
DTSTAMP:20251215T084633
SEQUENCE:37655
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-01-26
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-01-26
DTSTART:20260126T113000
DTEND:20260126T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nKerem Kara: Large Language Models as Managing Systems (Masterarbeit)\, Betreuer/in: Vincenzo Scotti\n\nLinh Nguyễn Phuong: Enabling Branching Support in Server-Side Vitruvius (Bachelor thesis)\, Betreuer/in: Martin Armbruster\, Raziyeh Dehghani\, Arne Lange\n\nRobin Schmieder: Integration von Neuronalen Netzen in AUTOSAR Classic und Wartbarkeitsprognose mittels KAMP (Masterarbeit)\, Betreuer/in: Max Scheerer
DTSTAMP:20260109T111319
SEQUENCE:37685
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-02-09
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-02-09
DTSTART:20260209T113000
DTEND:20260209T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nHa Linh Nguyen: Modeling Adaptive Context and Memory Management for AI Agents (Masterarbeit)\, Betreuer/in: Jan Keim
DTSTAMP:20260205T103940
SEQUENCE:37759
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-03-02
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-03-02
DTSTART:20260302T113000
DTEND:20260302T130000
LOCATION:Gebäude 50.34\, Raum 010
DESCRIPTION:Vorträge:\n\nGeorgi Tsvetkov: Feature Annotated View Specification and View Generation (Bachelor thesis)\, Betreuer/in: Erik Burger\, Fabian Eger
DTSTAMP:20260226T134152
SEQUENCE:37821
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-03-09
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-03-09
DTSTART:20260309T113000
DTEND:20260309T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nEmil Hammer: Inconsistency Situations in the Development of an IoT Backend for Extended Reality Applications (Remote) (Masterarbeit)\, Betreuer/in: Nathan Hagel\n\nValentin Kaczmarek: Feature Annotated Reactions Language (Masterarbeit)\, Betreuer/in: Erik Burger\, Dirk Neumann\, Fabian Eger
DTSTAMP:20260306T095032
SEQUENCE:37838
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-03-16
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-03-16
DTSTART:20260316T113000
DTEND:20260316T130000
LOCATION:Gebäude 50.34\, Raum 301
DESCRIPTION:Vorträge:\n\nRouven Anderer: Scalability of asynchronous communication middleware for the Cloud-Fog-Edge continuum (Masterarbeit)\, Betreuer/in: Nathan Hagel\n\nThomas Riekert: Leveraging LLMs for Architectural Abstract Penetration Test Case Generation (Masterarbeit)\, Betreuer/in: Jan Keim\, Mahdi Jafari\n\nUrban Polley: Views in the Development of Cyber-Physical Systems (Bachelorarbeit)\, Betreuer/in: Lars König\, Kevin Feichtinger
DTSTAMP:20260309T152027
SEQUENCE:37841
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-04-13
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-04-13
DTSTART:20260413T113000
DTEND:20260413T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nDennis Steinbuch: Variabilitätsmodellierung in SysML v2 und UVL: Vergleichende Analyse und Modelltransformationen (Masterarbeit)\, Betreuer/in: Kevin Feichtinger\n\nMattis Arne Brecht: Energy consumption of compression algorithms across CPU platforms (Bachelorarbeit)\, Betreuer/in: Martina Rapp-Sieger\, Ralf Sieger\n\nPaul Schaarschmidt: Architecting Configurable Neural Accelerators for Data Assimilation (Masterarbeit)\, Betreuer/in: Nathan Hagel
DTSTAMP:20260410T114717
SEQUENCE:37895
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-04-27
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-04-27
DTSTART:20260427T113000
DTEND:20260427T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nDavid Kowal: A Two-Stage RAG Approach for Bug Report Deduplication: An Industrial Case Study Leveraging Multi-Vector Embeddings and LLM Verification (Master's thesis)\, Betreuer/in: Julian Roßkothen\, Fabian Eger\n\nSimon von Rönn: Metamodel-Enhanced LLM Context Understanding of Complex MBSE Models (Master's thesis)\, Betreuer/in: Julian Roßkothen\, Tobias Hey
DTSTAMP:20260420T073912
SEQUENCE:37956
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-05-11
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-05-11
DTSTART:20260511T113000
DTEND:20260511T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nHenrik Kayser: Product-Line Engineering for Metamodels (Masterarbeit)\, Betreuer/in: Arne Lange\, Fabian Eger\n\nNicolai Hüning: Optimize Uncertainty Analysis through Annotation Merging (Masterarbeit)\, Betreuer/in: Nathan Hagel\n\nNiklas Heneka: LLM-Agents for Architectural Performance Model Resource Demand Specification (Master's thesis)\, Betreuer/in: Nathan Hagel\, Maximilian Hummel
DTSTAMP:20260507T062821
SEQUENCE:38021
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-05-18
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-05-18
DTSTART:20260518T113000
DTEND:20260518T130000
LOCATION:Gebäude 50.34\, Raum 010
DESCRIPTION:Vorträge:\n\nFranziska Bachhofer: View Type Conformity in Model-Driven Development (Bachelorarbeit)\, Betreuer/in: Lars König\n\nJean Mathes: Componentization of Model Consistency Rules (Masterarbeit)\, Betreuer/in: Lars König\n\nKonrad Melles: LLM-based Documentation Generation from Software Development Artifacts (Masterarbeit)\, Betreuer/in: Jan Keim\, Tobias Hey\n\nSofia Tuzsuzova: A Metamodel for representing and extracting Legal Knowledge from Ontologies (Bachelorarbeit)\, Betreuer/in: Nicolas Boltz\, Benjamin Arp
DTSTAMP:20260515T071256
SEQUENCE:38040
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-05-22
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-05-22
DTSTART:20260522T113000
DTEND:20260522T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nCarl Blessing: Local semantic search for model element retrieval (Bachelorarbeit)\, Betreuer/in: Julian Roßkothen\n\nElla Schroff: A Metric-Driven Approach for Comparing Change Propagation Across Branches (Bachelorarbeit)\, Betreuer/in: Martin Armbruster\, Raziyeh Dehghani\n\nJing Wang: AI Planning for Consistency Repair (Bachelorarbeit)\, Betreuer/in: Benedikt Jutz\, Bowen Jiang\n\nManuel Córcoles: Leveraging Structural Context for Improved Retrieval in Model-Driven Systems (Master's thesis)\, Betreuer/in: Julian Roßkothen
DTSTAMP:20260520T151442
SEQUENCE:38048
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-06-01
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-06-01
DTSTART:20260601T113000
DTEND:20260601T130000
LOCATION:Gebäude 50.34\, Raum 010
DESCRIPTION:Vorträge:\n\nJohannes Frohnmeyer: Incorporating Code Model Transformation into Token-Based Source Code Plagiarism Detection (Bachelorarbeit)\, Betreuer/in: Nathan Hagel\, Robin Maisch\n\nLam Vo: Automated Multi-sample Runtime Analysis for Performance Regression Localization (Masterarbeit)\, Betreuer/in: Martin Armbruster\, Fatma Chebbi\n\nWebkonferenzraum: https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/Microsoft_Teams
DTSTAMP:20260526T110635
SEQUENCE:38055
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-06-08
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-06-08
DTSTART:20260608T113000
DTEND:20260608T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nFabian Reinbold: Development Effort Prioritization under Uncertainty (Masterarbeit)\, Betreuer/in: Nathan Hagel\n\nJamie Klein: TBA (Masterarbeit)\, Betreuer/in: Nicolas Boltz\, Leonie Sterz\n\nKevin Wiesner: LLM-assisted Architecture Comprehension via Knowledge Graphs (Masterarbeit)\, Betreuer/in: Jan Keim\n\nManuel Lutzi: LLM-Driven Change Propagation from Architectural Performance Models to Java (Bachelorarbeit)\, Betreuer/in: Martin Armbruster\, Fatma Chebbi\n\nWebkonferenzraum: https://teams.microsoft.com/l/channel/19%3a61825496ae1a40f282ae1ea67958cad3%40thread.tacv2/Allgemein?groupId=605e15ab-0083-4590-b8cd-c2879b388732&tenantId=4f5eec75-46fd-43f8-8d24-62bebd9771e5
DTSTAMP:20260603T142052
SEQUENCE:38103
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-06-15
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-06-15
DTSTART:20260615T113000
DTEND:20260615T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nChristian Ilzhöfer: Integrating Token Matches into Clustering for Source Code Plagiarism Detection (Bachelorarbeit)\, Betreuer/in: Nathan Hagel\, Robin Maisch\n\nJohannes von Geisau: LLM-Assisted Identification of Architectural Inconsistencies (Masterarbeit)\, Betreuer/in: Jan Keim\n\nKirill Dyachenko: LLM-assisted Generation of Semantic Tests for Model Transformation Language Code (Bachelorarbeit)\, Betreuer/in: Bowen Jiang\, Weixing Zhang\n\nNiklas Hermerding: Building a Benchmark for LLM-assisted Formal Verification (Bachelorarbeit)\, Betreuer/in: Dominik Fuchß\, Tobias Hey
DTSTAMP:20260615T092302
SEQUENCE:38129
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-06-22
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-06-22
DTSTART:20260622T113000
DTEND:20260622T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nAmir Yeschanov: LLM-Assisted Style Customization of Xtext-Based DSLs (Bachelorarbeit)\, Betreuer/in: Bowen Jiang\, Weixing Zhang\n\nJonas Scholl: Enhancing Source Code Plagiarism Detection Through Commit History Analysis (Bachelorarbeit)\, Betreuer/in: Nathan Hagel\, Robin Maisch
DTSTAMP:20260522T174659
SEQUENCE:38053
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-07-06
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-07-06
DTSTART:20260727T113000
DTEND:20260727T130000
LOCATION:Gebäude 50.34\, Raum 010
DESCRIPTION:Vorträge:
DTSTAMP:20260703T095523
SEQUENCE:38158
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-07-27
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-07-27
DTSTART:20260727T113000
DTEND:20260727T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nFahri Taban: Semantic Impact Analysis for Model Co-Evolution (Masterarbeit)\, Betreuer/in: Erik Burger\n\nFelix Anschütz: Instance-level Reactions (Bachelorarbeit)\, Betreuer/in: Fabian Eger
DTSTAMP:20260722T145351
SEQUENCE:38201
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-09-09
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-09-09
DTSTART:20260909T100000
DTEND:20260809T103000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nLuai Malek: Entwicklung einer integrierten CAD-Umgebung für mechatronische Mehrdomänensysteme basierend auf der Kopplung modularer Eindomänen-Komponenten (Masterarbeit)\, Betreuer/in: Thomas Weber\, Vitus Lüntzel
DTSTAMP:20260907T124334
SEQUENCE:38991
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-09-14
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-09-14
DTSTART:20260914T113000
DTEND:20260914T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nAlp Toraç Genç: Systematic and Extensible Integration of Orthogonal Information into Change Propagation (Masterarbeit)\, Betreuer/in: Martin Armbruster\, Raziyeh Dehghani\n\nYinlei Ba: Konzeptioneller Vergleich und Transformation zwischen CDL und UVL (Bachelorarbeit)\, Betreuer/in: Kevin Feichtinger
DTSTAMP:20260914T051818
SEQUENCE:39008
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-09-21
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-09-21
DTSTART:20260922T143000
DTEND:20260922T151000
LOCATION:Gebäude 50.34\, Raum 010
DESCRIPTION:Vorträge:\n\nFelix Schwickerath: Modeling Context for xDECAF Data Flow Diagrams (Masterarbeit)\, Betreuer/in: Nicolas Boltz\, Benjamin Arp\n\nTom Hüller: Enable tool calling inside Vitruvius with the example of xDECAF (Masterarbeit)\, Betreuer/in: Benjamin Arp\, Fabian Eger
DTSTAMP:20260914T071454
SEQUENCE:39010
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-10-05
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-10-05
DTSTART:20261005T113000
DTEND:20261005T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:\n\nMichael Scholl: TBA (Masterarbeit)\, Betreuer/in: Kevin Feichtinger
DTSTAMP:20260924T145201
SEQUENCE:39082
END:VEVENT
BEGIN:VEVENT
SUMMARY:SDQ-Proposal-Seminar
URL:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-11-09
UID:https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/2026-11-09
DTSTART:20261109T113000
DTEND:20261109T130000
LOCATION:Gebäude 50.34\, Raum 348
DESCRIPTION:Vorträge:
DTSTAMP:20261005T101149
SEQUENCE:39159
END:VEVENT
END:VCALENDAR