( en | de | ru )

 

Disambiguation of "Rivas, Juan Maria"

Author of the publication

copydeleteadd this publication to your clipboard
A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems.

, , , , , and . ACM Comput. Surv., 52 (3): 56:1-56:38 (2019)

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.

Hsiao-Mei Juan

Alvaro Rivas Guzmán

Alexander Juan

María Uxía Rivas Monroy

Pere Juan i Tous

 

Other publications of authors with the same name

Response-Time Analysis in Hierarchically-Scheduled Time-Partitioned Distributed Systems., , , and . IEEE Trans. Parallel Distributed Syst., 28 (7): 2017-2030 (2017)From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)., , , , , , , , , and 5 other author(s). Dagstuhl Artifacts Ser., 9 (1): 04:1-04:6 (2023)Schedulability Analysis and Optimization of Heterogeneous EDF and FP Distributed Real-Time Systems., , , and . ECRTS, page 195-204. IEEE Computer Society, (2011)Deadline Assignment in EDF Schedulers for Real-Time Distributed Systems., , , and . IEEE Trans. Parallel Distributed Syst., 26 (10): 2671-2684 (2015)Implementation of Memory Centric Scheduling for COTS Multi-Core Real-Time Systems., , , and . ECRTS, volume 133 of LIPIcs, page 7:1-7:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy., , , , , , , , , and . STAF Workshops, volume 9946 of Lecture Notes in Computer Science, page 303-316. Springer, (2016)A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems., , , , , and . ACM Comput. Surv., 52 (3): 56:1-56:38 (2019)From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)., , , , , , , , , and 5 other author(s). ECRTS, volume 262 of LIPIcs, page 19:1-19:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Supplementary material to Improving the teaching of real-world software practices by means of course integration., , , , and . (February 2023)Fixed priorities or EDF for distributed real-time systems?, , and . SIGBED Review, 10 (2): 21 (2013)