Author of the publication

Correctness and Efficiency Criteria for the Multi-Phase Task Model.

, , and . ECRTS, volume 231 of LIPIcs, page 9:1-9:21. 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

Speculative Execution and Timing Predictability in an Open Source RISC-V Core., , , and . RTSS, page 393-404. IEEE, (2021)ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact)., , , and . Dagstuhl Artifacts Ser., 8 (1): 06:1-06:2 (2022)A Framework for Calculating WCET Based on Execution Decision Diagrams., , , , and . ACM Trans. Embed. Comput. Syst., 21 (3): 26:1-26:26 (2022)MINOTAuR: A Timing Predictable RISC-V Core Featuring Speculative Execution., , , , and . IEEE Trans. Computers, 72 (1): 183-195 (2023)Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources., , , and . CoRR, (2022)Static Extraction of Memory Access Profiles for Multi-core Interference Analysis of Real-Time Tasks., and . ARCS, volume 12800 of Lecture Notes in Computer Science, page 19-34. Springer, (2021)Extending a predictable machine learning framework with efficient gemm-based convolution routines., , , and . Real Time Syst., 59 (3): 408-437 (September 2023)Computing Execution Times With Execution Decision Diagrams in the Presence of Out-of-Order Resources., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 42 (11): 3665-3678 (November 2023)Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators., , , and . WCET, volume 114 of OASIcs, page 2:1-2:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems., , , and . ECRTS, volume 231 of LIPIcs, page 3:1-3:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)