{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:27:55Z","timestamp":1725550075542},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292098"},{"type":"electronic","value":"9783540319696"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11562948_11","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T10:06:40Z","timestamp":1128938800000},"page":"114-128","source":"Crossref","is-referenced-by-count":5,"title":["Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach"],"prefix":"10.1007","author":[{"given":"A.","family":"Dubey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"X.","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. J.","family":"Koo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Henzinger, T.: The theory of hybrid automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, pp. 278\u2013292 (1996)","key":"11_CR1","DOI":"10.1109\/LICS.1996.561342"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Majumdar, R.: A classification of symbolic transition systems. In: Proceedings of the 17th International Conference on Theoretical Aspects of Computer Science, pp. 13\u201334 (2000)","key":"11_CR3","DOI":"10.1007\/3-540-46541-3_2"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-540-31954-2_31","volume-title":"Hybrid Systems: Computation and Control","author":"I. Mitchell","year":"2005","unstructured":"Mitchell, I., Templeton, J.A.: A toolbox of Hamilton-Jacobi solvers for analysis of nondeterministic continuous and hybrid systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 480\u2013494. Springer, Heidelberg (2005)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45657-0_30","volume-title":"Computer Aided Verification","author":"E. Asarin","year":"2002","unstructured":"Asarin, E., Dang, T., Maler, O.: The d\/dt tool for verification of hybrid systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 365\u2013370. Springer, Heidelberg (2002)"},{"unstructured":"Karsai, G., Agrawal, A., Ledeczi, A.: A metamodel-driven MDA process and its tools. In: Workshop in Software Model Engineering (2003)","key":"11_CR6"},{"doi-asserted-by":"crossref","unstructured":"Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. Proceedings of the IEEE, 145\u2013164 (2003)","key":"11_CR7","DOI":"10.1109\/JPROC.2002.805824"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/11730637_37","volume-title":"Hybrid Systems: Computation and Control","author":"A. Pinto","year":"2006","unstructured":"Pinto, A., Sangiovanni-Vincentelli, A.L., Carloni, L.P., Passerone, R.: Interchange formats for hybrid systems: Review and proposal. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 526\u2013541. Springer, Heidelberg (2006)"},{"unstructured":"Ledeczi, A., Maroti, M., Bakay, A., et al.: Generic modeling environment. In: International Workshop on Intelligent Signal Processing (2001)","key":"11_CR9"},{"doi-asserted-by":"crossref","unstructured":"Sztipanovits, J., Karsai, G., Biegl, C., Bapty, T., Ledeczi, A., Malloy, D.: Multigraph: an architecture for model-integrated computing. In: Proceedings of the 1st International Conference on Engineering of Complex Computer Systems, pp. 361\u2013368 (1995)","key":"11_CR10","DOI":"10.1109\/ICECCS.1995.479359"},{"doi-asserted-by":"crossref","unstructured":"Sztipanovits, J., Karsai, G., Franke, H.: Model-integrated program synthesis environment. In: Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems, pp. 348\u2013355 (1996)","key":"11_CR11","DOI":"10.1109\/ECBS.1996.494548"},{"key":"11_CR12","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"2001","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 2nd edn. The MIT Press, Cambridge (2001)","edition":"2"},{"unstructured":"Lygeros, J.: Lecture Notes on Hybrid Systems, Cambridge (2003)","key":"11_CR13"},{"key":"11_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/b98879","volume-title":"Level Set Methods and Dynamic Implicit Surfaces","author":"S. Osher","year":"2003","unstructured":"Osher, S., Fedkiw, R.: Level Set Methods and Dynamic Implicit Surfaces. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Rantzer, A., Johansson, M.: Piecewise linear quadratic optimal control. IEEE Transactions on Automatic Control, 629\u2013637 (2000)","key":"11_CR15","DOI":"10.1109\/9.847100"},{"unstructured":"Clark, T., Evans, A., Kent, S., Sammut, P.: The mmf approach to engineering object-oriented design languages. In: Workshop on Language Descriptions, Tools and Applications, LDTA, Genova, Italy (2001), Available via \n                    \n                      http:\/\/www.puml.org","key":"11_CR16"},{"doi-asserted-by":"crossref","unstructured":"Chen, K., Sztipanovits, J., Neema, S.: Toward a semantic anchoring infrastructure for domain-specific modeling languages. In: Fifth International Conference on Embedded Software (EMSOFT05), Jersey City, New Jersey (September 2005) (Accepted for publication)","key":"11_CR17","DOI":"10.1145\/1086228.1086236"},{"unstructured":"Conrad, R.S., et al.: Object Constraint Language Specification ver 1.1 (September 1997)","key":"11_CR18"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562948_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:14:31Z","timestamp":1619493271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562948_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292098","9783540319696"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11562948_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}