{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:51:01Z","timestamp":1730281861649,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/memcod.2009.5185390","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T19:09:22Z","timestamp":1250017762000},"page":"141-150","source":"Crossref","is-referenced-by-count":2,"title":["Combining control and data abstraction in the verification of hybrid systems"],"prefix":"10.1109","author":[{"given":"Xavier","family":"Briand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Jeannet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/9.664156"},{"key":"17","article-title":"verification of linear hybrid systems by means of convex approximations","author":"halbwachs","year":"1994","journal-title":"SAS'94 volume 864 of LNCS"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008678014487"},{"key":"15","article-title":"construction of abstract state graphs with pvs","author":"graf","year":"1997","journal-title":"CAV'97 volume 1254 of LNCS"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_30"},{"key":"14","article-title":"reps. guided static analysis","author":"gopan","year":"2007","journal-title":"SAS'07 volume 4634 of LNCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55844-6_142"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"journal-title":"Convex Analysis and Minimization Algorithms","year":"1996","author":"hiriart-urruty","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1995.495196"},{"key":"22","article-title":"representing and approximating transfer functions in abstract interpretation of hetereogeneous datatypes","author":"jeannet","year":"2002","journal-title":"SAS'02 volume 2477 of LNCS"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024480913162"},{"key":"24","article-title":"dynamic partitioning in analyses of numerical properties","author":"jeannet","year":"1999","journal-title":"SAS'99 volume 1694 of LNCS"},{"key":"25","article-title":"ellipsoidal techniques for reachability analysis","author":"kurzhanski","year":"2000","journal-title":"Hybrid Systems Computation and Control HSCC'00 volume 1790 of LNCS"},{"key":"3","article-title":"counter-example guided predicate abstraction of hybrid systems","author":"alur","year":"2003","journal-title":"TACAS'03 volume 2619 of LNCS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90030-7"},{"volume":"1165","journal-title":"Formal Methods for Industrial Applications Specifying and Progr the Steam Boiler","year":"1996","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008699807402"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00228-B"},{"key":"5","article-title":"the d\/dt tool for verification of hybrid systems","author":"asarin","year":"2002","journal-title":"Computer Aided Verification CAV'02 volume 2404 of LNCS"},{"key":"4","article-title":"approximate reachability analysis of piecewise-linear dynamical systems","author":"asarin","year":"2000","journal-title":"Hybrid Systems Computation and Control HSCC'00 volume 1790 of LNCS"},{"key":"9","article-title":"counterexample-guided abstraction refinement","author":"clarke","year":"2000","journal-title":"CAV'00 volume 1855 of LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/332740.332746"}],"event":{"name":"2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE)","start":{"date-parts":[[2009,7,13]]},"location":"Cambridge, MA, USA","end":{"date-parts":[[2009,7,15]]}},"container-title":["2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5173407\/5185370\/05185390.pdf?arnumber=5185390","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T04:41:22Z","timestamp":1489812082000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5185390\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/memcod.2009.5185390","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}