{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:53:44Z","timestamp":1750308824849,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,8,19]],"date-time":"2010-08-19T00:00:00Z","timestamp":1282176000000},"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":[[2010,8,19]]},"DOI":"10.1145\/1850771.1850793","type":"proceedings-article","created":{"date-parts":[[2010,8,24]],"date-time":"2010-08-24T13:16:50Z","timestamp":1282655810000},"page":"155-163","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["The design of SafeJML, a specification language for SCJ with support for WCET specification"],"prefix":"10.1145","author":[{"given":"Ghaith","family":"Haddad","sequence":"first","affiliation":[{"name":"University of Central Florida, Orlando, FL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faraz","family":"Hussain","sequence":"additional","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":[[2010,8,19]]},"reference":[{"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_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0167-4"},{"key":"e_1_3_2_1_3_1","unstructured":"A. Burns and A. Wellings. Real-Time Systems and Programming Languages. Addison Wesley Longmain 3 edition 2001.   A. Burns and A. Wellings. Real-Time Systems and Programming Languages . Addison Wesley Longmain 3 edition 2001."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_16"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328452"},{"volume-title":"White Paper","year":"2010","author":"Computer-Science Department Annual Report, Purdue University. oSCJ","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.02.003"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646787.703893"},{"volume-title":"IEEE International Workshop on, 0: 0071","year":"2002","author":"Gustafsson J.","key":"e_1_3_2_1_10_1"},{"volume-title":"Workshop, 0: 257","year":"1997","author":"Gustafsson J.","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.12"},{"key":"e_1_3_2_1_14_1","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_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814618"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001650050017"},{"volume-title":"2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 2009)","year":"2009","author":"Henties T.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1620405.1620412"},{"key":"e_1_3_2_1_19_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_20_1","first-page":"60","volume-title":"ACM OOPSLA Workshop on Specification and Verification of Component-Based Systems (SAVCBS)","author":"Krone J.","year":"2001"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_2"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127884"},{"key":"e_1_3_2_1_25_1","unstructured":"G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. R. Cok and J. Kiniry. Jml reference manual. Department of Computer Science Iowa State University. Available from http:\/\/www.jmlspecs.org Apr. 2003.  G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. R. Cok and J. Kiniry. Jml reference manual. Department of Computer Science Iowa State University. Available from http:\/\/www.jmlspecs.org Apr. 2003."},{"key":"e_1_3_2_1_26_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_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178658"},{"volume-title":"Mass.","year":"1995","author":"Leveson N.","key":"e_1_3_2_1_28_1"},{"key":"e_1_3_2_1_29_1","unstructured":"P. G. Neumann. The risks digest. http:\/\/catless.ncl.ac.uk\/Risks.  P. G. Neumann. The risks digest. http:\/\/catless.ncl.ac.uk\/Risks."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328451"},{"volume-title":"Technical Report 654","year":"2005","author":"Parkinson M. J.","key":"e_1_3_2_1_31_1"},{"key":"e_1_3_2_1_32_1","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_33_1","unstructured":"Radio Technical Commission for Aeronautics (RTCA). DO-178B: Software Considerations in Airborne Systems and Equipment Certification 1982.  Radio Technical Commission for Aeronautics (RTCA). DO-178B: Software Considerations in Airborne Systems and Equipment Certification 1982."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167999.1168033"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297053"},{"key":"e_1_3_2_1_36_1","unstructured":"A. Shaw. Real-Time Systems and Software. John Wiley & Sons New York NY 2001.   A. Shaw. Real-Time Systems and Software . John Wiley & Sons New York NY 2001."},{"key":"e_1_3_2_1_37_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_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/9758.10500"}],"event":{"name":"JTRES '10: JTRES '10 -Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems","acronym":"JTRES '10","location":"Prague Czech Republic"},"container-title":["Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1850771.1850793","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1850771.1850793","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:26:50Z","timestamp":1750278410000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1850771.1850793"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8,19]]},"references-count":35,"alternative-id":["10.1145\/1850771.1850793","10.1145\/1850771"],"URL":"https:\/\/doi.org\/10.1145\/1850771.1850793","relation":{},"subject":[],"published":{"date-parts":[[2010,8,19]]},"assertion":[{"value":"2010-08-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}