Runtime verification for multicore SoC with high-quality trace data
| Title | Runtime verification for multicore SoC with high-quality trace data |
| Publication Type | Journal Article |
| Year of Publication | 2013 |
| Authors | Backasch, R, Hochberger, C, Weiss, A, Leucker, M, Lasslop, R |
| Journal | ACM Trans. Design Autom. Electr. Syst. |
| Volume | 18 |
| Pagination | 18 |
| URL | http://doi.acm.org/10.1145/2442087.2442089 |
| DOI | 10.1145/2442087.2442089 |
Bibtex:
@article {958,
title = {Runtime verification for multicore SoC with high-quality trace data},
journal = {ACM Trans. Design Autom. Electr. Syst.},
volume = {18},
year = {2013},
pages = {18},
doi = {http://doi.acm.org/10.1145/2442087.2442089},
url = {http://doi.acm.org/10.1145/2442087.2442089},
author = {Rico Backasch and Christian Hochberger and Alexander Weiss and Martin Leucker and Richard Lasslop}
}