Author of the publication

Accounting for Interrupts in Multiprocessor Real-Time Systems.

, , and . RTCSA, page 273-283. IEEE Computer Society, (2009)

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

On Strong and Weak Sustainability, with an Application to Self-Suspending Real-Time Tasks., , and . ECRTS, volume 106 of LIPIcs, page 26:1-26:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Quantifying the Resiliency of Fail-Operational Real-Time Networked Control Systems., , and . ECRTS, volume 106 of LIPIcs, page 16:1-16:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact)., , and . Dagstuhl Artifacts Ser., 8 (1): 07:1-07:2 (2022)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)Offline Equivalence: A Non-preemptive Scheduling Technique for Resource-Constrained Embedded Real-Time Systems (Outstanding Paper)., and . RTAS, page 75-86. IEEE Computer Society, (2017)Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin?, , , , and . IEEE Real-Time and Embedded Technology and Applications Symposium, page 342-353. IEEE Computer Society, (2008)PROSA: A Case for Readable Mechanized Schedulability Analysis., , and . ECRTS, page 273-284. IEEE Computer Society, (2016)Outstanding Paper Award: Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities., , and . ECRTS, page 69-79. IEEE Computer Society, (2013)Achal: building highly reliable networked control systems., , and . EMSOFT Companion, page 9. ACM, (2019)