| 2023 | RTSS | What Really is pWCET? A Rigorous Axiomatic Proposal. | Sergey Bozhko, Filip Markovic, Georg von der Brggen, Bjrn B. Brandenburg |
| 2023 | RTSS | CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks. | Filip Markovic, Pierre Roux, Sergey Bozhko, Alessandro V. Papadopoulos, Bjrn B. Brandenburg |
| 2022 | ECRTS | Foundational Response-Time Analysis as Explainable Evidence of Timeliness. | Marco Maida, Sergey Bozhko, Bjrn B. Brandenburg |
| 2022 | RTSS | From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling. | Kimaya Bedarkar, Mariam Vardishvili, Sergey Bozhko, Marco Maida, Bjrn B. Brandenburg |
| 2021 | RTSS | A ROS 2 Response-Time Analysis Exploiting Starvation Freedom and Execution-Time Variance. | Tobias Bla, Daniel Casini, Sergey Bozhko, Bjrn B. Brandenburg |
| 2021 | RTSS | Monte Carlo Response-Time Analysis. | Sergey Bozhko, Georg von der Brggen, Bjrn B. Brandenburg |
| 2021 | RTSS | Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness. | Marco Maida, Sergey Bozhko, Bjrn B. Brandenburg |
| 2020 | ECRTS | Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle. | Sergey Bozhko, Bjrn B. Brandenburg |
| 2020 | RTAS | Real-Time Replica Consistency over Ethernet with Reliability Bounds. | Arpan Gujarati, Sergey Bozhko, Bjrn B. Brandenburg |
| 2019 | WoLLIC | Bar-Hillel Theorem Mechanization in Coq. | Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev |