{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:43Z","timestamp":1750306723500,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,12]],"date-time":"2014-10-12T00:00:00Z","timestamp":1413072000000},"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":[[2014,10,12]]},"DOI":"10.1145\/2656045.2656051","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Computing maximum blocking times with explicit path analysis under non-local flow bounds"],"prefix":"10.1145","author":[{"given":"Jan C.","family":"Kleinsorge","sequence":"first","affiliation":[{"name":"TU Dortmund"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Marwedel","sequence":"additional","affiliation":[{"name":"TU Dortmund"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"M\u00e4lardalen WCET benchmark suite. http:\/\/www.mrtc.mdh.se\/projects\/wcet\/benchmarks.html.  M\u00e4lardalen WCET benchmark suite. http:\/\/www.mrtc.mdh.se\/projects\/wcet\/benchmarks.html."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967677.1967697"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/STFSSD.2009.12"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-012-9152-2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2008.7"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2011.28"},{"issue":"1","key":"e_1_3_2_1_7_1","first-page":"3","volume":"9","author":"Buttazzo G. C.","year":"2013","unstructured":"G. C. Buttazzo , M. Bertogna , and G. Yao . Limited Preemptive Scheduling for Real-Time Systems. A Survey. IEEE TII , 9 ( 1 ): 3 -- 15 , 2013 . G. C. Buttazzo, M. Bertogna, and G. Yao. Limited Preemptive Scheduling for Real-Time Systems. A Survey. IEEE TII, 9(1):3--15, 2013.","journal-title":"Limited Preemptive Scheduling for Real-Time Systems. A Survey. IEEE TII"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2009.9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/640128.604141"},{"key":"e_1_3_2_1_10_1","unstructured":"B.\n      Huber D.\n      Prokesch and \n      P.\n      Puschner\n  . \n  A Formal Framework for Precise Parametric WCET Formulas\n  . In T. Vardanega editor WCET volume \n  23\n   of \n  OASIcs pages \n  91\n  --\n  102 2012\n  .  B. Huber D. Prokesch and P. Puschner. A Formal Framework for Precise Parametric WCET Formulas. In T. Vardanega editor WCET volume 23 of OASIcs pages 91--102 2012."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2555754.2555770"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.689649"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217570"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/502217.502240"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/322261.322272"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"}],"event":{"name":"ESWEEK'14: TENTH EMBEDDED SYSTEM WEEK","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"New Delhi India","acronym":"ESWEEK'14"},"container-title":["Proceedings of the 14th International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656051","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2656045.2656051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:34Z","timestamp":1750231174000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656051"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,12]]},"references-count":16,"alternative-id":["10.1145\/2656045.2656051","10.1145\/2656045"],"URL":"https:\/\/doi.org\/10.1145\/2656045.2656051","relation":{},"subject":[],"published":{"date-parts":[[2014,10,12]]},"assertion":[{"value":"2014-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}