07.08.2023

Arbeit zu Modularer Statischer Analyse auf ASE '23 veröffentlicht

Unser Tool SPARRI erlaubt es, die Ergebnisse statischer Analyse zu veröffentlichen, zu teilen und wiederzuverwenden.

21.04.2023

OPAL Meeting in Dortmund

Wissenschaftler der TU Darmstadt besuchen uns, um über die Zukunft des OPAL-Frameworks zu diskutieren.

10.12.2022

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.

23.09.2022

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.

13.07.2022

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…

02.05.2022

Anemone Kampkötter, M.Sc. wird Mitglied der Forschungsgruppe

In ihrer Masterarbeit entwickelte sie automatisierte Methoden zur Erkennung sicherheitskritischer Fragmente von Android-Anwendungen, um…

04.03.2022

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.

11.02.2022

Zwei Arbeiten für den ICSE Journal-First Track angenommen

Zwei unserer Journal-Veröffentlichungen wurden in den ICSE Journal-First Track aufgenommen

08.09.2021

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.