{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:32Z","timestamp":1750307132351,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,26]]},"DOI":"10.1145\/2043910.2043916","type":"proceedings-article","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T13:02:00Z","timestamp":1318942920000},"page":"30-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["WCET analysis of Java bytecode featuring common execution environments"],"prefix":"10.1145","author":[{"given":"Christian","family":"Frost","sequence":"first","affiliation":[{"name":"Aalborg University, DK, Aalborg East, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Casper Svenning","family":"Jensen","sequence":"additional","affiliation":[{"name":"Aalborg University, DK, Aalborg East, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kasper S\u00f8e","family":"Luckow","sequence":"additional","affiliation":[{"name":"Aalborg University, DK, Aalborg East, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bent","family":"Thomsen","sequence":"additional","affiliation":[{"name":"Aalborg University, DK, Aalborg East, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,9,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AbsInt. The ait wcet analyser 2009. http:\/\/www.absint.com\/ait\/analysis.htm.  AbsInt. The ait wcet analyser 2009. http:\/\/www.absint.com\/ait\/analysis.htm."},{"key":"e_1_3_2_1_2_1","unstructured":"aJile Systems. aj-100#8482; real-time low power java#8482; processor 2000. www.ajile.com.  aJile Systems. aj-100#8482; real-time low power java#8482; processor 2000. www.ajile.com."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1324969.1324974"},{"key":"e_1_3_2_1_4_1","unstructured":"Atmel. Atmel's avr microcontroller ships 500 million units 2004. http:\/\/www.atmel.com\/dyn\/corporate\/view_detail.asp?FileName=Ships500M.html.  Atmel. Atmel's avr microcontroller ships 500 million units 2004. http:\/\/www.atmel.com\/dyn\/corporate\/view_detail.asp?FileName=Ships500M.html."},{"key":"e_1_3_2_1_5_1","unstructured":"Atmel. Atmega640\/1280\/1281\/2560\/2561 datasheet 2010. www.atmel.com\/dyn\/resources\/prod_documents\/doc2549.pdf.  Atmel. Atmega640\/1280\/1281\/2560\/2561 datasheet 2010. www.atmel.com\/dyn\/resources\/prod_documents\/doc2549.pdf."},{"key":"e_1_3_2_1_6_1","unstructured":"Atmel-Corporation. Atmel products - atmel avr 8- and 32-bit - megaavr - avr studio 4 2011. http:\/\/www.atmel.com\/dyn\/products\/tools_card.asp?tool_id=2725.  Atmel-Corporation. Atmel products - atmel avr 8- and 32-bit - megaavr - avr studio 4 2011. http:\/\/www.atmel.com\/dyn\/products\/tools_card.asp?tool_id=2725."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"G.\n       \n      Behrmann J.\n       \n      Bengtsson A.\n       \n      David K.\n       \n      Larsen P.\n       \n      Pettersson and \n      \n      \n      W.\n       \n      Yi\n      \n  \n  . \n  Uppaal implementation secrets. In W. Damm and E. Olderog editors Formal Techniques in Real-Time and Fault-Tolerant Systems volume \n  2469\n   of \n  Lecture Notes in Computer Science pages \n  3\n  --\n  22\n  . \n  Springer Berlin\/Heidelberg 2002\n  . 10.1007\/3-540-45739-9_1.   G. Behrmann J. Bengtsson A. David K. Larsen P. Pettersson and W. Yi. Uppaal implementation secrets. In W. Damm and E. Olderog editors Formal Techniques in Real-Time and Fault-Tolerant Systems volume 2469 of Lecture Notes in Computer Science pages 3--22. Springer Berlin\/Heidelberg 2002. 10.1007\/3-540-45739-9_1.","DOI":"10.1007\/3-540-45739-9_1"},{"key":"e_1_3_2_1_8_1","unstructured":"T. B\u00f8gholm C. Frost R. R. Hansen C. S. Jensen K. S. Luckow A. P. Ravn H. S\u00f8ndergaard and B. Thomsen. Harnessing theories for tool support. Submitted for publication: Innovations in Systems and Software Engineering 2011.  T. B\u00f8gholm C. Frost R. R. Hansen C. S. Jensen K. S. Luckow A. P. Ravn H. S\u00f8ndergaard and B. Thomsen. Harnessing theories for tool support. Submitted for publication: Innovations in Systems and Software Engineering 2011."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1620405.1620427"},{"key":"e_1_3_2_1_10_1","unstructured":"T. B\u00f8gholm H. Kragh-Hansen and P. Olsen. Model-based schedulability analysis of real-time systems 2008. http:\/\/sarts.boegholm.dk\/cd\/Report\/thesis.pdf.  T. B\u00f8gholm H. Kragh-Hansen and P. Olsen. Model-based schedulability analysis of real-time systems 2008. http:\/\/sarts.boegholm.dk\/cd\/Report\/thesis.pdf."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1434790.1434807"},{"key":"e_1_3_2_1_12_1","unstructured":"A. Burns and A. Wellings. Real-Time Systems and Programming Languages: ADA 95 Real-Time Java and Real-Time POSIX. Addison-Wesley Educational Publishers Inc. Boston MA USA 4th edition 2009.   A. Burns and A. Wellings. Real-Time Systems and Programming Languages: ADA 95 Real-Time Java and Real-Time POSIX. Addison-Wesley Educational Publishers Inc. Boston MA USA 4th edition 2009."},{"key":"e_1_3_2_1_13_1","unstructured":"A. E.\n       \n      Dalsgaard M. C.\n       \n      Olesen M.\n       \n      Toft R. R.\n       \n      Hansen and \n      \n      \n      K. G.\n       \n      Larsen\n      \n  \n  . \n  METAMOC: Modular Execution Time Analysis using Model Checking. In B. Lisper editor 10th International Workshop on Worst-Case Execution Time Analysis (WCET\n   \n  2010\n  ) volume \n  15\n   of \n  OpenAccess Series in Informatics (OASIcs) pages \n  113\n  --\n  123 Dagstuhl Germany 2010. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. The printed version of the WCET'10 proceedings are published by OCG (www.ocg.at) - \n  ISBN\n   978-3-85403-268-7.  A. E. Dalsgaard M. C. Olesen M. Toft R. R. Hansen and K. G. Larsen. METAMOC: Modular Execution Time Analysis using Model Checking. In B. Lisper editor 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010) volume 15 of OpenAccess Series in Informatics (OASIcs) pages 113--123 Dagstuhl Germany 2010. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. The printed version of the WCET'10 proceedings are published by OCG (www.ocg.at) - ISBN 978-3-85403-268-7."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"E. Hu A. Wellings and G. Bernat. Deriving java virtual machine timing models for portable worst-case execution time analysis. On The Move to Meaningful Internet Systems 2003: OTM 2003Workshops pages 411--424 2003.  E. Hu A. Wellings and G. Bernat. Deriving java virtual machine timing models for portable worst-case execution time analysis. On The Move to Meaningful Internet Systems 2003: OTM 2003Workshops pages 411--424 2003.","DOI":"10.1007\/978-3-540-39962-9_48"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24686-2_13"},{"key":"e_1_3_2_1_16_1","unstructured":"JSR302. The java community process#8482; program - jsrs: Java specification requests - detail jsr# 302 2010. http:\/\/www.jcp.org\/en\/jsr\/detail?id=302.  JSR302. The java community process#8482; program - jsrs: Java specification requests - detail jsr# 302 2010. http:\/\/www.jcp.org\/en\/jsr\/detail?id=302."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1620405.1620412"},{"key":"e_1_3_2_1_18_1","unstructured":"S. Korsholm. Hvm lean java for small devices 2011. www.icelab.dk.  S. Korsholm. Hvm lean java for small devices 2011. www.icelab.dk."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.63"},{"key":"e_1_3_2_1_21_1","unstructured":"R. Lougher Jamvm -- a compact java virtual machine 2010. http:\/\/jamvm.sourceforge.net\/.  R. Lougher Jamvm -- a compact java virtual machine 2010. http:\/\/jamvm.sourceforge.net\/."},{"key":"e_1_3_2_1_22_1","unstructured":"Metrics. Metrics 1.3.6 2011. http:\/\/metrics.sourceforge.net\/.  Metrics. Metrics 1.3.6 2011. http:\/\/metrics.sourceforge.net\/."},{"key":"e_1_3_2_1_23_1","series-title":"Lecture Notes in Computer Science","first-page":"298","volume-title":"Computer Aided Verification","author":"Metzner A.","year":"2004"},{"key":"e_1_3_2_1_24_1","unstructured":"Oracle. RTSJ 1.1 Alpha 6 release notes 2009. http:\/\/www.jcp.org\/en\/jsr\/detail?id=282.  Oracle. RTSJ 1.1 Alpha 6 release notes 2009. http:\/\/www.jcp.org\/en\/jsr\/detail?id=282."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1620405.1620421"},{"key":"e_1_3_2_1_26_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1007\/978-3-540-39962-9_43","volume-title":"On the Move to Meaningful Internet Systems 2003: Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES","author":"Schoeberl M.","year":"2003"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v40:6"},{"key":"e_1_3_2_1_28_1","unstructured":"UPPAAL. Up4aal 2010. http:\/\/www.uppaal.com\/.  UPPAAL. Up4aal 2010. http:\/\/www.uppaal.com\/."}],"event":{"name":"JTRES '11: The 9th International Workshop on Java Technologies for Real-time and Embedded Systems","sponsor":["ArtistDesign European NoE","aicas GmbH"],"location":"York United Kingdom","acronym":"JTRES '11"},"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.2043916","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2043910.2043916","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.2043916"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,26]]},"references-count":27,"alternative-id":["10.1145\/2043910.2043916","10.1145\/2043910"],"URL":"https:\/\/doi.org\/10.1145\/2043910.2043916","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"}}]}}