Author of the publication

Foundational Response-Time Analysis as Explainable Evidence of Timeliness.

, , and . ECRTS, volume 231 of LIPIcs, page 19:1-19:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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