{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,29]],"date-time":"2025-11-29T07:49:54Z","timestamp":1764402594659},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/emsoft.2013.6658604","type":"proceedings-article","created":{"date-parts":[[2013,11,21]],"date-time":"2013-11-21T15:52:14Z","timestamp":1385049134000},"source":"Crossref","is-referenced-by-count":54,"title":["Verification of annotated models from executions"],"prefix":"10.1109","author":[{"given":"Parasara Sridhar","family":"Duggirala","sequence":"first","affiliation":[]},{"given":"Sayan","family":"Mitra","sequence":"additional","affiliation":[]},{"given":"Mahesh","family":"Viswanathan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967749"},{"key":"17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","author":"liberzon","year":"2003","journal-title":"Switching in Systems and Control"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1016\/S0005-1098(98)00019-3","article-title":"On contraction analysis for non-linear systems","author":"lohmiller","year":"1998","journal-title":"Automatica"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_27"},{"key":"16","article-title":"Generating and analyzing symbolic traces of simulink\/stateflow models","author":"kanade","year":"2009","journal-title":"C A V"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185676"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2011.6096122"},{"key":"11","article-title":"Verification using simulation","author":"girard","year":"2006","journal-title":"H S C C"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"21","article-title":"Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems","author":"nghiem","year":"2010","journal-title":"H S C C"},{"key":"20","article-title":"Vnode-lp: Validated solutions for initial value problem for odes","author":"nedialkov","year":"2006","journal-title":"Technical Report"},{"key":"22","author":"prajna","year":"2004","journal-title":"SOSTOOLS Sum of squares optimization toolbox for Matlab"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.927682"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/BF00229304"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.12.012"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/9.989067"},{"key":"10","article-title":"Delta-complete decision procedures for satisfiability over the reals","author":"gao","year":"2012","journal-title":"I J C A R"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"7","article-title":"Breach, a toolbox for verification and parameter synthesis of hybrid systems","author":"donze?","year":"2010","journal-title":"C A V"},{"key":"6","article-title":"Statistical model checking for cyber-physical systems","author":"clarke","year":"2011","journal-title":"A T V A"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.70"},{"key":"4","article-title":"Ariadne: A framework for reachability analysis of hybrid automata","author":"balluchi","year":"2006","journal-title":"M T N S"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.69"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_16"}],"event":{"name":"2013 International \u00a0Conference on Embedded \u00a0Software (EMSOFT)","location":"Montreal, QC, Canada","start":{"date-parts":[[2013,9,29]]},"end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 Proceedings of the International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6648479\/6658572\/06658604.pdf?arnumber=6658604","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T02:53:59Z","timestamp":1498100039000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6658604\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2013.6658604","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}