{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T11:09:53Z","timestamp":1756897793233},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.23919\/date48585.2020.9116430","type":"proceedings-article","created":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T23:28:37Z","timestamp":1592263717000},"source":"Crossref","is-referenced-by-count":19,"title":["Achieving Determinism in Adaptive AUTOSAR"],"prefix":"10.23919","author":[{"given":"Christian","family":"Menard","sequence":"first","affiliation":[]},{"given":"Andres","family":"Goens","sequence":"additional","affiliation":[]},{"given":"Marten","family":"Lohstroh","sequence":"additional","affiliation":[]},{"given":"Jeronimo","family":"Castrillon","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3323469"},{"key":"ref11","article-title":"SOME\/IP protocol specification","year":"2018","journal-title":"AUTOSAR FO Release 1 5 0"},{"key":"ref12","article-title":"SOME\/IP service discovery protocol specification","year":"2018","journal-title":"AUTOSAR FO Release 1 5 0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786815"},{"key":"ref14","article-title":"Specification of execution management","year":"2019","journal-title":"AUTOSAR AP Release 19-03"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90033-9"},{"key":"ref16","article-title":"Actors: A model of concurrent computation in distributed systems","author":"agha","year":"1985","journal-title":"Technical Report MIT Artificial Intelligence laboratory"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2019.8876922"},{"key":"ref18","article-title":"Reactors: A deterministic model for composable reactive systems","author":"lohstroh","year":"2019","journal-title":"Model-based Design of Cyber-Physical Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6254-4_2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24349-3_5"},{"key":"ref5","author":"boulanger","year":"2015","journal-title":"SCADE Language and Applications"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00032"},{"key":"ref7","article-title":"Specification of timing extensions","year":"2018","journal-title":"AUTOSAR CP Release 4 3 0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"ref9","article-title":"Specification of communication management","year":"2019","journal-title":"AUTOSAR AP Release 19-03"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.21236\/ADA518830"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2018.8591550"},{"key":"ref21","article-title":"Specification of time synchronization for adaptive plat-form","year":"2019","journal-title":"AUTOSAR AP Release 19-03"}],"event":{"name":"2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Grenoble, France","start":{"date-parts":[[2020,3,9]]},"end":{"date-parts":[[2020,3,13]]}},"container-title":["2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9112295\/9116186\/09116430.pdf?arnumber=9116430","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T22:42:37Z","timestamp":1594680157000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9116430\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":22,"URL":"https:\/\/doi.org\/10.23919\/date48585.2020.9116430","relation":{},"subject":[],"published":{"date-parts":[[2020,3]]}}}