{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T13:15:30Z","timestamp":1773407730180,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642540127","type":"print"},{"value":"9783642540134","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54013-4_4","type":"book-chapter","created":{"date-parts":[[2014,1,2]],"date-time":"2014-01-02T20:08:09Z","timestamp":1388693289000},"page":"59-77","source":"Crossref","is-referenced-by-count":3,"title":["Timing Analysis of Parallel Software Using Abstract Execution"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Gustavsson","sequence":"first","affiliation":[]},{"given":"Jan","family":"Gustafsson","sequence":"additional","affiliation":[]},{"given":"Bj\u00f6rn","family":"Lisper","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"OpenMP: OpenMP Application Program Interface, Version 3.0 (May 2008), \n                  \n                    http:\/\/www.openmp.org\/mp-documents\/spec30.pdf"},{"issue":"3","key":"4_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R. Wilhelm","year":"2008","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenstr\u00f6m, P.: The worst-case execution time problem \u2014 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":"4_CR3","unstructured":"Gustafsson, J.: Analyzing Execution-Time of Object-Oriented Programs Using Abstract Interpretation. PhD thesis, Dept. of Information Technology, Uppsala University, Sweden (May 2000)"},{"key":"4_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: Proc. 27th IEEE Real-Time Systems Symposium (RTSS 2006), Rio de Janeiro, Brazil, pp. 57\u201366. IEEE Computer Society (December 2006)","DOI":"10.1109\/RTSS.2006.12"},{"key":"4_CR5","unstructured":"Ermedahl, A., Gustafsson, J., Lisper, B.: Deriving WCET bounds by abstract execution. In: Healy, C. (ed.) Proc. 11th International Workshop on Worst-Case Execution Time Analysis (WCET 2011), Porto, Portugal (July 2011)"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1109\/32.24727","volume":"15","author":"A.C. Shaw","year":"1989","unstructured":"Shaw, A.C.: Reasoning about time in higher-order software. IEEE Transactions on Software Engineering\u00a015, 737\u2013750 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR7","unstructured":"Huber, B., Schoeberl, M.: Comparison of implicit path enumeration and model checking based WCET analysis. In: Proc. 9th International Workshop on Worst-Case Execution Time Analysis, WCET 2009 (2009)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-540-27813-9_26","volume-title":"Computer Aided Verification","author":"A. Metzner","year":"2004","unstructured":"Metzner, A.: Why model checking can improve WCET analysis. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 334\u2013347. Springer, Heidelberg (2004)"},{"key":"4_CR9","unstructured":"Gustavsson, A., Ermedahl, A., Lisper, B., Pettersson, P.: Towards WCET analysis of multicore architectures using UPPAAL. In: Lisper, B. (ed.) Proc. 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010), Brussels, Belgium, OCG, pp. 103\u2013113 (July 2010)"},{"key":"4_CR10","unstructured":"Lv, M., Guan, N., Yi, W., Deng, Q., Yu, G.: Efficient instruction cache analysis with model checking. In: Proc. 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2010), pp. 33\u201336 (2010); Work-in-Progress Session"},{"key":"4_CR11","unstructured":"Wu, L., Zhang, W.: Bounding worst-case execution time for multicore processors through model checking. In: Proc. 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2010), pp. 17\u201320 (April 2010); Work-in-Progress Session"},{"key":"4_CR12","unstructured":"Gustavsson, A., Gustafsson, J., Lisper, B.: Toward static timing analysis of parallel software. In: Vardanega, T. (ed.) Proc. 12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012). OpenAccess Series in Informatics (OASIcs), vol.\u00a023, pp. 38\u201347 (July 2012)"},{"key":"4_CR13","unstructured":"Mittermayr, R., Blieberger, J.: Timing analysis of concurrent programs. In: Proc. 12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012), pp. 59\u201368 (2012)"},{"key":"4_CR14","unstructured":"Potop-Butucaru, D., Puaut, I.: Integrated Worst-Case Execution Time Estimation of Multicore Applications. In: Proc. 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013), Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik (2013)"},{"key":"4_CR15","unstructured":"Ozaktas, H., Rochange, C., Sainrat, P.: Automatic WCET Analysis of Real-Time Parallel Applications. In: Proc. 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013), Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik (2013)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Gustavsson, A.: Static Timing Analysis of Parallel Software Using Abstract Execution. Licentiate thesis, M\u00e4lardalen University (2014), \n                  \n                    http:\/\/www.es.mdh.se\/publications\/3025-Static_Timing_Analysis_of_Parallel_Software_Using_Abstract_Execution","DOI":"10.1007\/978-3-642-54013-4_4"},{"key":"4_CR17","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis, 2nd edn. Springer (2005) ISBN 3-540-65410-0"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. 4th ACM Symposium on Principles of Programming Languages, Los Angeles, pp. 238\u2013252 (January 1977)","DOI":"10.1145\/512950.512973"},{"key":"4_CR19","unstructured":"Gustafsson, J., Ermedahl, A.: Merging techniques for faster derivation of WCET flow information using abstract execution. In: Kirner, R. (ed.) Proc. 8th International Workshop on Worst-Case Execution Time Analysis (WCET 2008), Prague, Czech Republic (July 2008)"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54013-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T19:34:20Z","timestamp":1558812860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54013-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642540127","9783642540134"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54013-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}