{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T07:03:27Z","timestamp":1791183807872,"version":"4.1.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/emsoft.2013.6658595","type":"proceedings-article","created":{"date-parts":[[2013,11,21]],"date-time":"2013-11-21T10:52:14Z","timestamp":1385031134000},"page":"1-15","source":"Crossref","is-referenced-by-count":61,"title":["Scheduling of mixed-criticality applications on resource-sharing multicore systems"],"prefix":"10.1109","author":[{"given":"Georgia","family":"Giannopoulou","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nikolay","family":"Stoimenov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pengcheng","family":"Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.18"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-010-9055-1"},{"key":"18","author":"le boudec","year":"2001","journal-title":"Network Calculus A Theory of Deterministic Queuing Systems for the Internet"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2011.144"},{"key":"16","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","article-title":"Optimization by simulated annealing","volume":"220","author":"kirkpatrick","year":"1983","journal-title":"Science"},{"key":"13","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/2380356.2380372","article-title":"Timed model checking with abstract ions: Toward s worst-case response time analysis in resource-sharing manycore systems","author":"giannopoulou","year":"2012","journal-title":"EMSOFT"},{"key":"14","first-page":"13","article-title":"Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems","author":"guan","year":"2011","journal-title":"RTSS"},{"key":"11","first-page":"135","article-title":"Bounding and shaping the demand of mixed-criticality sporadic tasks","author":"ekberg","year":"2012","journal-title":"ECRTS"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090783"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.30"},{"key":"20","first-page":"166","article-title":"Global mixed-criticality scheduling on mult iprocessors","author":"li","year":"2012","journal-title":"ECRTS"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2010.320"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.29"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.42"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456952"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456951"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.24"},{"key":"28","first-page":"213","article-title":"Timing analysis for resource access interference on adapt iveresource arbiters","author":"schranzhofer","year":"2011","journal-title":"RTAS"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.11"},{"key":"3","article-title":"Multicore operating-system support for mixed criticality","author":"anderson","year":"2009","journal-title":"Workshop on Mixed Criticality Roadmap to Evolving UAV Certification"},{"key":"2","first-page":"322","article-title":"Automata for modeling real-time systems","author":"alurandd","year":"1990","journal-title":"Proceedings of the International Colloquium on Automata Languages and Programming"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-010-9107-4"},{"key":"1","year":"1992","journal-title":"Software Considerations in Airborne Systems and Equip Ment Certification"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.47"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.9"},{"key":"6","first-page":"90","article-title":"Scheduling real-time mixed-criticality jobs","author":"baruah","year":"2010","journal-title":"Math Ematical Foundations of Computer Science"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.32"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.42"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2013287"},{"key":"4","year":"2003","journal-title":"Technical Report"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2011.146"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.10"}],"event":{"name":"2013 International \u00a0Conference on Embedded \u00a0Software (EMSOFT)","location":"Montreal, QC, Canada","start":{"date-parts":[[2013,9,29]]},"end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 Proceedings of the International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6648479\/6658572\/06658595.pdf?arnumber=6658595","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,3]],"date-time":"2019-08-03T18:39:28Z","timestamp":1564857568000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6658595\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2013.6658595","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}