{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:55:35Z","timestamp":1725602135024},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642232824"},{"type":"electronic","value":"9783642232831"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23283-1_5","type":"book-chapter","created":{"date-parts":[[2011,8,23]],"date-time":"2011-08-23T22:30:27Z","timestamp":1314138627000},"page":"25-44","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic Worst Case Execution Times"],"prefix":"10.1007","author":[{"given":"Ernst","family":"Althaus","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Altmeyer","sequence":"additional","affiliation":[]},{"given":"Rouven","family":"Naujoks","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Althaus, E., Altmeyer, S., Naujoks, R.: A new combinatorial approach to parametric path analysis. Reports of SFB\/TR 14 AVACS\u00a058, SFB\/TR 14 AVACS (June 2010), http:\/\/www.avacs.org , ISSN: 1860-9821"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Althaus, E., Altmeyer, S., Naujoks, R.: Precise and efficient parametric path analysis. In: Proceedings of the ACM SIGPLAN\/SIGBED 2011 Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES, pp. 141\u2013150 (2011)","DOI":"10.1145\/1967677.1967697"},{"key":"5_CR3","first-page":"367","volume-title":"Procedeedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2008)","author":"S. Altmeyer","year":"2008","unstructured":"Altmeyer, S., H\u00fcmbert, C., Lisper, B., Wilhelm, R.: Parametric timing analyis for complex architectures. In: Procedeedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2008), Kaohsiung, Taiwan, pp. 367\u2013376. IEEE Computer Society, Los Alamitos (2008)"},{"key":"5_CR4","doi-asserted-by":"publisher","DOI":"10.1515\/9781400884179","volume-title":"Linear Programming and Extensions","author":"G.B. Dantzig","year":"1963","unstructured":"Dantzig, G.B.: Linear Programming and Extensions. Princeton University Press, Princeton (1963)"},{"key":"5_CR5","unstructured":"Feautrier, P.: The parametric integer programming\u2019s home, http:\/\/www.piplib.org"},{"key":"5_CR6","first-page":"269","volume-title":"Recent Advances in Mathematical Programming","author":"R.E. Gomory","year":"1969","unstructured":"Gomory, R.E.: An algorithm for integer solutions to linear programming. In: Graves, R.L., Wolfe, P. (eds.) Recent Advances in Mathematical Programming, pp. 269\u2013302. McGraw-Hill, New York (1969)"},{"key":"5_CR7","volume-title":"8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis","author":"N. Holsti","year":"2008","unstructured":"Holsti, N., Gustafsson, J., Bernat, G., Ballabriga, C., Bonenfant, A., Bourgade, R., Cass\u00e9, H., Cordes, D., Kadlec, A., Kirner, R., Knoop, J., Lokuciejewski, P., Merriam, N., de Michiel, M., Prantl, A., Rieder, B., Rochange, C., Sainrat, P., Schordan, M.: Wcet 2008 \u2013 report from the tool challenge 2008 \u2013 8th intl. workshop on worst-case execution time (wcet) analysis. In: Kirner, R. (ed.) 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2008); also published in print by Austrian Computer Society (OCG) under ISBN 978-3-85403-237-3"},{"key":"5_CR8","first-page":"456","volume-title":"DAC 1995: Proceedings of the 32nd Annual ACM\/IEEE Design Automation Conference","author":"Y.-T.S. Li","year":"1995","unstructured":"Li, Y.-T.S., Malik, S.: Performance analysis of embedded software using implicit path enumeration. In: DAC 1995: Proceedings of the 32nd Annual ACM\/IEEE Design Automation Conference, pp. 456\u2013461. ACM, New York (1995)"},{"key":"5_CR9","unstructured":"Lisper, B.: Fully automatic, parametric worst-case execution time analysis. In: Third Internation Workshop on Worst-Case Execution Time Analysis, pp. 77\u201380 (July 2003)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Tan, L.: The worst case execution time tool challenge 2006: Technical report for the external test. In: Proc. 2nd International Symposium on Leveraging Applications of Formal Methods, ISOLA 2006 (2006)","DOI":"10.1109\/ISoLA.2006.73"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Theiling, H.: ILP-based Interprocedural Path Analysis. In: Proceedings of the Workshop on Embedded Software, Grenoble, France (October 2002)","DOI":"10.1007\/3-540-45828-X_26"},{"issue":"3","key":"5_CR12","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\u2014overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst.\u00a07(3), 1\u201353 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23283-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T05:34:14Z","timestamp":1560490454000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23283-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642232824","9783642232831"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23283-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}