{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:31:20Z","timestamp":1763663480545},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319454764"},{"type":"electronic","value":"9783319454771"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45477-1_22","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T01:34:41Z","timestamp":1472866481000},"page":"283-295","source":"Crossref","is-referenced-by-count":32,"title":["SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration"],"prefix":"10.1007","author":[{"given":"Mehrnoosh","family":"Askarpour","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dino","family":"Mandrioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Vicentini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"22_CR1","unstructured":"The Zot bounded satisfiability checker. http:\/\/github.com\/fm-polimi\/zot"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Baracchi, L., Cimatti, A., Garcia, G., Mazzini, S., Puri, S., Tonetta, S.: Requirements refinement and component reuse: the FoReVer contract-based approach. In: Handbook of Research on Embedded Systems Design (2014)","DOI":"10.4018\/978-1-4666-6194-3.ch009"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Baresi, L., Kallehbasti, M.M.P., Rossi, M.: How bit-vector logic can help improve the verification of LTL specifications over infinite domains. In: Proceedings of SAC, pp. 1666\u20131673 (2016)","DOI":"10.1145\/2851613.2851833"},{"issue":"6","key":"22_CR4","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1017\/S0263574797000829","volume":"15","author":"BS Dhillon","year":"1997","unstructured":"Dhillon, B.S., Fashandi, A.R.M.: Safety and reliability assessment techniques in robotics. Robotica 15(6), 701\u2013708 (1997)","journal-title":"Robotica"},{"key":"22_CR5","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-1-4471-1021-7_26","volume-title":"Robotics Research","author":"B Espiau","year":"1996","unstructured":"Espiau, B., Kapellos, K., Jourdan, M.: Formal verification in robotics: why and how? In: Giralt, G., Hirzinger, G. (eds.) Robotics Research, pp. 225\u2013236. Springer, London (1996)"},{"key":"22_CR6","unstructured":"Fung, P., Norgate, G., Dilts, T., Jones, A., Ravindran, R.: Human-in-the-loop machine control loop. Patent nr. US 5116180 A (1992)"},{"key":"22_CR7","volume-title":"Modeling Time in Computing. Monographs in Theoretical Computer Science. An EATCS Series","author":"CA Furia","year":"2012","unstructured":"Furia, C.A., Mandrioli, D., Morzenti, A., Rossi, M.: Modeling Time in Computing. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2012)"},{"key":"22_CR8","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/j.ssci.2015.12.017","volume":"84","author":"J Guiochet","year":"2016","unstructured":"Guiochet, J.: Hazard analysis of human-robot interactions with HAZOP-UML. Saf. Sci. 84, 225\u2013237 (2016)","journal-title":"Saf. Sci."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Guiochet, J., Do Hoang, Q.A., Kaaniche, M., Powell, D.: Model-based safety analysis of human-robot interactions: the MIRAS walking assistance robot. In: Proceedings of the International Conference on Rehabilitation Robotics (ICORR), pp. 1\u20137 (2013)","DOI":"10.1109\/ICORR.2013.6650433"},{"key":"22_CR10","unstructured":"International Electrotechnical Commission: IEC 61882, Hazard and operability studies (HAZOP studies) Application guide (2001)"},{"key":"22_CR11","unstructured":"International Standard Organisation: ISO10218-2:2011, Robots and robotic devices - Safety requirements for industrial robots\u00a0- Part 2: Robot Systems and Integration"},{"key":"22_CR12","unstructured":"International Standard Organisation: ISO12100:2010, Safety of machinery - General principles for design - Risk assessment and risk reduction"},{"key":"22_CR13","unstructured":"International Standard Organisation: ISO13849-1:2015, Safety of machinery - Safety-related parts of control systems - Part 1: General principles for design"},{"key":"22_CR14","unstructured":"International Standard Organisation: ISO14121-2:2007, Safety of machinery - Risk assessment - Part 2"},{"key":"22_CR15","unstructured":"International Standard Organisation: ISO\/TS15066:2015, Robots and robotic devices - Collaborative robots"},{"key":"22_CR16","volume-title":"Engineering a Safer World: Systems Thinking Applied to Safety","author":"N Leveson","year":"2011","unstructured":"Leveson, N.: Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press, Cambridge (2011)"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/978-3-319-10506-2_18","volume-title":"Computer Safety, Reliability, and Security","author":"M Machin","year":"2014","unstructured":"Machin, M., Dufoss\u00e9, F., Blanquart, J.-P., Guiochet, J., Powell, D., Waeselynck, H.: Specifying safety monitors for autonomous systems using model-checking. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 262\u2013277. Springer, Heidelberg (2014)"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Machin, M., Dufoss\u00e9, F., Guiochet, J., Powell, D., Roy, M., Waeselynck, H.: Model-checking and game theory for synthesis of safety rules. In: Proceedings of HASE (2015)","DOI":"10.1109\/HASE.2015.15"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Martin-Guillerez, D., Guiochet, J., Powell, D., Zanon, C.: A UML-based method for risk analysis of human-robot interactions. In: Proceedings of SERENE, pp. 32\u201341. ACM (2010)","DOI":"10.1145\/2401736.2401740"},{"issue":"3","key":"22_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2491509.2491514","volume":"22","author":"M Pradella","year":"2013","unstructured":"Pradella, M., Morzenti, A., San Pietro, P.: Bounded satisfiability checking of metric temporal logic specifications. ACM TOSEM 22(3), 1\u201354 (2013)","journal-title":"ACM TOSEM"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45477-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:58:10Z","timestamp":1498327090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45477-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319454764","9783319454771"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45477-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}