{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:38:23Z","timestamp":1759991903758},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,11,18]],"date-time":"2012-11-18T00:00:00Z","timestamp":1353196800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1007\/s10009-012-0266-6","type":"journal-article","created":{"date-parts":[[2012,11,17]],"date-time":"2012-11-17T10:13:06Z","timestamp":1353147186000},"page":"9-28","source":"Crossref","is-referenced-by-count":4,"title":["Measurement and tracing methods for timing analysis"],"prefix":"10.1007","volume":"15","author":[{"given":"Nicholas","family":"Merriam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Gliwa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Broster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,11,18]]},"reference":[{"key":"266_CR1","unstructured":"Betts, A., Merriam, N., Bernat, G.: Hybrid measurement-based WCET analysis at the source level using object-level traces. In: Lisper, B. (ed.) Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). OpenAccess Series in Informatics (OASIcs), vol. 15, pp. 54\u201363. Dagstuhl, Germany (2010). Schloss Dagstuhl\u2014Leibniz-Zentrum fuer Informatik. The printed version of the WCET\u201910 proceedings are published by OCG ( http:\/\/www.ocg.at ). ISBN 978-3-85403-268-7"},{"key":"266_CR2","unstructured":"Ferdinand, C., Heckmann, R.: aiT: worst-case execution time prediction by static programm analysis. In: Jacquart, R. (ed.) Building the Information Society. IFIP 18th World Computer Congress, Topical Sessions, Toulouse, France, 22\u201327 August 2004, pp. 377\u2013384. Kluwer, Dordrecht (2004)"},{"key":"266_CR3","unstructured":"MPC565 Reference Manual. Freescale Semiconductor (2005). http:\/\/www.freescale.com"},{"key":"266_CR4","doi-asserted-by":"crossref","unstructured":"Gustafsson, J., Ermedahl, A., Sandberg, C., Lisper, B.: Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution. In: Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS\u201906), Rio de Janeiro, Brazil, pp. 57\u201366. IEEE Computer Society, New York (2006)","DOI":"10.1109\/RTSS.2006.12"},{"key":"266_CR5","doi-asserted-by":"crossref","unstructured":"Gustafsson, J., Lisper, B., Schordan, M., Ferdinand, C., Gliwa, P., Jersak, M., Bernat, G.: ALL-TIMES\u2014a European project on integrating timing technology. In: Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods (ISOLA\u201908), Porto Sani, Greece. CCIS, vol. 17, pp. 445\u2013459. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-88479-8_31"},{"issue":"2","key":"266_CR6","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1049\/ip-cdt:20045088","volume":"152","author":"R Henia","year":"2005","unstructured":"Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis\u2014the SymTA\/S approach. IEEE Proc. Comput. Digit. Tech. 152(2), 148\u2013166 (2005)","journal-title":"IEEE Proc. Comput. Digit. Tech."},{"key":"266_CR7","doi-asserted-by":"crossref","unstructured":"Lisper, B.: The ALL-TIMES project: introduction and overview (2012, this volume)","DOI":"10.1007\/s10009-012-0265-7"},{"key":"266_CR8","doi-asserted-by":"crossref","unstructured":"Merriam, N., Lisper, B.: Estimation of productivity increase for timing analysis tool chains (2012, this volume)","DOI":"10.1007\/s10009-012-0262-x"},{"key":"266_CR9","unstructured":"Schordan, M.: Combining tools and languages for static analysis and optimization of high-level abstractions. Technical report, TU Vienna, Austria (2007)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0266-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0266-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0266-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,5]],"date-time":"2019-07-05T14:56:53Z","timestamp":1562338613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0266-6"}},"subtitle":["Independently and in combination with modelling methods"],"short-title":[],"issued":{"date-parts":[[2012,11,18]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["266"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0266-6","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,11,18]]}}}