{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:08Z","timestamp":1750220828744,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T00:00:00Z","timestamp":1570579200000},"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":["CCF 1552975, CCF 1837051"],"award-info":[{"award-number":["CCF 1552975, CCF 1837051"]}],"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":[[2019,10,9]]},"DOI":"10.1145\/3359986.3361201","type":"proceedings-article","created":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T12:21:06Z","timestamp":1570450866000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A timeless model for the verification of quasi-periodic distributed systems"],"prefix":"10.1145","author":[{"given":"Maryam","family":"Dabaghchian","sequence":"first","affiliation":[{"name":"University of Utah"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zvonimir","family":"Rakamari\u0107","sequence":"additional","affiliation":[{"name":"University of Utah"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"agree [n.d.]. Assume Guarantee Reasoning Environment. http:\/\/loonwerks.com\/tools\/agree.html."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2016.7886655"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020949"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 5th NASA Langley Formal Methods Workshop. 187--196","author":"Bensalem Saddek","year":"2000","unstructured":"Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech, C\u00e9sar Mu\u00f1oz, Sam Owre, Harald Rue\u00df, John Rushby, Vlad Rusu, Hassen Sa\u00efdi, N. Shankar, Eli Singerman, and Ashish Tiwari. 2000. An Overview of SAL. In Proceedings of the 5th NASA Langley Formal Methods Workshop. 187--196."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_19"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2014.6979532"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_7"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45416-0_21"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111320.1111054"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462184"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055022"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21668-3_25"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_15"},{"key":"e_1_3_2_1_20_1","unstructured":"githubissue [n.d.]. GitHub Issue We Reported About Failing AGREE Installation. https:\/\/github.com\/loonwerks\/formal-methods-workbench\/issues\/24."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.24"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008696026254"},{"volume-title":"The Spin Model Checker: Primer and Reference Manual (1 ed.)","author":"Holzmann Gerard J.","key":"e_1_3_2_1_24_1","unstructured":"Gerard J. Holzmann. 2004. The Spin Model Checker: Primer and Reference Manual (1 ed.). Addison-Wesley."},{"key":"e_1_3_2_1_25_1","unstructured":"jkind [n.d.]. An infinite-state model checker for safety properties. http:\/\/loonwerks.com\/tools\/jkind.html."},{"volume-title":"Computability and Complexity: From a Programming Perspective","author":"Jones Neil D.","key":"e_1_3_2_1_26_1","unstructured":"Neil D. Jones. 1997. Computability and Complexity: From a Programming Perspective. MIT Press."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.72.6"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961845"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340463"},{"key":"e_1_3_2_1_31_1","unstructured":"R. Obermaisser C. El-Salloum B. Huber and H. Kopetz. 2007. Modeling and verification of distributed real-time systems using periodic finite state machines. Computer Systems Science and Engineering 22 6 (2007)."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-11494-7_22"},{"key":"e_1_3_2_1_33_1","unstructured":"ros [n.d.]. Robot Operating System (ROS). http:\/\/www.ros.org."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1622"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_21"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.81"}],"event":{"name":"MEMOCODE '19: 17th 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":"La Jolla California","acronym":"MEMOCODE '19"},"container-title":["Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359986.3361201","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359986.3361201","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359986.3361201","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:27Z","timestamp":1750202007000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359986.3361201"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,9]]},"references-count":32,"alternative-id":["10.1145\/3359986.3361201","10.1145\/3359986"],"URL":"https:\/\/doi.org\/10.1145\/3359986.3361201","relation":{},"subject":[],"published":{"date-parts":[[2019,10,9]]},"assertion":[{"value":"2019-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}