{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T11:37:05Z","timestamp":1730201825732,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/cases.2013.6662526","type":"proceedings-article","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T16:53:08Z","timestamp":1385571188000},"page":"1-10","source":"Crossref","is-referenced-by-count":7,"title":["ILP<sub>c<\/sub>: A novel approach for scalable timing analysis of synchronous programs"],"prefix":"10.1109","author":[{"given":"Jia Jie","family":"Wang","sequence":"first","affiliation":[{"name":"University of Auckland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha S.","family":"Roop","sequence":"additional","affiliation":[{"name":"University of Auckland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sidharta","family":"Andalam","sequence":"additional","affiliation":[{"name":"TUM CREATE"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Auckland Function Block Benchmark","year":"2010","author":"yoong","key":"19"},{"key":"17","article-title":"Implementing constrained cyber-physical systems with IEC 61499","volume":"12 s","author":"yoong","year":"2013","journal-title":"ACM Trans Embedded Comput Syst (TECS)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.128"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1629395.1629424"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"13","first-page":"480","article-title":"Effcient WCRT analysis of synchronous programs using reachability","author":"kuo","year":"2011","journal-title":"Design Automation Conference (DAC)"},{"key":"14","first-page":"59","article-title":"Timing analysis of concurrent programs","author":"mittermayr","year":"2012","journal-title":"12th International Workshop on Worst-Case Execution Time Analysis Volume 23 of Open Access Series in Informatics (OASIcs)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630132"},{"key":"12","first-page":"173","article-title":"Performance debugging of Esterel speci-fications","author":"ju","year":"2008","journal-title":"Proc 3rd Int Conf Hardware Softw Codesign and System Synthesis (CODES-ISSS)"},{"key":"3","first-page":"159","article-title":"Predictable multithreading of embedded applications using PRETC","author":"andalam","year":"2010","journal-title":"Proc Formal Methods Models Codes"},{"key":"2","first-page":"115","article-title":"Designing safe, reliable systems using scade","author":"abdulla","year":"2004","journal-title":"Leveraging Applications of Formal Methods (ISoLA)"},{"journal-title":"ILP Solver Lp Solve 5 5","year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.326"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.980712"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763043"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.05.011"}],"event":{"name":"2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)","start":{"date-parts":[[2013,9,29]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6648478\/6662498\/06662526.pdf?arnumber=6662526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,8]],"date-time":"2021-04-08T22:16:59Z","timestamp":1617920219000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6662526\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cases.2013.6662526","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}