About me

I am a third year PhD student under the supervision of Björn Brandenburg. My main research interests are real-time systems and formal analysis methods. Presently, my main focus is Prosa project.

Publications

  1. A ROS 2 Response-Time Analysis Exploiting Starvation Freedom and Execution-Time Variance,
    by T. Blaß, D. Casini, S. Bozhko, and B. Brandenburg
    Proceedings of the 42nd IEEE Real-Time Systems Symposium (RTSS 2021)

  2. Monte Carlo Response-Time Analysis,
    by S. Bozhko, G. von der Brüggen, and B. Brandenburg
    Outstanding Paper Award
    Proceedings of the 42nd IEEE Real-Time Systems Symposium (RTSS 2021)

  3. Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle,
    by S. Bozhko and B. Brandenburg
    Outstanding Paper Award
    Proceedings of the 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)

  4. Real-Time Replica Consistency over Ethernet with Reliability Bounds,
    by A. Gujarati, S. Bozhko, and B. Brandenburg
    Distinguished Paper Award
    Proceedings of the 26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2020)

  5. Bar-Hillel Theorem Mechanization in Coq,
    by S. Bozhko, L. Khatbullina, and S. Grigorev
    Proceedings of the 26th Logic, Language, Information, and Computation - International Workshop (WoLLIC 2019)