Sergey Bozhko

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