{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T18:44:54Z","timestamp":1777401894559,"version":"3.51.4"},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100003626","name":"Defense Acquisition Program Administration","doi-asserted-by":"publisher","award":["UD160027ID"],"award-info":[{"award-number":["UD160027ID"]}],"id":[{"id":"10.13039\/501100003626","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","award":["NRF-2016R1A2B3012662"],"award-info":[{"award-number":["NRF-2016R1A2B3012662"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/tcad.2018.2857339","type":"journal-article","created":{"date-parts":[[2018,7,18]],"date-time":"2018-07-18T20:08:11Z","timestamp":1531944491000},"page":"2952-2963","source":"Crossref","is-referenced-by-count":11,"title":["SeMo: Service-Oriented and Model-Based Software Framework for Cooperating Robots"],"prefix":"10.1109","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9908-005X","authenticated-orcid":false,"given":"Hyesun","family":"Hong","sequence":"first","affiliation":[{"name":"Seoul National University, Seoul, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanwoong","family":"Jung","sequence":"additional","affiliation":[{"name":"Samsung Electronics, Seoul, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kangkyu","family":"Park","sequence":"additional","affiliation":[{"name":"Seoul National University, Seoul, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7472-9142","authenticated-orcid":false,"given":"Soonhoi","family":"Ha","sequence":"additional","affiliation":[{"name":"Seoul National University, Seoul, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2011.239"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2123905"},{"key":"ref33","article-title":"Cooperative multi-robot missions: Development of a platform and a specification language","author":"silva","year":"2013"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2006.13"},{"key":"ref31","article-title":"Buzz: An extensible programming language for self-organizing heterogeneous robot swarms","author":"pinciroli","year":"0","journal-title":"arXiv preprint arXiv 1507 05946"},{"key":"ref30","author":"waldron","year":"2017","journal-title":"Johnny-Five"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428622"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-3-319-40648-0_10","article-title":"Automated synthesis of safe autonomous vehicle control under perception uncertainty","author":"jha","year":"2016","journal-title":"Proc 1st NASA Formal Methods Symp"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2013.434"},{"key":"ref40","author":"kmetovicz","year":"1992","journal-title":"New Product Development Design and Analysis"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2584658"},{"key":"ref13","author":"tellez","year":"2016","journal-title":"ROS in 5 Days Entirely Practical Robot Operating System Training"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.4218\/etrij.10.1510.0138"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2001.933002"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.364161"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/792548.611996"},{"key":"ref18","author":"dantam","year":"2016","journal-title":"TMKit A task-motion planning framework"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2010.2042722"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2012.2221235"},{"key":"ref4","year":"2007","journal-title":"Pololu"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1868358.1868363"},{"key":"ref3","first-page":"59","article-title":"The e-puck, a robot designed for education in engineering","volume":"1","author":"bonani","year":"2009","journal-title":"Proc 9th Conf Auton Robot Syst Competitions"},{"key":"ref6","year":"2016","journal-title":"Parallax-Propbasic"},{"key":"ref29","author":"stewart","year":"2015","journal-title":"Cylon js"},{"key":"ref5","year":"2017","journal-title":"Pob Robotics-Pobtools Ri2Bee"},{"key":"ref8","first-page":"5","article-title":"ROS: An open-source robot operating system","volume":"3","author":"quigley","year":"2009","journal-title":"ICRA Workshop on Open Source Software"},{"key":"ref7","year":"2018","journal-title":"Parallax-Spin"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1126\/scirobotics.aao5619","article-title":"A biologically inspired, flapping-wing, hybrid aerial-aquatic microrobot","volume":"2","author":"chen","year":"2017","journal-title":"Robotics Science"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696520"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2009.5354561"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055022"},{"key":"ref22","article-title":"Robot operating system (ROS) introspective implementation of high-level task controllers","volume":"8","author":"wong","year":"2017","journal-title":"Journal of Software Engineering for Robotics"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1145\/2499370.2462184","article-title":"P: Safe asynchronous event-driven programming","volume":"48","author":"desai","year":"2013","journal-title":"ACM SIGPLAN Notices"},{"key":"ref24","year":"2014","journal-title":"RobotC"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"key":"ref26","author":"ferrari","year":"2011","journal-title":"Building Robots with Lego Mindstorms Nxt"},{"key":"ref25","first-page":"25","article-title":"Mission specification in underwater robotics","volume":"4","author":"fern\u00e1ndez-perdomo","year":"2010","journal-title":"J Phys Agents"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/8496924\/08412595.pdf?arnumber=8412595","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T17:30:34Z","timestamp":1692207034000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8412595\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":40,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2018.2857339","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11]]}}}