{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T17:51:11Z","timestamp":1723485071250},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T00:00:00Z","timestamp":1558915200000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FWF","award":["J3998-N319"]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CCF-1741781, CCF-1649448, CCF-1513717"],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,27]]},"DOI":"10.1145\/3183440.3195035","type":"proceedings-article","created":{"date-parts":[[2018,6,18]],"date-time":"2018-06-18T12:28:18Z","timestamp":1529324898000},"update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Interlocking safety cases for unmanned autonomous systems in urban environments"],"prefix":"10.1145","author":[{"given":"Michael","family":"Vierhauser","sequence":"first","affiliation":[{"name":"University of Notre Dame"}]},{"given":"Sean","family":"Bayley","sequence":"additional","affiliation":[{"name":"University of Notre Dame"}]},{"given":"Jane","family":"Wyngaard","sequence":"additional","affiliation":[{"name":"University of Notre Dame"}]},{"given":"Jinghui","family":"Cheng","sequence":"additional","affiliation":[{"name":"Polythechnique de Montr\u00e9al, Montreal, QC, Canada"}]},{"given":"Wandi","family":"Xiong","sequence":"additional","affiliation":[{"name":"Iowa State University"}]},{"given":"Robyn","family":"Lutz","sequence":"additional","affiliation":[{"name":"Iowa State University"}]},{"given":"Joshua","family":"Huseman","sequence":"additional","affiliation":[{"name":"University of Notre Dame"}]},{"given":"Jane","family":"Cleland-Huang","sequence":"additional","affiliation":[{"name":"University of Notre Dame"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6943245"},{"key":"e_1_3_2_1_2_1","unstructured":"Katrina Attwood Paul Chinneck Martyn Clarke George Cleland Mark Coates. Trevor Cockram George Despotou Luke Emmet Jane Fenn Ben Gorry et al. 2011. GSN Community Standard version 1. Origin Consulting Limited UK (2011)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33675-1_27"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183399.3183408"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2017.11"},{"key":"e_1_3_2_1_6_1","volume-title":"Knight","author":"Greenwell William S.","year":"2004","unstructured":"William S. Greenwell, Elisabeth A. Strunk, and John C. Knight. 2004. Failure Analysis and the Safety-Case Lifecycle. In Human Error, Safety and Systems Development. 163--176."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1186\/s40327-015-0029-z"},{"key":"e_1_3_2_1_8_1","volume-title":"Veres","author":"Ireland Murray L.","year":"2016","unstructured":"Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, and Sandor M. Veres. 2016. A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. CoRR abs\/1609.00177 (2016)."},{"key":"e_1_3_2_1_9_1","unstructured":"Tim Kelly and Rob Weaver. 2004. The Goal Structuring Notation-a safely argument notation. In Assurance Cases of Dependable Systems and Networks."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.3354\/meps11945"},{"key":"e_1_3_2_1_11_1","volume-title":"Object Management Group","author":"OMG","year":"2014","unstructured":"OMG, Object Management Group. 2014. Object Constraint Language - OCL -Version 2.4. Object Management Group."}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3183440.3195035","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3183440.3195035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,14]],"date-time":"2024-07-14T22:46:37Z","timestamp":1720997197000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3183440.3195035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":11,"alternative-id":["10.1145\/3183440.3195035","10.1145\/3183440"],"URL":"https:\/\/doi.org\/10.1145\/3183440.3195035","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}