{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:44:11Z","timestamp":1755999851766,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T00:00:00Z","timestamp":1527465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,28]]},"DOI":"10.1145\/3194085.3194086","type":"proceedings-article","created":{"date-parts":[[2018,7,17]],"date-time":"2018-07-17T16:16:43Z","timestamp":1531844203000},"page":"39-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving"],"prefix":"10.1145","author":[{"given":"Werner","family":"Damm","sequence":"first","affiliation":[{"name":"OFFIS, Oldenburg, Germany"}]},{"given":"Roland","family":"Galbas","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH, Abstatt, Germany"}]}],"member":"320","published-online":{"date-parts":[[2018,5,28]]},"reference":[{"volume-title":"Abstraction-Based Guided Search for Hybrid Systems. In Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings. Springer, 117--134","author":"Bogomolov S.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40196-1_7"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843709"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_3_2_1_5_1","unstructured":"W. Damm and P. Heidel. 2017. Recommendations of the SafeTRANS Working Group on Highly Autonomous Systems. www.safetrans-de.org\/en\/Latest-reports\/management-summary-for-highly-automated-systems\/192. (2017).  W. Damm and P. Heidel. 2017. Recommendations of the SafeTRANS Working Group on Highly Autonomous Systems. www.safetrans-de.org\/en\/Latest-reports\/management-summary-for-highly-automated-systems\/192. (2017)."},{"key":"e_1_3_2_1_6_1","unstructured":"W. Damm S. Kemper E. M\u00f6hlmann T. Peikenkamp and A. Rakow. 2018. Traffic Sequence Charts - A Visual Language for Capturing Traffic Scenarios. In Embedded Real Time Software and Systems - ERTS2018. submitted.  W. Damm S. Kemper E. M\u00f6hlmann T. Peikenkamp and A. Rakow. 2018. Traffic Sequence Charts - A Visual Language for Capturing Traffic Scenarios. In Embedded Real Time Software and Systems - ERTS2018. submitted."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"W. Damm E. M\u00f6hlmann T. Peikenkamp and A. Rakow. 2017. A Formal Semantics for Traffic Sequence Charts. In Festschrift in honor of Edmund A. Lee.  W. Damm E. M\u00f6hlmann T. Peikenkamp and A. Rakow. 2017. A Formal Semantics for Traffic Sequence Charts. In Festschrift in honor of Edmund A. Lee.","DOI":"10.1007\/978-3-319-95246-8_11"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129512000230"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054107004577"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2011.155"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0329-y"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/647849.737082"},{"volume-title":"Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS","year":"2015","author":"Fr\u00e4nzle M.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"M. Fr\u00e4nzle T. Gezgin H. Hungar S. Puch and G. Sauter. 2011. Using Guided Simulation to Assess Driver Assistance Systems. In FORMS\/FORMAT 2010. Springer 195--206.  M. Fr\u00e4nzle T. Gezgin H. Hungar S. Puch and G. Sauter. 2011. Using Guided Simulation to Assess Driver Assistance Systems. In FORMS\/FORMAT 2010. Springer 195--206.","DOI":"10.1007\/978-3-642-14261-1_20"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"C. Frese and J. Beyerer. 2010. Planning Cooperative Motions of Cognitive Automobiles Using Tree Search Algorithms. Springer 91--98.   C. Frese and J. Beyerer. 2010. Planning Cooperative Motions of Cognitive Automobiles Using Tree Search Algorithms. Springer 91--98.","DOI":"10.1007\/978-3-642-16111-7_10"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"S. Gerwinn E. M\u00f6hlmann and A. Sieper. 2018. Statistical Model Checking for Scenario-based verification of ADAS. In Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions. to appear.  S. Gerwinn E. M\u00f6hlmann and A. Sieper. 2018. Statistical Model Checking for Scenario-based verification of ADAS. In Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions. to appear.","DOI":"10.1007\/978-3-319-91569-2_4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"D. Harel and R. Marelly. 2003. Come Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine. Springer.   D. Harel and R. Marelly. 2003. Come Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine. Springer.","DOI":"10.1007\/978-3-642-19029-2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788803"},{"key":"e_1_3_2_1_19_1","unstructured":"H. Hungar F. K\u00f6ster and J. Mazzega. 2017. Test Specifications for Highly Automated Driving Functions: Highway Pilot. Presentation at Vehicle Test & Development Symposium 2017 (20.-22.06.2017) Stuttgart elib.dlr.de\/117384\/. (2017).  H. Hungar F. K\u00f6ster and J. Mazzega. 2017. Test Specifications for Highly Automated Driving Functions: Highway Pilot. Presentation at Vehicle Test & Development Symposium 2017 (20.-22.06.2017) Stuttgart elib.dlr.de\/117384\/. (2017)."},{"volume-title":"Safety: How Many Miles of Driving Would It Take to Demonstrate Autonomous Vehicle Reliability? www.rand.org\/pubs\/research_reports\/RR1478.html.","year":"2016","author":"Kalra N.","key":"e_1_3_2_1_20_1"},{"volume":"6835","volume-title":"Proceedings (LNCS)","author":"Keller C. G.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2014.6856505"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049812"},{"volume-title":"PEGASUS: Automatisiertes Fahren effektiv absichern. Presentation at 19. VDA Technischer Kongress (05.-06.04.2017)","year":"2017","author":"Lemmer K.","key":"e_1_3_2_1_24_1"},{"volume-title":"BMVI2017","year":"2017","author":"Transport Federal Ministry","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39173-6_13"},{"key":"e_1_3_2_1_27_1","unstructured":"A. P\u00fctz A. Zlocki J. Bock and L. Eckstein. 2017. Die Datenbank als Freiga-bewerkzeug automatisierter Fahrfunktionen im Kreislauf relevanter Szenarien. Presentation at 8. Tagung Fahrerassistenz (22. - 23.11.2017) M\u00fcnchen. (2017).  A. P\u00fctz A. Zlocki J. Bock and L. Eckstein. 2017. Die Datenbank als Freiga-bewerkzeug automatisierter Fahrfunktionen im Kreislauf relevanter Szenarien. Presentation at 8. Tagung Fahrerassistenz (22. - 23.11.2017) M\u00fcnchen. (2017)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0196-2"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2009.5459224"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1770351.1770413"},{"volume-title":"Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Springer, 3--17","author":"Silvetti S.","key":"e_1_3_2_1_31_1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.236"},{"key":"e_1_3_2_1_33_1","unstructured":"VIRES Simulationstechnologie GmbH. 2015. OpenDRIVE. (2015). www.opendrive.org www.opendrive.org accessed: 2017-11-10.  VIRES Simulationstechnologie GmbH. 2015. OpenDRIVE. (2015). www.opendrive.org www.opendrive.org accessed: 2017-11-10."},{"key":"e_1_3_2_1_34_1","unstructured":"VIRES Simulationstechnologie GmbH. 2016. OpenCRG. (2016). www.opencrg.org www.opencrg.org accessed: 2017-11-10.  VIRES Simulationstechnologie GmbH. 2016. OpenCRG. (2016). www.opencrg.org www.opencrg.org accessed: 2017-11-10."},{"volume-title":"2nd OpenSCENARIO Meeting. (June 29th, 2016","year":"2016","author":"Simulationstechnologie VIRES","key":"e_1_3_2_1_35_1"},{"volume-title":"Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague","year":"2004","author":"Wakim C. F.","key":"e_1_3_2_1_36_1"},{"key":"e_1_3_2_1_37_1","unstructured":"H. Winner. 2017. Presentation at Automated Vehicles Symposium 2017 (10.-14.07.2017) San Francisco. (2017).  H. Winner. 2017. Presentation at Automated Vehicles Symposium 2017 (10.-14.07.2017) San Francisco. (2017)."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1142\/S2301385013500027"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3004323.3004334"},{"volume-title":"Intelligent Vehicles Symposium (IV)","year":"2016","author":"Yan F.","key":"e_1_3_2_1_40_1"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995772"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 1st International Workshop on Software Engineering for AI in Autonomous Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3194085.3194086","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3194085.3194086","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:15Z","timestamp":1750268955000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3194085.3194086"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,28]]},"references-count":41,"alternative-id":["10.1145\/3194085.3194086","10.1145\/3194085"],"URL":"https:\/\/doi.org\/10.1145\/3194085.3194086","relation":{},"subject":[],"published":{"date-parts":[[2018,5,28]]},"assertion":[{"value":"2018-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}