{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:58Z","timestamp":1750220398990,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,20]],"date-time":"2021-11-20T00:00:00Z","timestamp":1637366400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["389792660"],"award-info":[{"award-number":["389792660"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["695614"],"award-info":[{"award-number":["695614"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,11,20]]},"DOI":"10.1145\/3487212.3487337","type":"proceedings-article","created":{"date-parts":[[2021,12,21]],"date-time":"2021-12-21T20:01:45Z","timestamp":1640116905000},"page":"98-103","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Controller verification meets controller code"],"prefix":"10.1145","author":[{"given":"Felix","family":"Freiberger","sequence":"first","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Schupp","sequence":"additional","affiliation":[{"name":"TU Wien, Wien, Austria and RWTH Aachen University, Aachen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erika","family":"\u00c1brah\u00e1m","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,12,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014","author":"Althoff Matthias","year":"2015","unstructured":"Matthias Althoff . 2015 . An Introduction to CORA 2015 . In 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014 , Berlin, Germany , April 14, 2014 \/ ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015 (EPiC Series in Computing, Vol. 34), Goran Frehse and Matthias Althoff (Eds.). EasyChair, 120--151. https:\/\/easychair.org\/publications\/paper\/xMm Matthias Althoff. 2015. An Introduction to CORA 2015. In 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 \/ ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015 (EPiC Series in Computing, Vol. 34), Goran Frehse and Matthias Althoff (Eds.). EasyChair, 120--151. https:\/\/easychair.org\/publications\/paper\/xMm"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311804"},{"key":"e_1_3_2_1_3_1","unstructured":"European Committee for Standardization. 2017. European Standard EN 15194.  European Committee for Standardization. 2017. European Standard EN 15194."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100048"},{"key":"e_1_3_2_1_8_1","volume-title":"Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools. In 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014","author":"Makhlouf Ibtissem Ben","year":"2014","unstructured":"Ibtissem Ben Makhlouf and Stefan Kowalewski . 2014 . Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools. In 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014 , Berlin, Germany , April 14, 2014 \/ ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015 (EPiC Series in Computing, Vol. 34), Goran Frehse and Matthias Althoff (Eds.). EasyChair, 37--42. https:\/\/easychair.org\/publications\/paper\/3QLs Ibtissem Ben Makhlouf and Stefan Kowalewski. 2014. Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools. In 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 \/ ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015 (EPiC Series in Computing, Vol. 34), Goran Frehse and Matthias Althoff (Eds.). EasyChair, 37--42. https:\/\/easychair.org\/publications\/paper\/3QLs"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/INTELSE.2016.7475173"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57288-8_20"}],"event":{"name":"MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"],"location":"Virtual Event China","acronym":"MEMOCODE '21"},"container-title":["Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3487212.3487337","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3487212.3487337","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:47Z","timestamp":1750191527000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3487212.3487337"}},"subtitle":["a case study"],"short-title":[],"issued":{"date-parts":[[2021,11,20]]},"references-count":10,"alternative-id":["10.1145\/3487212.3487337","10.1145\/3487212"],"URL":"https:\/\/doi.org\/10.1145\/3487212.3487337","relation":{},"subject":[],"published":{"date-parts":[[2021,11,20]]},"assertion":[{"value":"2021-12-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}