Sergey Bozhko

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 13

Top Topics

Intuitionistic Logic

Manually Generated

Top Venues

Dagstuhl Artifacts Ser.

Publications

Sergey Bozhko, Filip Markovic, Georg von der Brüggen, Björn B. Brandenburg
What Really is pWCET? A Rigorous Axiomatic Proposal. RTSS (2023)
Filip Markovic, Pierre Roux, Sergey Bozhko, Alessandro V. Papadopoulos, Björn B. Brandenburg
CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks. RTSS (2023)
Kimaya Bedarkar, Mariam Vardishvili, Sergey Bozhko, Marco Maida, Björn B. Brandenburg
From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling. RTSS (2022)
Marco Maida, Sergey Bozhko, Björn B. Brandenburg
Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact). Dagstuhl Artifacts Ser. 8 (1) (2022)
Marco Maida, Sergey Bozhko, Björn B. Brandenburg
Foundational Response-Time Analysis as Explainable Evidence of Timeliness. ECRTS (2022)
Marco Maida, Sergey Bozhko, Björn B. Brandenburg
Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness. RTSS (2021)
Tobias Blaß, Daniel Casini, Sergey Bozhko, Björn B. Brandenburg
A ROS 2 Response-Time Analysis Exploiting Starvation Freedom and Execution-Time Variance. RTSS (2021)
Sergey Bozhko, Georg von der Brüggen, Björn B. Brandenburg
Monte Carlo Response-Time Analysis. RTSS (2021)
Arpan Gujarati, Sergey Bozhko, Björn B. Brandenburg
Real-Time Replica Consistency over Ethernet with Reliability Bounds. RTAS (2020)
Aleksandr V. Tronev, Mikhail Parfenov, Nikita A. Solomonov, Andrey M. Ionov, Sergey Bozhko, Igor Ilichev, Peter Agruzov, Aleksandr Shamrai
Optical Loss Control in Lithium Niobate Waveguides via Direct Laser Modification of Covered Titanium Film. NEW2AN/ruSMART (2) (2020)
Sergey Bozhko, Björn B. Brandenburg
Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle (Artifact). Dagstuhl Artifacts Ser. 6 (1) (2020)
Sergey Bozhko, Björn B. Brandenburg
Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle. ECRTS (2020)
Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev
Bar-Hillel Theorem Mechanization in Coq. WoLLIC (2019)