I have been working at Max Planck Institute September 2019 to October 2022, working in the field of real-time systems under the TOROS grant.

I worked on the intersection between real-time schedulability theory and formal verification, both on the theoretical and applied side. This list only contains projects and publications I worked on with a meaningful contribution.


Outstanding Paper Award at ECRTS 2022
M. Maida, S. Bozhko, and B. Brandenburg
RTSS 2022
K. Bedarkar, S. Bozhko, M. Maida, M. Vardishvili, and B. Brandenburg
RTAS 2022, WIP Track
M. Perronet, M. Maida, C. Courtaud, and B. Brandenburg


Formally-Verified Theories for Schedulability Analysis
Core Team Maintainer • Contributor
Automatic COQ Proof Generation
Python, COQ
Main Developer • Research and Development
RBF Trace
Analyzes the workload on a Linux system to yield back temporal data at runtime.
Design • Research and Development