{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T00:27:34Z","timestamp":1787012854579,"version":"build-2736575974"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"National Foundation of Science of China","award":["61972076"],"award-info":[{"award-number":["61972076"]}]},{"name":"National Foundation of Science of China","award":["61672140"],"award-info":[{"award-number":["61672140"]}]},{"name":"Research Grants Council of Hong Kong","award":["GRF 15204917"],"award-info":[{"award-number":["GRF 15204917"]}]},{"name":"Research Grants Council of Hong Kong","award":["15213818"],"award-info":[{"award-number":["15213818"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2021,1,1]]},"DOI":"10.1109\/tc.2020.2984502","type":"journal-article","created":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T17:31:03Z","timestamp":1585848663000},"page":"57-71","source":"Crossref","is-referenced-by-count":7,"title":["Algorithms for Computing the WCRT Bound of OpenMP Task Systems With Conditional Branches"],"prefix":"10.1109","volume":"70","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4107-1123","authenticated-orcid":false,"given":"Jinghao","family":"Sun","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3775-911X","authenticated-orcid":false,"given":"Nan","family":"Guan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jingchang","family":"Sun","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0067-860X","authenticated-orcid":false,"given":"Xi","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yaoyao","family":"Chi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3912-2481","authenticated-orcid":false,"given":"Feng","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0778"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2017.00016"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2018.00027"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695808"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2015.27"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2015.7318254"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2015.26"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2584064"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2809780"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1966.tb01709.x"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1998.739739"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2013.6531098"},{"key":"ref27","year":"2018"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-014-9213-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.22"},{"key":"ref29","first-page":"1","article-title":"ALF-A language for WCET flow analysis","author":"gustafsson","year":"2009","journal-title":"Proc Int Workshop Worst-Case Execution Time Anal"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.2297919"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2659787.2659818"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2516821.2516836"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-012-9166-9"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CASES.2015.7324556"},{"key":"ref1","article-title":"OpenMP application program interface version 3.0","year":"2008","journal-title":"OpenMP Forum"},{"key":"ref20","year":"2018"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2017.8046322"},{"key":"ref21","year":"2018"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2015.105"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.014"},{"key":"ref26","year":"2018"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2009.64"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/9290453\/09054989.pdf?arnumber=9054989","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:49:03Z","timestamp":1641988143000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9054989\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,1]]},"references-count":29,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tc.2020.2984502","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"value":"0018-9340","type":"print"},{"value":"1557-9956","type":"electronic"},{"value":"2326-3814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,1]]}}}