{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:10:02Z","timestamp":1750306202821,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,10,19]],"date-time":"2016-10-19T00:00:00Z","timestamp":1476835200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,10,19]]},"DOI":"10.1145\/2997465.2997471","type":"proceedings-article","created":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T15:58:54Z","timestamp":1476979134000},"page":"299-308","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Enabling Compositionality for Multicore Timing Analysis"],"prefix":"10.1145","author":[{"given":"Sebastian","family":"Hahn","sequence":"first","affiliation":[{"name":"Saarland University, Saarland Informatics Campus, Saarbr\u00fccken, Germany"}]},{"given":"Michael","family":"Jacobs","sequence":"additional","affiliation":[{"name":"Saarland University, Saarland Informatics Campus, Saarbr\u00fccken, Germany"}]},{"given":"Jan","family":"Reineke","sequence":"additional","affiliation":[{"name":"Saarland University, Saarland Informatics Campus, Saarbr\u00fccken, Germany"}]}],"member":"320","published-online":{"date-parts":[[2016,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ARM\u00aeCortex\u00ae- A5 Processor Technical Reference Manual. page 21 and 136.  ARM\u00aeCortex\u00ae- A5 Processor Technical Reference Manual. page 21 and 136."},{"key":"e_1_3_2_1_2_1","unstructured":"ARM\u00aeCortex\u00ae- A9 Processor Technical Reference Manual. page 17 and 113.  ARM\u00aeCortex\u00ae- A9 Processor Technical Reference Manual. page 17 and 113."},{"key":"e_1_3_2_1_3_1","unstructured":"ARM\u00aeCortex\u00ae- M4 Processor Technical Reference Manual. page 22 and 43.  ARM\u00aeCortex\u00ae- M4 Processor Technical Reference Manual. page 22 and 43."},{"key":"e_1_3_2_1_4_1","unstructured":"Cortex\u2122-M4 Devices Generic User Guide. page 11.  Cortex\u2122-M4 Devices Generic User Guide. page 11."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40184-8_3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-012-9152-2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2834848.2834862"},{"volume-title":"IEEE International Workshop on Application of Reliable Computing and Communication","year":"2001","author":"Atanassov P.","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024787"},{"key":"e_1_3_2_1_10_1","first-page":"204","volume-title":"RTAS","author":"J.","year":"1996"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2584654"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2011.146"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2616606.2616725"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380372"},{"key":"e_1_3_2_1_15_1","first-page":"136","volume-title":"WCET","author":"Gustafsson J.","year":"2010"},{"key":"e_1_3_2_1_16_1","first-page":"101","volume-title":"WCET","author":"Gustavsson A.","year":"2010"},{"volume-title":"Intl. Workshop on Compositional Theory and Technology for Real-Time Embedded Systems","year":"2013","author":"Hahn S.","key":"e_1_3_2_1_17_1"},{"volume-title":"Saarland University","year":"2016","author":"Hahn S.","key":"e_1_3_2_1_18_1"},{"volume-title":"Morgan Kaufmann","year":"2012","author":"Hennessy J. L.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898046"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2834848.2834872"},{"volume-title":"TU Dortmund University","year":"2015","author":"Kelter T.","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2011.9"},{"key":"e_1_3_2_1_24_1","first-page":"142","volume-title":"Formal Techniques for Safety-Critical Systems - Third International Workshop","author":"Kelter T.","year":"2014"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-014-9211-y"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.689649"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.664229"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2012.6378622"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/827271.829103"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.30"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.20"},{"key":"e_1_3_2_1_32_1","first-page":"741","volume-title":"DATE","author":"Pellizzoni R.","year":"2010"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2086696.2086713"},{"volume-title":"WCET","year":"2006","author":"Reineke J.","key":"e_1_3_2_1_34_1"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039388"},{"volume-title":"WCET","year":"2009","author":"Reineke J.","key":"e_1_3_2_1_36_1"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1880050.1880058"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2015.04.002"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.24"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.28"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2005.26"},{"volume-title":"Saarland University","year":"2010","author":"Stein I. J.","key":"e_1_3_2_1_42_1"},{"key":"e_1_3_2_1_43_1","unstructured":"S. Thesing. Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models. PhD thesis Saarland Univ. 2004.  S. Thesing. Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models. PhD thesis Saarland Univ. 2004."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2013287"}],"event":{"name":"RTNS '16: 24th International Conference on Real-Time Networks and Systems","sponsor":["REGIONB Region Bretagne"],"location":"Brest France","acronym":"RTNS '16"},"container-title":["Proceedings of the 24th International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2997465.2997471","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2997465.2997471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:50:31Z","timestamp":1750218631000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2997465.2997471"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,19]]},"references-count":44,"alternative-id":["10.1145\/2997465.2997471","10.1145\/2997465"],"URL":"https:\/\/doi.org\/10.1145\/2997465.2997471","relation":{},"subject":[],"published":{"date-parts":[[2016,10,19]]},"assertion":[{"value":"2016-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}