{"id":"https://openalex.org/W2166915430","doi":"https://doi.org/10.1145/2442087.2442089","title":"Runtime verification for multicore SoC with high-quality trace data","display_name":"Runtime verification for multicore SoC with high-quality trace data","publication_year":2013,"publication_date":"2013-03-01","ids":{"openalex":"https://openalex.org/W2166915430","doi":"https://doi.org/10.1145/2442087.2442089","mag":"2166915430"},"language":"en","primary_location":{"id":"doi:10.1145/2442087.2442089","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2442087.2442089","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052066849","display_name":"Rico Backasch","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Rico Backasch","raw_affiliation_strings":["Dresden University of Technology"],"affiliations":[{"raw_affiliation_string":"Dresden University of Technology","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005076278","display_name":"Christian Hochberger","orcid":"https://orcid.org/0000-0001-5516-7826"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Hochberger","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058275403","display_name":"Alexander Wei\u00df","orcid":"https://orcid.org/0000-0003-1029-1297"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alexander Weiss","raw_affiliation_strings":["Accemic"],"affiliations":[{"raw_affiliation_string":"Accemic","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002397514","display_name":"Martin Leucker","orcid":"https://orcid.org/0000-0002-3696-9222"},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Leucker","raw_affiliation_strings":["Institute for Software Engineering and Programming Languages University of L\u00fcbeck"],"affiliations":[{"raw_affiliation_string":"Institute for Software Engineering and Programming Languages University of L\u00fcbeck","institution_ids":["https://openalex.org/I9341345"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008187275","display_name":"Richard Lasslop","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Richard Lasslop","raw_affiliation_strings":["Steinbichler Optotechnik GmbH"],"affiliations":[{"raw_affiliation_string":"Steinbichler Optotechnik GmbH","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5052066849"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.1521,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.92081064,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"18","issue":"2","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8959945440292358},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7835965752601624},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.7712916731834412},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.628322958946228},{"id":"https://openalex.org/keywords/system-on-a-chip","display_name":"System on a chip","score":0.5409037470817566},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5136996507644653},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5049276947975159},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4762665927410126},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3610791563987732},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32365918159484863},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.22389596700668335},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.16978219151496887},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.11702319979667664}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8959945440292358},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7835965752601624},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.7712916731834412},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.628322958946228},{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.5409037470817566},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5136996507644653},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5049276947975159},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4762665927410126},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3610791563987732},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32365918159484863},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.22389596700668335},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.16978219151496887},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.11702319979667664},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2442087.2442089","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2442087.2442089","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7","score":0.8999999761581421}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W83267564","https://openalex.org/W1507758008","https://openalex.org/W1863629953","https://openalex.org/W1989240008","https://openalex.org/W1996832037","https://openalex.org/W2027769154","https://openalex.org/W2096313289","https://openalex.org/W2101623441","https://openalex.org/W2103350665","https://openalex.org/W2113811400","https://openalex.org/W2124432497","https://openalex.org/W2163302917","https://openalex.org/W2165884403","https://openalex.org/W2166091242","https://openalex.org/W2167242133","https://openalex.org/W2340735175","https://openalex.org/W2433327602","https://openalex.org/W2488840765","https://openalex.org/W2913459036","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2155788121","https://openalex.org/W4235469518","https://openalex.org/W2387706296","https://openalex.org/W2480201319","https://openalex.org/W2611067230","https://openalex.org/W2377280071","https://openalex.org/W2025467172"],"abstract_inverted_index":{"Multicore":[0],"System-on-Chip":[1],"(SoC)":[2],"implementations":[3],"of":[4,67,130],"embedded":[5],"systems":[6,13,59,69],"are":[7,39],"becoming":[8],"very":[9,47],"popular.":[10],"In":[11,81],"these":[12,68,117,131],"it":[14],"is":[15],"possible":[16],"to":[17,29,50,60,77,90,100,113,137,140],"spread":[18],"out":[19],"computations":[20],"over":[21],"many":[22],"cores.":[23],"On":[24,41],"one":[25],"hand":[26,44],"this":[27,45,79,82],"leads":[28],"better":[30],"energy":[31],"efficiency":[32],"if":[33],"clock":[34],"frequencies":[35],"and":[36,54,65,94,115,142],"core":[37],"voltages":[38],"reduced.":[40],"the":[42,51,121,138],"other":[43],"delivers":[46,134],"high":[48],"performance":[49],"software":[52,58],"developer":[53,139],"thus":[55],"enables":[56],"complex":[57,148],"be":[61,111],"implemented.":[62],"Unfortunately,":[63],"debugging":[64],"validation":[66],"becomes":[70],"extremely":[71],"difficult.":[72],"Various":[73],"technological":[74],"approaches":[75,133],"try":[76],"solve":[78],"dilemma.":[80],"contribution":[83],"we":[84,105],"will":[85],"show":[86,106],"a":[87],"new":[88],"approach":[89],"observe":[91],"multi-core":[92],"SoCs":[93],"make":[95],"their":[96],"internal":[97,118],"operations":[98,119],"visible":[99],"external":[101],"analysis":[102],"tools.":[103],"Also,":[104],"that":[107],"runtime":[108],"verification":[109],"can":[110],"employed":[112],"analyze":[114],"validate":[116],"while":[120],"system":[122,144],"operates":[123],"in":[124,147],"its":[125],"normal":[126],"environment.":[127],"The":[128],"combination":[129],"two":[132],"unprecedented":[135],"options":[136],"understand":[141],"verify":[143],"behavior":[145],"even":[146],"multicore":[149],"SoCs.":[150]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}