{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T10:31:24Z","timestamp":1756895484030,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,4,15]],"date-time":"2010-04-15T00:00:00Z","timestamp":1271289600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004965","name":"Sixth Framework Programme","doi-asserted-by":"publisher","award":["IST-045359"],"award-info":[{"award-number":["IST-045359"]}],"id":[{"id":"10.13039\/501100004965","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,4,15]]},"DOI":"10.1145\/2401736.2401740","type":"proceedings-article","created":{"date-parts":[[2012,11,29]],"date-time":"2012-11-29T17:08:34Z","timestamp":1354208914000},"page":"32-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["A UML-based method for risk analysis of human-robot interactions"],"prefix":"10.1145","author":[{"given":"Damien","family":"Martin-Guillerez","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Toulouse, Toulouse, FRANCE and CNRS, Toulouse, FRANCE"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00e9mie","family":"Guiochet","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse, Toulouse, FRANCE and CNRS, Toulouse, FRANCE"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Powell","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse, Toulouse, FRANCE and CNRS, Toulouse, FRANCE"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Zanon","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse, Toulouse, FRANCE and CNRS, Toulouse, FRANCE"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,4,15]]},"reference":[{"volume-title":"Association for the Advancement of Automotive Medicine","year":"1998","key":"e_1_3_2_1_1_1","unstructured":"AIS98. The abbreviated injury scale. Technical report , Association for the Advancement of Automotive Medicine , Des Plaines, IL, USA , 1998 . AIS98. The abbreviated injury scale. Technical report, Association for the Advancement of Automotive Medicine, Des Plaines, IL, USA, 1998."},{"key":"e_1_3_2_1_2_1","first-page":"228","volume-title":"Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on","author":"Allenby K.","year":"2001","unstructured":"K. Allenby and T. Kelly . Deriving safety requirements using scenarios . In Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on , pages 228 -- 235 , 2001 . K. Allenby and T. Kelly. Deriving safety requirements using scenarios. In Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on, pages 228--235, 2001."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1049\/cp:20060203"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"volume-title":"Ministry of Defence","year":"2000","key":"e_1_3_2_1_5_1","unstructured":"DefStan00-58. HAZOP studies on systems containing programmable electronics. Defence Standard , Ministry of Defence , UK , 2000 . DefStan00-58. HAZOP studies on systems containing programmable electronics. Defence Standard, Ministry of Defence, UK, 2000."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2005.11.060"},{"key":"e_1_3_2_1_7_1","volume-title":"3rd World Congress for Software Quality","author":"Gorski J.","year":"2005","unstructured":"J. Gorski and A. Jarzebowicz . Development and validation of a HAZOP-based inspection of UML models ,. In 3rd World Congress for Software Quality , Munich, Germany , 2005 . J. Gorski and A. Jarzebowicz. Development and validation of a HAZOP-based inspection of UML models,. In 3rd World Congress for Software Quality, Munich, Germany, 2005."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-8153-7_12"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. of the 2nd IARP IEEE\/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments","author":"Guiochet J.","year":"2002","unstructured":"J. Guiochet and A. Vilchis . Safety analysis of a medical robot for tele-echography . In Proc. of the 2nd IARP IEEE\/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments , Toulouse, France, pages 217--227 , 2002 . J. Guiochet and A. Vilchis. Safety analysis of a medical robot for tele-echography. In Proc. of the 2nd IARP IEEE\/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments, Toulouse, France, pages 217--227, 2002."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of NWUML","author":"Hansen K. M.","year":"2004","unstructured":"K. M. Hansen , L. Wells , and T. Maier . HAZOP analysis of UML-based software architecture descriptions of safety-critical systems . In Proceedings of NWUML , 2004 . K. M. Hansen, L. Wells, and T. Maier. HAZOP analysis of UML-based software architecture descriptions of safety-critical systems. In Proceedings of NWUML, 2004."},{"volume-title":"International Electrotechnical Commission","year":"2000","key":"e_1_3_2_1_11_1","unstructured":"IEC61508. Functional safety of electrical\/electronic\/programmable electronic safety-related systems . International Electrotechnical Commission , 2000 . IEC61508. Functional safety of electrical\/electronic\/programmable electronic safety-related systems. International Electrotechnical Commission, 2000."},{"volume-title":"International Electrotechnical Commission","year":"2001","key":"e_1_3_2_1_12_1","unstructured":"IEC61882. Hazard and operability studies (HAZOP studies) -- Application guide . International Electrotechnical Commission , 2001 . IEC61882. Hazard and operability studies (HAZOP studies) -- Application guide. International Electrotechnical Commission, 2001."},{"volume-title":"Safety aspects - Guidelines for their inclusion in standards","year":"1999","key":"e_1_3_2_1_13_1","unstructured":"ISO\/IEC-Guide51. Safety aspects - Guidelines for their inclusion in standards . International Organization for Standardization , 1999 . ISO\/IEC-Guide51. Safety aspects - Guidelines for their inclusion in standards. International Organization for Standardization, 1999."},{"issue":"2","key":"e_1_3_2_1_14_1","first-page":"103","article-title":"Empirical evaluation of reading techniques for UML models inspection","volume":"1","author":"Jarzebowicz A.","year":"2006","unstructured":"A. Jarzebowicz and J. G\u00f3rski . Empirical evaluation of reading techniques for UML models inspection . ITSSA , 1 ( 2 ): 103 -- 110 , 2006 . A. Jarzebowicz and J. G\u00f3rski. Empirical evaluation of reading techniques for UML models inspection. ITSSA, 1(2):103--110, 2006.","journal-title":"ITSSA"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647882.738105"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/647400.760312"},{"volume-title":"Multimodal Interactive Robot for Assistance in Strolling. Project supported by the French ANR","author":"MIRAS.","key":"e_1_3_2_1_17_1","unstructured":"MIRAS. Multimodal Interactive Robot for Assistance in Strolling. Project supported by the French ANR ( National Research Agency) under the TecSan (Healthcare Technologies) Program (ANR-08-TECS-009-04), http:\/\/www.miraswalker.com\/index.php\/en. MIRAS. Multimodal Interactive Robot for Assistance in Strolling. Project supported by the French ANR (National Research Agency) under the TecSan (Healthcare Technologies) Program (ANR-08-TECS-009-04), http:\/\/www.miraswalker.com\/index.php\/en."},{"volume-title":"OMG unified modeling language (OMG UML), superstructure, v2.1.2","year":"2007","key":"e_1_3_2_1_18_1","unstructured":"OMG-UML2. OMG unified modeling language (OMG UML), superstructure, v2.1.2 . Object Management Group , formal\/ 2007 -11-02, 2007. OMG-UML2. OMG unified modeling language (OMG UML), superstructure, v2.1.2. Object Management Group, formal\/2007-11-02, 2007."},{"volume-title":"Physical Human-Robot Interaction: Dependability and Safety. Project supported by the European Commission under the 6th Framework Programme (STReP IST-045359)","author":"PHRIENDS.","key":"e_1_3_2_1_19_1","unstructured":"PHRIENDS. Physical Human-Robot Interaction: Dependability and Safety. Project supported by the European Commission under the 6th Framework Programme (STReP IST-045359) , http:\/\/www.phriends.eu\/. PHRIENDS. Physical Human-Robot Interaction: Dependability and Safety. Project supported by the European Commission under the 6th Framework Programme (STReP IST-045359), http:\/\/www.phriends.eu\/."},{"key":"e_1_3_2_1_20_1","volume-title":"System Reliability Theory: Models, Statistical Methods and Applications","author":"Rausand M.","year":"2004","unstructured":"M. Rausand and A. H\u00f8yland . System Reliability Theory: Models, Statistical Methods and Applications , 2 nd Edition. Wiley , 2004 . M. Rausand and A. H\u00f8yland. System Reliability Theory: Models, Statistical Methods and Applications, 2nd Edition. Wiley, 2004.","edition":"2"},{"key":"e_1_3_2_1_22_1","volume-title":"Human Factors Methods: A Practical Guide for Engineering And Design","author":"Stanton N.","year":"2006","unstructured":"N. Stanton , P. Salmon , G. Walker , C. Baber , and D. P. Jenkins . Human Factors Methods: A Practical Guide for Engineering And Design . Ashgate Publishing , 2006 . N. Stanton, P. Salmon, G. Walker, C. Baber, and D. P. Jenkins. Human Factors Methods: A Practical Guide for Engineering And Design. Ashgate Publishing, 2006."}],"event":{"name":"SERENE '10: International Workshop on Software Engineering for REsilient SystEms","sponsor":["Newcastle University","ERCIM European Research Consortium for Informatics & Mathematics","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"London United Kingdom","acronym":"SERENE '10"},"container-title":["Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2401736.2401740","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2401736.2401740","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:32Z","timestamp":1750245752000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2401736.2401740"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,15]]},"references-count":21,"alternative-id":["10.1145\/2401736.2401740","10.1145\/2401736"],"URL":"https:\/\/doi.org\/10.1145\/2401736.2401740","relation":{},"subject":[],"published":{"date-parts":[[2010,4,15]]},"assertion":[{"value":"2010-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}