Research
I worked at Max Planck Institute September 2019 to October 2022, specialising 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 ECRTS 2022
M. Maida, S. Bozhko, and B. Brandenburg
M. Maida, S. Bozhko, and B. Brandenburg
RTSS 2022
K. Bedarkar, S. Bozhko, M. Maida, M. Vardishvili, and B. Brandenburg
K. Bedarkar, S. Bozhko, M. Maida, M. Vardishvili, and B. Brandenburg
RTAS 2022, WIP Track
M. Perronet, M. Maida, C. Courtaud, and B. Brandenburg
M. Perronet, M. Maida, C. Courtaud, and B. Brandenburg
Projects
PROSA
Formally-Verified Theories for Schedulability Analysis
COQ
Core Team Maintainer • Contributor
COQ
Core Team Maintainer • Contributor
POET
Automatic COQ Proof Generation
Python, COQ
Main Developer • Research and Development
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
Rust
Design • Research and Development