{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:10:37Z","timestamp":1750306237079,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,18]],"date-time":"2017-04-18T00:00:00Z","timestamp":1492473600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["683300"],"award-info":[{"award-number":["683300"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1302327"],"award-info":[{"award-number":["CCF-1302327"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,4,18]]},"DOI":"10.1145\/3055378.3055385","type":"proceedings-article","created":{"date-parts":[[2017,4,14]],"date-time":"2017-04-14T12:18:54Z","timestamp":1492172334000},"page":"43-47","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Vehicle Platooning Simulations with Functional Reactive Programming"],"prefix":"10.1145","author":[{"given":"Bernd","family":"Finkbeiner","sequence":"first","affiliation":[{"name":"Saarland University, Germany"}]},{"given":"Felix","family":"Klein","sequence":"additional","affiliation":[{"name":"Saarland University, Germany"}]},{"given":"Ruzica","family":"Piskac","sequence":"additional","affiliation":[{"name":"Yale University, CT, USA"}]},{"given":"Mark","family":"Santolucito","sequence":"additional","affiliation":[{"name":"Yale University, CT, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,4,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883842"},{"key":"e_1_3_2_1_2_1","unstructured":"Leslie Benzies. 2013. Grand Theft Auto V. www.rockstargames.com\/V\/. (2013).  Leslie Benzies. 2013. Grand Theft Auto V. www.rockstargames.com\/V\/. (2013)."},{"key":"e_1_3_2_1_3_1","volume-title":"Seminar on Concurrency","author":"Berry G\u00e9rard","year":"1984","unstructured":"G\u00e9rard Berry and Laurent Cosserat . 1984. The ESTEREL Synchronous Programming Language and its Mathematical Semantics . In Seminar on Concurrency , Carnegie-Mellon University , Pittsburg, PA, USA , July 9-11, 1984 (Lecture Notes in Computer Science), Stephen D. Brookes, A. W. Roscoe, and Glynn Winskel (Eds.), Vol. 197. Springer, 389--448. G\u00e9rard Berry and Laurent Cosserat. 1984. The ESTEREL Synchronous Programming Language and its Mathematical Semantics. In Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 (Lecture Notes in Computer Science), Stephen D. Brookes, A. W. Roscoe, and Glynn Winskel (Eds.), Vol. 197. Springer, 389--448."},{"key":"e_1_3_2_1_4_1","unstructured":"Mohommad Reza Bonyadi Samadhi Nallaperuma Daniele Loiacono and Frank Neumann. 2015. Simulated Car Racing Championship. http:\/\/cs.adelaide.edu.au\/~optlog\/SCR2015\/index.html. (2015).  Mohommad Reza Bonyadi Samadhi Nallaperuma Daniele Loiacono and Frank Neumann. 2015. Simulated Car Racing Championship. http:\/\/cs.adelaide.edu.au\/~optlog\/SCR2015\/index.html. (2015)."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012","author":"Broy Manfred","year":"2012","unstructured":"Manfred Broy . 2012 . Engineering Cyber-Physical Systems: Challenges and Foundations. In Complex Systems Design & Management , Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012 , Paris, France , December 12-14, 2012, Marc Aiguier, Yves Caseau, Daniel Krob, and Antoine Rauzy (Eds.). Springer, 1--13. Manfred Broy. 2012. Engineering Cyber-Physical Systems: Challenges and Foundations. In Complex Systems Design & Management, Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012, Paris, France, December 12-14, 2012, Marc Aiguier, Yves Caseau, Daniel Krob, and Antoine Rauzy (Eds.). Springer, 1--13."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0091-5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2009.5286480"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/234313.234418"},{"key":"e_1_3_2_1_9_1","volume-title":"Lustre: A Declarative Language for Programming Synchronous Systems. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages","author":"Caspi Paul","year":"1987","unstructured":"Paul Caspi , Daniel Pilaud , Nicolas Halbwachs , and John Plaice . 1987 . Lustre: A Declarative Language for Programming Synchronous Systems. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages , Munich, Germany , January 21-23, 1987. ACM Press, 178--188. http:\/\/dl.acm.org\/citation.cfm?id=41625 Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, and John Plaice. 1987. Lustre: A Declarative Language for Programming Synchronous Systems. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987. ACM Press, 178--188. http:\/\/dl.acm.org\/citation.cfm?id=41625"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871897"},{"key":"e_1_3_2_1_11_1","volume-title":"96th Annual Meeting","author":"Filipowicz Artur","year":"2017","unstructured":"Artur Filipowicz , Jeremiah Liu , and Alain Kornhauser . 2017 . Learning to Recognize Distance to Stop Signs Using the Virtual World of Grand Theft Auto 5. Transportation Research Board , 96th Annual Meeting (2017). Artur Filipowicz, Jeremiah Liu, and Alain Kornhauser. 2017. Learning to Recognize Distance to Stop Signs Using the Virtual World of Grand Theft Auto 5. Transportation Research Board, 96th Annual Meeting (2017)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808007016"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"volume-title":"UML for Real","author":"Harel David","key":"e_1_3_2_1_14_1","unstructured":"David Harel and PS Thiagarajan . 2003. Message sequence charts . In UML for Real . Springer , 77--105. David Harel and PS Thiagarajan. 2003. Message sequence charts. In UML for Real. Springer, 77--105."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2975980.2975982"},{"volume-title":"The Haskell school of expression: learning functional programming through multimedia","author":"Hudak Paul","key":"e_1_3_2_1_16_1","unstructured":"Paul Hudak . 2000. The Haskell school of expression: learning functional programming through multimedia . Cambridge University Press . Paul Hudak. 2000. The Haskell school of expression: learning functional programming through multimedia. Cambridge University Press."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-44833-4_6"},{"key":"e_1_3_2_1_18_1","volume-title":"IEEE standard SystemC language reference manual","author":"Initiative Open","year":"2006","unstructured":"Open SystemC Initiative and others. 2006. IEEE standard SystemC language reference manual . IEEE Computer Society ( 2006 ), 1666--2005. Open SystemC Initiative and others. 2006. IEEE standard SystemC language reference manual. IEEE Computer Society (2006), 1666--2005."},{"key":"e_1_3_2_1_19_1","volume-title":"Formal verification of autonomous vehicle platooning. arXiv preprint arXiv:1602.01718","author":"Kamali Maryam","year":"2016","unstructured":"Maryam Kamali , Louise A Dennis , Owen McAree , Michael Fisher , and Sandor M Veres . 2016. Formal verification of autonomous vehicle platooning. arXiv preprint arXiv:1602.01718 ( 2016 ). Maryam Kamali, Louise A Dennis, Owen McAree, Michael Fisher, and Sandor M Veres. 2016. Formal verification of autonomous vehicle platooning. arXiv preprint arXiv:1602.01718 (2016)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2016.43"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.02.018"},{"key":"e_1_3_2_1_22_1","volume-title":"Simulated Car Racing Championship: Competition Software Manual. CoRR abs\/1304.1672","author":"Loiacono Daniele","year":"2013","unstructured":"Daniele Loiacono , Luigi Cardamone , and Pier Luca Lanzi . 2013. Simulated Car Racing Championship: Competition Software Manual. CoRR abs\/1304.1672 ( 2013 ). http:\/\/arxiv.org\/abs\/1304.1672 Daniele Loiacono, Luigi Cardamone, and Pier Luca Lanzi. 2013. Simulated Car Racing Championship: Competition Software Manual. CoRR abs\/1304.1672 (2013). http:\/\/arxiv.org\/abs\/1304.1672"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITW.2010.5593318"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2009.5286466"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/507669.507664"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541568.2541570"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2578854.2503783"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377735"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342414"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2011.6083056"},{"key":"e_1_3_2_1_32_1","volume-title":"Torcs: The open racing car simulator, v1.3.4","author":"Wymann Bernhard","year":"2017","unstructured":"Bernhard Wymann , Eric Espie , and Christophe Guionneau . 2017 . Torcs: The open racing car simulator, v1.3.4 . http:\/\/torcs.sourceforge.net\/index.php. (2017). Bernhard Wymann, Eric Espie, and Christophe Guionneau. 2017. Torcs: The open racing car simulator, v1.3.4. http:\/\/torcs.sourceforge.net\/index.php. (2017)."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ChiCC.2016.7554530"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976019"},{"key":"e_1_3_2_1_35_1","volume-title":"CPSWeek Workshop on. IEEE, 1--8.","author":"Zou Xingliang","year":"2016","unstructured":"Xingliang Zou , Albert MK Cheng , and Yu Jiang . 2016 . P-FRP task scheduling: A survey. In Declarative Cyber-Physical Systems (DCPS) , CPSWeek Workshop on. IEEE, 1--8. Xingliang Zou, Albert MK Cheng, and Yu Jiang. 2016. P-FRP task scheduling: A survey. In Declarative Cyber-Physical Systems (DCPS), CPSWeek Workshop on. IEEE, 1--8."}],"event":{"name":"CPS Week '17: Cyber Physical Systems Week 2017","sponsor":["IEEE Signal Processing Society","SIGBED ACM Special Interest Group on Embedded Systems","IEEE CS"],"location":"Pittsburgh PA USA","acronym":"CPS Week '17"},"container-title":["Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3055378.3055385","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3055378.3055385","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3055378.3055385","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:26Z","timestamp":1750220606000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3055378.3055385"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,18]]},"references-count":35,"alternative-id":["10.1145\/3055378.3055385","10.1145\/3055378"],"URL":"https:\/\/doi.org\/10.1145\/3055378.3055385","relation":{},"subject":[],"published":{"date-parts":[[2017,4,18]]},"assertion":[{"value":"2017-04-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}