{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:35:15Z","timestamp":1725798915718},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319111964"},{"type":"electronic","value":"9783319111971"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11197-1_52","type":"book-chapter","created":{"date-parts":[[2014,8,13]],"date-time":"2014-08-13T10:54:29Z","timestamp":1407927269000},"page":"669-683","source":"Crossref","is-referenced-by-count":5,"title":["Converting Ptolemy II Models to SpaceEx for Applied Verification"],"prefix":"10.1007","author":[{"given":"Shiwei","family":"Ran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinzhi","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianzhong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuwei","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"52_CR1","unstructured":"Cheng, C.P., Fristoe, T., Lee, E.A.: Applied verification: The ptolemy approach. Technical Report UCB\/EECS-2008-41, EECS Department, University of California, Berkeley, April 2008 (2008)"},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"Mufti, W.A., Tcherukine, D.C.: Integration of model-checking tools: from discrete to hybrid models. In: IEEE International Multitopic Conference (INMIC 2007), pp. 1\u20134. IEEE (2007)","DOI":"10.1109\/INMIC.2007.4557699"},{"key":"52_CR3","unstructured":"Cotton, S., Frehse, G., Lebeltel, O.: The SpaceEx modeling language (2010)"},{"key":"52_CR4","unstructured":"Frehse, G.: An introduction to spaceex v0. 8 (2010)"},{"key":"52_CR5","unstructured":"Lee, E.A., Davis, I., Muliadi, L., Neuendorffer, S., Tsay, J.: Ptolemy II, Heterogeneous Concurrent Modeling and Design in Java. DTIC Document (2001)"},{"key":"52_CR6","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/BFb0033565","volume-title":"11th International Conference on Analysis and Optimization of Systems Discrete Event Systems","author":"R. Alur","year":"1994","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. In: 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, pp. 329\u2013351. Springer, Heidelberg (1994)"},{"key":"52_CR7","unstructured":"Brooks, C., Lee, E.A., Liu, X., Neuendorffer, S., Zhao, Y., Zheng, H.: Heterogeneous concurrent modeling and design in java (volume 3: Ptolemy ii domains). EECS Department, University of California, Berkeley, UCB\/EECS-2008-37 (2008)"},{"key":"52_CR8","unstructured":"Brooks, C., Lee, E.A., Liu, X., Neuendorffer, S., Zhao, Y., Zheng, H., Bhattacharyya, S.S., Cheong, E., Davis, I., Goel, M.: Heterogeneous concurrent modeling and design in java (volume 2: Ptolemy ii software architecture). DTIC Document (2008)"},{"key":"52_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical computer science\u00a0138, 3\u201334 (1995)","journal-title":"Theoretical computer science"},{"key":"52_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G. Frehse","year":"2011","unstructured":"Frehse, G., Le Guernic, C., Donz\u00e9, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: Scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 379\u2013395. Springer, Heidelberg (2011)"},{"key":"52_CR11","doi-asserted-by":"crossref","unstructured":"Alur, R.: Formal verification of hybrid systems. In: 2011 Proceedings of the International Conference on Embedded Software (EMSOFT), pp. 273\u2013278. IEEE (2011)","DOI":"10.1145\/2038642.2038685"},{"key":"52_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1007\/978-3-642-10373-5_37","volume-title":"Formal Methods and Software Engineering","author":"K. Bae","year":"2009","unstructured":"Bae, K., \u00d6lveczky, P.C., Feng, T.H., Tripakis, S.: Verifying ptolemy II discrete-event models using real-time maude. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 717\u2013736. Springer, Heidelberg (2009)"},{"key":"52_CR13","unstructured":"SpaceEx | State Space Explorer, \n                    \n                      http:\/\/spaceex.imag.fr\/"},{"key":"52_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/978-3-540-31954-2_17","volume-title":"Hybrid Systems: Computation and Control","author":"G. Frehse","year":"2005","unstructured":"Frehse, G.: PHAVer: Algorithmic verification of hybrid systems past hyTech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 258\u2013273. Springer, Heidelberg (2005)"},{"key":"52_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/3-540-63166-6_48","volume-title":"Computer Aided Verification","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HyTech: A model checker for hybrid systems. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 460\u2013463. Springer, Heidelberg (1997)"},{"key":"52_CR16","unstructured":"Passel, \n                    \n                      https:\/\/wiki.cites.illinois.edu\/wiki\/display\/MitraResearch\/Passel"},{"key":"52_CR17","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer (STTT)\u00a01, 134\u2013152 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"52_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-46419-0_12","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Wang","year":"2000","unstructured":"Wang, F.: Efficient data structure for fully symbolic verification of real-time software systems. In: Graf, S. (ed.) TACAS 2000. LNCS, vol.\u00a01785, pp. 157\u2013171. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Algorithms and Architectures for Parallel Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11197-1_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T11:15:12Z","timestamp":1558955712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11197-1_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319111964","9783319111971"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11197-1_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}