{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T01:54:17Z","timestamp":1746496457823},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540376774"},{"type":"electronic","value":"9783540376781"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11823063_1","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T13:10:36Z","timestamp":1159881036000},"page":"1-14","source":"Crossref","is-referenced-by-count":4,"title":["Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code"],"prefix":"10.1007","author":[{"given":"Christian","family":"Ferdinand","sequence":"first","affiliation":[]},{"given":"Reinhold","family":"Heckmann","sequence":"additional","affiliation":[]},{"given":"Reinhard","family":"Wilhelm","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","first-page":"14","volume-title":"Handbook on Embedded Systems","author":"R. Wilhelm","year":"2005","unstructured":"Wilhelm, R.: Determining bounds on execution times. In: Zurawski, R. (ed.) Handbook on Embedded Systems, pp. 14-1\u2013 14-23. CRC Press, Boca Raton (2005)"},{"key":"1_CR2","unstructured":"AbsInt Angewandte Informatik GmbH: aiSee Home Page, http:\/\/www.aisee.com"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-45449-7_32","volume-title":"Embedded Software","author":"C. Ferdinand","year":"2001","unstructured":"Ferdinand, C., Heckmann, R., Langenbach, M., Martin, F., Schmidt, M., Theiling, H., Thesing, S., Wilhelm, R.: Reliable and precise WCET determination for a reallife processor. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 469\u2013485. Springer, Heidelberg (2001)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Ferdinand, C.: Cache Behavior Prediction for Real-Time Systems. PhD thesis, Saarland University (1997)","DOI":"10.1007\/BFb0057777"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/3-540-45789-5_22","volume-title":"Static Analysis","author":"M. Langenbach","year":"2002","unstructured":"Langenbach, M., Thesing, S., Heckmann, R.: Pipeline modeling for timing analysis. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 294\u2013309. Springer, Heidelberg (2002)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Theiling, H., Ferdinand, C.: Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis. In: Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, pp. 144\u2013153 (1998)","DOI":"10.1109\/REAL.1998.739739"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proceedings of the 4th ACM Symposium on Principles of Programming Languages, Los Angeles, California (1977)","DOI":"10.1145\/512950.512973"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Theiling, H.: Extracting safe and precise control flow from binaries. In: Proceedings of the 7th Conference on Real-Time Computing Systems and Applications, Cheju Island, South Korea (2000)","DOI":"10.1109\/RTCSA.2000.896367"},{"key":"1_CR9","first-page":"112","volume-title":"Proceedings of ACM SIGPLAN LCTES\/OM 2001","author":"H. Theiling","year":"2001","unstructured":"Theiling, H.: Generating decision trees for decoding binaries. In: Proceedings of ACM SIGPLAN LCTES\/OM 2001, pp. 112\u2013120. ACM Press, New York (2001)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"1038","DOI":"10.1109\/JPROC.2003.814618","volume":"91","author":"R. Heckmann","year":"2003","unstructured":"Heckmann, R., Langenbach, M., Thesing, S., Wilhelm, R.: The influence of processor architecture on the design and the results of WCET tools. Proceedings of the IEEE\u00a091, 1038\u20131054 (2003); Special Issue on Real-Time Systems","journal-title":"Proceedings of the IEEE"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Schneider, J., Ferdinand, C.: Pipeline behavior prediction for superscalar processors by abstract interpretation. In: Proceedings of ACM SIGPLAN LCTES 1999, pp. 35\u201344 (1999)","DOI":"10.1145\/314403.314432"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/3-540-45828-X_26","volume-title":"Embedded Software","author":"H. Theiling","year":"2002","unstructured":"Theiling, H.: ILP-based interprocedural path analysis. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, pp. 349\u2013363. Springer, Heidelberg (2002)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/BFb0026424","volume-title":"Compiler Construction","author":"F. Martin","year":"1998","unstructured":"Martin, F., Alt, M., Wilhelm, R., Ferdinand, C.: Analysis of Loops. In: Koskimies, K. (ed.) CC 1998. LNCS, vol.\u00a01383, pp. 80\u201394. Springer, Heidelberg (1998)"},{"key":"1_CR14","unstructured":"Janz, W.: Das OSEK Echtzeitbetriebssystem, Stackverwaltung und statische Stackbedarfsanalyse. In: Embedded World, Nuremberg, Germany (2003)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Stankovic, J.A.: Real-Time and Embedded Systems. In: ACM 50th Anniversary Report on Real-Time Computing Research (1996), http:\/\/www-ccs.cs.umass.edu\/sdcr\/rt.ps","DOI":"10.1145\/234313.234400"}],"container-title":["Lecture Notes in Computer Science","Automotive Software \u2013 Connected Services in Mobile Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11823063_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T01:48:48Z","timestamp":1683596928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11823063_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540376774","9783540376781"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11823063_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}