{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T16:36:19Z","timestamp":1772642179325,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"United States National Science Foundation (NSF) CCF: Software and Hardware Foundations (SHF)","award":["2118356"],"award-info":[{"award-number":["2118356"]}]},{"name":"United States National Science Foundation (NSF) CCF: Formal Methods in the Field (FMitF)","award":["2102106"],"award-info":[{"award-number":["2102106"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3576841.3585937","type":"proceedings-article","created":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T16:18:19Z","timestamp":1683217099000},"page":"154-165","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4739-1032","authenticated-orcid":false,"given":"Anik","family":"Momtaz","sequence":"first","affiliation":[{"name":"Michigan State University, East Lansing, Michigan, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8096-2618","authenticated-orcid":false,"given":"Houssam","family":"Abbas","sequence":"additional","affiliation":[{"name":"Oregon State University, Corvallis, Oregon, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1800-5419","authenticated-orcid":false,"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[{"name":"Michigan State University, East Lansing, Michigan, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (October 2014)","author":"Abbas H.","unstructured":"Abbas , H. , Mittelmann , H. , Fainekos , G. : Formal property verification in a conformance testing framework . In: ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (October 2014) Abbas, H., Mittelmann, H., Fainekos, G.: Formal property verification in a conformance testing framework. In: ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (October 2014)"},{"key":"e_1_3_2_1_2_1","volume-title":"Falcone","author":"Bauer A.","year":"2016","unstructured":"Bauer , A. , Falcone , Y. : Decentralised LTL monitoring. Formal Methods in System Design 48(1--2), 46--93 ( 2016 ) Bauer, A., Falcone, Y.: Decentralised LTL monitoring. Formal Methods in System Design 48(1--2), 46--93 (2016)"},{"key":"e_1_3_2_1_3_1","volume-title":"The Tenth International Conference on Sensor Technologies and Applications. Thinkmind (2016)","author":"Benndorf M.","unstructured":"Benndorf , M. , Haenselmann , T. : Time synchronization on android devices for mobile construction assessment . In: The Tenth International Conference on Sensor Technologies and Applications. Thinkmind (2016) Benndorf, M., Haenselmann, T.: Time synchronization on android devices for mobile construction assessment. In: The Tenth International Conference on Sensor Technologies and Applications. Thinkmind (2016)"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2013.19"},{"key":"e_1_3_2_1_6_1","volume-title":"Falcone","author":"Colombo C.","year":"2016","unstructured":"Colombo , C. , Falcone , Y. : Organising LTL monitors over distributed systems with a global clock. Formal Methods in System Design 49(1--2), 109--158 ( 2016 ) Colombo, C., Falcone, Y.: Organising LTL monitors over distributed systems with a global clock. Formal Methods in System Design 49(1--2), 109--158 (2016)"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32079-9_11"},{"key":"e_1_3_2_1_8_1","volume-title":"Fainekos","author":"Dokhanchi A.","year":"2014","unstructured":"Dokhanchi , A. , Hoxha , B. , Fainekos , G. : Online monitoring for temporal logic robustness. In : Proc. of Runtime Verification ( 2014 ) Dokhanchi, A., Hoxha, B., Fainekos, G.: Online monitoring for temporal logic robustness. In: Proc. of Runtime Verification (2014)"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885174.1885183"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1779879.1779891"},{"key":"e_1_3_2_1_12_1","first-page":"1","volume-title":"Proceedings of the 24nd International Conference on Principles of Distributed Systems (OPODIS).","author":"Ganguly R.","year":"2020","unstructured":"Ganguly , R. , Momtaz , A. , Bonakdarpour , B. : Distributed runtime verification under partial asynchrony . In: Proceedings of the 24nd International Conference on Principles of Distributed Systems (OPODIS). pp. 20: 1 -- 20 :17 ( 2020 ) Ganguly, R., Momtaz, A., Bonakdarpour, B.: Distributed runtime verification under partial asynchrony. In: Proceedings of the 24nd International Conference on Principles of Distributed Systems (OPODIS). pp. 20:1--20:17 (2020)"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0286-7"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_15_1","first-page":"152","volume-title":"Nickovic","author":"Maler O.","year":"2004","unstructured":"Maler , O. , Nickovic , D. : Monitoring temporal properties of continuous signals. In : Proceedings of the Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (FORMATS\/FTRTFT) . pp. 152 -- 166 ( 2004 ) Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Proceedings of the Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (FORMATS\/FTRTFT). pp. 152--166 (2004)"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744196"},{"key":"e_1_3_2_1_17_1","volume-title":"RFC Editor","author":"Mills D.","year":"2010","unstructured":"Mills , D. : Network time protocol version 4: Protocol and algorithms specification. RFC 5905 , RFC Editor ( June 2010 ) Mills, D.: Network time protocol version 4: Protocol and algorithms specification. RFC 5905, RFC Editor (June 2010)"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-004-0117-0"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88494-9_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2015.95"},{"key":"e_1_3_2_1_21_1","first-page":"337","volume-title":"N.: Z3: An efficient SMT solver. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS).","author":"de Moura L.M.","year":"2008","unstructured":"de Moura , L.M. , Bj\u00f8rner , N.: Z3: An efficient SMT solver. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pp. 337 -- 340 ( 2008 ) de Moura, L.M., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pp. 337--340 (2008)"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75142-7_32"},{"key":"e_1_3_2_1_23_1","volume-title":"IEEE Conference on Control Technology and Applications,(2017)","author":"Pant Y.V.","unstructured":"Pant , Y.V. , Abbas , H. , Mangharam , R. : Smooth operator: Control using the smooth robustness of temporal logic . In: IEEE Conference on Control Technology and Applications,(2017) Pant, Y.V., Abbas, H., Mangharam, R.: Smooth operator: Control using the smooth robustness of temporal logic. In: IEEE Conference on Control Technology and Applications,(2017)"},{"key":"e_1_3_2_1_24_1","first-page":"122","volume-title":"Pinto","author":"Pereira","year":"2020","unstructured":"Pereira , Carlos, J., Machado , N. , Pinto , J.S. : Testing for race conditions in distributed systems via smt solving. In : International Conference on Tests and Proofs, Bergen , Norway, June 22--26, 2020 , Proceedings. pp. 122 -- 140 (2020) Pereira, Carlos, J., Machado, N., Pinto, J.S.: Testing for race conditions in distributed systems via smt solving. In: International Conference on Tests and Proofs, Bergen, Norway, June 22--26, 2020, Proceedings. pp. 122--140 (2020)"},{"key":"e_1_3_2_1_26_1","volume-title":"Rosu: Efficient decentralized monitoring of safety in distributed systems","author":"Sen K.","year":"2004","unstructured":"Sen , K. , Vardhan , A. , Agha , G., G. Rosu: Efficient decentralized monitoring of safety in distributed systems . In : ICSE ( 2004 ) Sen, K., Vardhan, A., Agha, G., G.Rosu: Efficient decentralized monitoring of safety in distributed systems. In: ICSE (2004)"},{"key":"e_1_3_2_1_27_1","volume-title":"Emergency core cooling systems (March","author":"USNRC","year":"2021","unstructured":"USNRC : Emergency core cooling systems (March 2021 ), https:\/\/www.nrc.gov\/docs\/ML1122\/ML11223A220.pdf USNRC: Emergency core cooling systems (March 2021), https:\/\/www.nrc.gov\/docs\/ML1122\/ML11223A220.pdf"},{"key":"e_1_3_2_1_28_1","volume-title":"Pressurized water reactor systems (March","author":"USNRC","year":"2021","unstructured":"USNRC : Pressurized water reactor systems (March 2021 ), https:\/\/www.nrc.gov\/reading-rm\/basic-ref\/students\/for-educators\/04.pdf USNRC: Pressurized water reactor systems (March 2021), https:\/\/www.nrc.gov\/reading-rm\/basic-ref\/students\/for-educators\/04.pdf"},{"key":"e_1_3_2_1_29_1","first-page":"277","volume-title":"RV 2017, Seattle, WA, USA, September 13--16, 2017, Proceedings.","author":"Valapil V.T.","year":"2017","unstructured":"Valapil , V.T. , Yingchareonthawornchai , S. , Kulkarni , S.S. , Torng , E. , Demirbas , M. : Monitoring partially synchronous distributed systems using SMT solvers. In: Runtime Verification - 17th International Conference , RV 2017, Seattle, WA, USA, September 13--16, 2017, Proceedings. pp. 277 -- 293 ( 2017 ) Valapil, V.T., Yingchareonthawornchai, S., Kulkarni, S.S., Torng, E., Demirbas, M.: Monitoring partially synchronous distributed systems using SMT solvers. In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13--16, 2017, Proceedings. pp. 277--293 (2017)"}],"event":{"name":"ICCPS '23: ACM\/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023)","location":"San Antonio TX USA","acronym":"ICCPS '23","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE TCRTS"]},"container-title":["Proceedings of the ACM\/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576841.3585937","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:27Z","timestamp":1750178847000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576841.3585937"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":28,"alternative-id":["10.1145\/3576841.3585937","10.1145\/3576841"],"URL":"https:\/\/doi.org\/10.1145\/3576841.3585937","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-05-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}