{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:00:15Z","timestamp":1725454815244},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/emsoft.2013.6658587","type":"proceedings-article","created":{"date-parts":[[2013,11,21]],"date-time":"2013-11-21T15:52:14Z","timestamp":1385049134000},"source":"Crossref","is-referenced-by-count":40,"title":["Verifying Simulink diagrams via a Hybrid Hoare Logic Prover"],"prefix":"10.1109","author":[{"given":"Liang","family":"Zou","sequence":"first","affiliation":[]},{"given":"Naijun","family":"Zhany","sequence":"additional","affiliation":[]},{"given":"Shuling","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Franzle","sequence":"additional","affiliation":[]},{"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"511","article-title":"A formal description of hybrid systems","author":"zhou","year":"1996","journal-title":"Hybrid Systems"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39721-9_5"},{"key":"18","first-page":"432","article-title":"A mean-value duration calculus","author":"zhou","year":"1994","journal-title":"A Classical Mind Essays in Honour of C A R Hoare"},{"key":"15","article-title":"Formal semantics and analysis methods for simulink stateow models","author":"tiwari","year":"2002","journal-title":"Technical Report"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1113830.1113834"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-12896-4_374"},{"key":"14","article-title":"Verified simulation and optimization of dynimc systems with friction and hysteresis","author":"rauh","year":"2011","journal-title":"Proc of ENOC 2011"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038659"},{"key":"12","first-page":"606","article-title":"Tool for translating Simulink models into input language of a model checker","author":"meenakshi","year":"2006","journal-title":"ICFEM'06 Volume 4260 of LNCS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/11526841_18"},{"key":"20","article-title":"Verifying chinese train control system under a combined scenario by theorem proving","author":"zou","year":"2013","journal-title":"VSTTE"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.055"},{"key":"1","year":"2013","journal-title":"Simulink User's Guide"},{"key":"10","first-page":"1","article-title":"A calculus for hybrid CSP","author":"liu","year":"2010","journal-title":"APLAS'10"},{"key":"7","first-page":"171","article-title":"From CSP to hybrid systems","author":"he","year":"1994","journal-title":"A Classical Mind Essays in Honour of C A R Hoare"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0049-7"},{"key":"5","first-page":"1","article-title":"Statistical model checking for cyber-physical systems","author":"clarke","year":"2011","journal-title":"ATVA'11 Volume 6996 of LNCS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-009-0108-9"},{"key":"9","author":"hoare","year":"1985","journal-title":"Communicating Sequential Processes"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICONS.2008.17"}],"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\/06658587.pdf?arnumber=6658587","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T01:38:06Z","timestamp":1490233086000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6658587\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2013.6658587","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}