Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems-Reference-Cited by-同舟云学术

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems

Published:2017 Issue: Volume: Page:179-196
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Decker Normann,Gottschling Philip,Hochberger Christian,Leucker Martin,Scheffel Torben,Schmitz Malte,Weiss Alexander

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-70848-5_12

Reference31 articles.

1. ARM Limited: ARM IHI 0035B: CoreSight Program Flow Trace: PFTv1.0 and PFTv1.1 - Architecture Specification, Issue B, March 2011

2. ARM Limited: ARM IHI 0029B: CoreSightTM Architecture Specification v2.0, Issue D (2013)

3. ARM Limited: DS-5 ARM DSTREAM User Guide Version 5.27 (2017)

4. Asarin, E., Caspi, P., Maler, O.: Timed regular expressions. J. ACM 49(2), 172–206 (2002)

5. Backasch, R., Hochberger, C., Weiss, A., Leucker, M., Lasslop, R.: Runtime verification for multicore SoC with high-quality trace data. ACM Trans. Des. Autom. Electr. Syst. 18(2), 18:1–18:26 (2013)

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. High Throughput Hardware Accelerated CoreSight Trace Decoding;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25

2. Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability;Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing;2023-06-16

3. Improving Flexibility in Embedded System Runtime Verification with Python;2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2022-10

4. Runtime Verification of AUTOSAR Timing Extensions;Proceedings of the 30th International Conference on Real-Time Networks and Systems;2022-06-07

5. TeSSLa – An Ecosystem for Runtime Verification;Runtime Verification;2022