{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T15:55:26Z","timestamp":1730303726108,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,5]]},"DOI":"10.1109\/vtc2020-spring48590.2020.9129076","type":"proceedings-article","created":{"date-parts":[[2020,6,30]],"date-time":"2020-06-30T21:24:53Z","timestamp":1593552293000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["A Simultaneous Attack Scenario Generation Method Using the Parallel Behavior Model"],"prefix":"10.1109","author":[{"given":"Toshiyuki","family":"Fujikura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryo","family":"Kurachi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC47002.2019.00025"},{"key":"ref11","first-page":"542","article-title":"A test scenario generation method for high requirement coverage by using kaos method","year":"2019","journal-title":"2019 IEEE 19th International Conference on Software Quality Reliability and Security Companion (QRS-C)"},{"key":"ref12","first-page":"1","author":"sandewall","year":"1994","journal-title":"Features and Fluents The Representation of Knowledge about Dynamical Systems"},{"key":"ref13","article-title":"The validation scenario generation from the unexpected behavior model","author":"fujikura","year":"2019","journal-title":"The Summarized Paper of 2019 JSAE Congress (Autumn)"},{"journal-title":"Concurrency State Models and Java Programs","year":"2006","author":"magee","key":"ref14"},{"key":"ref15","first-page":"733","article-title":"Specifying event-based systems with a counting ?uent temporal logic","volume":"1","author":"regis","year":"2015","journal-title":"Proceedings of the 37th International Conference on Software Engineering"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/949952.940106"},{"journal-title":"LTSA – Labelled Transition System Analyser","year":"0","key":"ref17"},{"key":"ref18","article-title":"Requirements Engineering","author":"van lamsweerde","year":"2009","journal-title":"From System Goals to UML Models to Software Speci?cations"},{"journal-title":"Real-Time Systems Design Principles for Distributed Embedded Applications","year":"2004","author":"kopetz","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.4271\/2018-01-0013"},{"key":"ref3","article-title":"Shift left: Fuzzing earlier in the automotive software development lifecycle using hil systems","author":"kengo","year":"2018","journal-title":"escar EU 2018"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.2478\/ttj-2019-0014"},{"key":"ref5","article-title":"Testing scenario library generation for connected and automated vehicles, part I: methodology","author":"shuo feng","year":"2019","journal-title":"CoRR vol abs\/1905 03419"},{"journal-title":"transport Information and Control Systems – Adaptive Cruise Contro l Systems (ACC)","article-title":"International organization for standardization. iso 15622","year":"2002","key":"ref8"},{"key":"ref7","article-title":"Using traf?c sequence charts for the development of havs","author":"damm","year":"2018","journal-title":"9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)"},{"journal-title":"A Test Scenario Automatic Generation Strategy for Intelligent Driving Systems","year":"2019","author":"gao","key":"ref2"},{"journal-title":"Iso\/pas 21448 2019 road vehicles - safety of the intended functionality","year":"0","key":"ref1"},{"journal-title":"Full Virtual ADAS Testing Application to the Typical Emergency Braking EuroNCAP Scenario","year":"2019","author":"hadj-bachir","key":"ref9"},{"journal-title":"Communicating Sequential Processes","year":"2004","author":"hoare","key":"ref20"},{"journal-title":"2015 international Organization for Standardization (ISO)","article-title":"Iso 11898-1:2015 road vehicles – controller area network (can)","year":"0","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-1447-4.50033-X"}],"event":{"name":"2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring)","start":{"date-parts":[[2020,5,25]]},"location":"Antwerp, Belgium","end":{"date-parts":[[2020,5,28]]}},"container-title":["2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9121635\/9128361\/09129076.pdf?arnumber=9129076","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T15:18:05Z","timestamp":1656602285000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9129076\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/vtc2020-spring48590.2020.9129076","relation":{},"subject":[],"published":{"date-parts":[[2020,5]]}}}