{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T14:20:16Z","timestamp":1756995616647,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,23]],"date-time":"2018-07-23T00:00:00Z","timestamp":1532304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,23]]},"DOI":"10.1145\/3231104.3231958","type":"proceedings-article","created":{"date-parts":[[2018,8,1]],"date-time":"2018-08-01T19:07:07Z","timestamp":1533150427000},"page":"41-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems"],"prefix":"10.1145","author":[{"given":"Ritwika","family":"Ghosh","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Champaign, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sasa","family":"Misailovic","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Champaign, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sayan","family":"Mitra","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Champaign, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,7,23]]},"reference":[{"volume-title":"A design and analysis framework for distributed CPS. https:\/\/cyphyhouse. github.io\/papers\/koord.pdf. Accessed","year":"2018","key":"e_1_3_2_1_1_1","unstructured":". A design and analysis framework for distributed CPS. https:\/\/cyphyhouse. github.io\/papers\/koord.pdf. Accessed : 2018 . . A design and analysis framework for distributed CPS. https:\/\/cyphyhouse. github.io\/papers\/koord.pdf. Accessed: 2018."},{"volume-title":"Proceedings of the Joint forty-fourth IEEE Conference on Decision and Control and European Control Conference. 2996--3000","author":"Blondel V.D.","key":"e_1_3_2_1_2_1","unstructured":"V.D. Blondel , J.M. Hendrickx , A. Olshevsky , and J.N. Tsitsiklis . 2005. Convergence in multiagent coordination consensus and flocking . In Proceedings of the Joint forty-fourth IEEE Conference on Decision and Control and European Control Conference. 2996--3000 . V.D. Blondel, J.M. Hendrickx, A. Olshevsky, and J.N. Tsitsiklis. 2005. Convergence in multiagent coordination consensus and flocking. In Proceedings of the Joint forty-fourth IEEE Conference on Decision and Control and European Control Conference. 2996--3000."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043571"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462184"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Chuchu Fan Bolun Qi Sayan Mitra and Mahesh Viswanathan. 2017. DryVR: Data-driven verification and compositional reasoning for automotive systems. In Computer Aided Verification (CAV).  Chuchu Fan Bolun Qi Sayan Mitra and Mahesh Viswanathan. 2017. DryVR: Data-driven verification and compositional reasoning for automotive systems. In Computer Aided Verification (CAV).","DOI":"10.1007\/978-3-319-63387-9_22"},{"volume-title":"HSCC (Lecture Notes in Computer Science), Rajeev Alur and George J","author":"Fehnker Ansgar","key":"e_1_3_2_1_7_1","unstructured":"Ansgar Fehnker and Franjo Ivancic . 2004. Benchmarks for Hybrid Systems Verification . In HSCC (Lecture Notes in Computer Science), Rajeev Alur and George J . Pappas (Eds.), Vol. 2993 . Springer , 326--341. Ansgar Fehnker and Franjo Ivancic. 2004. Benchmarks for Hybrid Systems Verification. In HSCC (Lecture Notes in Computer Science), Rajeev Alur and George J. Pappas (Eds.), Vol. 2993. Springer, 326--341."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Taylor Johnson and Sayan Mitra. 2012. A Small Model Theorem for Rectangular Hybrid Automata Networks.  Taylor Johnson and Sayan Mitra. 2012. A Small Model Theorem for Rectangular Hybrid Automata Networks.","DOI":"10.1007\/978-3-642-30793-5_2"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Dilsun K. Kaynar Nancy Lynch Roberto Segala and Frits Vaandrager. 2005. The Theory of Timed I\/O Automata. Morgan Claypool.  Dilsun K. Kaynar Nancy Lynch Roberto Segala and Frits Vaandrager. 2005. The Theory of Timed I\/O Automata. Morgan Claypool.","DOI":"10.1007\/978-3-031-01794-0"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1773912.1773922"},{"volume-title":"Graph-theoretic Methods in Multiagent Networks","author":"Mesbahi M.","key":"e_1_3_2_1_11_1","unstructured":"M. Mesbahi and Magnus Egerstedt . 2010. Graph-theoretic Methods in Multiagent Networks . Princeton University Press . M. Mesbahi and Magnus Egerstedt. 2010. Graph-theoretic Methods in Multiagent Networks. Princeton University Press."},{"volume-title":"Formal Analysis of the Operational Concept for the Small Aircraft Transportation System","author":"Mu\u00f1oz C\u00e9sar","key":"e_1_3_2_1_12_1","unstructured":"C\u00e9sar Mu\u00f1oz , V\u00edctor Carre\u00f1o , and Gilles Dowek . 2006. Formal Analysis of the Operational Concept for the Small Aircraft Transportation System . Springer Berlin Heidelberg , Berlin, Heidelberg , 306--325. C\u00e9sar Mu\u00f1oz, V\u00edctor Carre\u00f1o, and Gilles Dowek. 2006. Formal Analysis of the Operational Concept for the Small Aircraft Transportation System. Springer Berlin Heidelberg, Berlin, Heidelberg, 306--325."},{"volume-title":"A Survey on Domain-Specific Languages in Robotics","author":"Nordmann Arne","key":"e_1_3_2_1_13_1","unstructured":"Arne Nordmann , Nico Hochgeschwender , and Sebastian Wrede . 2014. A Survey on Domain-Specific Languages in Robotics . Springer International Publishing , Cham , 195--206. Arne Nordmann, Nico Hochgeschwender, and Sebastian Wrede. 2014. A Survey on Domain-Specific Languages in Robotics. Springer International Publishing, Cham, 195--206."},{"key":"e_1_3_2_1_14_1","unstructured":"Arne Nordmann and Nico Hochgeschwender Sebastian Wrede. 2014. Robotics DSL Zoo. (2014).  Arne Nordmann and Nico Hochgeschwender Sebastian Wrede. 2014. Robotics DSL Zoo. (2014)."},{"key":"e_1_3_2_1_15_1","volume-title":"ICRA workshop on open source software","volume":"3","author":"Quigley Morgan","year":"2009","unstructured":"Morgan Quigley , Ken Conley , Brian Gerkey , Josh Faust , Tully Foote , Jeremy Leibs , Rob Wheeler , and Andrew Y Ng . 2009 . ROS: an open-source Robot Operating System . In ICRA workshop on open source software , Vol. 3 . Kobe, Japan, 5. Morgan Quigley, Ken Conley, Brian Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler, and Andrew Y Ng. 2009. ROS: an open-source Robot Operating System. In ICRA workshop on open source software, Vol. 3. Kobe, Japan, 5."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of International K Workshop (K'11)","volume":"304","author":"Rosu Grigore","year":"2014","unstructured":"Grigore Rosu and Traian Florin Serbanuta . 2014 . K Overview and SIMPLE Case Study . In Proceedings of International K Workshop (K'11) (ENTCS), Vol. 304 . Elsevier, 3--56. Grigore Rosu and Traian Florin Serbanuta. 2014. K Overview and SIMPLE Case Study. In Proceedings of International K Workshop (K'11) (ENTCS), Vol. 304. Elsevier, 3--56."},{"key":"e_1_3_2_1_17_1","first-page":"1","article-title":"On the stability of asynchronous iterative processes","volume":"20","author":"Tsitsiklis John N.","year":"1987","unstructured":"John N. Tsitsiklis . 1987 . On the stability of asynchronous iterative processes . Theory of Computing Systems 20 , 1 (December 1987), 137--153. John N. Tsitsiklis. 1987. On the stability of asynchronous iterative processes. Theory of Computing Systems 20, 1 (December 1987), 137--153.","journal-title":"Theory of Computing Systems"},{"key":"e_1_3_2_1_18_1","unstructured":"Adam Zimmerman and Sayan Mitra. 2012. A Programming Environment for Peer-to-Peer Applications over Ad hoc WiFi and Android phones.  Adam Zimmerman and Sayan Mitra. 2012. A Programming Environment for Peer-to-Peer Applications over Ad hoc WiFi and Android phones."}],"event":{"name":"PODC '18: ACM Symposium on Principles of Distributed Computing","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Egham United Kingdom","acronym":"PODC '18"},"container-title":["Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3231104.3231958","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3231104.3231958","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:02Z","timestamp":1750212422000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3231104.3231958"}},"subtitle":["[Extended Abstract]"],"short-title":[],"issued":{"date-parts":[[2018,7,23]]},"references-count":18,"alternative-id":["10.1145\/3231104.3231958","10.1145\/3231104"],"URL":"https:\/\/doi.org\/10.1145\/3231104.3231958","relation":{},"subject":[],"published":{"date-parts":[[2018,7,23]]},"assertion":[{"value":"2018-07-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}