{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T16:13:47Z","timestamp":1781194427706,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T00:00:00Z","timestamp":1697587200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"German Ministry of Economics","award":["20X1908E"],"award-info":[{"award-number":["20X1908E"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,18]]},"DOI":"10.1145\/3623503.3623533","type":"proceedings-article","created":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T14:34:51Z","timestamp":1697726091000},"page":"26-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains"],"prefix":"10.1145","author":[{"given":"Mario","family":"Gleirscher","sequence":"first","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anne E.","family":"Haxthausen","sequence":"additional","affiliation":[{"name":"DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Standard for Evaluation of Autonomous Products","author":"UL","unstructured":"ANSI\/ UL 4600. 2020. Standard for Evaluation of Autonomous Products ( 1 st ed.). ANSI\/UL 4600. 2020. Standard for Evaluation of Autonomous Products (1st ed.).","edition":"1"},{"key":"e_1_3_2_1_2_1","volume-title":"Neural Networks and Deep Learning","author":"Aggarwal Charu C.","unstructured":"Charu C. Aggarwal . 2018. Neural Networks and Deep Learning . Springer Nature , Cham, Switzerland . Charu C. Aggarwal. 2018. Neural Networks and Deep Learning. Springer Nature, Cham, Switzerland."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2021.05.007"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3542945"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2022.11.022"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2022.11.026"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66284-8_26"},{"key":"e_1_3_2_1_8_1","volume-title":"Risk analyses for obstacle detection in automatic driving. SIGNAL+DRAHT, 115, 3","author":"Braband Jens","year":"2023","unstructured":"Jens Braband , Luisa Lindner , and Franziska Rexin . 2023. Risk analyses for obstacle detection in automatic driving. SIGNAL+DRAHT, 115, 3 ( 2023 ), 12\u201320. Jens Braband, Luisa Lindner, and Franziska Rexin. 2023. Risk analyses for obstacle detection in automatic driving. SIGNAL+DRAHT, 115, 3 (2023), 12\u201320."},{"key":"e_1_3_2_1_9_1","volume-title":"Differential Geometry of Curves and Surfaces","author":"do Carmo M.","unstructured":"M. do Carmo . 2016. Differential Geometry of Curves and Surfaces ( 2 nd ed.). Dover , Englewood Cliffs, NJ . M. do Carmo. 2016. Differential Geometry of Curves and Surfaces (2nd ed.). Dover, Englewood Cliffs, NJ.","edition":"2"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_8"},{"key":"e_1_3_2_1_11_1","volume-title":"Availability, Maintainability and Safety (RAMS) - Part 1: Generic RAMS Process","author":"EN","unstructured":"EN 50126-1. 2017. Railway Applications - The Specification and Demonstration of Reliability , Availability, Maintainability and Safety (RAMS) - Part 1: Generic RAMS Process . CENELEC , Brussels . EN 50126-1. 2017. Railway Applications - The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) - Part 1: Generic RAMS Process. CENELEC, Brussels."},{"key":"e_1_3_2_1_12_1","volume-title":"Availability, Maintainability and Safety (RAMS) - Part 2: Systems Approach to Safety","author":"EN","unstructured":"EN 50126-2. 2017. Railway Applications - The Specification and Demonstration of Reliability , Availability, Maintainability and Safety (RAMS) - Part 2: Systems Approach to Safety . CENELEC , Brussels . EN 50126-2. 2017. Railway Applications - The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) - Part 2: Systems Approach to Safety. CENELEC, Brussels."},{"key":"e_1_3_2_1_13_1","volume-title":"Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems","author":"EN","unstructured":"EN 50128. 2011. Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems . CENELEC , Brussels . EN 50128. 2011. Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems. CENELEC, Brussels."},{"key":"e_1_3_2_1_14_1","volume-title":"Railway applications - Communication, signalling and processing systems - Safety related electronic systems for signalling","author":"EN","unstructured":"EN 50129. 2018. Railway applications - Communication, signalling and processing systems - Safety related electronic systems for signalling . CENELEC , Brussels . EN 50129. 2018. Railway applications - Communication, signalling and processing systems - Safety related electronic systems for signalling. CENELEC, Brussels."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(92)90177-C"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2020.06.036"},{"key":"e_1_3_2_1_17_1","volume-title":"RSSRail (LNCS","author":"Gruteser Jan","unstructured":"Jan Gruteser , David Gele\u00dfus , Michael Leuschel , Jan Ro\u00dfbach , and Fabian Vu. 2023. A Formal Model of Train Control with AI-based Obstacle Detection . In RSSRail (LNCS , Vol. 0). Springer, Berlin, DE. 1\u2013 16 . In press Jan Gruteser, David Gele\u00dfus, Michael Leuschel, Jan Ro\u00dfbach, and Fabian Vu. 2023. A Formal Model of Train Control with AI-based Obstacle Detection. In RSSRail (LNCS, Vol. 0). Springer, Berlin, DE. 1\u201316. In press"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917326"},{"key":"e_1_3_2_1_19_1","first-page":"040","article-title":"ISO\/DIS 21448: Road vehicles \u2014 Safety of the intended functionality. European Committee for Electronic Standardization, Geneva","volume":"43","author":"ISO.","year":"2021","unstructured":"ISO. 2021 . ISO\/DIS 21448: Road vehicles \u2014 Safety of the intended functionality. European Committee for Electronic Standardization, Geneva , CH. ICS : 43 . 040 .10, Draft International Standard ISO. 2021. ISO\/DIS 21448: Road vehicles \u2014 Safety of the intended functionality. European Committee for Electronic Standardization, Geneva, CH. ICS: 43.040.10, Draft International Standard","journal-title":"CH. ICS"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.7249\/RR1478"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2016.2583491"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19762-8_22"},{"key":"e_1_3_2_1_24_1","volume-title":"Lambda Mu 21","author":"Rangra Subeer","year":"2073","unstructured":"Subeer Rangra , Mohamed Sallak , Walter Sch\u00f6n , and Fabien Belmonte . 2018. Risk and Safety Analysis of Main Line Autonomous Train Operation: Context, Challenges and Solutions . In Lambda Mu 21 . HAL , Reims, France . 1\u201311. https:\/\/hal.archives-ouvertes.fr\/hal-0 2073 235 Subeer Rangra, Mohamed Sallak, Walter Sch\u00f6n, and Fabien Belmonte. 2018. Risk and Safety Analysis of Main Line Autonomous Train Operation: Context, Challenges and Solutions. In Lambda Mu 21. HAL, Reims, France. 1\u201311. https:\/\/hal.archives-ouvertes.fr\/hal-02073235"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.3390\/s21103452"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2980077"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58604-1_24"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238172"}],"event":{"name":"FTSCS '23: 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems","location":"Cascais Portugal","acronym":"FTSCS '23","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3623503.3623533","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3623503.3623533","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:51:01Z","timestamp":1750287061000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3623503.3623533"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,18]]},"references-count":28,"alternative-id":["10.1145\/3623503.3623533","10.1145\/3623503"],"URL":"https:\/\/doi.org\/10.1145\/3623503.3623533","relation":{},"subject":[],"published":{"date-parts":[[2023,10,18]]},"assertion":[{"value":"2023-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}