Bar-Hillel Theorem Mechanization in Coq. - Sergey Bozhko; Leyla Khatbullina; Semyon V. Grigorev (WoLLIC, 2019)

Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle. - Sergey Bozhko; Björn B. Brandenburg (ECRTS, 2020)

Optical Loss Control in Lithium Niobate Waveguides via Direct Laser Modification of Covered Titanium Film. - Aleksandr V. Tronev; Mikhail Parfenov; Nikita A. Solomonov; Andrey M. Ionov; Sergey Bozhko; Igor Ilichev; Peter Agruzov; Aleksandr Shamrai (NEW2AN/ruSMART (2), 2020)

Real-Time Replica Consistency over Ethernet with Reliability Bounds. - Arpan Gujarati; Sergey Bozhko; Björn B. Brandenburg (RTAS, 2020)

Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle (Artifact). - Sergey Bozhko; Björn B. Brandenburg (Dagstuhl Artifacts Ser., 2020)

A ROS 2 Response-Time Analysis Exploiting Starvation Freedom and Execution-Time Variance. - Tobias Blaß; Daniel Casini; Sergey Bozhko; Björn B. Brandenburg (RTSS, 2021)

Monte Carlo Response-Time Analysis. - Sergey Bozhko; Georg von der Brüggen; Björn B. Brandenburg (RTSS, 2021)

Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness. - Marco Maida; Sergey Bozhko; Björn B. Brandenburg (RTSS, 2021)

Foundational Response-Time Analysis as Explainable Evidence of Timeliness. - Marco Maida; Sergey Bozhko; Björn B. Brandenburg (ECRTS, 2022)

From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling. - Kimaya Bedarkar; Mariam Vardishvili; Sergey Bozhko; Marco Maida; Björn B. Brandenburg (RTSS, 2022)

Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact). - Marco Maida; Sergey Bozhko; Björn B. Brandenburg (Dagstuhl Artifacts Ser., 2022)

What Really is pWCET? A Rigorous Axiomatic Proposal. - Sergey Bozhko; Filip Markovic 001; Georg von der Brüggen; Björn B. Brandenburg (RTSS, 2023)

CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks. - Filip Markovic 001; Pierre Roux 001; Sergey Bozhko; Alessandro V. Papadopoulos; Björn B. Brandenburg (RTSS, 2023)