{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:20:58Z","timestamp":1725560458493},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213147"},{"type":"electronic","value":"9783540247326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24732-6_1","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:14:47Z","timestamp":1280261687000},"page":"1-4","source":"Crossref","is-referenced-by-count":1,"title":["Formal Analysis of Processor Timing Models"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Wilhelm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","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.: WCET Determination for a Real-Life Processor. In: Henzinger, T.A., Kirsch, C. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 469\u2013485. Springer, Heidelberg (2001)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF01088803","volume":"7","author":"M.G. Harmon","year":"1994","unstructured":"Harmon, M.G., Baker, T.P., Whalley, D.B.: A Retargetable Technique for Predicting Execution Time of Code Segments. Real-Time Systems\u00a07, 159\u2013182 (1994)","journal-title":"Real-Time Systems"},{"issue":"7","key":"1_CR3","first-page":"1038","volume":"91","author":"R. Heckmann","year":"2003","unstructured":"Heckmann, R., Langenbach, M., Thesing, S., Wilhelm, R.: The influence of processor architecture an the design and the results of WCET tools. IEEE Proceedings on Real-Time Systems\u00a091(7), 1038\u20131054 (2003)","journal-title":"IEEE Proceedings on Real-Time Systems"},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1145\/315773.315778","volume":"4","author":"Y.-T.S. Li","year":"1999","unstructured":"Li, Y.-T.S., Malik, S., Wolfe, A.: Performance estimation of embedded software with instruction cache modeling. Design Automation of Electronic Systems\u00a04(3), 257\u2013279 (1999)","journal-title":"Design Automation of Electronic Systems"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Lundqvist, T., Stenstr\u00f6m, P.: Timing anomalies in dynamically scheduled microprocessors. In: Proceedings of the 20th IEEE Real-Time Systems Symposium (RTSS 1999), December 1999, pp. 12\u201321 (1999)","DOI":"10.1109\/REAL.1999.818824"},{"key":"1_CR6","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 Symposium","author":"M. Langenbach","year":"2002","unstructured":"Langenbach, M., Thesing, S., Heckmann, R.: Pipeline Modelling for Timing Analysis. In: Static Analysis Symposium. LNCS, vol.\u00a02274, pp. 294\u2013309. Springer, Heidelberg (2002)"},{"key":"1_CR7","unstructured":"Lundqvist, T.: A WCET Analysis Method for Pipelined Microprocessors with Cache Memories. PhD thesis, Chalmers University of Technology, G\u00f6teborg, Sweden (2002)"},{"key":"1_CR8","unstructured":"Schneider, J.: Combined Schedulability and WCET Analysis for Real-Time Operating Systems. PhD thesis, Saarland University (2003)"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24732-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T08:15:11Z","timestamp":1552810511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24732-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213147","9783540247326"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24732-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}