{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:48:48Z","timestamp":1750308528714,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,23]],"date-time":"2016-05-23T00:00:00Z","timestamp":1463961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100005017","name":"Bayerisches Staatsministerium f\u00fcr Wirtschaft, Infrastruktur, Verkehr und Technologie","doi-asserted-by":"publisher","award":["IUK-1503-0002\/IUK467\/001"],"award-info":[{"award-number":["IUK-1503-0002\/IUK467\/001"]}],"id":[{"id":"10.13039\/501100005017","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,23]]},"DOI":"10.1145\/2906363.2906377","type":"proceedings-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T18:21:10Z","timestamp":1463163670000},"page":"180-189","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Rule-based Methodology for Hardware Configuration Validation in Embedded Systems"],"prefix":"10.1145","author":[{"given":"Lin","family":"Li","sequence":"first","affiliation":[{"name":"Infineon Technologies AG, Germany"}]},{"given":"Philipp","family":"Wagner","sequence":"additional","affiliation":[{"name":"Institute for Integrated Systems, Technical University Munich, Germany"}]},{"given":"Ramesh","family":"Ramaswamy","sequence":"additional","affiliation":[{"name":"Infineon Technologies India Pvt. Ltd., India"}]},{"given":"Albrecht","family":"Mayer","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG, Germany"}]},{"given":"Thomas","family":"Wild","sequence":"additional","affiliation":[{"name":"Institute for Integrated Systems, Technical University Munich, Germany"}]},{"given":"Andreas","family":"Herkersdorf","sequence":"additional","affiliation":[{"name":"Institute for Integrated Systems, Technical University Munich, Germany"}]}],"member":"320","published-online":{"date-parts":[[2016,5,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/978-3-540-24622-0_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"Barringer H.","year":"2004"},{"volume-title":"Runtime Verification: 7th International Workshop, RV 2007","year":"2007","author":"Barringer H.","key":"e_1_3_2_1_2_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.5555\/2540128.2540252"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.5555\/1538756"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.5555\/646486.694635"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1147\/sj.411.0004"},{"unstructured":"Infineon. AURIX Family-TC29xT. {Online; accessed 20-August-2015}.  Infineon. AURIX Family-TC29xT. {Online; accessed 20-August-2015}.","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1109\/ECBS.2011.13"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1109\/INDIN.2015.7281937"},{"volume-title":"Sophia Antipolis","year":"2009","author":"Mayer A.","key":"e_1_3_2_1_10_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/DATE.2005.109"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/RTSS.2008.43"},{"key":"e_1_3_2_1_13_1","first-page":"685","volume-title":"Circuits and Systems, 2004. ISCAS'04. Proceedings of the 2004 International Symposium on","volume":"2","author":"Peterson K."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1109\/SFCS.1977.32"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1109\/LICS.1994.316047"},{"key":"e_1_3_2_1_16_1","first-page":"39","volume":"15","author":"Wagner P.","year":"2015","journal-title":"Knowledge-Based On-Chip Diagnosis for Multi-Core Systems-on-Chip. In edaWorkshop"},{"doi-asserted-by":"crossref","unstructured":"C. Watterson and D. Heffernan. Runtime verification and monitoring of embedded systems. Software IET 1(5):172--179 2007.  C. Watterson and D. Heffernan. Runtime verification and monitoring of embedded systems. Software IET 1(5):172--179 2007.","key":"e_1_3_2_1_17_1","DOI":"10.1049\/iet-sen:20060076"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/996566.996808"}],"event":{"sponsor":["EDAA European Design Automation Association","SIGBED"],"acronym":"SCOPES '16","name":"SCOPES '16: 19th International Workshop on Software and Compilers for Embedded Systems","location":"Sankt Goar Germany"},"container-title":["Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2906363.2906377","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2906363.2906377","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:55:50Z","timestamp":1750272950000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2906363.2906377"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,23]]},"references-count":18,"alternative-id":["10.1145\/2906363.2906377","10.1145\/2906363"],"URL":"https:\/\/doi.org\/10.1145\/2906363.2906377","relation":{},"subject":[],"published":{"date-parts":[[2016,5,23]]},"assertion":[{"value":"2016-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}