{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T07:15:20Z","timestamp":1761808520310},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,2,23]],"date-time":"2022-02-23T00:00:00Z","timestamp":1645574400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,2,23]],"date-time":"2022-02-23T00:00:00Z","timestamp":1645574400000},"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":[[2022,2,23]]},"DOI":"10.1109\/csicc55295.2022.9780500","type":"proceedings-article","created":{"date-parts":[[2022,5,27]],"date-time":"2022-05-27T21:49:58Z","timestamp":1653688198000},"page":"1-5","source":"Crossref","is-referenced-by-count":5,"title":["ROS-Based Co-Simulation for Formal Cyber-Physical Robotic System Design"],"prefix":"10.1109","author":[{"given":"Mohammad","family":"Vazirpanah","sequence":"first","affiliation":[{"name":"Shahid Beheshti University,Computer Science and Engineering,Tehran,Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seyed-Hosein","family":"Attarzadeh-Niaki","sequence":"additional","affiliation":[{"name":"Shahid Beheshti University,Computer Science and Engineering,Tehran,Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Salimi-Badr","sequence":"additional","affiliation":[{"name":"Shahid Beheshti University,Computer Science and Engineering,Tehran,Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SECON.2011.5752942"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjjip.29.227"},{"journal-title":"Perform co-simulation between simulink and gazebo","year":"0","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MFI49285.2020.9235238"},{"key":"ref14","first-page":"187","author":"lange","year":"2021","journal-title":"Integrating the Functional Mock-Up Interface with ROS and Gazebo"},{"key":"ref15","first-page":"55","author":"larsen","year":"2021","journal-title":"Reactive Programming of Robots with RxROS"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/0037549716659753"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2006.18"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819898"},{"key":"ref5","article-title":"ROS: an open-source Robot Operating System","author":"quigley","year":"2009","journal-title":"ICRA 2009"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45956-7_3"},{"journal-title":"The Robot Operating System","year":"0","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2012.01.003"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3179993"},{"journal-title":"roscpp","year":"0","key":"ref9"}],"event":{"name":"2022 27th International Computer Conference, Computer Society of Iran (CSICC)","start":{"date-parts":[[2022,2,23]]},"location":"Tehran, Iran, Islamic Republic of","end":{"date-parts":[[2022,2,24]]}},"container-title":["2022 27th International Computer Conference, Computer Society of Iran (CSICC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9780464\/9780394\/09780500.pdf?arnumber=9780500","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T20:13:53Z","timestamp":1656965633000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9780500\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,23]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/csicc55295.2022.9780500","relation":{},"subject":[],"published":{"date-parts":[[2022,2,23]]}}}