{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:24Z","timestamp":1750307064829,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,24]],"date-time":"2012-10-24T00:00:00Z","timestamp":1351036800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"CHARTER project","award":["ARTEMIS-2008-1-100039"],"award-info":[{"award-number":["ARTEMIS-2008-1-100039"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,24]]},"DOI":"10.1145\/2388936.2388959","type":"proceedings-article","created":{"date-parts":[[2012,10,24]],"date-time":"2012-10-24T18:44:56Z","timestamp":1351104296000},"page":"135-144","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Making resource analysis practical for real-time Java"],"prefix":"10.1145","author":[{"given":"Rody","family":"Kersten","sequence":"first","affiliation":[{"name":"Radboud University Nijmegen"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olha","family":"Shkaravska","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"van Gastel","sequence":"additional","affiliation":[{"name":"Open University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Montenegro","sequence":"additional","affiliation":[{"name":"Universidad Complutense, Madrid"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marko","family":"van Eekelen","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen and School of Computer Science, Open University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9174-1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92188-2_5"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1929501.1929513"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806651.1806671"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"E.\n      Albert S.\n      Genaim and \n      A. N.\n      Masud\n  . \n  More precise yet widely applicable cost analysis\n  . In R. Jhala and D. A. Schmidt editors VMCAI'11 volume \n  6538\n   of \n  Lecture Notes in Computer Science pages \n  38\n  --\n  53\n  . \n  Springer 2011\n  .   E. Albert S. Genaim and A. N. Masud. More precise yet widely applicable cost analysis. In R. Jhala and D. A. Schmidt editors VMCAI'11 volume 6538 of Lecture Notes in Computer Science pages 38--53. Springer 2011.","DOI":"10.1007\/978-3-642-18275-4_5"},{"key":"e_1_3_2_1_6_1","volume-title":"August","author":"Amadio R. M.","year":"2005","unstructured":"R. M. Amadio . Synthesis of max-plus quasi-interpretations. Fundamenta Informaticae, 65(1--2):29--60 , August 2005 . R. M. Amadio. Synthesis of max-plus quasi-interpretations. Fundamenta Informaticae, 65(1--2):29--60, August 2005."},{"key":"e_1_3_2_1_7_1","volume-title":"Verification of Object-Oriented Software: The KeY Approach. LNCS 4334","author":"Beckert B.","year":"2007","unstructured":"B. Beckert , R. H\u00e4hnle , and P. H. Schmitt , editors . Verification of Object-Oriented Software: The KeY Approach. LNCS 4334 . Springer , 2007 . B. Beckert, R. H\u00e4hnle, and P. H. Schmitt, editors. Verification of Object-Oriented Software: The KeY Approach. LNCS 4334. Springer, 2007."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/968708.968710"},{"key":"e_1_3_2_1_9_1","first-page":"23","volume-title":"Vandermonde determinants and lagrange interpolation in Rs. Nonlinear and convex analysis","author":"Chui C. K.","year":"1987","unstructured":"C. K. Chui and M.-J. Lai . Vandermonde determinants and lagrange interpolation in Rs. Nonlinear and convex analysis , pages 23 -- 35 , 1987 . C. K. Chui and M.-J. Lai. Vandermonde determinants and lagrange interpolation in Rs. Nonlinear and convex analysis, pages 23--35, 1987."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1929463.1929485"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2008.53"},{"key":"e_1_3_2_1_12_1","volume-title":"7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis","author":"Ermedahl A.","year":"2007","unstructured":"A. Ermedahl , C. Sandberg , J. Gustafsson , S. Bygde , and B. Lisper . Loop bound analysis based on a combination of program slicing, abstract interpretation, and invariant analysis. In C. Rochange, editor , 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis , Dagstuhl, Germany , 2007 . Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany. A. Ermedahl, C. Sandberg, J. Gustafsson, S. Bygde, and B. Lisper. Loop bound analysis based on a combination of program slicing, abstract interpretation, and invariant analysis. In C. Rochange, editor, 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Dagstuhl, Germany, 2007. Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11266-9_34"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542518"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806630"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926427"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11957-6_16"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604148"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167999.1168026"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1434790.1434806"},{"key":"e_1_3_2_1_22_1","volume-title":"Feb.","author":"Leavens G. T.","year":"2007","unstructured":"G. T. Leavens , E. Poll , C. Clifton , Y. Cheon , C. Ruby , D. Cok , P. M\u00fcller , J. Kiniry , and P. Chalin . JML Reference Manual. Draft Revision 1.200 , Feb. 2007 . G. T. Leavens, E. Poll, C. Clifton, Y. Cheon, C. Ruby, D. Cok, P. M\u00fcller, J. Kiniry, and P. Chalin. JML Reference Manual. Draft Revision 1.200, Feb. 2007."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.17"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32495-6_3"},{"key":"e_1_3_2_1_25_1","unstructured":"A.\n      Podelski\n     and \n      A.\n      Rybalchenko\n  . \n  A complete method for the synthesis of linear ranking functions\n  . In B. Steffen and G. Levi editors Verification Model Checking and Abstract Interpretation volume \n  2937\n   of \n  Lecture Notes in Computer Science pages \n  465\n  --\n  486\n  . \n  Springer Berlin\/Heidelberg 2004\n  .  A. Podelski and A. Rybalchenko. A complete method for the synthesis of linear ranking functions. In B. Steffen and G. Levi editors Verification Model Checking and Abstract Interpretation volume 2937 of Lecture Notes in Computer Science pages 465--486. Springer Berlin\/Heidelberg 2004."},{"key":"e_1_3_2_1_26_1","series-title":"LNCS","first-page":"342","volume-title":"Formal Methods for Components and Objects (FMCO)","author":"Poll E.","year":"2005","unstructured":"E. Poll , P. Chalin , D. Cok , J. Kiniry , and G. T. Leavens . Beyond assertions: Advanced specification and verification with JML and ESC\/Java2 . In In Formal Methods for Components and Objects (FMCO) 2005 , Revised Lectures, volume 4111 of LNCS , pages 342 -- 363 . Springer , 2006. 10.1007\/11804192_16 E. Poll, P. Chalin, D. Cok, J. Kiniry, and G. T. Leavens. Beyond assertions: Advanced specification and verification with JML and ESC\/Java2. In In Formal Methods for Components and Objects (FMCO) 2005, Revised Lectures, volume 4111 of LNCS, pages 342--363. Springer, 2006. 10.1007\/11804192_16"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1852761.1852776"},{"key":"e_1_3_2_1_28_1","first-page":"10","article-title":"Polynomial size analysis of first-order shapely functions","volume":"2","author":"Shkaravska O.","year":"2009","unstructured":"O. Shkaravska , M. van Eekelen , and R. van Kesteren . Polynomial size analysis of first-order shapely functions . Logic in Computer Science , 2 : 10 (5), 2009 . O. Shkaravska, M. van Eekelen, and R. van Kesteren. Polynomial size analysis of first-order shapely functions. Logic in Computer Science, 2:10(5), 2009.","journal-title":"Logic in Computer Science"},{"key":"e_1_3_2_1_29_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/978-3-540-73228-0_25","volume-title":"Typed Lambda Calculi and Applications (TLCA'2007)","author":"Shkaravska O.","year":"2007","unstructured":"O. Shkaravska , R. van Kesteren , and M. van Eekelen . Polynomial Size Analysis for First-Order Functions . In S. R. D. Rocca, editor, Typed Lambda Calculi and Applications (TLCA'2007) , Paris, France , volume 4583 of LNCS , pages 351 -- 366 . Springer , 2007 . O. Shkaravska, R. van Kesteren, and M. van Eekelen. Polynomial Size Analysis for First-Order Functions. In S. R. D. Rocca, editor, Typed Lambda Calculi and Applications (TLCA'2007), Paris, France, volume 4583 of LNCS, pages 351--366. Springer, 2007."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.06.033"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.24"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2388936.2388958"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/361002.361016"}],"event":{"name":"JTRES '12: The 10th International Workshop on Java Technologies for Real-time and Embedded Systems","acronym":"JTRES '12","location":"Copenhagen Denmark"},"container-title":["Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2388936.2388959","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2388936.2388959","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:21Z","timestamp":1750238481000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2388936.2388959"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,24]]},"references-count":33,"alternative-id":["10.1145\/2388936.2388959","10.1145\/2388936"],"URL":"https:\/\/doi.org\/10.1145\/2388936.2388959","relation":{},"subject":[],"published":{"date-parts":[[2012,10,24]]},"assertion":[{"value":"2012-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}