{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:12:04Z","timestamp":1767262324749,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T00:00:00Z","timestamp":1624320000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["146371743, SCHR 603\/15-2, SCHR 603\/10-2, SCHR 603\/9-2"],"award-info":[{"award-number":["146371743, SCHR 603\/15-2, SCHR 603\/10-2, SCHR 603\/9-2"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,22]]},"DOI":"10.1145\/3461648.3463847","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T14:32:56Z","timestamp":1624026776000},"page":"54-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Annotate once \u2013 analyze anywhere: context-aware WCET analysis by user-defined abstractions"],"prefix":"10.1145","author":[{"given":"Simon","family":"Schuster","sequence":"first","affiliation":[{"name":"University of Erlangen-Nuremberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"W\u00e4gemann","sequence":"additional","affiliation":[{"name":"University of Erlangen-Nuremberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Ulbrich","sequence":"additional","affiliation":[{"name":"TU Dortmund, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Schr\u00f6der-Preikschat","sequence":"additional","affiliation":[{"name":"University of Erlangen-Nuremberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,6,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2015.7185039"},{"key":"e_1_3_2_1_2_1","unstructured":"AbsInt. 2021. aiT WCET Analyzers. https:\/\/www.absint.com\/ait\/  AbsInt. 2021. aiT WCET Analyzers. https:\/\/www.absint.com\/ait\/"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2008.7"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/190347.190423"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16256-5_6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.37"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1921532.1921553"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.38"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014535317056"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2392987.2392999"},{"volume-title":"Proceedings of the Workshop on Resource Analysis. 1\u20136.","author":"Bonenfant A.","key":"e_1_3_2_1_11_1","unstructured":"A. Bonenfant , M. de Michiel , and P. Sainrat . 2008. oRange: A Tool For Static Loop Bound Analysis . In Proceedings of the Workshop on Resource Analysis. 1\u20136. A. Bonenfant, M. de Michiel, and P. Sainrat. 2008. oRange: A Tool For Static Loop Bound Analysis. In Proceedings of the Workshop on Resource Analysis. 1\u20136."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3018610.3018620"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2005.7"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2012.1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.934029"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_3"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/951710.951720"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2016.2"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-010-9101-x"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/40.928765"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2010.1"},{"key":"e_1_3_2_1_22_1","unstructured":"G. Gonzalez. 2018. dhall: A configuration language guaranteed to terminate. https:\/\/github.com\/dhall-lang\/dhall-haskell\/releases\/tag\/1.14.0  G. Gonzalez. 2018. dhall: A configuration language guaranteed to terminate. https:\/\/github.com\/dhall-lang\/dhall-haskell\/releases\/tag\/1.14.0"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2007.36"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2017.8"},{"volume-title":"Proceedings of the 18th Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS \u201915)","author":"Hepp S.","key":"e_1_3_2_1_25_1","unstructured":"S. Hepp , B. Huber , D. Prokesch , and P. Puschner . 2015. The platin Tool Kit \u2013 The T-CREST Approach for Compiler and WCET Integration . In Proceedings of the 18th Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS \u201915) . 277\u2013292. S. Hepp, B. Huber, D. Prokesch, and P. Puschner. 2015. The platin Tool Kit \u2013 The T-CREST Approach for Compiler and WCET Integration. In Proceedings of the 18th Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS \u201915). 277\u2013292."},{"volume-title":"Proceedings of the Data Systems in Aerospace Conference (DASIA \u201900)","author":"Holsti N.","key":"e_1_3_2_1_26_1","unstructured":"N. Holsti , T. L\u00e5ngbacka , and S. Saarinen . 2000. Using a Worst-Case Execution Time Tool for Real-Time Verification of the DEBIE Software . In Proceedings of the Data Systems in Aerospace Conference (DASIA \u201900) . 1\u20136. N. Holsti, T. L\u00e5ngbacka, and S. Saarinen. 2000. Using a Worst-Case Execution Time Tool for Real-Time Verification of the DEBIE Software. In Proceedings of the Data Systems in Aerospace Conference (DASIA \u201900). 1\u20136."},{"volume-title":"Proceedings of the European Signal Processing Conference (EUSIPCO \u201921)","author":"Holsti N.","key":"e_1_3_2_1_27_1","unstructured":"N. Holsti , T. L\u00e5ngbacka , and S. Saarinen . 2015. Worst-case execution-time analysis for digital signal processors . In Proceedings of the European Signal Processing Conference (EUSIPCO \u201921) . 1\u20135. N. Holsti, T. L\u00e5ngbacka, and S. Saarinen. 2015. Worst-case execution-time analysis for digital signal processors. In Proceedings of the European Signal Processing Conference (EUSIPCO \u201921). 1\u20135."},{"volume-title":"Proceedings of the 2nd International Workshop on Worst-Case Execution Time Analysis (WCET \u201902)","author":"Holsti N.","key":"e_1_3_2_1_28_1","unstructured":"N. Holsti and S. Saarinen . 2002. Status of the Bound-T WCET Tool . In Proceedings of the 2nd International Workshop on Worst-Case Execution Time Analysis (WCET \u201902) . 36\u201341. N. Holsti and S. Saarinen. 2002. Status of the Bound-T WCET Tool. In Proceedings of the 2nd International Workshop on Worst-Case Execution Time Analysis (WCET \u201902). 36\u201341."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2012.91"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465554.2465567"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34032-1_17"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2008.1657"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0161-0"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2007.1197"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-010-9091-8"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28717-6_34"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"volume-title":"Proceedings of the 8th European Embedded Real Time Software and Systems Congress (ERTS \u201916)","author":"Leroy X.","key":"e_1_3_2_1_38_1","unstructured":"X. Leroy , S. Blazy , D. K\u00e4stner , B. Schommer , M. Pister , and C. Ferdinand . 2016. CompCert-a formally verified optimizing compiler . In Proceedings of the 8th European Embedded Real Time Software and Systems Congress (ERTS \u201916) . 1\u20138. X. Leroy, S. Blazy, D. K\u00e4stner, B. Schommer, M. Pister, and C. Ferdinand. 2016. CompCert-a formally verified optimizing compiler. In Proceedings of the 8th European Embedded Real Time Software and Systems Congress (ERTS \u201916). 1\u20138."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2659787.2659805"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.014"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/216636.216666"},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of the 3rd Workshop on Worst-Case Execution Time Analysis, (WCET \u201903)","author":"Lisper B.","year":"2003","unstructured":"B. Lisper . 2003 . Fully Automatic, Parametric Worst-Case Execution Time Analysis . In Proceedings of the 3rd Workshop on Worst-Case Execution Time Analysis, (WCET \u201903) . 99\u2013102. B. Lisper. 2003. Fully Automatic, Parametric Worst-Case Execution Time Analysis. In Proceedings of the 3rd Workshop on Worst-Case Execution Time Analysis, (WCET \u201903). 99\u2013102."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45231-8_38"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16561-0_41"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1999.818824"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2009.24"},{"key":"e_1_3_2_1_47_1","unstructured":"MISRA Consortium. 2004. Guidelines for the Use of the C Language in Critical Systems (MISRA-C:2004).  MISRA Consortium. 2004. Guidelines for the Use of the C Language in Critical Systems (MISRA-C:2004)."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.52"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2013.6913220"},{"key":"e_1_3_2_1_50_1","unstructured":"Rapita Systems Ltd.. [n.d.]. RapiTime - Worst-case execution time (WCET) analysis for critical systems. http:\/\/www.rapitasystems.com\/products\/RapiTime  Rapita Systems Ltd.. [n.d.]. RapiTime - Worst-case execution time (WCET) analysis for critical systems. http:\/\/www.rapitasystems.com\/products\/RapiTime"},{"volume-title":"Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis (WCET \u201903)","author":"Rodr\u00edguez M.","key":"e_1_3_2_1_51_1","unstructured":"M. Rodr\u00edguez , N. Silva , J. Esteves , L. Henriques , D. Costa , N. Holsti , and K. Hjortnaes . 2003. Challenges in Calculating the WCET of a Complex On-board Satellite Application . In Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis (WCET \u201903) . 11\u201315. M. Rodr\u00edguez, N. Silva, J. Esteves, L. Henriques, D. Costa, N. Holsti, and K. Hjortnaes. 2003. Challenges in Calculating the WCET of a Complex On-board Satellite Application. In Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis (WCET \u201903). 11\u201315."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/11925040_10"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2015.04.002"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2018.8"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2019.00034"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/502217.502240"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2003.1209972"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/384198.384230"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"}],"event":{"name":"LCTES '21: 22nd ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual Canada","acronym":"LCTES '21"},"container-title":["Proceedings of the 22nd ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3461648.3463847","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3461648.3463847","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:49:05Z","timestamp":1750193345000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3461648.3463847"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,22]]},"references-count":59,"alternative-id":["10.1145\/3461648.3463847","10.1145\/3461648"],"URL":"https:\/\/doi.org\/10.1145\/3461648.3463847","relation":{},"subject":[],"published":{"date-parts":[[2021,6,22]]},"assertion":[{"value":"2021-06-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}