{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T13:59:04Z","timestamp":1758808744968},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1109\/tase.2018.00017","type":"proceedings-article","created":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T19:44:31Z","timestamp":1544125471000},"page":"68-75","source":"Crossref","is-referenced-by-count":4,"title":["Formalization and Verification of AUTOSAR OS Standard's Memory Protection"],"prefix":"10.1109","author":[{"given":"Le Khanh","family":"Trinh","sequence":"first","affiliation":[]},{"given":"Yuki","family":"Chiba","sequence":"additional","affiliation":[]},{"given":"Toshiaki","family":"Aoki","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Integrating formal and informal specification techniques why? how?","year":"1998","author":"bruel","key":"ref10"},{"key":"ref11","first-page":"434","author":"france","year":"1995","journal-title":"A two-dimensional view of integrated formal and informal specification techniques"},{"journal-title":"Formal Models of Operating System Kernels","year":"2006","author":"craig","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2350716.2350721"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347159"},{"journal-title":"Rodin user's handbook v 2 8","year":"2012","author":"platform","key":"ref4"},{"journal-title":"Specification of Operating System","article-title":"AUTOSAR","year":"2016","key":"ref3"},{"key":"ref6","first-page":"588","author":"abrial","year":"2006","journal-title":"An Open Extensible ToolEnvironment for Event-B"},{"journal-title":"Memory protection at option application-tailored memory safety in safety-critical embedded systems (speicherschutz nach wahl)","year":"2012","author":"stilkerich","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384048"},{"journal-title":"An algebraic specification of the steam-boiler control system","year":"1996","author":"bidoit","key":"ref7"},{"journal-title":"OSEK\/VDX Operating System Specification 2 2 3","year":"2005","author":"group","key":"ref2"},{"journal-title":"About AUTOSAR","year":"2017","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.11"}],"event":{"name":"2018 International Symposium on Theoretical Aspects of Software Engineering (TASE)","start":{"date-parts":[[2018,8,29]]},"location":"Guangzhou","end":{"date-parts":[[2018,8,31]]}},"container-title":["2018 International Symposium on Theoretical Aspects of Software Engineering (TASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8558619\/8560718\/08560735.pdf?arnumber=8560735","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T07:28:48Z","timestamp":1643268528000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8560735\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/tase.2018.00017","relation":{},"subject":[],"published":{"date-parts":[[2018,8]]}}}