{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:24:20Z","timestamp":1725614660245},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/fmcad.2015.7542264","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T16:28:56Z","timestamp":1471278536000},"page":"144-151","source":"Crossref","is-referenced-by-count":14,"title":["Difference constraints: an adequate abstraction for complexity analysis of imperative programs"],"prefix":"10.1109","author":[{"given":"Moritz","family":"Sinn","sequence":"first","affiliation":[]},{"given":"Florian","family":"Zuleger","sequence":"additional","affiliation":[]},{"given":"Helmut","family":"Veith","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12736-1_15"},{"key":"ref11","article-title":"Parametric strategy iteration","author":"gawlitza","year":"2014","journal-title":"arXiv preprint arXiv 1406 5457"},{"key":"ref12","article-title":"Bound analysis using backward symbolic execution","author":"gulwani","year":"2009","journal-title":"Microsoft Research Tech Rep MSR-TR"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806630"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2362389.2362393"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_50"},{"key":"ref17","article-title":"A simple and scalable static analysis for bound analysis and amortized complexity analysis","author":"sinn","year":"2014","journal-title":"CoRR abs\/1401 5842"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2015.7542264"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/0606031"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.07.009"},{"year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1353445.1353450"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15769-1_8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737955"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_10"},{"year":"0","key":"ref2"},{"year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44522-8_18"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-35767-X_28"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23702-7_22"}],"event":{"name":"2015 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2015,9,27]]},"location":"Austin, TX, USA","end":{"date-parts":[[2015,9,30]]}},"container-title":["2015 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7539356\/7542233\/07542264.pdf?arnumber=7542264","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T16:55:45Z","timestamp":1489769745000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7542264\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2015.7542264","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}