Neue Seiten

10:45, 11. Nov. 2024 ‎State of the Art: Towards Continuous Round-trip Engineering of Architectural Performance Models (Versionen | bearbeiten) ‎[286 Bytes] ‎Martin Armbruster (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Alp Genç |email=ufyzm@student.kit.edu |vortragssprache=Englisch |vortragstyp=Vortrag |betreuer=Martin Armbruster |termin=Institutsseminar/2024-12-20 |vortragsmodus=in Präsenz |kurzfassung=State of the art presentation for Praxis der Forschung. Takes 30 min. }}“)
11:43, 8. Nov. 2024 ‎Lucia Happe (Versionen | bearbeiten) ‎[63 Bytes] ‎Kai Marquardt (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Betreuer |email=lucia.happe@kit.edu |homepage= |lehrstuhl= }}“)
11:42, 8. Nov. 2024 ‎Gamifying Collaborative Learning (Versionen | bearbeiten) ‎[233 Bytes] ‎Kai Marquardt (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Iliyan Ivanov |email=ueqac@student.kit.edu |vortragssprache=Englisch |vortragstyp=Bachelorarbeit |betreuer=Kai Marquardt |termin=Institutsseminar/2025-02-14 |vortragsmodus=in Präsenz |kurzfassung=Kurzfassung }}“)
17:05, 30. Okt. 2024 ‎Einsatz von Retrieval-Augmented LLMs zur Unterstützung von Tutoren in Programmier-Einsteigerkursen (Versionen | bearbeiten) ‎[237 Bytes] ‎Dominik Fuchß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Niklas Kerkhoff |email=urveq@student.kit.edu |vortragssprache=Deutsch |vortragstyp=Bachelorarbeit |betreuer=Dominik Fuchß |termin=Institutsseminar/2024-12-20 |vortragsmodus=in Präsenz |kurzfassung=Kurzfassung }}“)
13:43, 30. Okt. 2024 ‎Decomposing Model-based Analyses - Processes and Guidelines (Versionen | bearbeiten) ‎[1.250 Bytes] ‎Robert Heinrich (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Jonas Kasper |email=Jonas.Kasper@so-san.de |vortragssprache=Deutsch |vortragstyp=Masterarbeit |betreuer=Robert Heinrich |termin=Institutsseminar/2024-11-14 |vortragsmodus=in Präsenz |kurzfassung=Die Analyse von Qualitäts-Eigenschaften ist ein wichtiger Bestandteil, um qualitativ hochwertige Software sicherstellen zu können. Und stellt eine komplexe Aufgabe dar. Hierfür wird häufig die modell-basierte Analyse eingesetzt. Wie au…“)
13:39, 30. Okt. 2024 ‎Institutsseminar/2024-11-14 (Versionen | bearbeiten) ‎[53 Bytes] ‎Robert Heinrich (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Termin |datum=2024-01-01T14:00:00.000Z |raum=Raum 010 (Gebäude 50.34) }}“)
10:05, 26. Sep. 2024 ‎Simulating Attacks on Blockchain Systems using Palladio (Versionen | bearbeiten) ‎[1.470 Bytes] ‎Robert Heinrich (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Yannik Sproll |email=ukgsr@student.kit.edu |vortragssprache=Englisch |vortragstyp=Bachelorarbeit |betreuer=Robert Heinrich |termin=Institutsseminar/2024-10-11 |vortragsmodus=in Präsenz |kurzfassung=Due to the increasing interest of public institutions in blockchain technology, blockchain systems could become a part of critical infrastructure for applications such as cryptocurrencies. Such scenarios impose strong security require…“)
10:37, 24. Sep. 2024 ‎Using machine learning techniques to mitigate confidentiality violations (Versionen | bearbeiten) ‎[1.833 Bytes] ‎Nils Daniel Niehues (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Jonas Koch |email=jonas.koch@student.kit.edu |vortragssprache=Deutsch |vortragstyp=Masterarbeit |betreuer=Nils Niehues |termin=Institutsseminar/2024-11-15 |vortragsmodus=in Präsenz |kurzfassung=TBA }}“)
08:52, 23. Sep. 2024 ‎Verification of Quantitative Information Flow Security Using Statistical Model Checking (Versionen | bearbeiten) ‎[244 Bytes] ‎Thomas Weber (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Fatma Chebbi |email=fatma.chebbi@student.kit.edu |vortragssprache=Deutsch |vortragstyp=Masterarbeit |betreuer=Christopher Gerking |termin=Institutsseminar/2025-02-21 |vortragsmodus=in Präsenz |kurzfassung=Kurzfassung }}“)
08:48, 23. Sep. 2024 ‎Metamodeling with JSON (Versionen | bearbeiten) ‎[239 Bytes] ‎Thomas Weber (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Adrian Freund |email=adrian.freund@student.kit.edu |vortragssprache=Deutsch |vortragstyp=Masterarbeit |betreuer=Thomas Weber |termin=Institutsseminar/2025-02-21 |vortragsmodus=in Präsenz |kurzfassung=Kurzfassung }}“)
08:47, 23. Sep. 2024 ‎Institutsseminar/2025-02-21 (Versionen | bearbeiten) ‎[75 Bytes] ‎Thomas Weber (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Termin |datum=2025-02-21T14:30:00.000Z |raum=Raum 010 (Gebäude 50.34) }}“)
16:27, 20. Sep. 2024 ‎Continuous Integration of architectural Performance Models for Lua Applications (Versionen | bearbeiten) ‎[225 Bytes] ‎Martin Armbruster (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Juan Saenz |email=uvlvd@student.kit.edu |vortragssprache=Deutsch |vortragstyp=Masterarbeit |betreuer=Martin Armbruster |termin=Institutsseminar/2025-02-14 |vortragsmodus=in Präsenz |kurzfassung=TBA }}“)
16:26, 20. Sep. 2024 ‎Institutsseminar/2025-02-14 (Versionen | bearbeiten) ‎[75 Bytes] ‎Martin Armbruster (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Termin |datum=2025-02-14T11:30:00.000Z |raum=Raum 010 (Gebäude 50.34) }}“)
16:25, 20. Sep. 2024 ‎Generalization of Consistency Rules between Architecture Models and Source Code (Versionen | bearbeiten) ‎[226 Bytes] ‎Martin Armbruster (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Fanjun Weng |email=uhgcc@student.kit.edu |vortragssprache=Deutsch |vortragstyp=Masterarbeit |betreuer=Martin Armbruster |termin=Institutsseminar/2025-01-17 |vortragsmodus=in Präsenz |kurzfassung=TBA }}“)
16:22, 20. Sep. 2024 ‎Institutsseminar/2025-01-17 (Versionen | bearbeiten) ‎[75 Bytes] ‎Martin Armbruster (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Termin |datum=2025-01-17T11:30:00.000Z |raum=Raum 010 (Gebäude 50.34) }}“)
12:01, 19. Sep. 2024 ‎Spezifikation und Analyse fahrzeugbezogener Datenflussrichtlinien auf Basis der Vehicle Signal Specification (Versionen | bearbeiten) ‎[2.525 Bytes] ‎Christopher Gerking (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Sandro Negri |email=sandro.negri@student.kit.edu |vortragssprache=Deutsch |vortragstyp=Masterarbeit |betreuer=Christopher Gerking |termin=Institutsseminar/2024-11-15 |vortragsmodus=in Präsenz |kurzfassung=TBA }}“)
11:06, 19. Sep. 2024 ‎Institutsseminar/2024-11-15 (Versionen | bearbeiten) ‎[75 Bytes] ‎Christopher Gerking (Diskussion | Beiträge) (Institutsseminar 15. November angelegt)
12:22, 17. Sep. 2024 ‎Zeitbehaftete Informationsflussanalyse zur genauen Erkennung von verdeckten Zeitkanälen (Versionen | bearbeiten) ‎[1.316 Bytes] ‎Christopher Gerking (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Marcel Straub |email=uxgmd@student.kit.edu |vortragssprache=Deutsch |vortragstyp=Bachelorarbeit |betreuer=Christopher Gerking |termin=Institutsseminar/2024-10-25 |vortragsmodus=in Präsenz |kurzfassung=TBD }}“)