( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
What Really is pWCET? A Rigorous Axiomatic Proposal.

, , , и . RTSS, стр. 13-26. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sergey Libert

Sergey Stepanov

Sergey Gorbunov

Sergey Geyn

Sergey Groppa

 

Другие публикации лиц с тем же именем

Bar-Hillel Theorem Mechanization in Coq., , и . WoLLIC, том 11541 из Lecture Notes in Computer Science, стр. 264-281. Springer, (2019)Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness., , и . RTSS, стр. 512-515. IEEE, (2021)From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling., , , , и . RTSS, стр. 197-210. IEEE, (2022)Real-Time Replica Consistency over Ethernet with Reliability Bounds., , и . RTAS, стр. 376-389. IEEE, (2020)CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks., , , , и . RTSS, стр. 317-330. IEEE, (2023)What Really is pWCET? A Rigorous Axiomatic Proposal., , , и . RTSS, стр. 13-26. IEEE, (2023)A ROS 2 Response-Time Analysis Exploiting Starvation Freedom and Execution-Time Variance., , , и . RTSS, стр. 41-53. IEEE, (2021)Optical Loss Control in Lithium Niobate Waveguides via Direct Laser Modification of Covered Titanium Film., , , , , , , и . NEW2AN/ruSMART (2), том 12526 из Lecture Notes in Computer Science, стр. 394-399. Springer, (2020)Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle., и . ECRTS, том 165 из LIPIcs, стр. 22:1-22:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Monte Carlo Response-Time Analysis., , и . RTSS, стр. 342-355. IEEE, (2021)