SDQ-Institutsseminar: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 20: | Zeile 20: | ||
{{#ask:[[Kategorie:Termin]][[Veranstaltungsdatum::>{{#time:Y-m-d}}]][[-Termin::+]] | {{#ask:[[Kategorie:Termin]][[Veranstaltungsdatum::>{{#time:Y-m-d}}]][[-Termin::+]] | ||
|mainlabel=- | |mainlabel=- | ||
|?Veranstaltungsdatum# | |?Veranstaltungsdatum#ISO=Datum | ||
|format=template | |format=template | ||
|template=Termine für Datum | |template=Termine für Datum | ||
Version vom 8. August 2017, 10:05 Uhr
Das Institutsseminar des Instituts für Programmstrukturen und Datenorganisation (IPD) ist eine ständige Lehrveranstaltung, die den Zweck hat, über aktuelle Forschungsarbeiten am Institut zu informieren. Insbesondere soll Studierenden am Institut die Gelegenheit gegeben werden, über ihre Bachelor- und Masterarbeiten vor einem größeren Auditorium zu berichten. Schwerpunkte liegen dabei auf der Problemstellung, den Lösungsansätzen und den erzielten Ergebnissen. Das Seminar steht aber allen Studierenden und Mitarbeiter/-innen des KIT sowie sonstigen Interessierten offen.
| Ort | Gebäude 50.34, Seminarraum 348 |
|---|---|
| Zeit | jeweils freitags, 11:30–13:00 Uhr |
Die Vorträge müssen den folgenden zeitlichen Rahmen einhalten:
- Diplomarbeit/Masterarbeit: 30 Minuten Redezeit + 15 Minuten Diskussion
- Studienarbeit/Bachelorarbeit: 20 Minuten Redezeit + 10 Minuten Diskussion
- Proposal: 12 Minuten Redezeit + 8 Minuten Diskussion
Weitere Informationen: https://sdqweb.ipd.kit.edu/wiki/Institutsseminar
Nächster Termin
Freitag, 5. Dezember 2025, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Lukas Friedrich |
|---|---|
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Muhammad Asim Minhas |
| Vortragssprache | Englisch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | As automotive systems become increasingly complex, understanding and mitigating risks is crucial for ensuring safety and reliability. The Risk Analysis and Assessment Modeling Language (RAAML) provides a structured approach to identifying and evaluating potential risks. This thesis offers the opportunity to develop a comprehensive case study utilizing RAAML, providing valuable insights into its practical application in the automotive industry. By contributing to this field, you will help enhance the safety protocols and risk management strategies in automotive design. The case study involves a braking system in modern cars. The primary objective is to understand the potential risks associated with this system and develop a comprehensive RAAML model to evaluate its safety and reliability. |
| Vortragende(r) | Julian Robin Winter |
|---|---|
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Kevin Feichtinger |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | This thesis presents the development of a Visual Studio Code extension for the interactive exploration of trace links in software projects. The extension integrates trace links generated by ArDoCo and LiSSA and visualizes them directly within the development environment. Developers can explore relationships between documentation, models, and code using multiple visualization modes. The goal is to improve program comprehension and support typical tasks without disrupting the workflow. A user study is conducted to evaluate the usability and effectiveness of the tool. |
Freitag, 12. Dezember 2025, 11:30 Uhr
iCal (Download)
Ort: Raum 348 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Steffen Steudle |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Manar Mazkatli |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Dead, unused or unreachable code degrades source code maintainability and comprehensibility. Dead code analyses aim to identify such code, allowing developers to safely remove it. However, due to dynamic language features, purely static analyses often produce false positives. This master's thesis presents a hybrid approach to reduce these false positives. We first analyze the code statically to identify potential dead code. Based on these static results, we then instrument the code to collect runtime information about which parts are actually used during execution. This combination of static analysis with dynamic validation allows us to filter out false positives, providing developers with more accurate and reliable results for improving code health. |
| Vortragende(r) | Eric Wehner |
|---|---|
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Tobias Hey |
| Vortragssprache | Englisch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
| Vortragende(r) | Max Oesterle |
|---|---|
| Vortragstyp | Vortrag |
| Betreuer(in) | Arne Lange |
| Vortragssprache | Englisch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Im Kontext von modellbasierter Softwareentwicklung stellt die Konsistenzerhaltung zwischen verschiedenen Metamodellen eine zentrale Herausforderung dar. VitruviusOCL erweitert die Object Constraint Language (OCL) um Mechanismen zur deklarativen Spezifikation von Consistency Relations in einer VSUM (Virtual Single Underlying Model). |
Freitag, 19. Dezember 2025, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Tobias Thirolf |
|---|---|
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Dominik Fuchß |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
Freitag, 9. Januar 2026, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Malte Püschner |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Thomas Weber |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
Freitag, 23. Januar 2026, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | David Bauch |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Dominik Fuchß |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
| Vortragende(r) | Nils Lambertz |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Lars König |
| Vortragssprache | Englisch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
Freitag, 30. Januar 2026, 14:00 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Mücahid Yenigün |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Erik Burger |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
Freitag, 13. März 2026, 14:00 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Jonas Bruer |
|---|---|
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Maximilian Hummel |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | TBD |
| Vortragende(r) | Bescher Kilani |
|---|---|
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Maximilian Hummel |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | TBD |
Freitag, 13. März 2026, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Thomas Heinen |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Lars König |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
Freitag, 20. März 2026, 14:00 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: {{{Webkonferenzraum}}}
| Vortragende(r) | Benjamin Arp |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Nils Niehues |
| Vortragssprache | Englisch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | -- Robert Heinrich wird remote zugeschaltet -- |
| Vortragende(r) | David Inca |
|---|---|
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Julian Roßkothen |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | TBA |
| Vortragende(r) | Fabio Freund |
|---|---|
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Maximilian Hummel |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
__NOCACHE__