{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:04:37Z","timestamp":1729649077763,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iri.2004.1431508","type":"proceedings-article","created":{"date-parts":[[2005,5,24]],"date-time":"2005-05-24T10:52:03Z","timestamp":1116931923000},"page":"487-492","source":"Crossref","is-referenced-by-count":7,"title":["Model-based testing and monitoring for hybrid embedded systems"],"prefix":"10.1109","author":[{"family":"Li Tan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Jesung Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Sokolsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Insup Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"MI2 ST Toolkit","year":"2003","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032003"},{"key":"18","article-title":"Model-based self-monitoring embedded programs","author":"tan","year":"2004","journal-title":"submitted for publication"},{"key":"15","article-title":"Runtime assurance based on formal specifications","author":"lee","year":"1999","journal-title":"Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications"},{"key":"16","article-title":"Hybrid I\/O automata","volume":"1066","author":"lynch","year":"1995","journal-title":"Hybrid Systems III Verification and Control Proceedings of the DIMACS\/SYCON Workshop Volume 1066 of Lecture Notes in Computer Science"},{"key":"13","article-title":"Modular code generation from hybrid automata based on data dependency","author":"kim","year":"2003","journal-title":"The 9th IEEE Real-Time and Embedded Technology and Applications Symposium 2003 Proceedings"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(04)00254-3","article-title":"Java-MaC: A run-time assurance tool for Java programs","author":"kim","year":"2001","journal-title":"Proceedings of Workshop on Runtime Verification (RV'2001) Volume 55 of Electronic Notes in Theoretical Computer Science"},{"journal-title":"Reactis","year":"2003","key":"11"},{"journal-title":"Simulink Stateflow and Real-time Workshop","year":"0","key":"12"},{"key":"3","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/3-540-45351-2_7","article-title":"Compositional refinement for hierarchical hybrid systems","author":"alur","year":"2001","journal-title":"Proceedings of Hybrid Systems Computation and Control"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805817"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989841"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239116"},{"key":"5","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-48983-5_10","article-title":"Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations","author":"chutinan","year":"1999","journal-title":"Hybrid Systems Computation and Control Second International Workshop"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780756"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46002-0_24","article-title":"Synthesizing monitors for safety properties","author":"havelund","year":"2002","journal-title":"Proceedings of International Conference on Tools and Algorithms for Construction and Analysis of Systems"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00253-1"}],"event":{"name":"2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004.","location":"Las Vegas, NV, USA"},"container-title":["Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9790\/30875\/01431508.pdf?arnumber=1431508","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T07:41:45Z","timestamp":1550734905000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1431508\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iri.2004.1431508","relation":{},"subject":[]}}