{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:32:07Z","timestamp":1725568327209},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165603"},{"type":"electronic","value":"9783642165610"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16561-0_43","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:50:50Z","timestamp":1288705850000},"page":"479-482","source":"Crossref","is-referenced-by-count":2,"title":["Partial Flow Analysis with oRange"],"prefix":"10.1007","author":[{"given":"Marianne","family":"de Michiel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armelle","family":"Bonenfant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cl\u00e9ment","family":"Ballabriga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hugues","family":"Cass\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"43_CR1","unstructured":"Otawa, \n                    \n                      http:\/\/www.otawa.fr"},{"key":"43_CR2","unstructured":"Bound-t tool (2005), \n                    \n                      http:\/\/www.tidorum.fi\/bound-t\/"},{"key":"43_CR3","unstructured":"ait tool (2007), \n                    \n                      http:\/\/www.absint.com"},{"key":"43_CR4","unstructured":"Merasa (2007), \n                    \n                      http:\/\/ginkgo.informatik.uni-augsburg.de\/merasa-web\/"},{"key":"43_CR5","unstructured":"Wcet project (2007), \n                    \n                      http:\/\/www.mrtc.mdh.se\/projects\/wcet\/"},{"key":"43_CR6","unstructured":"Ballabriga, C., Cass\u00e9, H., De Michiel, M.: A generic framework for blackbox components in wcet computation. In: 9th Intl. Workshop on Worst-Case Execution Time Analysis, WCET 2009, Dublin, Ireland (2009)"},{"key":"43_CR7","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/1254766.1254795","volume-title":"LCTES","author":"J. Coffman","year":"2007","unstructured":"Coffman, J., Healy, C.A., Mueller, F., Whalley, D.B.: Generalizing parametric timing analysis. In: Pande, S., Li, Z. (eds.) LCTES, pp. 152\u2013154. ACM, New York (2007)"},{"key":"43_CR8","unstructured":"Cullmann, C., Martin, F.: Data-flow based detection of loop bounds. In: 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy (2007)"},{"key":"43_CR9","unstructured":"Ermedahl, A., Sandberg, C., Gustafsson, J., Bygde, S., Lisper, B.: Loop bound analysis based on a combination of program slicing, abstract interpretation, and invariant analysis. In: 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy (2007)"},{"key":"43_CR10","unstructured":"Kirner, M.: Automatic loop bound analysis of programs written in c. Master\u2019s thesis, Technische Universit\u00e4t Wien, Institut f\u00fcr Technische Informatik, Treitlstr. 3\/3\/182-1, 1040 Vienna, Austria (2006)"},{"key":"43_CR11","unstructured":"Lokuciejewski, P., Cordes, D., Falk, H., Marwedel, P.: A fast and precise static loop analysis based on abstract interpretation, program slicing and polytope models. In: Cgo 2009: Proceedings of the 7th International Symposium on Code Generation and Optimization, Washington, DC, USA (2009)"},{"key":"43_CR12","first-page":"161","volume-title":"RTCSA","author":"M. Michiel De","year":"2008","unstructured":"De Michiel, M., Bonenfant, A., Cass\u00e9, H., Sainrat, P.: Static loop bound analysis of c programs based on flow analysis and abstract interpretation. In: RTCSA, pp. 161\u2013166. IEEE Computer Society, Los Alamitos (2008)"},{"key":"43_CR13","series-title":"Dagstuhl Seminar Proceedings","volume-title":"WCET","author":"A. Prantl","year":"2009","unstructured":"Prantl, A., Knoop, J., Kirner, R., Kadlec, A., Schordan, M.: From trusted annotations to verified knowledge. In: Holsti, N. (ed.) WCET. Dagstuhl Seminar Proceedings, vol.\u00a009004, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2009)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16561-0_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T01:19:53Z","timestamp":1553217593000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16561-0_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165603","9783642165610"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16561-0_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}