{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:39Z","timestamp":1750306119974,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"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\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1527563,CNS-1319302"],"award-info":[{"award-number":["CNS-1527563,CNS-1319302"]}],"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\/3054977.3054989","type":"proceedings-article","created":{"date-parts":[[2017,4,17]],"date-time":"2017-04-17T12:27:04Z","timestamp":1492432024000},"page":"259-270","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["CityGuard"],"prefix":"10.1145","author":[{"given":"Meiyi","family":"Ma","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Virginia, Charlotesville, Virginia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarah Masud","family":"Preum","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Virginia, Charlottesville, Virginia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John A.","family":"Stankovic","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Virginia, Charlottesville, Virginia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,4,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AWS IoT. https:\/\/aws.amazon.com\/iot\/.  AWS IoT. https:\/\/aws.amazon.com\/iot\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Azure IoT Hub documentation. https:\/\/azure.microsoft.com\/en-us\/documentation\/services\/iot-hub\/.  Azure IoT Hub documentation. https:\/\/azure.microsoft.com\/en-us\/documentation\/services\/iot-hub\/."},{"key":"e_1_3_2_1_3_1","unstructured":"IBM Watson IoT Platform. http:\/\/www.ibm.com\/internet-of-things\/.  IBM Watson IoT Platform. http:\/\/www.ibm.com\/internet-of-things\/."},{"key":"e_1_3_2_1_4_1","unstructured":"New York City Open Data. https:\/\/nycopendata.socrata.com\/.  New York City Open Data. https:\/\/nycopendata.socrata.com\/."},{"key":"e_1_3_2_1_5_1","unstructured":"Oracle Smart City. https:\/\/www.oracle.com\/applications\/primavera\/solutions\/smart-city-projects\/index.html.  Oracle Smart City. https:\/\/www.oracle.com\/applications\/primavera\/solutions\/smart-city-projects\/index.html."},{"key":"e_1_3_2_1_6_1","unstructured":"The Internet of Things (IoT) Starts with Intel Inside. http:\/\/www.intel.com\/content\/www\/us\/en\/internet-of-things\/overview.html.  The Internet of Things (IoT) Starts with Intel Inside. http:\/\/www.intel.com\/content\/www\/us\/en\/internet-of-things\/overview.html."},{"volume-title":"Proceedings of SIMUL 2011, The Third International Conference on Advances in System Simulation. ThinkMind.","year":"2011","author":"Behrisch Michael","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2014.10.023"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Robert L Hester Alison J Brown Leland Husband Radu Iliescu Drew Pruet Richard Summers and Thomas G Coleman. 2011. HumMod: a modeling environment for the simulation of integrative human physiology. Frontiers in physiology 2 (2011).  Robert L Hester Alison J Brown Leland Husband Radu Iliescu Drew Pruet Richard Summers and Thomas G Coleman. 2011. HumMod: a modeling environment for the simulation of integrative human physiology. Frontiers in physiology 2 (2011).","DOI":"10.3389\/fphys.2011.00012"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737095.2737115"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTCOMP.2016.7501688"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2529580"},{"key":"e_1_3_2_1_14_1","unstructured":"Sirajum Munir Mohsin Y Ahmed and John A Stankovic. EyePhy: Detecting Dependencies in Cyber-Physical System Apps due to Human-in-the-Loop. (????).  Sirajum Munir Mohsin Y Ahmed and John A Stankovic. EyePhy: Detecting Dependencies in Cyber-Physical System Apps due to Human-in-the-Loop. (????)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843717"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416910"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2158841"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2007.909810"},{"volume-title":"Preclude: Conflict Detection in Textual Health Advice. In Pervasive Computing and Communications (PerCom), 2017 IEEE International Conference on. IEEE.","author":"Preum Sarah M.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-013-0184-9"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1400713.1400740"}],"event":{"name":"IoTDI '17: International Conference on Internet-of-Things Design and Implementation","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE CS"],"location":"Pittsburgh PA USA","acronym":"IoTDI '17"},"container-title":["Proceedings of the Second International Conference on Internet-of-Things Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3054977.3054989","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3054977.3054989","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3054977.3054989","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:44Z","timestamp":1750217804000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3054977.3054989"}},"subtitle":["A Watchdog for Safety-Aware Conflict Detection in Smart Cities"],"short-title":[],"issued":{"date-parts":[[2017,4,18]]},"references-count":20,"alternative-id":["10.1145\/3054977.3054989","10.1145\/3054977"],"URL":"https:\/\/doi.org\/10.1145\/3054977.3054989","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"}}]}}