{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T11:27:10Z","timestamp":1770463630789,"version":"3.49.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T00:00:00Z","timestamp":1685836800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T00:00:00Z","timestamp":1685836800000},"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":[[2023,6,4]]},"DOI":"10.1109\/iv55152.2023.10186605","type":"proceedings-article","created":{"date-parts":[[2023,7,27]],"date-time":"2023-07-27T17:20:05Z","timestamp":1690478405000},"page":"1-8","source":"Crossref","is-referenced-by-count":11,"title":["Automated Design Space Exploration for Resource Allocation in Software-Defined Vehicles"],"prefix":"10.1109","author":[{"given":"Fengjunjie","family":"Pan","sequence":"first","affiliation":[{"name":"Technical University of Munich,Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology,Munich,Germany"}]},{"given":"Jianjie","family":"Lin","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology,Munich,Germany"}]},{"given":"Markus","family":"Rickert","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology,Munich,Germany"}]},{"given":"Alois","family":"Knoll","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Robotics, Artificial Intelligence and Real-Time Systems, School of Computation, Information and Technology,Munich,Germany"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.05.007"},{"key":"ref12","year":"2019","journal-title":"Meta Object Facility (MOF) Core Specification Version 2 0"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-804189-5.00008-9"},{"key":"ref14","first-page":"2018","article-title":"Road vehicles — functional safety","volume":"26262","year":"2018","journal-title":"ISO Standards"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00896-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2017.10.001"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2020.19.2.a10"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-02549-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC55140.2022.9922526"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2021.3054934"},{"key":"ref17","first-page":"337","article-title":"Z3: An e?cient SMT solver","volume":"4963","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref16","first-page":"14","article-title":"The SMT-LIB standard: Version 2.0","volume":"13","author":"barrett","year":"2010","journal-title":"Proceedings of the 8th International Workshop on Satisfiability Modulo Theories"},{"key":"ref19","first-page":"194","article-title":"vZ - an optimizing SMT solver","author":"bj\u00f8rner","year":"2015","journal-title":"Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9035"},{"key":"ref18","article-title":"OptiMathSAT: A tool for optimization modulo theories","author":"sebastiani","year":"2018","journal-title":"Journal of Automated Reasoning"},{"key":"ref8","year":"2014","journal-title":"Object Constraint Language Version 2 0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3390\/a14120354"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FormSERA.2012.6229788"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2017.8122925"},{"key":"ref3","article-title":"Model-based systems in the automotive industry","author":"struss","year":"2004","journal-title":"AI Magazine"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00786-6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-018-0248-3"}],"event":{"name":"2023 IEEE Intelligent Vehicles Symposium (IV)","location":"Anchorage, AK, USA","start":{"date-parts":[[2023,6,4]]},"end":{"date-parts":[[2023,6,7]]}},"container-title":["2023 IEEE Intelligent Vehicles Symposium (IV)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10186382\/10186383\/10186605.pdf?arnumber=10186605","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T17:37:16Z","timestamp":1692034636000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10186605\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,4]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iv55152.2023.10186605","relation":{},"subject":[],"published":{"date-parts":[[2023,6,4]]}}}