gratulieren Joachim Schramm herzlich zur bestandenen Promotionsprüfung! Am Mittwoch, den 28. Januar 2026 verteidigte Herr Schramm erfolgreich seine Promotion mit dem Thema "Semantisch valide Integration

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

than 5 research projects successfully completed 🚀 And: 5 exciting new research projects starting in 2026 🎓 Over 30 student projects, lectures, labs, and seminars 🧠 A new professorship in Applied Machine […] possible! Wishing you all a joyful Christmas season, restful holidays, and an inspiring start into 2026!

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

design, development, analysis, and evolution of software systems. ICSE 2026 will take place in Rio de Janeiro, Brazil, from April 12–18, 2026. Graphical user interfaces (GUIs) are foundational to interactive […] Kretzer, Simone Paolo Ponzetto, Alexander Maedche, and Christian Bartelt has been accepted at ICSE 2026, the 48th IEEE/ACM International Conference on Software Engineering (CORE Rank A*). ICSE is the premier