Author of the publication

Statistical verification of autonomous system controllers under timing uncertainties.

, , , , , , , , and . Real Time Syst., 60 (1): 108-149 (March 2024)

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

heSRPT: Optimal Parallel Scheduling of Jobs With Known Sizes., , and . CoRR, (2019)heSRPT: Optimal Scheduling of Parallel Jobs with Known Sizes., , and . SIGMETRICS Perform. Evaluation Rev., 47 (2): 18-20 (2019)Kangaroo: Theory and Practice of Caching Billions of Tiny Objects on Flash., , , , , , , , and . ACM Trans. Storage, 18 (3): 21:1-21:33 (2022)Towards Optimality in Parallel Job Scheduling., , and . SIGMETRICS (Abstracts), page 116-118. ACM, (2018)Asymptotically Optimal Scheduling of Multiple Parallelizable Job Classes., , , and . CoRR, (2024)The CacheLib Caching Engine: Design and Experiences at Scale., , , , , , , , , and 1 other author(s). OSDI, page 753-768. USENIX Association, (2020)RobinHood: Tail Latency Aware Caching - Dynamic Reallocation from Cache-Rich to Cache-Poor., , , , and . OSDI, page 195-212. USENIX Association, (2018)heSRPT: Parallel scheduling to minimize mean slowdown., , and . Perform. Evaluation, (2020)The case for phase-aware scheduling of parallelizable jobs., , , , and . Perform. Evaluation, (2022)Statistical verification of autonomous system controllers under timing uncertainties., , , , , , , , and . Real Time Syst., 60 (1): 108-149 (March 2024)