MPI-SWS researchers Filip Marcović and Björn Brandenburg, jointly with colleagues from TU Dortmund, have received an Outstanding Paper Award at the 45th IEEE Real-Time Systems Symposium (RTSS 2024) for their paper entitled A Distribution-Agnostic and Correlation-Aware Analysis of Periodic Tasks. Congratulations!

MPI-SWS researchers Irmak Saglam and Anne-Kathrin Schmuck, together with RPTU Master Student Munko Tsyrempilon, have received a Distinguished Paper Award at the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2024) for their paper entitled “A Decremental Algorithm for Fair Büchi Games” . Congratulations!

The Best Paper Award at the 27th International Conference on Hybrid Systems: Computation and Control went to Rajab Aghamov, Christel Baier, Toghrul Karimov, Joel Ouaknine and Jakob Piribauer for their paper "Linear Dynamical Systems with Continuous Weight Functions."