{ "labelLang" : "hun", "responseDate" : "2024-03-29 14:58", "content" : { "otype" : "JournalArticle", "mtid" : 23929074, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2018-09-20T13:41:08.000+0000", "deleted" : false, "oldId" : 13929074, "lastRefresh" : "2023-05-16T14:56:16.576+0000", "lastModified" : "2023-05-16T14:55:22.722+0000", "created" : "2013-03-13T16:37:00.000+0000", "creator" : { "otype" : "Admin", "mtid" : 10018988, "link" : "/api/admin/10018988", "label" : "Kollár István (BME admin 5 - INAKTÍV)", "familyName" : "Kollár", "givenName" : "István", "published" : true, "oldId" : 10018988, "snippet" : true }, "lastDuplumOK" : "2023-05-16T14:55:24.131+0000", "lastDuplumSearch" : "2023-05-16T14:55:24.131+0000", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 1268360, "link" : "/api/subtype/1268360", "label" : "Konferenciaközlemény (Folyóiratcikk)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper in journal", "docType" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "listPosition" : 109, "published" : true, "oldId" : 1268360, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Giese, H", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 33663345, "link" : "/api/authorship/33663345", "label" : "Giese, H", "listPosition" : 1, "share" : 0.0, "first" : true, "last" : false, "familyName" : "Giese", "givenName" : "H", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 54640422, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 33663346, "link" : "/api/authorship/33663346", "label" : "Lambers, L", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Lambers", "givenName" : "L", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 54640421, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 33663347, "link" : "/api/authorship/33663347", "label" : "Becker, B", "listPosition" : 3, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Becker", "givenName" : "B", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 54640420, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 33663348, "link" : "/api/authorship/33663348", "label" : "Hildebrandt, S", "listPosition" : 4, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Hildebrandt", "givenName" : "S", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 54640419, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 33663349, "link" : "/api/authorship/33663349", "label" : "Neumann, S", "listPosition" : 5, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Neumann", "givenName" : "S", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 54640418, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 33663350, "link" : "/api/authorship/33663350", "label" : "Vogel, T", "listPosition" : 6, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Vogel", "givenName" : "T", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 54640417, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 33663351, "link" : "/api/authorship/33663351", "label" : "Wätzoldt, S", "listPosition" : 7, "share" : 0.0, "first" : false, "last" : true, "familyName" : "Wätzoldt", "givenName" : "S", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 54640416, "snippet" : true } ], "title" : "Graph transformations for MDE, adaptation, and models at runtime", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 7712318, "link" : "/api/publicationidentifier/7712318", "label" : "DOI: 10.1007/978-3-642-30982-3_5", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "validState" : "NO", "idValue" : "10.1007/978-3-642-30982-3_5", "realUrl" : "https://doi.org/10.1007/978-3-642-30982-3_5", "published" : false, "oldId" : 6213709, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 7712317, "link" : "/api/publicationidentifier/7712317", "label" : "Scopus: 84864367793", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "84864367793", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84864367793", "published" : false, "oldId" : 6213708, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 13642797, "link" : "/api/publicationidentifier/13642797", "label" : "Teljes dokumentum: https://dl.acm.org/citation.cfm?id=2367353", "source" : { "otype" : "PlainSource", "mtid" : 39, "link" : "/api/publicationsource/39", "label" : "Teljes dokumentum", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Teljes dokumentum", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 39, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "https://dl.acm.org/citation.cfm?id=2367353", "realUrl" : "https://dl.acm.org/citation.cfm?id=2367353", "published" : false, "oldId" : 16688494, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 7712319, "link" : "/api/publicationidentifier/7712319", "label" : "Google scholar: 1020595858500752412", "source" : { "otype" : "PlainSource", "mtid" : 12, "link" : "/api/publicationsource/12", "label" : "Google scholar", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Google scholar", "linkPattern" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=@@@", "publiclyVisible" : true, "published" : true, "oldId" : 12, "snippet" : true }, "validState" : "NO", "idValue" : "1020595858500752412", "realUrl" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=1020595858500752412", "published" : false, "oldId" : 6213710, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 7712320, "link" : "/api/publicationidentifier/7712320", "label" : "Google scholar hash: HBQspYbiKQ4J", "source" : { "otype" : "PlainSource", "mtid" : 13, "link" : "/api/publicationsource/13", "label" : "Google scholar hash", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Google scholar hash", "nameEng" : "Google scholar hash", "linkPattern" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=@@@", "publiclyVisible" : true, "published" : true, "oldId" : 13, "snippet" : true }, "validState" : "NO", "idValue" : "HBQspYbiKQ4J", "realUrl" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=HBQspYbiKQ4J", "published" : false, "oldId" : 6213711, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 3029, "link" : "/api/journal/3029", "label" : "LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349", "pIssn" : "0302-9743", "eIssn" : "1611-3349", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "oldId" : 3029, "snippet" : true }, "volume" : "7320", "firstPage" : "137", "lastPage" : "191", "firstPageOrInternalIdForSort" : "137", "pageLength" : 55, "publishedYear" : 2012, "digital" : null, "printed" : null, "sourceYear" : 2013, "packet" : "bme-pa-migracio-20014-06-20-v01", "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2023-05-16", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "independentCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 2, "citedCount" : 2, "referenceList" : "Lehman, M.M., Belady, L.A., (1985) Program Evolution: Processes of Software Change, , Academic Press Professional, Inc., San Diego;\nLehman, M.M., Laws of Software Evolution Revisited (1996) LNCS, 1149, pp. 108-124. , Montangero, C. (ed.) EWSPT 1996. Springer, Heidelberg;\nParnas, D.L., Software aging (1994) ICSE 1994: Proceedings of the 16th International Conference on Software Engineering, pp. 279-287. , IEEE Computer Society Press, Los Alamitos;\nMens, T., Demeyer, S., (2008) Software Evolution, , Springer;\nMartin, R., Osborne, W., (1983) Guidance of Software Maintenance, , Technical Report NBS Pub. 500-129, U.S. Nat. Bureau of Standards December;\nChikofsky, E.J., Cross II, J.H., Reverse Engineering and Design Recovery: A Taxonomy (1990) IEEE Software, 7 (1), pp. 13-17;\nMens, T., Tourwe, T., A survey of software refactoring (2004) IEEE Transactions on Software Engineering, 30 (2), pp. 126-139;\nKephart, J.O., Chess, D., The Vision of Autonomic Computing (2003) Computer, 36 (1), pp. 41-50;\nBrown, P., Bovey, J., Chen, X., Context-aware applications: From the laboratory to the marketplace (1997) IEEE Personal Communications, 4 (5), pp. 58-64;\nNorthrop, L., Feiler, P.H., Gabriel, R.P., Linger, R., Longstaff, T., Kazman, R., Klein, M., Schmidt, D., (2006) Ultra-Large-Scale Systems: The Software Challenge of the Future, , Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA;\nSztipanovits, J., Karsai, G., Bapty, T., Self-adaptive software for signal processing (1998) Commun. ACM, 41 (5), pp. 66-73;\nOreizy, P., Gorlick, M.M., Taylor, R., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Wolf, A.L., An Architecture-Based Approach to Self-Adaptive Software (1999) IEEE Intelligent Systems, 14 (3), pp. 54-62;\nMusliner, D.J., Goldman, R.P., Pelican, M.J., Krebsbach, K.D., Self-Adaptive Software for Hard Real-Time Environments (1999) IEEE Inteligent Systems, 14 (4). , July;\nRobertson, P., Shrobe, H.E., Laddaga, R., IWSAS 2000 (2001) LNCS, 1936. , Springer, Heidelberg;\nLaddaga, R., Shrobe, H.E., Robertson, P., IWSAS 2001 (2003) LNCS, 2614. , Springer, Heidelberg;\nCheng, B.H.C., De Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Whittle, J., Software Engineering for Self- Adaptive Systems: A Research Roadmap (2009) LNCS, 5525, pp. 1-26. , Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. Springer, Heidelberg;\nCheng, B.H.C., De Lemos, R., Giese, H., Inverardi, P., Magee, J., Self- Adaptive Systems (2009) LNCS, 5525. , Springer, Heidelberg;\nSalehie, M., Tahvildari, L., Self-adaptive software: Landscape and research challenges (2009) ACM Trans. Auton. Adapt. Syst., 4 (2), pp. 1-42;\nMaes, P., Concepts and experiments in computational reflection (1987) Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 1987, pp. 147-155. , ACM, New York;\nBrun, Y., Di Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H., Litoiu, M., Müller, H., Shaw, M., Engineering Self-Adaptive Systems through Feedback Loops (2009) LNCS, 5525, pp. 48-70. , Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. Springer, Heidelberg;\nKramer, J., Magee, J., Self-Managed Systems: An Architectural Challenge (2007) FOSE 2007: Future of Software Engineering, pp. 259-268. , IEEE Computer Society, Washington, DC;\nGarlan, D., Cheng, S.W., Huang, A.C., Schmerl, B., Steenkiste, P., Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure (2004) Computer, 37 (10), pp. 46-54;\nGeorgas, J.C., Hoek, A., Taylor, R.N., Using Architectural Models to Manage and Visualize Runtime Adaptation (2009) Computer, 42 (10), pp. 52-60;\nBlair, G., Bencomo, N., France, R.B., Models@run.time: Guest Editors' Introduction (2009) Computer, 42 (10), pp. 22-27;\nBaresi, L., Ghezzi, C., The disappearing boundary between development-time and run-time (2010) Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research (FoSER 2010), pp. 17-22. , ACM, New York;\nGacek, C., Giese, H., Hadar, E., Friends or Foes? - A Conceptual Analysis of Self- Adaptation and IT Change Management (2008) Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008), Leipzig, Germany, , ACM Press;\nBaresi, L., Heckel, R., Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (2002) LNCS, 2505, pp. 402-429. , Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. Springer, Heidelberg;\nRensink, A., The Edge of Graph Transformation - Graphs for Behavioural Specification (2010) LNCS, 5765, pp. 6-32. , Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., Westfechtel, B. (eds.) Nagl Festschrift. Springer, Heidelberg;\nGiese, H., Klein, F., Autonomous Shuttle System Case Study (2005) LNCS, 3466, pp. 90-94. , Leue, S., Systä, T.J. (eds.) Scenarios. Springer, Heidelberg;\n(2002) ITU-T Recommendation Z.100: Specification and Description Language (SDL), , International Telecommunication Union, I;\nSchäfer, W., Wagner, R., Gausemeier, J., Eckes, R., An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems (2004) LNCS, 3147, pp. 48-68. , Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. Springer, Heidelberg;\nHabel, A., Pennemann, K.H., Correctness of high-level transformation systems relative to nested conditions (2009) Mathematical Structures in Computer Science, 19, pp. 1-52;\nEhrig, H., Habel, A., Lambers, L., Orejas, F., Golas, U., Local Confluence for Rules with Nested Application Conditions (2010) LNCS, 6372, pp. 330-345. , Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (eds.) ICGT 2010. Springer, Heidelberg;\nRozenberg, G., (1999) Handbook of Graph Grammars and Computing by Graph Transformation, 1. , World Scientific, Singapore;\nEhrig, H., Ehrig, K., Prange, U., Taentzer, G., (2006) Fundamentals of Algebraic Graph Transformation, , Springer;\nLöwe, M., Korff, M., Wagner, A., (1993) An Algebraic Framework for the Transformation of Attributed Graphs, pp. 185-199. , John Wiley and Sons Ltd., Chichester;\nPlump, D., Steinert, S., Towards Graph Programs for Graph Algorithms (2004) LNCS, 3256, pp. 128-143. , Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. Springer, Heidelberg;\nOrejas, F., Lambers, L., Delaying Constraint Solving in Symbolic Graph Transformation (2010) LNCS, 6372, pp. 43-58. , Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (eds.) ICGT 2010. Springer, Heidelberg;\nBardohl, R., Ehrig, H., De Lara, J., Taentzer, G., Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation (2004) LNCS, 2984, pp. 214-228. , Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. Springer, Heidelberg;\nGolas, U., Lambers, L., Ehrig, H., Orejas, F., Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs (2012) Theoretical Computer Science, 424, pp. 46-68;\nGorp, P.V., Mazanek, S., Rose, L., Proceedings Fifth Transformation Tool Contest (2011) EPTCS, 74;\nErmel, C., Rudolf, M., Taentzer, G., The AGG approach: Language and environment (1999) Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools, 2, pp. 551-603. , Ehrig, H., Engels, G., Rozenberg, G. (eds.) World Scientific Publishing Co., Inc., River Edge;\nArendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G., Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations (2010) LNCS, 6394, pp. 121-135. , Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MoDELS 2010. Springer, Heidelberg;\nSchürr, A., Winter, A., Zündorf, A., The PROGRES Approach: Language and Environment (1999) Handbook of Graph Grammars and Computing by Graph Transformation: Application, Languages and Tools, 2, pp. 487-546. , Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) World Scientific, Singapore;\nGiese, H., Hildebrandt, S., Seibel, A., Improved Flexibility and Scalability by Interpreting Story Diagrams (2009) Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009), Electronic Communications of the EASST, 18. , Magaria, T., Padberg, J., Taentzer, G. (eds.);\nSeibel, A., Neumann, S., Giese, H., Dynamic hierarchical mega models: Comprehensive traceability and its efficient maintenance (2010) Software and System Modeling, 9 (4), pp. 493-528. , doi:10.1007/s10270-009-0146-z;\nFischer, T., Niere, J., Torunski, L., Zündorf, A., Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java (2000) LNCS, 1764, pp. 296-309. , Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. Springer, Heidelberg;\nZündorf, A., (2002) Rigorous Object Oriented Software Development with Fujaba, , http://www.se.eecs.uni-kassel.de/se/fileadmin/se/publications/Zuen02.pdf, Draft Version 0.3;\nBecker, B., Beyer, D., Giese, H., Klein, F., Schilling, D., Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation (2006) Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China, , ACM Press;\nFowler, M., (1999) Refactoring: Improving the Design of Existing Code, , Addison-Wesley;\nKrasnogolowy, A., Hildebrandt, S., Wätzoldt, S., Flexible Debugging of Behavior Models (2011) Proceedings of 2012 IEEE International Conference on Industrial Technology (ICIT), , IEEE;\nStürmer, I., Kreuz, I., Schäfer, W., Schürr, A., Enhanced Simulink/State-flow Model Transformation: The MATE Approach Proc. of MathWorks Automotive Conference (MAC 2007), Dearborn (MI), USA (2007);\nSchafe, S., (1994) Objektorientierte Entwurfsmethoden, , Addison-Wesley;\nGiese, H., Hildebrandt, S., Lambers, L., Toward Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars Proceedings of MoDeVVa 2010, Models Workshop on Model-Driven Engineering, Verification and Validation, Oslo, Norway (2010);\nGiese, H., Hildebrandt, S., Lambers, L., (2010) Toward Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars, , Technical Report 37, Hasso Plattner Institute at the University of Potsdam;\nLarchevêque, J.M., Optimal incremental parsing (1995) ACM Trans. Program. Lang. Syst., 17 (1), pp. 1-15;\nGiese, H., Wagner, R., Incremental Model Synchronization with Triple Graph Grammars (2006) LNCS, 4199, pp. 543-557. , Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. Springer, Heidelberg;\nGiese, H., Wagner, R., From model transformation to incremental bidirectional model synchronization (2009) Software and Systems Modeling (SoSyM), 8 (1). , March 28;\nGiese, H., Hildebrandt, S., Incremental Model Synchronization for Multiple Updates (2008) Proceedings of the 3rd International Workshop on Graph and Model Transformations, GraMoT 2008, Leipzig, Germany, May 12, , ACM Press;\nGiese, H., Hildebrandt, S., (2009) Efficient Model Synchronization of Large-Scale Models, , Technical Report 28, Hasso Plattner Institute at the University of Potsdam;\nGiese, H., Hildebrandt, S., Neumann, S., Model Synchronization atWork: Keeping SysML and AUTOSAR Models Consistent (2010) LNCS, 5765, pp. 555-579. , Engels, G., Lewerentz, C., Schäfer, W., Scḧurr, A., Westfechtel, B. (eds.) Nagl Festschrift. Springer, Heidelberg;\nVogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B., Model-Driven ArchitecturalMonitoring and Adaptation for Autonomic Systems (2009) Proceedings of the 6th IEEE/ACM International Conference on Autonomic Computing and Communications (ICAC 2009), Barcelona, Spain, , ACM;\nVogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B., Incremental Model Synchronization for Efficient Run-Time Monitoring (2010) LNCS, 6002, pp. 124-139. , Ghosh, S. (ed.) MODELS 2009 Workshops. Springer, Heidelberg;\nVogel, T., Giese, H., Adaptation and Abstract Runtime Models (2010) Proceedings of the 5th Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010) at the 32nd IEEE/ACM International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, pp. 39-48. , ACM;\nVogel, T., Giese, H., Requirements and Assessment of Languages and Frameworks for Adaptation Models (2012) LNCS, 7167, pp. 167-182. , Kienzle, J. (ed.) MODELS 2011 Workshops. Springer, Heidelberg;\nVogel, T., Seibel, A., Giese, H., The Role of Models and Megamodels at Runtime (2011) LNCS, 6627, pp. 224-238. , Dingel, J., Solberg, A. (eds.) MODELS 2010 Workshops. Springer, Heidelberg;\nVogel, T., Giese, H., A Language for Feedback Loops in Self-Adaptive Systems: Executable Runtime Megamodels (2012) Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), , IEEE Computer Society;\nHausmann, J., Heckel, R., Taentzer, G., Detection of Conflicting Functional Requirements in a Use Case-Driven Approach (2002) Proc. of Int. Conference on Software Engineering 2002, Orlando, USA, pp. 105-115. , IEEE Computer Society;\nEngels, G., Güldali, B., Lohmann, M., Towards Model-Driven Unit Testing (2007) LNCS, 4364, pp. 182-192. , Kühne, T. (ed.) MODELS 2006 Workshops. Springer, Heidelberg;\nEhrig, K., Küster, J., Taentzer, G., Winkelmann, J., Generating Instance Models from Meta Models (2006) LNCS, 4037, pp. 156-170. , Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. Springer, Heidelberg;\nHeckel, R., Mariani, L., Automatic Conformance Testing of Web Services (2005) LNCS, 3442, pp. 34-48. , Cerioli, M. (ed.) FASE 2005. Springer, Heidelberg;\nRensink, A., Schmidt, Á., Varró, D., Model Checking Graph Transformations: A Comparison of Two Approaches (2004) LNCS, 3256, pp. 226-241. , Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. Springer, Heidelberg;\nKastenberg, H., Rensink, A., Model Checking Dynamic States in GROOVE (2006) LNCS, 3925, pp. 299-305. , Valmari, A. (ed.) SPIN 2006. Springer, Heidelberg;\nStrecker, M., Modeling and Verifying Graph Transformations in Proof Assistants (2008) Electronic Notes in Theoretical Computer Science, 203, pp. 135-148. , http://www.elsevier.com, Mackie, I., Plump, D. (eds.) InternationalWorkshop on Computing with Terms and Graphs (TERMGRAPH), Braga, Portugal, March 31, 2007. Elsevier Science;\nPennemann, K.H., Resolution-Like Theorem Proving for High-Level Conditions (2008) LNCS, 5214, pp. 289-304. , Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. Springer, Heidelberg;\nGiese, H., Glesner, S., Leitner, J., Schäfer, W., Wagner, R., Towards Verified Model Transformations (2006) Proc. of the 3rd International Workshop on Model Development, Validation and Verification (MoDeV2a), Genova, Italy, Le Commissariat À L'Energie Atomique - CEA, pp. 78-93. , Hearnden, D., Süß, J., Baudry, B., Rapin, N. (eds.) October;\nBaldan, P., Corradini, A., König, B., A Static Analysis Technique for Graph Transformation Systems (2001) LNCS, 2154, pp. 381-395. , Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. Springer, Heidelberg;\nHabel, A., Pennemann, K.-H., Rensink, A., Weakest Preconditions for High-Level Programs (2006) LNCS, 4178, pp. 445-460. , Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. Springer, Heidelberg;\nPoskitt, C.M., Plump, D., A Hoare Calculus for Graph Programs (2010) LNCS, 6372, pp. 139-154. , Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (eds.) ICGT 2010. Springer, Heidelberg;\nLambers, L., (2010) Certifying Rule-Based Models Using Graph Transformation, , PhD thesis, Technische Universität Berlin Also as book available: Südwestdeutscher Verlag für Hochschulschriften, ISBN: 978-3-8381-1650-1;\nBecker, B., Giese, H., On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles (2008) Proc. of 11th International Symposium on Object/Component/Service- Oriented Real-time Distributed Computing (ISORC), May 5-7, pp. 203-210. , IEEE Computer Society Press;\nBecker, B., Giese, H., Incremental Verification of Inductive Invariants for the Run-Time Evolution of Self-Adaptive Software-Intensive Systems (2008) Proc. 1st International Workshop on Automated EngineeRing of Autonomous and Run-tiMe EvolvIng Systems (ARAMIS), pp. 33-40. , IEEE Computer Society Press;\nCharpentier, M., Composing Invariants (2003) LNCS, 2805, pp. 401-421. , Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. Springer, Heidelberg;\nBecker, B., Lambers, L., Dyck, J., Birth, S., Giese, H., Iterative Development of Consistency-Preserving Rule-Based Refactorings (2011) LNCS, 6707, pp. 123-137. , Cabot, J., Visser, E. (eds.) ICMT 2011. Springer, Heidelberg;\nClarke, E.M., Grumberg, O., Peled, D., (2002) Model Checking, , MIT Press;\nBiere, A., Cimatti, A., Clarke, E., Strichman, O., Zhu, Y., Bounded model checking (2003) Advances in Computers, 58;\nBurch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J., Symbolic model checking: 1020 states and beyond (1992) Inf. Comput., 98, pp. 142-170;\nRensink, A., Towards Model Checking Graph Grammars (2003) 3rd Workshop on Automated Verification of Critical Systems (AVoCS), pp. 150-160. , Leuschel, M., Gruner, S., Presti, S.L. (eds.) Technical Report DSSE-TR-2003-2, University of Southampton;\nCicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A., Automating Co-evolution in Model-Driven Engineering (2008) Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference, pp. 222-231. , IEEE Computer Society, Washington, DC;\nDi Ruscio, D., Iovino, L., Pierantonio, A., What is needed for managing coevolution in MDE (2011) Proceedings of the 2nd International Workshop on Model Comparison in Practice, IWMCP 2011, pp. 30-38. , ACM, New York;\nNarayanan, A., Karsai, G., Verifying Model Transformations by Structural Correspondence (2008) Electronic Communications of the EASST: Graph Transformation and Visual Modeling Techniques 2008, 10;\nVarró, D., Pataricza, A., Automated Formal Verification of Model Transformations (2003) CSDUML 2003: Critical Systems Development in UML; Proceedings of the UML 2003 Workshop, pp. 63-78. , Jürjens, J., Rumpe, B., France, R., Fernandez, E.B. (eds.) Number TUM-I0323 in Technical Report, Technische Universitat Munchen September;\nHülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., Wehrheim, H., Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques (2010) LNCS, 6396, pp. 183-198. , Méry, D., Merz, S. (eds.) IFM 2010. Springer, Heidelberg;\nCabot, J., Clarisó, R., Guerra, E., Lara, J., Verification and validation of declarative model-to-model transformations through invariants (2010) J. Syst. Softw., 83 (2), pp. 283-302;\nRouvoy, R., Barone, P., Ding, Y., Eliassen, F., Hallsteinsen, S., Lorenzo, J., Mamelli, A., Scholz, U., MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments (2009) LNCS, 5525, pp. 164-182. , Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. Springer, Heidelberg;\nBencomo, N., Blair, G., Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems (2009) LNCS, 5525, pp. 183-200. , Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. Springer, Heidelberg;\nBurmester, S., Giese, H., Münch, E., Oberschelp, O., Klein, F., Scheideler, P., Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent Systems (2008) International Journal on Software Tools for Technology Transfer (STTT), 10 (3), pp. 207-222;\nGiese, H., Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems (2007) LNCS, 4322, pp. 258-280. , Kordon, F., Sztipanovits, J. (eds.) Monterey Workshop 2005. Springer, Heidelberg;\nBurmester, S., Giese, H., Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in Mechatronic UML (2005) Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, Texas, USA, pp. 109-116. , IEEE Computer Society Press;\nGoldsby, H.J., Cheng, B.H.C., Zhang, J., AMOEBA-RT: Run-time verification of adaptive software (2008) LNCS, 5002, pp. 212-224. , Giese, H. (ed.) MODELS 2008 Workshops. Springer, Heidelberg;\nZhang, J., Cheng, B., Using temporal logic to specify adaptive program semantics (2006) Journal of Systems and Software, 79 (10), pp. 1361-1369. , Architecting Dependable Systems;\nZhang, J., Cheng, B., Model-based development of dynamically adaptive software (2006) ICSE 2006: Proceeding of the 28th International Conference on Software Engineering, pp. 371-380. , ACM, New York;\nZhang, J., Goldsby, H.J., Cheng, B., Modular verification of dynamically adaptive systems (2009) AOSD 2009: Proceedings of the 8th ACM International Conference on Aspect-oriented Software Development, pp. 161-172. , ACM, New York;\nAdler, R., Schaefer, I., Trapp, M., Poetzsch-Heffter, A., Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems (2011) ACM Transactions on Embedded Computing Systems, 10-20 (1-20), p. 39;\nEhrig, H., Ermel, C., Runge, O., Bucchiarone, A., Pelliccione, P., Formal Analysis and Verification of Self-Healing Systems (2010) LNCS, 6013, pp. 139-153. , Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. Springer, Heidelberg;\nGiese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S., Towards the Compositional Verification of Real-Time UML Designs (2003) Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland, Proc. of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE- 11), pp. 38-47. , ACM Press;\nBecker, B., Giese, H., Modeling of Correct Self-Adaptive Systems: A Graph Transformation System Based Approach (2008) CSTST 2008: Proc. 5th Intl. Conference on Soft Computing As Transdisciplinary Science and Technology, pp. 508-516. , ACM Press;\nSong, H., Xiong, Y., Chauvel, F., Huang, G., Hu, Z., Mei, H., Generating Synchronization Engines between Running Systems and Their Model-Based Views (2010) LNCS, 6002, pp. 140-154. , Ghosh, S. (ed.) MODELS 2009 Workshops. Springer, Heidelberg;\nMorin, B., Fleurey, F., Bencomo, N., Jézéquel, J.-M., Solberg, A., Dehlen, V., Blair, G.S., An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability (2008) LNCS, 5301, pp. 782-796. , Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MoDELS 2008. Springer, Heidelberg;\nMorin, B., Barais, O., Jézéquel, J.M., Fleurey, F., Solberg, A., Models@ Run.time to Support Dynamic Adaptation (2009) Computer, 42 (10), pp. 44-51;\nMorin, B., Barais, O., Nain, G., Jézéquel, J.M., Taming Dynamically Adaptive Systems using models and aspects (2009) ICSE 2009: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering, pp. 122-132. , IEEE Computer Society, Washington, DC;\nFleurey, F., Solberg, A., A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (2009) LNCS, 5795, pp. 606-621. , Schürr, A., Selic, B. (eds.) MoDELS 2009. Springer, Heidelberg;\nInverardi, P., Mori, M., Model checking requirements at run-time in adaptive systems (2011) Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, ASAS 2011, pp. 5-9. , ACM, New York", "hasCitationDuplums" : false, "userChangeableUntil" : "2018-09-20T13:41:08.000+0000", "publishDate" : "2014-08-13T10:10:49.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 2, "ownerInstituteCount" : 11, "directInstituteCount" : 0, "authorCount" : 7, "contributorCount" : 0, "hasQualityFactor" : false, "link" : "/api/publication/23929074", "label" : "Giese H et al. Graph transformations for MDE, adaptation, and models at runtime. (2012) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 7320 137-191", "template" : "