{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:36:55Z","timestamp":1730291815957,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T00:00:00Z","timestamp":1697932800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T00:00:00Z","timestamp":1697932800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,22]]},"DOI":"10.1109\/qrs-c60940.2023.00106","type":"proceedings-article","created":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T19:51:41Z","timestamp":1708372301000},"page":"499-508","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modeling and Verification of Industrial Robotic Arm - A Case Study"],"prefix":"10.1109","author":[{"given":"Ilmaan","family":"Zia","sequence":"first","affiliation":[{"name":"California State University Long Beach,Department of Computer Science and Engineering,CA,USA"}]},{"given":"Muhammad Abdul","family":"Basit Ur Rahim","sequence":"additional","affiliation":[{"name":"California State University Long Beach,Department of Computer Science and Engineering,CA,USA"}]},{"given":"Tairan","family":"Liu","sequence":"additional","affiliation":[{"name":"California State University Long Beach,Department of Mechanical and Aerospace Engineering,CA,USA"}]},{"given":"Zhangying","family":"He","sequence":"additional","affiliation":[{"name":"California State University Long Beach,Department of Computer Science and Engineering,CA,USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/icse.1998.671114"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08915-7_4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2019.09.357"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3487921"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-022-01037-6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3342355"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/icse.1998.671114"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1809049.1809078"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0096-1"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33678-2_18"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799031"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2015.15"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2700318"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15461-4_42"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2013.IX.014"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73099-6_17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60915-6_6"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2007.4413960"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4399365"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE.2017.9"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.91.4"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911403017"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.5772\/5618"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_13"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2013.05.008"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2013.04.005"},{"key":"ref28","article-title":"Contribution to the formal specification and verification of a multi-agent robotic system","volume":"abs\/1604.05577","author":"Akhtar","year":"2015","journal-title":"ArXiv"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61455-2_16"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-023-08272-z"},{"key":"ref31","first-page":"139","article-title":"Translating activity diagram from duration calculus for modeling of realtime systems and its formal verification using uppaal and divine, vol. 35 (1)","author":"ur Rahim","year":"2016","journal-title":"Mehran University Research Journal of Engineering and Technolog, Berlin, Heidel-berg"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/BFb0020949","article-title":"Uppaal - a tool suite for automatic verification of realtime systems","volume-title":"Hybrid Systems III","author":"Bengtsson","year":"1996"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/compsac48688.2020.00050"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/567446.567462"}],"event":{"name":"2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","start":{"date-parts":[[2023,10,22]]},"location":"Chiang Mai, Thailand","end":{"date-parts":[[2023,10,26]]}},"container-title":["2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10429824\/10429825\/10430021.pdf?arnumber=10430021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T15:41:09Z","timestamp":1710430869000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10430021\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,22]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/qrs-c60940.2023.00106","relation":{},"subject":[],"published":{"date-parts":[[2023,10,22]]}}}