durchgeführt wurden. Studentische Arbeiten im Sommersemester 2026 Master George, Arun: Formal Verification of a Part of FreeRTOS with Frama-C 10. April 2026, 13:00 Uhr, Institut für Software and Systems Engineering […] datasets from safety analysis and fault injection during the real-time validation process 08. April 2026, 16:30 Uhr Betreuer der Arbeit: Dr. Mohammad Abboush, apl.Prof. Dr. Christoph Knieke Studentische […] Behavior Rules: An Empirical Analysis of Open-Source Repositories and LLM-Generated Solution 06. März 2026, 13:00 Uhr Betreuer der Arbeit: Prof. Dr. Mohammad Ghafari, apl. Prof. Dr. Christoph Knieke Amir Yahia

abgeschlossenen Promotionen am Lehrstuhl Dr. Joachim Schramm Herr Joachim Schramm hat am 28. Januar 2026 seine Promotion mit Vortrag und Prüfung erfolgreich abgeschlossen. 34. Semantisch valide Integration