Sergey Bozhko

According to our database, Sergey Bozhko authored at least 13 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks.

Filip Markovic, Pierre Roux, Sergey Bozhko, Alessandro V. Papadopoulos, Björn B. Brandenburg

Proceedings of the IEEE Real-Time Systems Symposium, 2023

What Really is pWCET? A Rigorous Axiomatic Proposal.

Sergey Bozhko, Filip Markovic, Georg von der Brüggen, Björn B. Brandenburg

Proceedings of the IEEE Real-Time Systems Symposium, 2023

2022

Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact).

Marco Maida, Sergey Bozhko, Björn B. Brandenburg

Dagstuhl Artifacts Ser., 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

Proceedings of the IEEE Real-Time Systems Symposium, 2022

Foundational Response-Time Analysis as Explainable Evidence of Timeliness.

Marco Maida, Sergey Bozhko, Björn B. Brandenburg

Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022

2021

Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness.

Marco Maida, Sergey Bozhko, Björn B. Brandenburg

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Monte Carlo Response-Time Analysis.

Sergey Bozhko, Georg von der Brüggen, Björn B. Brandenburg

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

A ROS 2 Response-Time Analysis Exploiting Starvation Freedom and Execution-Time Variance.

Tobias Blaß, Daniel Casini, Sergey Bozhko, Björn B. Brandenburg

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

2020

Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle (Artifact).

Sergey Bozhko, Björn B. Brandenburg

Dagstuhl Artifacts Ser., 2020

Real-Time Replica Consistency over Ethernet with Reliability Bounds.

Arpan Gujarati, Sergey Bozhko, Björn B. Brandenburg

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 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

Proceedings of the Internet of Things, Smart Spaces, and Next Generation Networks and Systems, 2020

Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle.

Sergey Bozhko, Björn B. Brandenburg

Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

2019

Bar-Hillel Theorem Mechanization in Coq.

Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev

Proceedings of the Logic, Language, Information, and Computation, 2019