Alle öffentlichen Logbücher
Dies ist die kombinierte Anzeige aller in SDQ-Institutsseminar geführten Logbücher. Die Ausgabe kann durch die Auswahl des Logbuchtyps, des Benutzers oder des Seitentitels eingeschränkt werden (Groß-/Kleinschreibung muss beachtet werden).
- 09:46, 14. Jul. 2022 Maximilian Walter Diskussion Beiträge löschte die Seite Yakup Evli (Inhalt war: „{{Vortrag |vortragender=Yakup Evli |email=uozro@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Maximilian Walter |termin=Institutsseminar/2022-11-10 Zusatztermin |vortragsmodus=online |kurzfassung=TBD }}“. Einziger Bearbeiter: Gl6885 (Diskussion))
- 09:45, 14. Jul. 2022 Maximilian Walter Diskussion Beiträge erstellte die Seite Yakup Evli (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Yakup Evli |email=uozro@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Maximilian Walter |termin=Institutsseminar/2022-11-10 Zus…“)
- 09:30, 14. Jul. 2022 Martina Rapp Diskussion Beiträge erstellte die Seite Institutsseminar/2022-10-21 (Die Seite wurde neu angelegt: „{{Termin |datum=2022-10-21T11:30:00.000Z |raum=MS Teams |online=https://sdqweb.ipd.kit.edu/wiki/SDQ-Oberseminar/Microsoft_Teams }}“)
- 13:19, 13. Jul. 2022 Sandro Koch Diskussion Beiträge erstellte die Seite Identification and refactoring of bad smells in model-based analyses (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Martin Wittlinger |email=ubogv@student.kit.edu |vortragstyp=Masterarbeit |betreuer=Sandro Koch |termin=Institutsseminar/2022-09-23 |vor…“)
- 13:18, 13. Jul. 2022 Sandro Koch Diskussion Beiträge erstellte die Seite Institutsseminar/2022-09-23 (Die Seite wurde neu angelegt: „{{Termin |datum=2022-09-23T12:00:00.000Z |raum=Raum 348 (Gebäude 50.34) }}“)
- 17:02, 12. Jul. 2022 Sebastian Hahner Diskussion Beiträge erstellte die Seite Institutsseminar/2022-11-10 Zusatztermin (Die Seite wurde neu angelegt: „{{Termin |datum=2022-11-10T12:00:00.000Z |raum=Raum 348 (Gebäude 50.34) }}“)
- 16:08, 12. Jul. 2022 Frederik Reiche Diskussion Beiträge erstellte die Seite Kopplung statischer Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Laura Traub |email=uugre@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Benutzer:Dv9597 |termin=Institutsseminar/2022-11-11 |vor…“)
- 12:08, 12. Jul. 2022 Erik Burger Diskussion Beiträge löschte die Seite Eine verbesserte Schnittstelle für interaktive Beweise in Separation Logic (Interner Vortrag)
- 15:05, 11. Jul. 2022 Sandro Koch Diskussion Beiträge erstellte die Seite Eine verbesserte Schnittstelle für interaktive Beweise in Separation Logic (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Lars König |email=lars.koenig@student.kit.edu |vortragstyp=Vortrag |betreuer=Ralf Reussner |termin=Institutsseminar/2022-07-15 |vortra…“)
- 15:03, 11. Jul. 2022 Sandro Koch Diskussion Beiträge erstellte die Seite Institutsseminar/2022-07-15 (Die Seite wurde neu angelegt: „{{Termin |datum=2021-01-01T14:00:00.000Z |raum=MS Teams }}“)
- 09:55, 8. Jul. 2022 Tobias Hey Diskussion Beiträge erstellte die Seite Vergleich verschiedener Sprachmodelle für den Einsatz in automatisierter Rückverfolgbarkeitsanalyse (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Tim Lachenicht |email=tim.lachenicht@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Tobias Hey |termin=Institutsseminar/2022-11-…“)
- 14:00, 1. Jul. 2022 Sophie Corallo Diskussion Beiträge erstellte die Seite Institutsseminar/2023-01-13 (Die Seite wurde neu angelegt: „{{Termin |datum=2021-01-01T11:30:00.000Z |raum=Raum 348 (Gebäude 50.34) }}“)
- 13:59, 1. Jul. 2022 Sophie Corallo Diskussion Beiträge erstellte die Seite Modellierung von Annahmen in Softwarearchitekturen (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Kathrin Leonie Schmidt |email=uoqwm@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Sophie Corallo |termin=Institutsseminar/2022-…“)
- 15:39, 30. Jun. 2022 Sophie Corallo Diskussion Beiträge erstellte die Seite Beyond Similarity - Dimensions of Semantics and How to Detect them (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Felix Pieper |email=felix.pieper@thingsthinking.net |vortragstyp=Masterarbeit |betreuer=Sophie Corallo |termin=Institutsseminar/2022-01…“)
- 15:37, 30. Jun. 2022 Sophie Corallo Diskussion Beiträge erstellte die Seite Institutsseminar/2022-01-13 (Die Seite wurde neu angelegt: „{{Termin |datum=2021-01-01T11:30:00.000Z |raum=Raum 348 (Gebäude 50.34) }}“)
- 15:33, 30. Jun. 2022 Sophie Corallo Diskussion Beiträge erstellte die Seite Sophie Corallo (Die Seite wurde neu angelegt: „{{Betreuer |email=sophie.schulz@kit.edu |homepage=https://mcse.kastel.kit.edu/staff_sophie_schulz.php |lehrstuhl=IPD Koziolek }}“)
- 15:29, 30. Jun. 2022 Benutzerkonto Sophie Corallo Diskussion Beiträge wurde automatisch erstellt
- 14:23, 20. Jun. 2022 Federico Matteucci Diskussion Beiträge erstellte die Seite Meta-learning for Encoder Selection (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Mingzhe Tao |email=uofpn@student.kit.edu |vortragstyp=Proposal |betreuer=Federico Matteucci |termin=Institutsseminar/2022-06-24 Zusatzt…“)
- 16:39, 14. Jun. 2022 Jakob Bach Diskussion Beiträge erstellte die Seite Wichtigkeit von Merkmalen für die Klassifikation von SAT-Instanzen (Abschlusspräsentation) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Elizaveta Danilova |email=uoujv@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Jakob Bach |termin=Institutsseminar/2022-08-19 |v…“)
- 16:36, 14. Jun. 2022 Maximilian Walter Diskussion Beiträge erstellte die Seite A Mobility Case Study Framework for Validating Uncertainty Impact Analyses regarding Confidentiality (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Denis Priss |email=denis.priss@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Sebastian Hahner |termin=Institutsseminar/2022-11-…“)