Arpan Gujarati's thesis has received the 2021 ACM SIGBED Paul Caspi Memorial Dissertation Award.
Björn Brandenburg serves as the program chair of the 33rd Euromicro Conference on Real-Time Systems (ECRTS'21).
MPI-SWS postdoctoral fellow Anne-Kathrin Schmuck was accepted to the Emmy Noether Programme of the German Science Foundation (DFG) to establish her own research group developing "Automated modular synthesis techniques for reliable Cyber-Physical System (CPS) design".
Max Planck researchers have co-authored 17 papers at the colocated LICS 2020 and ICALP 2020, two of the top conferences in theoretical computer science.
MPI-SWS researchers Sergey Bozhko and Björn Brandenburg have received an Outstanding Paper Award at ECRTS 2020 for their paper "Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle."
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.