{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T04:27:31Z","timestamp":1747196851969,"version":"3.40.5"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662460801"},{"type":"electronic","value":"9783662460818"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46081-8_3","type":"book-chapter","created":{"date-parts":[[2014,12,11]],"date-time":"2014-12-11T09:25:44Z","timestamp":1418289944000},"page":"43-60","source":"Crossref","is-referenced-by-count":5,"title":["Path Sensitive Cache Analysis Using Cache Miss Paths"],"prefix":"10.1007","author":[{"given":"Kartik","family":"Nagar","sequence":"first","affiliation":[]},{"given":"Y. N.","family":"Srikant","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Ferdinand, C., Wilhelm, R.: Efficient and precise cache behavior prediction for real-time systems. Real-Time Systems 17(2-3), 131\u2013181 (1999)","DOI":"10.1023\/A:1008186323068"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Li, Y.T.-S., Malik, S., Wolfe, A.: Efficient microarchitecture modeling and path analysis for real-time software. In: 16th IEEE Real-Time Systems Symposium, pp. 298\u2013307 (1995)","DOI":"10.1109\/REAL.1995.495219"},{"key":"3_CR3","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: 27th IEEE Real-Time Systems Symposium, pp. 57\u201366 (December 2006)","DOI":"10.1109\/RTSS.2006.12"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Engblom, J., Ermedahl, A.: Modeling complex flows for worst-case execution time analysis. In: 21st IEEE Real-Time Systems Symposium, pp. 163\u2013174 (2000)","DOI":"10.1109\/REAL.2000.896006"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Blackham, B., Liffiton, M., Heiser, G.: Trickle:automated infeasible path detection using all minimal unsatisfiable subsets. In: 20th IEEE Real-time and Embedded Technology and Applications Symposium (2014)","DOI":"10.1109\/RTAS.2014.6926000"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Nagar, K., Srikant, Y.N.: Precise shared cache analysis using optimal interference placement. In: 20th IEEE Real-time and Embedded Technology and Applications Symposium (2014)","DOI":"10.1109\/RTAS.2014.6925996"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Chattopadhyay, S., Roychoudhury, A.: Scalable and Precise Refinement of Cache Timing Analysis via Model Checking. In: 32nd IEEE Real-Time Systems Symposium, pp. 193\u2013203 (2011)","DOI":"10.1109\/RTSS.2011.25"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Banerjee, A., Chattopadhyay, S., Roychoudhury, A.: Precise micro-architectural modeling for WCET analysis via AI+SAT. In: 19th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 87\u201396 (2013)","DOI":"10.1109\/RTAS.2013.6531082"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Li, Y.T.-S., Malik, S., Wolfe, A.: Cache modeling for real-time software: beyond direct mapped instruction caches. In: 17th IEEE Real-Time Systems Symposium, pp. 254\u2013263 (1996)","DOI":"10.1109\/REAL.1996.563722"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-540-24622-0_25","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"R. Wilhelm","year":"2004","unstructured":"Wilhelm, R.: Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 309\u2013322. Springer, Heidelberg (2004)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Huynh, B.K., Ju, L.: Roychoudhury, A.: Scope-Aware Data Cache Analysis for WCET Estimation. In: 17th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 203\u2013212 (2011)","DOI":"10.1109\/RTAS.2011.27"},{"issue":"5","key":"3_CR12","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/876638.876643","volume":"50","author":"R. Clarke","year":"2003","unstructured":"Clarke, R., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM\u00a050(5), 752\u2013794 (2003)","journal-title":"J. ACM"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Cerny, P., Henzinger, T., Radhakrishna, A.: Quantitative abstraction refinement. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 115\u2013128 (2013)","DOI":"10.1145\/2480359.2429085"},{"issue":"1-3","key":"3_CR14","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1016\/j.scico.2007.01.014","volume":"69","author":"X. Li","year":"2007","unstructured":"Li, X., Liang, Y., Mitra, T., Roychoudhury, A.: Chronos: A Timing Analyzer for Embedded Software. Science of Computer Programming\u00a069(1-3), 56\u201367 (2007)","journal-title":"Science of Computer Programming"},{"key":"3_CR15","unstructured":"WCET Projects \/ Benchmarks, http:\/\/www.mrtc.mdh.se\/projects\/wcet\/benchmarks.html"}],"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-662-46081-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T00:37:23Z","timestamp":1747183043000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46081-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662460801","9783662460818"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46081-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}