Anne-Kathrin Schmuck joins the tenure-track faculty at our institute starting July 2023.
Cedric Courtaud and Björn Brandenburg have received the Best Paper award at RTAS 2023.
Kaushik Mallik's thesis has received the 2023 ETAPS Doctoral Dissertation Award.
Filip Marković has received an award for the best presentation at RTSS’22.
MPI-SWS researchers have received the 2022 Best Paper Award at RTSS for their paper "In-ConcReTeS: Interactive Consistency meets Distributed Real-Time Systems, Again!"
The TOROS project, supported by an ERC Starting Grant, targets the challenge of implementing safety-critical cyber-physical systems on commodity multicore processors such that their temporal correctness can be certified in a formal, trustworthy manner.
a Python/C++ library implementing state-of-the-art multiprocessor real-time schedulability analyses, blocking analyses, overhead accounting methods, and task set generators.