{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:28:02Z","timestamp":1729610882076,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/isr.2013.6739742","type":"proceedings-article","created":{"date-parts":[[2014,2,21]],"date-time":"2014-02-21T15:19:50Z","timestamp":1392995990000},"page":"1-6","source":"Crossref","is-referenced-by-count":9,"title":["Static analysis techniques for robotics software verification"],"prefix":"10.1109","author":[{"given":"Agostino","family":"Cortesi","sequence":"first","affiliation":[]},{"given":"Pietro","family":"Ferrara","sequence":"additional","affiliation":[]},{"given":"Nabendu","family":"Chaki","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291166"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(96)00072-2"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"year":"0","key":"ref36","article-title":"Robot Software"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2008.26"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(01)00028-4"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/11417019_4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2010.09.001"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90030-7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337339"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268965"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0034-9"},{"article-title":"Computational principles of mobile robotics","year":"2000","author":"dudek","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1040291.1040292"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2011.10.004"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/780822.781153"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2001.972974"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.368137"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.12.001"},{"key":"ref29","article-title":"ROS: an open-source Robot Operating System","author":"quigley","year":"2009","journal-title":"ICRA Workshop on Open Source Software"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"347","DOI":"10.3233\/JCS-2005-13302","article-title":"Static validation of security protocols","volume":"13","author":"bodei","year":"2005","journal-title":"Journal of Computer Security"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134029"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/b98484"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/239912.239914"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.05.007"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60472-3_14"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-006-9013-8"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/222124.222146"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"263","DOI":"10.3233\/AIC-2008-0426","article-title":"Automatic Software Verification for Robotics","volume":"21","author":"mantovani","year":"2008","journal-title":"AI Commun"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_21"}],"event":{"name":"2013 44th International Symposium on Robotics (ISR 2013)","start":{"date-parts":[[2013,10,24]]},"location":"Seoul","end":{"date-parts":[[2013,10,26]]}},"container-title":["IEEE ISR 2013"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684406\/6695597\/06739742.pdf?arnumber=6739742","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,15]],"date-time":"2020-08-15T12:34:18Z","timestamp":1597494858000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6739742\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/isr.2013.6739742","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}