13.05.2025
Felix Stegmaier gewann den Hans-Uhde-Preis
Er erhielt den Preis für seine Masterarbeit in unserer Gruppe über die Erweiterung von PhASAR für Rust
08.05.2025
Von der Bachelorarbeit zum Forschungspreis
Projekt SPEAR gewinnt den 2. Platz beim Wettbewerb „Forum Junge Spitzenforschung“!
02.05.2025
Till Schallau erhält eine Software Campus Förderung
In einem zweijährigen Projekt werden wir formale Spezifikationen in szenariobasierten Tests für autonomes Fahren untersuchen.
28.04.2025
Neue Mitglieder in unserer Forschungsgruppe
Wir begrüßen zwei neue Mitglieder in unserer Forschungsgruppe - Dr. Dominik Helm und Andreas Diepenbrock
26.02.2025
Zwei neue Publikationen auf der MSR 2025 angenommen
In Zusammenarbeit mit unseren Praktikanten haben wir zwei Ausarbeitungen geschrieben und auf der MSR 2025 veröffentlicht.
14.02.2025
OPAL-Frühjahrsforschungstreffen in Essen
Unsere Gruppe traf sich erneut mit Forschern, die an dem OPAL-Projekt beteiligt sind.
27.01.2025
SPEAR gewinnt den Nachhaltigkeitspreis unserer Abteilung
In seiner ersten Auflage gewannen wir den Nachhaltigkeitspreis in der Kategorie Technische Nachhaltigkeit.
25.06.2024
Unsere Sommerpraktikanten
Wir begrüßen unsere internationalen Praktikanten für den Sommer! Jared Chiaramonte und Vivek Sarkar verstärken unsere Gruppe für die nächsten Monate.
04.03.2024
Beitrag zur Bewertungsmethodik auf der ISSTA'24 angenommen
In "Total Recall? How Good are Static Call Graphs Really?" entwickeln wir eine neue Methodik für Benchmarks.
