{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:32:57Z","timestamp":1725593577294},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642222023"},{"type":"electronic","value":"9783642222030"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22203-0_11","type":"book-chapter","created":{"date-parts":[[2011,6,27]],"date-time":"2011-06-27T20:26:28Z","timestamp":1309206388000},"page":"119-129","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Analysis of Static Execution Time for Complex Loop Contained External Input"],"prefix":"10.1007","author":[{"given":"Yun-Kwan","family":"Kim","sequence":"first","affiliation":[]},{"given":"Doo-Hyun","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Tae-Wan","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Chun-Hyon","family":"Chang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","DOI":"10.1002\/0471648299","volume-title":"Real-Time System Design and Analysis","author":"P.A. Laplante","year":"2004","unstructured":"Laplante, P.A.: Real-Time System Design and Analysis. IEEE Press, Los Alamitos (2004)"},{"issue":"3","key":"11_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R. Wilhelm","year":"2008","unstructured":"Wilhelm, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenstr\u00f6m, P., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R.: The worst-case execution time problem - overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems(TECS)\u00a07(3), 1\u201353 (2008)","journal-title":"ACM Transactions on Embedded Computing Systems(TECS)"},{"key":"11_CR3","unstructured":"IEEE Standard Glossary of Software Engineering Terminology, IEEE Std 610.12- (September 1990)"},{"key":"11_CR4","first-page":"238","volume-title":"Proceedings of ACM Symp. on Principle of Programming Languages","author":"P. Cousot","year":"1977","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 ACM Symp. on Principle of Programming Languages, pp. 238\u2013252. ACM Press, NY (1977)"},{"key":"11_CR5","first-page":"269","volume-title":"Proceedings of ACM Symp. on Principle of Programming Languages","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Systematic Design of Program Analysis Frameworks. In: Proceedings of ACM Symp. on Principle of Programming Languages, pp. 269\u2013282. ACM Press, NY (1979)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Mine, A., Monniaux, D., Rival, X.: A Static Analyzer for Large Safety-Critical Software. In: Proceedings of ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), pp. 196\u2013207 (2003)","DOI":"10.1145\/781131.781153"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Kim, Y.-k., Shin, W., Kim, T.-w., Chang, C.-h.: A Methodology of Analyzing External Input for Improving Flexibility of Static Execution Time Analysis. In: Proceedings of Annual International Conference on Software Engineering, pp. 67\u201372 (2010)","DOI":"10.5176\/978-981-08-7466-7_se-44"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer-Verlag New York, Inc. Secaucus, NJ (1999)","DOI":"10.1007\/978-3-662-03811-6"},{"key":"11_CR9","unstructured":"Kirner, R., Puschner, P.: Discussion of Misconceptions about WCET Analysis. In: Proceedings of WCET Workshop 2003, pp.61-64 (2003)"},{"key":"11_CR10","unstructured":"Tidorum Ltd., Bound-T Time and Stack Analyser, http:\/\/www.tidorum.fi\/bound-t\/"},{"key":"11_CR11","unstructured":"Puschner, P.: Is Worst-Case Execution-Time Analysis a Non-Problem? - Towards New Software and Hardware Architectures. In: Proceedings of Second Euromicro International Workshop on WCET Analysis, Technical Report, York YO10 5DD, United Kingdom, Department of Computer Science, University of York (2002)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Puschner, P.: Algorithms for Dependable Hard Real-Time Systems. In: Proceedings of 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), pp. 26\u201331 (2003)","DOI":"10.1109\/WORDS.2003.1218062"},{"issue":"3","key":"11_CR13","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s11241-005-4683-4","volume":"32","author":"J. Gustafsson","year":"2006","unstructured":"Gustafsson, J., Lisper, B., Kirner, R., Puschner, P.: Code Analysis for Temporal Predictability. Real-Time Systems\u00a032(3), 253\u2013277 (2006)","journal-title":"Real-Time Systems"},{"key":"11_CR14","unstructured":"Kirner, R., Knoop, J., Prantl, A., Schordan, M.: WCET Analysis: The Annotation Language Challenge. In: Proceedings of 7th International Workshop on Worst-Case Execution Time Analysis (2007)"},{"key":"11_CR15","unstructured":"Kirner, R., Kadlec, A., Puschner, P., Prantl, A., Schordan, M., Knoop, J.: Towards a Common WCET Annotation Language: Essential Ingredients. In: Proceedings of 8th International Workshop on Worst-Case Execution Time Analysis, WCET (2008)"},{"key":"11_CR16","unstructured":"Bygde, S.: Static Analysis based on Abstract Interpretation and Counting of Elements. Ph.D. thesis Malardalen Univ., Sweden (2010)"},{"key":"11_CR17","unstructured":"Ermedahl, A., Sandberg, C., Gustafsson, J., Bygde, S., Lisper, B.: Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis. In: Proceedings of 7th International Workshop on Worst-Case Execution Time Analysis, WCET (2007)"},{"issue":"4","key":"11_CR18","first-page":"613","volume":"13-D","author":"Y.-k. Kim","year":"2006","unstructured":"Kim, Y.-k., Shin, W., Kim, T.-w., Chang, C.-h.: Design and Implementation of PS-Block Timing Model Using PS-Block Structue. The KIPS Transactions\u00a013-D(4), 613\u2013618 (2006)","journal-title":"The KIPS Transactions"},{"key":"11_CR19","unstructured":"M\u00e4lardalen University. WCET project homepage (2007), http:\/\/www.mrtc.mdh.se\/projects\/wcet"}],"container-title":["Communications in Computer and Information Science","Software Engineering and Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22203-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T08:19:16Z","timestamp":1560327556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22203-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642222023","9783642222030"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22203-0_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}