{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:46:03Z","timestamp":1725569163867},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/memcod.2015.7340464","type":"proceedings-article","created":{"date-parts":[[2015,12,3]],"date-time":"2015-12-03T16:13:03Z","timestamp":1449159183000},"page":"30-35","source":"Crossref","is-referenced-by-count":6,"title":["Optimized distributed implementation of timed component-based systems"],"prefix":"10.1109","author":[{"given":"Ahlem","family":"Triki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Combaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Automated conflict-free concurrent implementation of timed component-based models","author":"triki","year":"0","journal-title":"Technical report Verimag Research Report"},{"journal-title":"Information Processing Systems - Open Systems Interconnection LOTOS A Formal Description Technique Based on the Temporal Ordering of Observational Behavior","article-title":"ISO\/IEC","year":"1989","key":"ref11"},{"key":"ref12","first-page":"133","article-title":"On the distributed implementation of lotos","author":"von","year":"1989","journal-title":"FORTE"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/NCA.2004.1347769"},{"key":"ref14","first-page":"508","article-title":"A notion of glue expressiveness for component-based systems","author":"bliudze","year":"2008","journal-title":"Concurrency Theory (CONCUR)"},{"key":"ref15","article-title":"Scheduling safety-critical realtime bus accesses using Time-Constrained Automata","author":"faucou","year":"2011","journal-title":"RTNS"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161237"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_25"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_18"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879052"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48778-6_18"},{"key":"ref5","first-page":"263","article-title":"Compositional invariant generation for timed systems","author":"astefanoaei","year":"2014","journal-title":"TACAS"},{"journal-title":"Measurement Control and Communication Using IEEE 1588","year":"2006","author":"eidson","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340464"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68855-6_8"},{"journal-title":"Process synchronization design and performance evaluation of distributed algorithms","year":"1989","author":"bagrodia","key":"ref9"}],"event":{"name":"2015 ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)","start":{"date-parts":[[2015,9,21]]},"location":"Austin, TX, USA","end":{"date-parts":[[2015,9,23]]}},"container-title":["2015 ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7329076\/7340456\/07340464.pdf?arnumber=7340464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T22:25:29Z","timestamp":1490394329000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7340464\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/memcod.2015.7340464","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}