{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T23:07:17Z","timestamp":1781651237390,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642114465","type":"print"},{"value":"9783642114472","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-11447-2_11","type":"book-chapter","created":{"date-parts":[[2010,1,8]],"date-time":"2010-01-08T14:47:12Z","timestamp":1262962032000},"page":"170-186","source":"Crossref","is-referenced-by-count":4,"title":["JASMine: Accessing Java Code from CoreASM"],"prefix":"10.1007","author":[{"given":"Vincenzo","family":"Gervasi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roozbeh","family":"Farahbod","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-44518-8_6","volume-title":"Abstract State Machines - Theory and Applications","author":"M. Anlauff","year":"2000","unstructured":"Anlauff, M.: XASM - an extensible, component-based abstract state machines language. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol.\u00a01912, pp. 69\u201390. Springer, Heidelberg (2000)"},{"key":"11_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/3-540-48257-1_21","volume-title":"Applied Formal Methods - FM-Trends 98","author":"G. Del Castillo","year":"1999","unstructured":"Del Castillo, G.: Towards Comprehensive Tool Support for Abstract State Machines. In: Hutter, D., Traverso, P. (eds.) FM-Trends 1998. LNCS, vol.\u00a01641, pp. 311\u2013325. Springer, Heidelberg (1999)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-46419-0_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Del Castillo","year":"2000","unstructured":"Del Castillo, G., Winter, K.: Model Checking Support for the ASM High-Level Language. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol.\u00a01785, pp. 331\u2013346. Springer, Heidelberg (2000)"},{"key":"11_CR5","unstructured":"Farahbod, R., et al.: The CoreASM Project, \n                  \n                    http:\/\/www.coreasm.org"},{"key":"11_CR6","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: An extensible ASM execution engine. In: Proc. of the 12th Int\u2019l Workshop on Abstract State Machines (2005)"},{"key":"11_CR7","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: An extensible ASM execution engine. Fundamenta Informaticae 77, (March\/April 2007) (to be published)"},{"key":"11_CR8","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: An extensible ASM execution engine. Fundamenta Informaticae, 71\u2013103 (2007)"},{"key":"11_CR9","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U., Ma, G.: CoreASM plug-in architecture (2007) (submitted to the same Festschrift volume)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-36498-6_15","volume-title":"Abstract State Machines 2003. Advances in Theory and Practice","author":"A. Gargantini","year":"2003","unstructured":"Gargantini, A., Riccobene, E., Rinzivillo, S.: Using Spin to generate tests from ASM specifications. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol.\u00a02589, pp. 263\u2013277. Springer, Heidelberg (2003)"},{"key":"11_CR11","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Prentice Hall, Englewood Cliffs (2005)","edition":"3"},{"key":"11_CR12","unstructured":"Memon, M.A.: Specification language design concepts: Aggregation and extensibility in coreasm. Master\u2019s thesis, Simon Fraser University, Burnaby, Canada (April 2006)"},{"key":"11_CR13","unstructured":"Microsoft Corp. Microsoft. NET Framework, \n                  \n                    http:\/\/www.microsoft.com\/net\n                  \n                  \n                 (Last visited December 2006)"},{"key":"11_CR14","unstructured":"Microsoft FSE Group. The Abstract State Machine Language, \n                  \n                    http:\/\/research.microsoft.com\/fse\/asml\/\n                  \n                  \n                 (Last visited June 2003)"},{"key":"11_CR15","unstructured":"Schmid, J.: Executing ASM Specitications with AsmGofer, \n                  \n                    http:\/\/www.tydo.de\/AsmGofer\/\n                  \n                  \n                 (Last visited September 2005)"},{"key":"11_CR16","unstructured":"Sun Microsystems, Inc. The Java 2 Platform Standard Edition 5.0 API Specification. Sun Microsystems, Inc. (2004), \n                  \n                    http:\/\/java.sun.com\/j2se\/1.5.0\/docs\/api"}],"container-title":["Lecture Notes in Computer Science","Rigorous Methods for Software Construction and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11447-2_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:52:21Z","timestamp":1619783541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11447-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642114465","9783642114472"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11447-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}