OPAL Meeting in Dortmund
Wissenschaftler der TU Darmstadt besuchen uns, um über die Zukunft des OPAL-Frameworks zu diskutieren.
Arbeit zur Stabilität von Softwarekomponenten-Updates wird auf der ICSE 2023 veröffentlicht
Der neuartige Ansatz macht Aktualisierungsentscheidungen stabiler und vorhersehbarer und ermöglicht eine bessere Automatisierung.
Positionspapier zu Research Artifacts in der IT-Sicherheitsforschung veröffentlicht
Der Artikel "What Has Artifact Evaluation Ever Done for Us?" bespricht Vorteile die Veröffentlichung von Forschungsartefakte hat.
Ben Hermann ist jetzt Mitglied des ACM TOSEM Board of Distinguished Reviewers
Das Journal Transactions on Software Engineering and Methodology ist die führende Journal für Softwaretechnik, die von der Association for Computing…
Anemone Kampkötter, M.Sc. wird Mitglied der Forschungsgruppe
In ihrer Masterarbeit entwickelte sie automatisierte Methoden zur Erkennung sicherheitskritischer Fragmente von Android-Anwendungen, um…
![[Translate to English:]](/storages/sse-cs/_processed_/7/7/csm_anemone_kampkoetter_9abd67d6f3.jpg "[Translate to English:]")
Beste Vorlesung der Fakultät im Sommersemester 2021!
Unsere Veranstaltung Typesystems for Correctness and Security wurde als beste Vorlesung der Fakultät im Sommersemester 2021 ausgezeichnet.
Zwei Arbeiten für den ICSE Journal-First Track angenommen
Zwei unserer Journal-Veröffentlichungen wurden in den ICSE Journal-First Track aufgenommen
Ben Hermann organisiert die ECOOP 2022 in Berlin
Die 35. Ausgabe von ECOOP wird in Berlin stattfinden. Ben Hermann ist als General Chair für die Organisation der Konferenz verantwortlich.
Zwei Arbeiten akzeptiert im Engineering Track der IEEE SCAM
Wir geben Einblicke in unsere Designentscheidungen und unseren Umgang mit Globals in C/C++-Programmen in PhASAR.
