{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:41:18Z","timestamp":1729651278416,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/wises.2010.5548424","type":"proceedings-article","created":{"date-parts":[[2010,8,19]],"date-time":"2010-08-19T14:47:40Z","timestamp":1282229260000},"page":"35-42","source":"Crossref","is-referenced-by-count":0,"title":["Verification of behavioral compatibility in the Virtual Integration methodology"],"prefix":"10.1109","author":[{"given":"Michael","family":"Schorer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Kuntz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Mottok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","article-title":"East adl 2.0 specification","author":"berntsson","year":"2008","journal-title":"ATESST Consortium Tech Rep"},{"year":"2009","key":"ref3","article-title":"Timing model: Mastering in-vehicle timing constraints"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.04.030"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.48"},{"key":"ref11","first-page":"59","article-title":"Ticc, a tool for interface compatibility and composition","author":"adler","year":"2006","journal-title":"Proceedings 18th International Conference on Computer Aided Verification (CAV) volume 4144 of Lecture Notes in Computer Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2002.1106796"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3532-2_3"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/503271.503226","article-title":"Interface automata","volume":"26","author":"de alfaro","year":"2001","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"ref7","first-page":"148","article-title":"Interface theories for component-based design","author":"de alfaro","year":"2001","journal-title":"EMSOFT'01 Proceedings of the First International Workshop on Embedded Software"},{"journal-title":"AUTOSAR GbR Tech Rep","article-title":"Technical overview r3.1","year":"2008","key":"ref2"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-45828-X_9","article-title":"Timed interfaces","volume":"2491","author":"de alfaro","year":"2002","journal-title":"EMSOFT Ser Lecture Notes in Computer Science"},{"key":"ref1","first-page":"353","article-title":"Managing complexity of automotive electronics using the east-adl","author":"cuenot","year":"2007","journal-title":"ICECCS'07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems"}],"event":{"name":"2010 8th Workshop on Intelligent Solutions in Embedded Systems (WISES)","start":{"date-parts":[[2010,7,8]]},"location":"Heraklion, Greece","end":{"date-parts":[[2010,7,9]]}},"container-title":["2010 8th Workshop on Intelligent Solutions in Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5540513\/5548420\/05548424.pdf?arnumber=5548424","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T12:52:31Z","timestamp":1497876751000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5548424\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/wises.2010.5548424","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}