{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T15:04:07Z","timestamp":1782313447203,"version":"3.54.5"},"reference-count":13,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/real.2002.1181582","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T15:35:00Z","timestamp":1056641700000},"page":"279-288","source":"Crossref","is-referenced-by-count":142,"title":["WCET analysis of probabilistic hard real-time systems"],"prefix":"10.1109","author":[{"given":"G.","family":"Bernat","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Colin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.M.","family":"Petters","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","article-title":"On hardware and hardware models for embedded real-time systems","author":"engblom","year":"2001","journal-title":"Proceedings of the 1st Real-Time Embedded Systems Workshop (RTES'01)"},{"key":"ref11","article-title":"Analyzing stochastic fixed-priority real-time systems","author":"gardner","year":"1999","journal-title":"Proceedings of the Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/2.76286"},{"key":"ref13","author":"petters","year":"2002","journal-title":"Worst case execution time estimation for advanced processor architectures"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/268806.268810"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/6.993787"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2002.1019185"},{"key":"ref5","article-title":"Statistical analysis of WCET for scheduling","author":"burns","year":"2001","journal-title":"Proc Of the IEEE Real-Time Systems Symposium (RTSS'01)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2001.937455"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.933995"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1994.342718"},{"key":"ref1","article-title":"Probability, Statistics, and Queueing Theory","author":"allen","year":"1978"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181583"}],"event":{"name":"Real-Time Systems Symposium","location":"Austin, TX, USA","acronym":"REAL-02"},"container-title":["23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8416\/26522\/01181582.pdf?arnumber=1181582","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T23:07:29Z","timestamp":1489446449000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1181582\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/real.2002.1181582","relation":{},"subject":[]}}