{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:34Z","timestamp":1750306654278,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,13]],"date-time":"2014-10-13T00:00:00Z","timestamp":1413158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,13]]},"DOI":"10.1145\/2661020.2661025","type":"proceedings-article","created":{"date-parts":[[2014,10,7]],"date-time":"2014-10-07T12:57:59Z","timestamp":1412686679000},"page":"10-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Certifiable Java for Embedded Systems"],"prefix":"10.1145","author":[{"given":"Martin","family":"Schoeberl","sequence":"first","affiliation":[{"name":"Technical University of Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas Engelbredt","family":"Dalsgaard","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science, Aalborg University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9 Rydhof","family":"Hansen","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science, Aalborg University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan E.","family":"Korsholm","sequence":"additional","affiliation":[{"name":"VIA University College, Horsens"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders P.","family":"Ravn","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science, Aalborg University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Ricardo Rios","family":"Rivas","sequence":"additional","affiliation":[{"name":"Technical University of Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T\u00f3rur Biskopst\u00f8","family":"Str\u00f8m","sequence":"additional","affiliation":[{"name":"Technical University of Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"S\u00f8ndergaard","sequence":"additional","affiliation":[{"name":"VIA University College, Horsens"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,10,13]]},"reference":[{"volume-title":"aj-100 real-time low power Java processor. preliminary data sheet","year":"2000","unstructured":"aJile. aj-100 real-time low power Java processor. preliminary data sheet , 2000 . aJile. aj-100 real-time low power Java processor. preliminary data sheet, 2000.","key":"e_1_3_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/2512989.2513000"},{"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_3_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/1324969.1324974"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/1620405.1620427"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/1434790.1434807"},{"key":"e_1_3_2_1_7_1","series-title":"Java Series","volume-title":"The Real-Time Specification for Java","author":"Bollella G.","year":"2000","unstructured":"G. Bollella , J. Gosling , B. Brosgol , P. Dibble , S. Furr , and M. Turnbull . The Real-Time Specification for Java . Java Series . Addison-Wesley , June 2000 . G. Bollella, J. Gosling, B. Brosgol, P. Dibble, S. Furr, and M. Turnbull. The Real-Time Specification for Java. Java Series. Addison-Wesley, June 2000."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.5555\/646577.697453"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/2388936.2388939"},{"key":"e_1_3_2_1_10_1","volume-title":"2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 2009","author":"Henties T.","year":"2009","unstructured":"T. Henties , J. J. Hunt , D. Locke , K. Nilsen , M. Schoeberl , and J. Vitek . Java for safety-critical applications . In 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 2009 ), York, United Kingdom , Mar. 2009 . T. Henties, J. J. Hunt, D. Locke, K. Nilsen, M. Schoeberl, and J. Vitek. Java for safety-critical applications. In 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 2009), York, United Kingdom, Mar. 2009."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/ISORC.2012.17"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1002\/cpe.1763"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1620405.1620412"},{"key":"e_1_3_2_1_14_1","first-page":"1","article-title":"A real-time java tool chain for resource constrained platforms","volume":"2013","author":"Korsholm S.","year":"2013","unstructured":"S. Korsholm , H. S\u00f8ndergaard , and A. Ravn . A real-time java tool chain for resource constrained platforms . Concurrency and Computation: Practice & Experience , 2013 : 1 -- 25 , September 2013 . S. Korsholm, H. S\u00f8ndergaard, and A. Ravn. A real-time java tool chain for resource constrained platforms. Concurrency and Computation: Practice & Experience, 2013:1--25, September 2013.","journal-title":"Concurrency and Computation: Practice & Experience"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/583810.583825"},{"volume-title":"Visited","year":"2014","unstructured":"Leavens. The Java Modeling Language (JML). www.eecs.ucf.edu\/leavens\/JML\/index.shtml , Visited June 2014 . Leavens. The Java Modeling Language (JML). www.eecs.ucf.edu\/leavens\/JML\/index.shtml, Visited June 2014.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","volume-title":"Safety-critical Java technology specification, public draft","author":"Locke D.","year":"2011","unstructured":"D. Locke , B. S. Andersen , B. Brosgol , M. Fulton , T. Henties , J. J. Hunt , J. O. Nielsen , K. Nilsen , M. Schoeberl , J. Tokar , J. Vitek , and A. Wellings . Safety-critical Java technology specification, public draft , 2011 . D. Locke, B. S. Andersen, B. Brosgol, M. Fulton, T. Henties, J. J. Hunt, J. O. Nielsen, K. Nilsen, M. Schoeberl, J. Tokar, J. Vitek, and A. Wellings. Safety-critical Java technology specification, public draft, 2011."},{"key":"e_1_3_2_1_18_1","volume-title":"Work-in-Progress Proceedings of the 19th Real-Time and Embedded Technology and Application Symposium","author":"Luckow K. S.","year":"2013","unstructured":"K. S. Luckow , T. B\u00f8gholm , and B. Thomsen . Supporting development of energy-optimised java real-time systems using tetasarts . In Work-in-Progress Proceedings of the 19th Real-Time and Embedded Technology and Application Symposium , 2013 . K. S. Luckow, T. B\u00f8gholm, and B. Thomsen. Supporting development of energy-optimised java real-time systems using tetasarts. In Work-in-Progress Proceedings of the 19th Real-Time and Embedded Technology and Application Symposium, 2013."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/2512989.2512992"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/1167999.1168017"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1145\/2043910.2043920"},{"key":"e_1_3_2_1_22_1","volume-title":"July","author":"Nilsen K.","year":"1998","unstructured":"K. Nilsen and S. Lee . Perc real-time api (draft 1.3). newmonics , July 1998 . K. Nilsen and S. Lee. Perc real-time api (draft 1.3). newmonics, July 1998."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/1814539.1814548"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/1850771.1850786"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.5555\/1939345.1939394"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.5555\/517082.880694"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1002\/cpe.1754"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1145\/2512989.2512993"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1109\/ISORC.2014.27"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1145\/2388936.2388938"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1109\/ISORC.2012.13"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.1109\/ISORC.2014.41"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.1109\/ISORC.2004.1300334"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.3182\/20080706-5-KR-1001.01575"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1016\/j.sysarc.2007.06.001"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.1145\/2043910.2043919"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_38_1","DOI":"10.1109\/ISORC.2011.22"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_39_1","DOI":"10.1145\/2043662.2043666"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_40_1","DOI":"10.1109\/ISORC.2008.63"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_41_1","DOI":"10.1002\/spe.v40:6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_42_1","DOI":"10.1145\/2388936.2388946"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_43_1","DOI":"10.1109\/ISORC.2007.9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_44_1","DOI":"10.1145\/1167999.1168025"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_45_1","DOI":"10.1145\/2388936.2388945"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_46_1","DOI":"10.1145\/1167999.1168008"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_47_1","DOI":"10.1145\/2512989.2512995"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_48_1","DOI":"10.1145\/2388936.2388949"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_49_1","DOI":"10.1145\/1850771.1850792"},{"unstructured":"T.J. Watson libraries for analysis (WALA). http:\/\/wala.sf.net\/.  T.J. Watson libraries for analysis (WALA). http:\/\/wala.sf.net\/.","key":"e_1_3_2_1_50_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_51_1","DOI":"10.1145\/2043910.2043923"},{"key":"e_1_3_2_1_52_1","volume-title":"Refinement of the Parallel CDx. Technical report","author":"Zeyda F.","year":"2012","unstructured":"F. Zeyda , A. Cavalcanti , A. Wellings , J. Woodcock , and K. Wei . Refinement of the Parallel CDx. Technical report , University of York , 2012 . F. Zeyda, A. Cavalcanti, A. Wellings, J. Woodcock, and K. Wei. Refinement of the Parallel CDx. Technical report, University of York, 2012."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_53_1","DOI":"10.1145\/1620405.1620428"}],"event":{"sponsor":["SUNY Buffalo State University of NY at Buffalo"],"acronym":"JTRES '14","name":"JTRES '14: The 12th International Workshop on Java Technologies for Real-time and Embedded Systems","location":"Niagara Falls NY USA"},"container-title":["Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661020.2661025","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2661020.2661025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:13Z","timestamp":1750229773000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661020.2661025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,13]]},"references-count":52,"alternative-id":["10.1145\/2661020.2661025","10.1145\/2661020"],"URL":"https:\/\/doi.org\/10.1145\/2661020.2661025","relation":{},"subject":[],"published":{"date-parts":[[2014,10,13]]},"assertion":[{"value":"2014-10-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}