About me

I am a fourth 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. Foundational Response-Time Analysis as Explainable Evidence of Timeliness,
   by M. Maida, S. Bozhko, and B. Brandenburg
   Outstanding Paper Award
   Proceedings of the 34nd Euromicro Conference on Real-Time Systems (ECRTS 2022)

2. 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)

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

4. 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)

5. 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)

6. 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)