Research

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.

Publications

Outstanding Paper Award at ECRTS22
M. Maida, S. Bozhko, and B. Brandenburg
To appear in RTSS2022
K. Bedarkar, S. Bozhko, M. Maida, M. Vardishvili, and B. Brandenburg
RTAS2022, WIP Track
M. Perronet, M. Maida, C. Courtaud, and B. Brandenburg

Projects

PROSA
Formally-Verified Theories for Schedulability Analysis
COQ
Core Team Maintainer • Contributor
POET
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.
Rust
Design • Research and Development