Author of the publication

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems.

, , , , , and . ISORC, page 51-58. IEEE Computer Society, (2018)

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

Zeno: Diagnosing Performance Problems with Temporal Provenance., , and . NSDI, page 395-420. USENIX Association, (2019)Self-Reconfiguration in Response to Faults in Modular Aerial Systems., , , and . IEEE Robotics Autom. Lett., 5 (2): 2522-2529 (2020)Holistic Resource Allocation for Multicore Real-Time Systems., , , , , , and . RTAS, page 345-356. IEEE, (2019)vCAT: Dynamic Cache Management Using CAT Virtualization., , , , and . RTAS, page 211-222. IEEE Computer Society, (2017)Object-oriented Unified Encrypted Memory Management for Heterogeneous Memory Architectures., , , , , and . Proc. ACM Manag. Data, 2 (3): 155 (2024)Path Structured Multimarginal Schrödinger Bridge for Probabilistic Learning of Hardware Resource Usage by Control Software., , , and . ACC, page 4693-4698. IEEE, (2024)Real-time network function virtualization with timing interfaces.. SIGBED Review, 14 (3): 57-62 (2017)The Synchronous Data Center., , , and . HotOS, page 142-148. ACM, (2019)A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS Attacks in Data Centers., , , , , , , , , and 4 other author(s). SIGCOMM Posters and Demos, page 71-73. ACM, (2017)Multi-mode on Multi-core: Making the best of both worlds with Omni., and . RTSS, page 118-131. IEEE, (2022)