{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:33:34Z","timestamp":1729647214411,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/codes-isss.2013.6659011","type":"proceedings-article","created":{"date-parts":[[2013,11,21]],"date-time":"2013-11-21T15:52:07Z","timestamp":1385049127000},"page":"1-10","source":"Crossref","is-referenced-by-count":6,"title":["IVaM: Implicit variant modeling and management for automotive embedded systems"],"prefix":"10.1109","author":[{"given":"Sebastian","family":"Graf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Glass","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominic","family":"Wintermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jurgen","family":"Teich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Lauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","article-title":"Managing complex variability in automotive software product lines with supscoping and configuration links","author":"reiser","year":"2008","journal-title":"Dissertation"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2011.6132693"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090711"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024817"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008899229802"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/375212.375274"},{"key":"10","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/SAT190075","article-title":"The sat4j library, release 2.2 system description","volume":"7","author":"le berre","year":"2010","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430520"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/SPLINE.2007.24"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.35"},{"key":"4","first-page":"303","article-title":"Variability issues in software product lines","author":"bosch","year":"2002","journal-title":"Software Product-Family Engineering"},{"key":"9","first-page":"43","article-title":"Designing heterogeneous ecu networks via compact architecture encoding and hybrid timing analysis","author":"gla\ufffd","year":"2009","journal-title":"Proceedings of the 2009 ACM\/EDAC\/IEEE Design Automation Conference (DAC)"},{"key":"8","article-title":"Autosar-A worldwide standard is on the road","author":"fu?rst","year":"2009","journal-title":"14th International VDI Congress Electronic Systems for Vehicles"}],"event":{"name":"2013 International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)","start":{"date-parts":[[2013,9,29]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6648477\/6658981\/06659011.pdf?arnumber=6659011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,10]],"date-time":"2020-08-10T10:23:47Z","timestamp":1597055027000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6659011\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/codes-isss.2013.6659011","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}