{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T14:13:11Z","timestamp":1725977591549},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319912707"},{"type":"electronic","value":"9783319912714"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91271-4_4","type":"book-chapter","created":{"date-parts":[[2018,5,7]],"date-time":"2018-05-07T14:32:55Z","timestamp":1525703575000},"page":"39-54","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Paulweber","sequence":"first","affiliation":[]},{"given":"Emmanuel","family":"Pescosta","sequence":"additional","affiliation":[]},{"given":"Uwe","family":"Zdun","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,8]]},"reference":[{"key":"4_CR1","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide - Specification and Validation Methods, pp. 9\u201336. Oxford University Press Inc., New York (1995)"},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y Gurevich","year":"2000","unstructured":"Gurevich, Y.: Sequential abstract-state machines capture sequential algorithms. ACM Trans. Comput. Logic (TOCL) 1(1), 77\u2013111 (2000)","journal-title":"ACM Trans. Comput. Logic (TOCL)"},{"issue":"1","key":"4_CR3","first-page":"2","volume":"8","author":"E B\u00f6rger","year":"2002","unstructured":"B\u00f6rger, E.: The origins and the development of the ASM method for high level system design and analysis. J. Univ. Comput. Sci. 8(1), 2\u201374 (2002)","journal-title":"J. Univ. Comput. Sci."},{"key":"4_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine: Definition, Verification, Validation.","author":"RF St\u00e4rk","year":"2001","unstructured":"St\u00e4rk, R.F., Schmid, J., B\u00f6rger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/978-3-642-59495-3"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Sasaki, H.: A formal semantics for Verilog-VHDL simulation interoperability by abstract state machine. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 1999. ACM, New York (1999)","DOI":"10.1145\/307418.307520"},{"key":"4_CR6","unstructured":"Lezuo, R.: Scalable translation validation; tools, techniques and framework. Ph.D. thesis, Wien Technische Universit\u00e4t Dissertation (2014)"},{"key":"4_CR7","unstructured":"Barnett, M., Schulte, W.: Spying on components: a runtime verification technique. In: Proceedings of the Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2001, pp. 7\u201313 (2001)"},{"key":"4_CR8","series-title":"IFIP \u2014 The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-0-387-35599-3_3","volume-title":"Design and Analysis of Distributed Embedded Systems","author":"U Gl\u00e4sser","year":"2002","unstructured":"Gl\u00e4sser, U., Veanes, M.: Universal plug and play machine models. In: Kleinjohann, B., Kim, K.H., Kleinjohann, L., Rettberg, A. (eds.) Design and Analysis of Distributed Embedded Systems. ITIFIP, vol. 91, pp. 21\u201330. Springer, Boston, MA (2002). https:\/\/doi.org\/10.1007\/978-0-387-35599-3_3"},{"issue":"4","key":"4_CR9","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1145\/296333.296345","volume":"3","author":"JK Huggins","year":"1998","unstructured":"Huggins, J.K., Campenhout, D.V.: Specification and verification of pipelining in the ARM2 RISC microprocessor. ACM Trans. Des. Autom. Electron. Syst. (TODAES) 3(4), 563\u2013580 (1998)","journal-title":"ACM Trans. Des. Autom. Electron. Syst. (TODAES)"},{"key":"4_CR10","volume-title":"Software Language Engineering: Creating Domain-Specific Languages using Metamodels","author":"AG Kleppe","year":"2009","unstructured":"Kleppe, A.G.: Software Language Engineering: Creating Domain-Specific Languages using Metamodels. Addisson-Wesley, Boston (2009)"},{"key":"4_CR11","unstructured":"V\u00f6lter, M.: Generic tools, specific languages. Ph.D. thesis, Delft University of Technology, June 2014"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Lezuo, R., Paulweber, P., Krall, A.: CASM - optimized compilation of abstract state machines. In: SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), pp. 13\u201322. ACM (2014)","DOI":"10.1145\/2666357.2597813"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-319-33600-8_17","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"P Paulweber","year":"2016","unstructured":"Paulweber, P., Zdun, U.: A model-based transformation approach to reuse and retarget CASM specifications. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 250\u2013255. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33600-8_17"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-30101-1_11","volume-title":"Formal Methods for Components and Objects","author":"Y Gurevich","year":"2004","unstructured":"Gurevich, Y., Rossman, B., Schulte, W.: Semantic essence of AsmL: extended abstract. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 240\u2013259. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30101-1_11"},{"issue":"1\u20132","key":"4_CR15","first-page":"71","volume":"77","author":"R Farahbod","year":"2007","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: an extensible ASM execution engine. Fundam. Inf. 77(1\u20132), 71\u2013104 (2007)","journal-title":"Fundam. Inf."},{"issue":"12","key":"4_CR16","first-page":"1949","volume":"14","author":"A Gargantini","year":"2008","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based language and a simulation engine for abstract state machines. J. Univ. Comput. Sci. 14(12), 1949\u20131983 (2008)","journal-title":"J. Univ. Comput. Sci."},{"key":"4_CR17","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1007\/978-3-642-18216-7"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: a compilation framework for lifelong program analysis & transformation. In: Code Generation and Optimization, pp. 75\u201386. IEEE (2004)","DOI":"10.1109\/CGO.2004.1281665"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-319-33600-8_14","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"P Arcaini","year":"2016","unstructured":"Arcaini, P., Bonfanti, S., Dausend, M., Gargantini, A., Mashkoor, A., Raschke, A., Riccobene, E., Scandurra, P., Stegmaier, M.: Unified Syntax for abstract state machines. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 231\u2013236. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33600-8_14"},{"key":"4_CR20","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. 1912, pp. 69\u201390. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44518-8_6"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Lezuo, R., Krall, A.: Using the CASM language for simulator synthesis and model verification. In: Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, p. 6. ACM (2013)","DOI":"10.1145\/2432516.2432522"},{"key":"4_CR22","unstructured":"Lezuo, R., Barany, G., Krall, A.: CASM: implementing an abstract state machine based programming language. In: Software Engineering (Workshops), pp. 75\u201390 (2013)"},{"key":"4_CR23","unstructured":"Schmid, J.: Introduction to AsmGofer. http:\/\/www.tydo.de\/AsmGofer (2001)"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1007\/3-540-45319-9_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G Castillo Del","year":"2001","unstructured":"Del Castillo, G.: The ASM workbench: a tool environment for computer-aided analysis and validation of abstract state machine models. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 578\u2013581. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45319-9_40"},{"issue":"11","key":"4_CR25","first-page":"1068","volume":"7","author":"J Schmid","year":"2001","unstructured":"Schmid, J.: Compiling abstract state machines to C++. J. Univ. Comput. Sci. 7(11), 1068\u20131087 (2001)","journal-title":"J. Univ. Comput. Sci."},{"key":"4_CR26","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-319-57288-8_21","volume-title":"NFM 2017","author":"S Bonfanti","year":"2017","unstructured":"Bonfanti, S., Carissoni, M., Gargantini, A., Mashkoor, A.: Asm2C++: a tool for code generation from abstract state machines to arduino. In: Barrett, C., Davies, M., Kahsai, T. (eds.) NFM 2017. LNCS, vol. 10227, pp. 295\u2013301. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57288-8_21"},{"key":"4_CR27","unstructured":"Merrill, J.: GENERIC and GIMPLE: a new tree representation for entire functions. In: Proceedings of the 2003 GCC Developers\u2019 Summit, pp. 171\u2013179 (2003)"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91271-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,17]],"date-time":"2019-10-17T16:50:35Z","timestamp":1571331035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91271-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319912707","9783319912714"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91271-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}