SDQ-Institutsseminar: Unterschied zwischen den Versionen

Aktuelle Version vom 30. Januar 2025, 13:33 Uhr

Das SDQ-Institutsseminar ist eine ständige Lehrveranstaltung, die den Zweck hat, über aktuelle Forschungsarbeiten in den zu Software Design and Quality (SDQ) gehörigen Forschungsgruppen innerhalb von KASTEL – Institut für Informationssicherheit und Verlässlichkeit zu informieren. Insbesondere soll Studierenden 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 Mitarbeitenden des KIT sowie sonstigen Interessierten offen.

Das Seminar findet auf Wunsch hybrid mit online zugeschalteten Teilnehmenden statt. Bitte dies den Betreuenden rechtzeitig mitteilen, damit diese die notwendigen Geräte aufbauen können.

	Ort	Gebäude 50.34, Seminarraum 010 oder online, siehe Beschreibung
	Zeit	jeweils freitags, 11:30–13:00 Uhr Ab Sommersemester 2025: 14:00–15:30 Uhr

Die Vorträge müssen den folgenden zeitlichen Rahmen einhalten (siehe auch SDQ-Wiki):

Masterarbeit: 30 Minuten Redezeit + 15 Minuten Diskussion
Bachelorarbeit: 20 Minuten Redezeit + 10 Minuten Diskussion

Weitere Informationen

Nächste Vorträge

Termine in Kalender importieren: iCal (Download)

Donnerstag, 20. Februar 2025, 11:30 Uhr

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

Vortragende(r)	Adrian Freund
Titel	Metamodeling with JSON
Vortragstyp	Masterarbeit
Betreuer(in)	Thomas Weber
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	Model Driven Software Development (MDSD) is a set of software development techniques that aims to increase productivity, quality and reusability by promoting models to primary development artifacts. In practice, MDSD is often realized using the Eclipse Modeling Framework (EMF). The Eclipse Modeling Framework depends on the Eclipse platform and persists models as XML, which doesn't scale well with very large models. We developed extensions for the JSON-Schema document format that allow JSON and JSON-Schema to be used for MDSD. We also developed a transformation from EMF models to JSON-Schema documents, as well as Kotlin code generation from JSON-Schema documents based on this extended JSON-Schema to lessen the dependency on the Eclipse platform when using an MDSD approach.

Vortragende(r)	Matthias Lüthy
Titel	Modellierung von Angriffen für quantitative Sicherheitsanalysen
Vortragstyp	Masterarbeit
Betreuer(in)	Frederik Reiche
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	Die vorliegende Masterarbeit beschäftigt sich mit der Modellierung von Angreifern und Angriffen auf ein komponentenbasiertes Softwaresystem, das zuvor bereits mittels eines bestehenden Ansatzes zur Quantifizierung von Architektur und Code modelliert und formal verifiziert wurde. Während die vorausgehende formale Verifikation einen wohlwollenden, ehrlichen Nutzer voraussetzt, erweitert diese Masterarbeit das Modell um einen Angreifer, der gezielt Randfälle und Implementierungsfehler ausnutzt. Der Unterschied zu bisherigen Arbeiten, die sich mit Angriffen auf Softwaresysteme beschäftigen, besteht darin, dass Modellierung und Analyse nicht auf der Architekturebene, sondern auf der Quellcode-Ebene erfolgen. Konkret wird ein Metamodell für Schwachstellen, Angriffsbäume und Angreifer vorgestellt und ein Analysetool implementiert, um eine quantitative Aussage über die Angriffssicherheit des Softwaresystems treffen zu können. Zur Evaluation wird eine Fallstudie mit zehn verschiedenen Angriffsbäumen durchgeführt, die alle verschiedenen, denkbaren Baumkonstruktionen repräsentieren. Zur Skalierbarkeitsuntersuchung wird für einen Angriffsbaum die Anzahl an parallelen Knoten sowie die Anzahl von Angreifern variiert. In der Auswertung ergeben sich eine Präzision und Sensitivität von 100 % sowie eine rein auf den neuen Beitrag dieser Arbeit bezogene sehr gute Skalierbarkeit der Analyse.

Donnerstag, 20. Februar 2025, 11:30 Uhr

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

Vortragende(r)	Iliyan Ivanov
Titel	Gamifying Collaborative Learning
Vortragstyp	Bachelorarbeit
Betreuer(in)	Lucia Happe
Vortragssprache	Englisch
Vortragsmodus	in Präsenz
Kurzfassung	The bachelor’s thesis “Gamifying Collaborative Learning” explores how gamification can enhance teamwork in collaborative learning environments. Challenges like unequal participation, low motivation, and lack of feedback often hinder group effectiveness. To address these, a gamification framework was integrated into the digital platform CollabSpace, featuring real-time notifications, a points system, and personalized feedback. Evaluation with three groups shows that gamification can increase motivation and team awareness, especially in text-based tasks. However, there is still a lot of runway for improvement. The findings provide valuable insights for future developments in gamified collaborative learning platforms.

