{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T23:06:11Z","timestamp":1747868771732},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.23919\/date.2017.7927087","type":"proceedings-article","created":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T20:34:41Z","timestamp":1494880481000},"page":"738-739","source":"Crossref","is-referenced-by-count":11,"title":["Probabilistic timing analysis on time-randomized platforms for the space domain"],"prefix":"10.23919","author":[{"given":"Mikel","family":"Fernandez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Morales","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonidas","family":"Kosmidis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alen","family":"Bardizbanyan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Broster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carles","family":"Hernandez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"Quinones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaume","family":"Abella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Cazorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Machado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Fossati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2013.6622975"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.31"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0189"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.116"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898076"},{"journal-title":"Leon3 Processor","year":"0","key":"ref8"},{"journal-title":"Rapita verification suite","year":"0","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2015.26"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2013.6601497"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2015.7185039"}],"event":{"name":"2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2017,3,27]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2017,3,31]]}},"container-title":["Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7919927\/7926947\/07927087.pdf?arnumber=7927087","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T04:18:26Z","timestamp":1496204306000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7927087\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":11,"URL":"https:\/\/doi.org\/10.23919\/date.2017.7927087","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}