{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:24:42Z","timestamp":1725549882998},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291312"},{"type":"electronic","value":"9783540319399"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11561163_14","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:54:31Z","timestamp":1127832871000},"page":"317-323","source":"Crossref","is-referenced-by-count":7,"title":["Timing Analysis and Timing Predictability"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Wilhelm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Static Determination of Dynamic Properties of Generalized Type Unions. In: Proceedings of an ACM Conference on Language Design for Reliable Software, Raleigh, NC, March 1977, vol.\u00a012(3), pp. 77\u201394 (1977)","key":"14_CR1","DOI":"10.1145\/800022.808314"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/512760.512770","volume-title":"Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1978","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Tucson, Arizona, pp. 84\u201397. ACM Press, New York (1978)"},{"key":"14_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 real-life processor. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 469\u2013485. Springer, Heidelberg (2001)"},{"key":"14_CR4","first-page":"49","volume-title":"Real Time Technology and Applications Symposium","author":"A.S. Krishna","year":"2003","unstructured":"Krishna, A.S., Klefstad, R., Schmidt, D.C., Corsaro, A.: Towards predictable real-time java object request brokers. In: Real Time Technology and Applications Symposium, p. 49. IEEE, Los Alamitos (2003)"},{"issue":"3","key":"14_CR5","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1145\/315773.315778","volume":"44","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\u00a044(3), 257\u2013279 (1999)","journal-title":"Design Automation of Electronic Systems"},{"unstructured":"Lundquist, T., Stenstr\u00f6m, P.: Timing anomalies in dynamically scheduled microprocessors. In: 20th IEEE Real-Time Systems Symposium (1999)","key":"14_CR6"},{"issue":"7","key":"14_CR7","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1109\/32.29487","volume":"15","author":"A.C. Shaw","year":"1989","unstructured":"Shaw, A.C.: Reasoning About Time in Higher-Level Language Software. IEEE Transactions on Software Engineering\u00a015(7), 875\u2013889 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2\/3","key":"14_CR8","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/A:1008141130870","volume":"18","author":"H. Theiling","year":"2000","unstructured":"Theiling, H., Ferdinand, C., Wilhelm, R.: Fast and Precise WCET Prediction by Separate Cache and Path Analyses. Real-Time Systems\u00a018(2\/3), 157\u2013179 (2000)","journal-title":"Real-Time Systems"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/B:TIME.0000045316.66276.6e","volume":"28","author":"L. Thiele","year":"2004","unstructured":"Thiele, L., Wilhelm, R.: Design for timing predictability. Real-Time Systems\u00a028, 157\u2013177 (2004)","journal-title":"Real-Time Systems"},{"doi-asserted-by":"crossref","unstructured":"Wilhelm, R.: Determination of bounds on execution times. In: Zurawski, R. (ed.) Embedded Systems Handbook, pp. 14\u20131, 14\u201324. CRC Press, Boca Raton (2005)","key":"14_CR10","DOI":"10.1201\/9781420038163.ch14"},{"key":"14_CR11","volume-title":"Compiler Design","author":"R. Wilhelm","year":"1997","unstructured":"Wilhelm, R., Maurer, D.: Compiler Design. Addison-Wesley, Reading (1997)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11561163_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T23:14:08Z","timestamp":1586474048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11561163_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291312","9783540319399"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11561163_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}