{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:14:56Z","timestamp":1729674896040,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/memcod.2015.7340490","type":"proceedings-article","created":{"date-parts":[[2015,12,3]],"date-time":"2015-12-03T16:13:03Z","timestamp":1449159183000},"page":"228-237","source":"Crossref","is-referenced-by-count":0,"title":["From non-zenoness verification to termination"],"prefix":"10.1109","author":[{"given":"Pierre","family":"Ganty","sequence":"first","affiliation":[]},{"given":"Samir","family":"Genaim","sequence":"additional","affiliation":[]},{"given":"Ratan","family":"Lal","sequence":"additional","affiliation":[]},{"given":"Pavithra","family":"Prabhakar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref31","first-page":"299","article-title":"Verifying progress in timed systems","author":"tripakis","year":"1999","journal-title":"Formal Methods for Real-Time and Probabilistic Systems volume 1601 of Lecture Notes in Computer Science"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2141570"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134029"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11603009_13"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.24"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0167-6911(99)00059-6","article-title":"On the regularization of Zeno hybrid automata","volume":"38","author":"egerstedt","year":"1999","journal-title":"Systems and Control Letters"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-22110-1_30","article-title":"Spaceex: Scalable verification of hybrid systems","author":"frehse","year":"2011"},{"key":"ref16","first-page":"397","article-title":"Proving termination starting from the end","volume":"8044 of lncs","author":"ganty","year":"2013","journal-title":"CAV'13 Proc 23rd Int Conf on Computer Aided Verification"},{"key":"ref17","first-page":"120","article-title":"Zenoness detection and timed model checking for real time systems","author":"hadjidj","year":"2007","journal-title":"VECoS '07 Proc of the 1st Int Conf on Verification and Evaluation of Computer and Communication Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"ref28","first-page":"362","article-title":"Epsilon-approximation of differential inclusions","volume":"1066 of lncs","author":"puri","year":"1995","journal-title":"Hybrid Systems"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","author":"alur","year":"1993","journal-title":"Hybrid Systems"},{"key":"ref27","first-page":"133","article-title":"A dynamic algorithm for approximate flow computations","author":"prabhakar","year":"2010"},{"key":"ref3","first-page":"117","article-title":"Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs","volume":"6337 of lncs","author":"alias","year":"2010","journal-title":"SAS '10 Proc 20th Int Static Analysis Symp"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.489079"},{"key":"ref29","article-title":"Piecewise linear quadratic optimal control","author":"rantzer","year":"1999","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_28"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2629488"},{"key":"ref2","first-page":"35","article-title":"Zenoness for timed pushdown automata","author":"abdulla","year":"2013","journal-title":"Proceedings 15th International Workshop on Verification of Infinite-State Systems INFINITY 2013"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1137\/050645166"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30538-5_6"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00166-6"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.592"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184191"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2208292"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1999.827900"},{"key":"ref26","article-title":"A method and a tool for automatic verification of region stability for hybrid systems","author":"podelski","year":"2007","journal-title":"Technical Report MPI-I-2007–2-001 Max-Planck-Institut fur Informatik"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679413"}],"event":{"name":"2015 ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)","start":{"date-parts":[[2015,9,21]]},"location":"Austin, TX, USA","end":{"date-parts":[[2015,9,23]]}},"container-title":["2015 ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7329076\/7340456\/07340490.pdf?arnumber=7340490","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T20:59:35Z","timestamp":1498251575000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7340490\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/memcod.2015.7340490","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}