{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:17:33Z","timestamp":1729649853589,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/simpar.2016.7862408","type":"proceedings-article","created":{"date-parts":[[2017,2,23]],"date-time":"2017-02-23T19:36:36Z","timestamp":1487878596000},"page":"281-288","source":"Crossref","is-referenced-by-count":1,"title":["Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines"],"prefix":"10.1109","author":[{"given":"Vladimir","family":"Estivill-Castro","sequence":"first","affiliation":[]},{"given":"Rene","family":"Hexel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389727"},{"journal-title":"Modeling Reactive Systems with Statecharts The STATEMATE Approach","year":"1998","author":"harel","key":"ref11"},{"journal-title":"Object-Oriented Modelling and Design","year":"1991","author":"rumbaugh","key":"ref12"},{"journal-title":"Executable UML A Foundation for Model-Driven Architecture","year":"2002","author":"mellor","key":"ref13"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1201\/b16463","author":"samek","year":"2008","journal-title":"Practical UML Statecharts in C\/C++ Second Edition Event-Driven Programming for Embedded Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1995.495208"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2993.2994"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2014.20"},{"key":"ref18","article-title":"Logic labelled finite-state machines and control\/status pull technology for model-driven engineering of robotic behaviours","author":"estivill-castro","year":"2015","journal-title":"Proc 26th InternationalConference on Software & Systems Engineering and their Applications"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/EMS.2015.24"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1504\/IJCCBS.2014.059594"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2014.45"},{"journal-title":"Computing with Logic Logic Programming with Prolog","year":"1988","author":"maier","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-013-0212-0"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JRA.1986.1087032"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139022"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2012.21"},{"journal-title":"Introduction to Autonomous Mobile Robots","year":"2011","author":"siegwart","key":"ref8"},{"key":"ref7","first-page":"99","article-title":"Teleo-reactive programs and the triple-tower architecture","volume":"5","author":"nilsson","year":"2001","journal-title":"Electron Trans Artif Intell"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2667218"},{"key":"ref9","article-title":"ROS: an open-source robot operating system","author":"quigley","year":"0","journal-title":"ICRA Workshop on Open Source Software 2009"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.6028\/NIST.TN.1867"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DCPS.2016.7588297"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-63-7.50052-8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11900-7_16"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"55","DOI":"10.5772\/5758","article-title":"Robotic software integration using MARIE","volume":"3","author":"c\u00f4t\u00e9","year":"2006","journal-title":"International Journal of Advanced Robotic Systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/70.143349"},{"key":"ref26","first-page":"247","article-title":"ROSRV: runtime verification for robots","volume":"8734","author":"huang","year":"2014"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23391-3_9"}],"event":{"name":"2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)","start":{"date-parts":[[2016,12,13]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2016,12,16]]}},"container-title":["2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7858577\/7862346\/07862408.pdf?arnumber=7862408","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T21:18:07Z","timestamp":1568841487000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7862408\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/simpar.2016.7862408","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}