Sergey Bozhko

Sergey Bozhko

PhD Student @ MPI-SWS

About me

I am a Ph.D. candidate at Max Planck Institute for Software Systems with expertise in real-time systems, formal methods, and probability theory. Proficient in Python, Rust, Java, and Coq, I am seeking opportunities to apply my technical knowledge and problem-solving skills to interesting projects in software development.

Open Source

Find my contributions to open source projects:

Publications

  1. What Really is pWCET? A Rigorous Axiomatic Proposal,
    by S. Bozhko, F. Marković, G. von der Brüggen, and B. Brandenburg
    Proceedings of the 44th IEEE Real-Time Systems Symposium (RTSS 2023)

  2. CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks”,
    by F. Marković, P. Roux, S. Bozhko, A. Papadopoulos, and B. Brandenburg
    Proceedings of the 44th IEEE Real-Time Systems Symposium (RTSS 2023)

  3. From Intuition to Coq: A Case Study in Verified Response-Time Analysis of FIFO Scheduling,
    by K. Bedarkar, M. Vardishvili, S. Bozhko, M. Maida, and B. Brandenburg
    Proceedings of the 43rd IEEE Real-Time Systems Symposium (RTSS 2022)

  4. Probabilistic Real-Time Scheduling and its Possible Link to Mixed-Criticality System,
    by G. von der Brüggen, S. Bozhko, M. Günzel, K.-H. Chen, J.-J. Chen, and B. Brandenburg
    Proceedings of the 9th International Workshop on Mixed Criticality Systems (WMC 2022)

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

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

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

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

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

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