( en | de | ru )

 

Disambiguation of "Altmeyer, Sebastian"

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.

Sebastian Altmeyer

Sebastian Altmeyer

Sebastian Altmeyer

Margret Altmeyer

Horst Altmeyer

 

Other publications of authors with the same name

Front Matter - ECRTS 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee., , and . Dagstuhl Artifacts Ser., 5 (1): 00:-1-00:-9 (2019)An Empirical Survey-based Study into Industry Practice in Real-time Systems., , , , and . RTSS, page 3-11. IEEE, (2020)EMPRESS: an Efficient and Effective Method for PREdictable Stack Sharing., , and . RTCSA, page 92-100. IEEE Computer Society, (2018)Editorial on the special issue of RTNS 2020., and . Real Time Syst., 58 (1): 1-3 (2022)Ferrofluids.. Scholarpedia, 15 (11): 55163 (2020)A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems., , , , , and . ACM Comput. Surv., 52 (3): 56:1-56:38 (2019)TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research., , , , , , , , , and . WCET, volume 55 of OASIcs, page 2:1-2:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)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)A comprehensive survey of industry practice in real-time systems., , , , and . Real Time Syst., 58 (3): 358-398 (2022)Energy-aware scheduling of multi-version tasks on heterogeneous real-time systems., , , and . SAC, page 501-510. ACM, (2021)