{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:31Z","timestamp":1750307131557,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,26]],"date-time":"2011-09-26T00:00:00Z","timestamp":1316995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-0916350"],"award-info":[{"award-number":["CCF-0916350"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,26]]},"DOI":"10.1145\/2043910.2043917","type":"proceedings-article","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T13:02:00Z","timestamp":1318942920000},"page":"40-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Specifying subtypes in SCJ programs"],"prefix":"10.1145","author":[{"given":"Ghaith","family":"Haddad","sequence":"first","affiliation":[{"name":"University of Central Florida, Orlando, FL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gary T.","family":"Leavens","sequence":"additional","affiliation":[{"name":"University of Central Florida, Orlando, FL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,9,26]]},"reference":[{"unstructured":"Aonix. Perc pico 1.1 user manual. http:\/\/research.aonix.com\/jsc\/pico-manual.4-19-08.pdf April 2008.  Aonix. Perc pico 1.1 user manual. http:\/\/research.aonix.com\/jsc\/pico-manual.4-19-08.pdf April 2008.","key":"e_1_3_2_1_1_1"},{"volume-title":"Proc. 3rd Int. Workshop on WCET Analysis, Satellite Workshop of the Euromicro Conference on Real-Time Systems","year":"2003","author":"Bernat G.","key":"e_1_3_2_1_2_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/s10009-004-0167-4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/11804192_16"},{"volume-title":"White Paper","year":"2010","author":"Computer-Science Department Annual Report, Purdue University. oSCJ","key":"e_1_3_2_1_5_1"},{"volume-title":"WODA 2003: ICSE Workshop on Dynamic Analysis","year":"2003","author":"Ernst M. D.","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.5555\/646787.703893"},{"volume-title":"IEEE International Workshop on, 0: 0071","year":"2002","author":"Gustafsson J.","key":"e_1_3_2_1_8_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/1850771.1850793"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1007\/PL00013311"},{"unstructured":"R. Heckmann and C. Ferdinand. Worst-case execution time prediction by static program analysis. http:\/\/www.absint.com\/aiT_WCET.pdf 2006.  R. Heckmann and C. Ferdinand. Worst-case execution time prediction by static program analysis. http:\/\/www.absint.com\/aiT_WCET.pdf 2006.","key":"e_1_3_2_1_12_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1109\/JPROC.2003.814618"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1007\/s001650050017"},{"key":"e_1_3_2_1_15_1","first-page":"67","volume-title":"Proc. 4th Euromicro International Workshop on WCET Analysis","author":"Kirner R.","year":"2004"},{"key":"e_1_3_2_1_16_1","first-page":"60","volume-title":"ACM OOPSLA Workshop on Specification and Verification of Component-Based Systems (SAVCBS)","author":"Krone J.","year":"2001"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1007\/11901433_2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1145\/1127878.1127884"},{"unstructured":"G. T. Leavens and K. K. Dhara. Concepts of behavioral subtyping and a sketch of their extension to component-based systems. In G. T. Leavens and M. Sitaraman editors Foundations of Component-Based Systems chapter 6 pages 113--135. Cambridge University Press Cambridge UK 2000.   G. T. Leavens and K. K. Dhara. Concepts of behavioral subtyping and a sketch of their extension to component-based systems. In G. T. Leavens and M. Sitaraman editors Foundations of Component-Based Systems chapter 6 pages 113--135. Cambridge University Press Cambridge UK 2000.","key":"e_1_3_2_1_22_1"},{"unstructured":"G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. R. Cok P. M\u00fcller J. Kiniry P. Chalin and D. M. Zimmerman. JML Reference Manual. Available from http:\/\/www.jmlspecs.org Sept. 2009.  G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. R. Cok P. M\u00fcller J. Kiniry P. Chalin and D. M. Zimmerman. JML Reference Manual. Available from http:\/\/www.jmlspecs.org Sept. 2009.","key":"e_1_3_2_1_24_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1007\/BF01178658"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.5555\/640050.640054"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1145\/197320.197383"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1145\/1328438.1328451"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1145\/1755913.1755922"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1145\/1850771.1850786"},{"unstructured":"Purdue University - S3 Lab. The Ovm Virtual Machine homepage http:\/\/www.ovmj.org\/ 2005.  Purdue University - S3 Lab. The Ovm Virtual Machine homepage http:\/\/www.ovmj.org\/ 2005.","key":"e_1_3_2_1_32_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.1145\/1167999.1168033"},{"volume-title":"John Wiley & Sons","year":"2001","author":"Shaw A.","key":"e_1_3_2_1_34_1"},{"unstructured":"Sun Microsystems Inc. JSR 302: Safety critical java technology. From http:\/\/jcp.org\/en\/jsr\/detail?id=302 (Date retrieved: March 19 2008) 2007.  Sun Microsystems Inc. JSR 302: Safety critical java technology. From http:\/\/jcp.org\/en\/jsr\/detail?id=302 (Date retrieved: March 19 2008) 2007.","key":"e_1_3_2_1_35_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1145\/9758.10500"}],"event":{"sponsor":["ArtistDesign European NoE","aicas GmbH"],"acronym":"JTRES '11","name":"JTRES '11: The 9th International Workshop on Java Technologies for Real-time and Embedded Systems","location":"York United Kingdom"},"container-title":["Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2043910.2043917","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2043910.2043917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:40Z","timestamp":1750240120000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2043910.2043917"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,26]]},"references-count":30,"alternative-id":["10.1145\/2043910.2043917","10.1145\/2043910"],"URL":"https:\/\/doi.org\/10.1145\/2043910.2043917","relation":{},"subject":[],"published":{"date-parts":[[2011,9,26]]},"assertion":[{"value":"2011-09-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}