Vortragende(r)	Fatma Chebbi
Titel	Verification of Quantitative Information Flow Security Using Statistical Model Checking
Vortragstyp	Masterarbeit
Betreuer(in)	Christopher Gerking
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	Kurzfassung

Freitag, 21. März 2025, 11:30 Uhr

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

Vortragende(r)	Colin Begero
Titel	Repository Mining for Architectural Information
Vortragstyp	Bachelorarbeit
Betreuer(in)	Martin Armbruster
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	TBA

Freitag, 28. März 2025, 14:00 Uhr

iCal (Download)
Ort: Raum 348 (Gebäude 50.34)
Webkonferenz: https://sdq.kastel.kit.edu/wiki/SDQ-Institutsseminar/Microsoft_Teams

Vortragende(r)	Alexander Milster
Titel	Multi-Language and Cross-Language Software Plagiarism Detection
Vortragstyp	Bachelorarbeit
Betreuer(in)	Robin Maisch
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	TBD

Freitag, 23. Mai 2025, 14:00 Uhr

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

Vortragende(r)	Steffen Schmitt
Titel	Dynamisches Speichermanagement in großen modellbasierten Java-Anwendungen
Vortragstyp	Masterarbeit
Betreuer(in)	Erik Burger
Vortragssprache	Deutsch
Vortragsmodus	in Präsenz
Kurzfassung	Kurzfassung

weitere Termine

@@ Zeile 1: / Zeile 1: @@
-Das Institutsseminar des [https://www.ipd.kit.edu 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.
+Das SDQ-Institutsseminar ist eine ständige Lehrveranstaltung, die den Zweck hat, über aktuelle Forschungsarbeiten in den zu [https://sdq.kastel.kit.edu Software Design and Quality (SDQ)] gehörigen Forschungsgruppen innerhalb von  [https://www.kastel.kit.edu KASTEL – Institut für Informationssicherheit und Verlässlichkeit] zu informieren. Insbesondere soll Studierenden 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 Mitarbeitenden des KIT sowie sonstigen Interessierten offen.
+Das Seminar findet auf Wunsch hybrid mit online zugeschalteten Teilnehmenden statt. Bitte dies den Betreuenden rechtzeitig mitteilen, damit diese die notwendigen Geräte aufbauen können.
 {| class="wikitable"
+! {{FA|fa-building fa-regular fa-2x}}
 ! Ort
-| Gebäude 50.34, Seminarraum 348 oder online, siehe Beschreibung
+| Gebäude 50.34, Seminarraum 010 oder online, siehe Beschreibung
 |-
+! {{FA|fa-solid fa-calendar-day fa-2x}}
 ! Zeit
-| jeweils freitags, 11:30–13:00 Uhr / 14:00–15:30 Uhr
+| jeweils freitags, 11:30–13:00 Uhr {{InlineAttention|Ab Sommersemester 2025: '''14:00–15:30 Uhr'''}}
 |}
-Die Vorträge müssen den folgenden zeitlichen Rahmen einhalten:
+Die Vorträge müssen den folgenden zeitlichen Rahmen einhalten (siehe auch [[sdqwiki:Umfang von Ausarbeitungen und Vorträgen|SDQ-Wiki]]):
 * Masterarbeit: 30 Minuten Redezeit + 15 Minuten Diskussion
 * Bachelorarbeit: 20 Minuten Redezeit + 10 Minuten Diskussion
-* Proposal: 12 Minuten Redezeit + 8 Minuten Diskussion
-Weitere Informationen: https://sdqweb.ipd.kit.edu/wiki/Institutsseminar. Bei Fragen und Anmerkungen können Sie eine E-Mail an das [mailto:institutsseminar@ipd.kit.edu Institutsseminar-Team] schreiben.
+=== Weitere Informationen ===
+* [[Besuch des SDQ-Institutsseminars]]
+* [[Halten von Vorträgen]]
+* [[Microsoft Teams]]
 == Nächste Vorträge ==
+Termine in Kalender importieren: {{#ask: [[Kategorie:Termin]][[Veranstaltungsdatum::>{{#time:Y-m-d}}]][[-Termin::+]]
+ |?Veranstaltungstitel=summary
+ |?Veranstaltungsdatum=start
+ |?Veranstaltungsende=end
+ |?Veranstaltungsraum=location
+ |?Veranstaltungszusammenfassung=description
+ |format=iCalendar
+ |searchlabel={{FA|fa-solid fa-file-arrow-down}} iCal (Download)
+}}
 {{#ask:[[Kategorie:Termin]][[Veranstaltungsdatum::>{{#time:Y-m-d}}]][[-Termin::+]]
 |mainlabel=Name
@@ Zeile 23: / Zeile 38: @@
 |?Veranstaltungsraum
 |?Webkonferenzraum
+|?Vortragssprache
 |sort=Veranstaltungsdatum
 |order=ascending