{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:12:02Z","timestamp":1742911922970,"version":"3.40.3"},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030359898"},{"type":"electronic","value":"9783030359904"}],"license":[{"start":{"date-parts":[[2019,11,20]],"date-time":"2019-11-20T00:00:00Z","timestamp":1574208000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-35990-4_51","type":"book-chapter","created":{"date-parts":[[2019,11,19]],"date-time":"2019-11-19T15:01:34Z","timestamp":1574175694000},"page":"632-644","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Applying Software Static Analysis to ROS: The Case Study of the FASTEN European Project"],"prefix":"10.1007","author":[{"given":"Tiago","family":"Neto","sequence":"first","affiliation":[]},{"given":"Rafael","family":"Arrais","sequence":"additional","affiliation":[]},{"given":"Armando","family":"Sousa","sequence":"additional","affiliation":[]},{"given":"Andr\u00e9","family":"Santos","sequence":"additional","affiliation":[]},{"given":"Germano","family":"Veiga","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,11,20]]},"reference":[{"key":"51_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2008.06.039","volume":"217","author":"P Emanuelsson","year":"2008","unstructured":"Emanuelsson, P., Nilsson, U.: A comparative study of industrial static analysis tools. Electron. Notes Theor. Comput. Sci. 217, 5\u201321 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"4","key":"51_CR2","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s12599-014-0334-4","volume":"6","author":"H Lasi","year":"2014","unstructured":"Lasi, H., Fettke, P., Kemper, H.G., Feld, T., Hoffmann, M.: Industry 4.0. Bus. Inf. Syst. Eng. 6(4), 239\u2013242 (2014)","journal-title":"Bus. Inf. Syst. Eng."},{"key":"51_CR3","unstructured":"Quigley, M., Conley, K., Gerkey, B., Faust, J., Foote, T., Leibs, J., Wheeler, R., Ng, A.Y.: ROS: an open-source robot operating system. In: ICRA Workshop on Open Source Software, Kobe, Japan, vol. 3, p. 5 (2009)"},{"key":"51_CR4","doi-asserted-by":"crossref","unstructured":"Santos, A., Cunha, A., Macedo, N., Arrais, R., dos Santos, F.N.: Mining the usage patterns of ROS primitives. In: 2017 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 3855\u20133860, September 2017","DOI":"10.1109\/IROS.2017.8206237"},{"key":"51_CR5","doi-asserted-by":"crossref","unstructured":"Santos, A., Cunha, A., Macedo, N., Louren\u00e7o, C.: A framework for quality assessment of ROS repositories. In: 2016 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 4491\u20134496, October 2016","DOI":"10.1109\/IROS.2016.7759661"},{"key":"51_CR6","doi-asserted-by":"crossref","unstructured":"Santos, A., Cunha, A., Macedo, N.: Static-time extraction and analysis of the ROS computation graph. In: 2019 Third IEEE International Conference on Robotic Computing (IRC), pp. 62\u201369. IEEE (2019)","DOI":"10.1109\/IRC.2019.00018"},{"key":"51_CR7","unstructured":"Sha, L., Gopalakrishnan, S., Liu, X., Wang, Q.: Cyber-physical systems: a new frontier. In: 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2008), pp. 1\u20139 (2008). \nhttp:\/\/ieeexplore.ieee.org\/document\/4545732\/"},{"key":"51_CR8","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/978-3-319-70836-2_51","volume-title":"ROBOT 2017: Third Iberian Robotics Conference","author":"C Toscano","year":"2018","unstructured":"Toscano, C., Arrais, R., Veiga, G.: Enhancement of industrial logistic systems with semantic 3D representations for mobile manipulators. In: Ollero, A., Sanfeliu, A., Montano, L., Lau, N., Cardeira, C. (eds.) ROBOT 2017: Third Iberian Robotics Conference, pp. 617\u2013628. Springer, Cham (2018)"}],"container-title":["Advances in Intelligent Systems and Computing","Robot 2019: Fourth Iberian Robotics Conference"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-35990-4_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,22]],"date-time":"2020-01-22T05:16:35Z","timestamp":1579670195000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-35990-4_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,20]]},"ISBN":["9783030359898","9783030359904"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-35990-4_51","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,11,20]]},"assertion":[{"value":"20 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ROBOT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iberian Robotics conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 November 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"robot2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}