{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:56:19Z","timestamp":1725512179383},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540713159"},{"type":"electronic","value":"9783540713227"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71322-7_2","type":"book-chapter","created":{"date-parts":[[2007,6,4]],"date-time":"2007-06-04T15:05:59Z","timestamp":1180969559000},"page":"12-52","source":"Crossref","is-referenced-by-count":14,"title":["New Developments in WCET Analysis"],"prefix":"10.1007","author":[{"given":"Christian","family":"Ferdinand","sequence":"first","affiliation":[]},{"given":"Florian","family":"Martin","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Cullmann","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Schlickling","sequence":"additional","affiliation":[]},{"given":"Ingmar","family":"Stein","sequence":"additional","affiliation":[]},{"given":"Stephan","family":"Thesing","sequence":"additional","affiliation":[]},{"given":"Reinhold","family":"Heckmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_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":"2_CR2","volume-title":"Handbook on Embedded Systems","author":"R. Wilhelm","year":"2005","unstructured":"Wilhelm, R.: Determining bounds on execution times. In: Zurawski, R. (ed.) Handbook on Embedded Systems, pp. 14-1\u201314-23. CRC Press, Boca Raton (2005)"},{"key":"2_CR3","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: Proceedings of the 4th ACM Symposium on Principles of Programming Languages, Los Angeles, California (1977)","DOI":"10.1145\/512950.512973"},{"key":"2_CR4","unstructured":"Wilhelm, R., et al.: The worst-case execution time problem - overview of methods and survey of tools. Under revision for ACM Transactions on Embedded Computing Systems (2007)"},{"key":"2_CR5","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":"2_CR6","doi-asserted-by":"crossref","unstructured":"Ferdinand, C.: Cache Behavior Prediction for Real-Time Systems. PhD Thesis, Universit\u00e4t des Saarlandes (1997)","DOI":"10.1007\/BFb0057777"},{"issue":"7","key":"2_CR7","doi-asserted-by":"publisher","first-page":"1038","DOI":"10.1109\/JPROC.2003.814618","volume":"91","author":"R. Heckmann","year":"2003","unstructured":"Heckmann, R., et al.: The influence of processor architecture on the design and the results of WCET tools. Proceedings of the IEEE (Special Issue on Real-Time Systems)\u00a091(7), 1038\u20131054 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"2_CR8","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":"2_CR9","unstructured":"AbsInt Angewandte Informatik GmbH: aiSee Home Page (2006), http:\/\/www.aisee.com"},{"key":"2_CR10","unstructured":"Sicks, M.: Adre\u00dfbestimmung zur Vorhersage des Verhaltens von Daten-Caches. Diploma Thesis, Universit\u00e4t d. Saarlandes (1997)"},{"key":"2_CR11","unstructured":"Cullmann, C.: Statische Berechnung sicherer Schleifengrenzen auf Maschinencode. Diploma Thesis, Universit\u00e4t d. Saarlandes (2006)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Pugh, W.: The Omega Test: A Fast and Practical Integer Programming Algorithm for Dependence Analysis. In: Proceedings of the 4th International Conference on Supercomputing (1991)","DOI":"10.1145\/125826.125848"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. In: Proceedings of the ACM SIGPLAN \u201988 Conference on Programming Language Design and Implementation, vol. 23, Atlanta, GA, pp. 35\u201346 (1988)","DOI":"10.1145\/53990.53994"},{"issue":"4","key":"2_CR14","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M.: Program Slicing. IEEE Transactions on Software Engineering\u00a010(4), 352\u2013357 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR15","unstructured":"Weiser, M.: Program Slices: Formal, Psychological, and Practical Investigations of an Automatic Program Abstraction Method. PhD thesis, The University of Michigan (1979)"},{"issue":"7","key":"2_CR16","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Weiser, M.: Programmers Use Slicing When Debugging. Communications of the ACM\u00a025(7), 446\u2013452 (1982)","journal-title":"Communications of the ACM"},{"issue":"5","key":"2_CR17","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/390011.808263","volume":"19","author":"K.J. Ottenstein","year":"1984","unstructured":"Ottenstein, K.J., Ottenstein, L.: The program dependence graph in a software development environment. ACM SIGPLAN Notices\u00a019(5), 177\u2013184 (1984)","journal-title":"ACM SIGPLAN Notices"},{"key":"2_CR18","unstructured":"Schlickling, M.: Generisches Slicing auf Maschinencode. Diploma Thesis, Universit\u00e4t des Saarlandes (2005)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Ferdinand, C., et al.: Run-Time Guarantees for Real-Time Systems \u2014 The USES Approach. In: Proceedings of Informatik \u201999 \u2013 Arbeitstagung Programmiersprachen (1999)","DOI":"10.1007\/978-3-662-01069-3_60"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Ferdinand, C., et al.: Run-Time Guarantees for Real-Time Systems - The USES Approach. In: Proceedings of the ATPS (1999)","DOI":"10.1007\/978-3-662-01069-3_60"},{"key":"2_CR21","unstructured":"Theiling, H., et al.: Specification of the Standard for a File Format used for Exchanging Results of Different Parts of a Run-Time Analysis (ERD). Technischer Bericht, Universit\u00e4t des Saarlandes, AbsInt Angewandte Informatik GmbH (2003)"},{"key":"2_CR22","volume-title":"ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES2006)","author":"C. Sandberg","year":"2006","unstructured":"Sandberg, C., et al.: Faster WCET flow analysis by program slicing. In: ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES2006), Ottawa, Canada, ACM Press, New York (2006)"},{"key":"2_CR23","unstructured":"Thesing, S.: Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models. PhD thesis, Saarland University (2004)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Thesing, S.: Modeling a System Controller for Timing Analysis. In: Proceedings of the 6th ACM Conference on Embedded Software, EMSOFT\u201906 (to appear, 2006)","DOI":"10.1145\/1176887.1176929"},{"key":"2_CR25","unstructured":"Institute of Electrical and Electronic Engineers New York: Draft IEEE Standard P1076 2000\/D3 VHDL Language Reference Manual (2000)"},{"key":"2_CR26","volume-title":"The Designer\u2019s Guide to VHDL","author":"P.J. Ashenden","year":"2002","unstructured":"Ashenden, P.J.: The Designer\u2019s Guide to VHDL, 2nd edn. Morgan Kaufmann Publishers, Academic Press (2002)","edition":"2"},{"issue":"7","key":"2_CR27","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/13310.13327","volume":"21","author":"D. Callahan","year":"1986","unstructured":"Callahan, D., et al.: Interprocedural Constant Propagation. ACM SIGPLAN Notices (Proceedings of the ACM SIGPLAN \u201986 Symposium on Compiler Construction, Palo Alto, USA)\u00a021(7), 152\u2013161 (1986)","journal-title":"ACM SIGPLAN Notices"}],"container-title":["Lecture Notes in Computer Science","Program Analysis and Compilation, Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71322-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T04:59:13Z","timestamp":1683867553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71322-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540713159","9783540713227"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71322-7_2","relation":{},"subject":[]}}