{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:36:40Z","timestamp":1725550600339},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291053"},{"type":"electronic","value":"9783540320302"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560548_26","type":"book-chapter","created":{"date-parts":[[2005,10,6]],"date-time":"2005-10-06T09:38:22Z","timestamp":1128591502000},"page":"336-339","source":"Crossref","is-referenced-by-count":3,"title":["Verifying Timing Behavior by Abstract Interpretation of Executable Code"],"prefix":"10.1007","author":[{"given":"Christian","family":"Ferdinand","sequence":"first","affiliation":[]},{"given":"Reinhold","family":"Heckmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","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"},{"key":"26_CR2","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":"26_CR3","doi-asserted-by":"crossref","unstructured":"Ferdinand, C.: Cache Behavior Prediction for Real-Time Systems. PhD thesis, Saarland University (1997)","DOI":"10.1007\/BFb0057777"},{"key":"26_CR4","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":"26_CR5","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":"26_CR6","unstructured":"AbsInt Angewandte Informatik GmbH: aiSee Home Page, http:\/\/www.aisee.com"}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560548_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T00:12:50Z","timestamp":1683245570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560548_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291053","9783540320302"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/11560548_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}