You are here

Home › Research › Publications ›

Runtime verification for multicore SoC with high-quality trace data

TitleRuntime verification for multicore SoC with high-quality trace data
Publication TypeJournal Article
Year of Publication2013
AuthorsBackasch, R, Hochberger, C, Weiss, A, Leucker, M, Lasslop, R
JournalACM Trans. Design Autom. Electr. Syst.
Volume18
Pagination18
URLhttp://doi.acm.org/10.1145/2442087.2442089
DOI10.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}
}