{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:50Z","timestamp":1750306790487,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,10,9]],"date-time":"2013-10-09T00:00:00Z","timestamp":1381276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Danish Research Council for Technology and Production Sciences","award":["10-083159"],"award-info":[{"award-number":["10-083159"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,10,9]]},"DOI":"10.1145\/2512989.2513000","type":"proceedings-article","created":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T14:11:56Z","timestamp":1383055916000},"page":"2-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Worst-case memory consumption analysis for SCJ"],"prefix":"10.1145","author":[{"given":"Jeppe L.","family":"Andersen","sequence":"first","affiliation":[{"name":"Aalborg University, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikkel","family":"Todberg","sequence":"additional","affiliation":[{"name":"Aalborg University, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas E.","family":"Dalsgaard","sequence":"additional","affiliation":[{"name":"Aalborg University, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9 Rydhof","family":"Hansen","sequence":"additional","affiliation":[{"name":"Aalborg University, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Atego. PERC Pico User Manual Apr. 2008.  Atego. PERC Pico User Manual Apr. 2008."},{"key":"e_1_3_2_1_2_1","unstructured":"G. Bollella B. Brosgol S. Furr D. Hardin R. Belliardi P. Dibble J. Gosling M. Turnbull D. Locke S. Robbins P. Solanki and D. de Niz. The Real-Time Specification for Java 2012.  G. Bollella B. Brosgol S. Furr D. Hardin R. Belliardi P. Dibble J. Gosling M. Turnbull D. Locke S. Robbins P. Solanki and D. de Niz. The Real-Time Specification for Java 2012."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11526841_8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2388936.2388939"},{"key":"e_1_3_2_1_5_1","unstructured":"GomSpace ApS. Date retrieved: May 29 2012. Web site available at http:\/\/www.gomspace.dk.  GomSpace ApS. Date retrieved: May 29 2012. Web site available at http:\/\/www.gomspace.dk."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217570"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"W.\n       \n      Puffitsch B.\n       \n      Huber and \n      \n      \n      M.\n       \n      Schoeberl\n      \n  \n  . \n  Worst-case analysis of heap allocations. In T. Margaria and B. Steffen editors Leveraging Applications of Formal Methods Verification and Validation volume \n  6416\n   of \n  Lecture Notes in Computer Science pages \n  464\n  --\n  478\n  . \n  Springer Berlin Heidelberg 2010\n  .   W. Puffitsch B. Huber and M. Schoeberl. Worst-case analysis of heap allocations. In T. Margaria and B. Steffen editors Leveraging Applications of Formal Methods Verification and Validation volume 6416 of Lecture Notes in Computer Science pages 464--478. Springer Berlin Heidelberg 2010.","DOI":"10.1007\/978-3-642-16561-0_42"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00571421"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007905003094"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2388936.2388938"},{"key":"e_1_3_2_1_11_1","unstructured":"RTCA and EUROCAE. DO-178B Software Considerations in Airborne Systems and Equipment Certification 1992.  RTCA and EUROCAE. DO-178B Software Considerations in Airborne Systems and Equipment Certification 1992."},{"volume-title":"VDM Verlag Dr. M\u00fcller","year":"2008","author":"Schoeberl M.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043910.2043919"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167999.1168033"},{"key":"e_1_3_2_1_15_1","unstructured":"The Open Group. Safety-Critical Java technology specification 2012. Version 0.93 6 December.  The Open Group. Safety-Critical Java technology specification 2012. Version 0.93 6 December."},{"journal-title":"J. Watson Libraries For Analysis","year":"2013","author":"WALA","key":"e_1_3_2_1_16_1"}],"event":{"name":"JTRES '13: The 11th International Workshop on Java Technologies for Real-time and Embedded Systems","sponsor":["Atego Atego","aicas GmbH"],"location":"Karlsruhe Germany","acronym":"JTRES '13"},"container-title":["Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2512989.2513000","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2512989.2513000","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:24Z","timestamp":1750232064000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2512989.2513000"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,9]]},"references-count":16,"alternative-id":["10.1145\/2512989.2513000","10.1145\/2512989"],"URL":"https:\/\/doi.org\/10.1145\/2512989.2513000","relation":{},"subject":[],"published":{"date-parts":[[2013,10,9]]},"assertion":[{"value":"2013-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}