{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:13:36Z","timestamp":1725747216043},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397172"},{"type":"electronic","value":"9783642397189"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39718-9_25","type":"book-chapter","created":{"date-parts":[[2013,8,30]],"date-time":"2013-08-30T03:01:54Z","timestamp":1377831714000},"page":"427-444","source":"Crossref","is-referenced-by-count":1,"title":["Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration"],"prefix":"10.1007","author":[{"given":"Steffen","family":"Ziegert","sequence":"first","affiliation":[]},{"given":"Christian","family":"Heinzemann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"25_CR1","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. Theor. Comput. Sci.\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: Proc. of the 28th Intern. Conf. on Software Engineering (ICSE). ACM Press, Shanghai (May 2006)","DOI":"10.1145\/1134285.1134297"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J.E. Bengtsson","year":"2004","unstructured":"Bengtsson, J.E., Yi, W.: Timed automata: Semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2004. LNCS, vol.\u00a03098, pp. 87\u2013124. Springer, Heidelberg (2004)"},{"key":"25_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-12029-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2010","unstructured":"Boronat, A., \u00d6lveczky, P.C.: Formal real-time model transformations in MOMENT2. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 29\u201343. Springer, Heidelberg (2010)"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"B.H.C. Cheng","year":"2009","unstructured":"Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: A research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 1\u201326. Springer, Heidelberg (2009)"},{"issue":"1","key":"25_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00450-011-0184-y","volume":"28","author":"T. Eckardt","year":"2013","unstructured":"Eckardt, T., Heinzemann, C., Henkler, S., Hirsch, M., Priesterjahn, C., Sch\u00e4fer, W.: Modeling and verifying dynamic communication structures based on graph transformations. Computer Science - Research and Development\u00a028(1), 3\u201322 (2013)","journal-title":"Computer Science - Research and Development"},{"key":"25_CR7","series-title":"Foundations","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1142\/9789812384720_0004","volume-title":"Handbook of graph grammars and computing by graph transformation","author":"H. Ehrig","year":"1997","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Handbook of graph grammars and computing by graph transformation. Foundations, vol.\u00a01, pp. 247\u2013312. World Scientific Publishing Co., Inc., River Edge (1997)"},{"key":"25_CR8","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer (2006)"},{"key":"25_CR9","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1995","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae\u00a026, 287\u2013313 (1995)","journal-title":"Fundamenta Informaticae"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/11691617_19","volume-title":"Model Checking Software","author":"H. Kastenberg","year":"2006","unstructured":"Kastenberg, H., Rensink, A.: Model checking dynamic states in groove. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 299\u2013305. Springer, Heidelberg (2006)"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s00165-009-0114-y","volume":"22","author":"J. Lara de","year":"2010","unstructured":"de Lara, J., Vangheluwe, H.: Automating the transformation-based analysis of visual languages. Form. Asp. Comput.\u00a022, 297\u2013326 (2010)","journal-title":"Form. Asp. Comput."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"de Lara, J., Guerra, E., Boronat, A., Heckel, R., Torrini, P.: Domain-specific discrete event modelling and simulation using graph transformation. Software and Systems Modeling (2012), doi:10.1007\/s10270-012-0242-3","DOI":"10.1007\/s10270-012-0242-3"},{"issue":"4","key":"25_CR13","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/BF03194256","volume":"13","author":"L. Michelon","year":"2007","unstructured":"Michelon, L., da Costa, S.A., Ribeiro, L.: Formal specification and verification of real-time systems using graph grammars. J. Braz. Comp. Soc.\u00a013(4), 51\u201368 (2007)","journal-title":"J. Braz. Comp. Soc."},{"issue":"1-2","key":"25_CR14","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"P.C. \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation\u00a020(1-2), 161\u2013196 (2007)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Rivera, J.E., Duran, F., Vallecillo, A.: A graphical approach for modeling time-dependent behavior of DSLs. Visual Languages - Human Centric Computing, 51\u201355 (2009)","DOI":"10.1109\/VLHCC.2009.5295300"},{"key":"25_CR16","unstructured":"Suck, J., Heinzemann, C., Sch\u00e4fer, W.: Formalizing model checking on timed graph transformation systems. Tech. Rep. tr-ri-11-316, Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn (September 2011)"},{"key":"25_CR17","unstructured":"Ziegert, S., Heinzemann, C.: Durative graph transformation rules. Tech. Rep. tr-ri-13-329, Heinz Nixdorf Institute, University of Paderborn (March 2013)"},{"key":"25_CR18","unstructured":"Ziegert, S., Wehrheim, H.: Temporal reconfiguration plans for self-adaptive systems. In: Software Engineering (SE 2013). LNI, Gesellschaft f\u00fcr Informatik e.V, GI (February 2013)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2013"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39718-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,2]],"date-time":"2020-08-02T20:40:33Z","timestamp":1596400833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39718-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397172","9783642397189"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39718-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}