@inproceedings(BCEH01, author = "P. Baldan and A. Corradini and H. Ehrig and R. Heckel", year = "2001", title = "{Compositional Modeling of Reactive Systems Using Open Nets}", editor = "K. G. Larsen and M. Nielse", booktitle = "Proc. of CONCUR 2001", series = "LNCS", volume = "2154", publisher = "Springer", pages = "502--518", doi = "10.1007/3-540-44685-0\_34", ) @inproceedings(BEE+09, author = "E. Biermann and H. Ehrig and C. Ermel and K. Hoffmann and T. Modica", year = "2009", title = "{Modeling Multicasting in Dynamic Communication-based Systems by Reconfigurable High-level Petri Nets}", booktitle = "Proc. of IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009)", publisher = "IEEE", pages = "47--50", doi = "10.1109/VLHCC.2009.5295303", ) @inproceedings(BEGG10, author = "B. Braatz and H. Ehrig and K. Gabriel and U. Golas", year = "2010", title = "Finitary M-Adhesive Categories", editor = "H. Ehrig and A. Rensink and G. Rozenberg and A. Sch{\"u}rr", booktitle = "Proc. ICGT 2010", series = "LNCS", volume = "6372", publisher = "Springer", pages = "234--249", doi = "10.1007/978-3-642-15928-2\_16", ) @inproceedings(Courcelle97theexpression, author = "B. Courcelle", year = "1997", title = "The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic", editor = "Grzegorz Rozenberg", booktitle = "Handbook of Graph Grammars", publisher = "World Scientific", pages = "313--400", ) @article(EEEP10, author = "H. Ehrig and K. Ehrig and C. Ermel and U. Prange", year = "2010", title = "{Consistent Integration of Models based on Views of Meta Models}", journal = "Formal Aspects of Computing", volume = "22 (3)", pages = "327--345", doi = "10.1007/s00165-009-0127-6", ) @book(EEPT06, author = "H. Ehrig and K. Ehrig and U. Prange and G. Taentzer", year = "2006", title = "Fundamentals of Algebraic Graph Transformation", series = "EATCS Monographs in Theor. Comp. Science", publisher = "Springer", ) @article(EG11, author = "H. Ehrig and K. Gabriel", year = "2011", title = "{T}ransformation of {A}lgebraic {H}igh-{L}evel {N}ets and {A}malgamation of {P}rocesses with {A}pplications to {C}ommunication {P}latforms", journal = "Festschrift in Honour of Manfred Broy's 60th Birthday. International Journal of Software and Informatics", volume = "5(1-2,Part1)", ) @article(EGH10, author = "H. Ehrig and U. Golas and F. Hermann", year = "2010", title = "{Categorical Frameworks for Graph Transformation and HLR Systems based on the DPO Approach}", journal = "Bulletin of the EATCS", volume = "102", pages = "111--121", ) @article(EHPP06, author = "H. Ehrig and A. Habel and J. Padberg and U. Prange", year = "2006", title = "{Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation}", journal = "Fundamenta Informaticae", volume = "74", number = "1", pages = "1--29", ) @incollection(EHP+08, author = "H. Ehrig and K. Hoffmann and J. Padberg and C. Ermel and U. Prange and E. Biermann and T. Modica", year = "2008", title = "{Petri Net Transformations}", booktitle = "{Petri Net Theory and Applications}", publisher = "I-Tech Education and Publication", pages = "1--16", doi = "10.5772/5310", ) @article(EHTE97, author = "G. Engels and R. Heckel and G. Taentzer and H. Ehrig", year = "1997", title = "A Combined Reference Model- and View-Based Approach to System Specification", journal = "International Journal of Software Engineering and Knowledge Engineering", volume = "7", number = "4", pages = "457--477", ) @article(FranceRGG04, author = "R. B. France and I. Ray and G. Georg and S. Ghosh", year = "2004", title = "Aspect-oriented approach to early design modelling", journal = "IEE Proceedings - Software", volume = "151", number = "4", pages = "173--186", doi = "10.1049/ip-sen:20040920", ) @inproceedings(HP05, author = "A. Habel and K.-H. Pennemann", year = "2005", title = "Nested constraints and application conditions for high-level structures", editor = "H.-J. Kreowski and U. Montanari and F. Orejas and G. Rozenberg and G. Taentzer", booktitle = "Formal Methods in Software and Systems Modeling", series = "LNCS", volume = "3393", publisher = "Springer", pages = "294--308", doi = "10.1007/978-3-540-31847-7\_17", ) @article(HP09, author = "A. Habel and K.-H. Pennemann", year = "2009", title = "Correctness of high-level transformation systems relative to nested conditions", journal = "Mathematical Structures in Computer Science", volume = "19", pages = "1--52", doi = "10.1017/S0960129508007202", ) @inproceedings(Heindel10, author = "T. Heindel", year = "2010", title = "Hereditary Pushouts Reconsidered", editor = "H. Ehrig and A. Rensink and G. Rozenberg and A. Sch{\"u}rr", booktitle = "Proc. ICGT 2010", series = "LNCS", volume = "6372", publisher = "Springer", pages = "250--265", doi = "10.1007/978-3-642-15928-2\_17", ) @inproceedings(JT10, author = "S. Jurack and G. Taentzer", year = "2010", title = "A Component Concept for Typed Graphs with Inheritance and Containment Structures", editor = "H. Ehrig and A. Rensink and G. Rozenberg and A. Sch{\"u}rr", booktitle = "Proc. ICGT 2010", series = "LNCS", volume = "6372", publisher = "Springer", pages = "187--202", doi = "10.1007/978-3-642-15928-2\_13", ) @inproceedings(LS04, author = "S. Lack and P. Soboci{\'n}ski", year = "2004", title = "{Adhesive Categories}", editor = "Igor Walukiewicz", booktitle = "Proc. FOSSACS 2004", series = "LNCS", volume = "2987", publisher = "Springer", pages = "273--288", doi = "10.1007/978-3-540-24727-2\_20", ) @article(LS05, author = "S. Lack and P. Soboci{\'n}ski", year = "2005", title = "Adhesive and quasiadhesive categories", journal = "ITA", volume = "39", number = "3", pages = "511--545", doi = "10.1051/ita:2005028", ) @article(LBE+07, author = "{J. de} Lara and R. Bardohl and H. Ehrig and K. Ehrig and U. Prange and G. Taentzer", year = "2007", title = "{A}ttributed {G}raph {T}ransformation with {N}ode {T}ype {I}nheritance", journal = "TCS", volume = "376", number = "3", pages = "139--163", doi = "10.1016/j.tcs.2007.02.001", ) @inproceedings(Rensink04, author = "A. Rensink", year = "2004", title = "Representing First-Order Logic Using Graphs", editor = "H. Ehrig and G. Engels and F. Parisi-Presicce and G. Rozenberg", booktitle = "Proc. ICGT 2004", series = "LNCS", volume = "3256", publisher = "Springer", pages = "319--335", doi = "10.1007/978-3-540-30203-2\_23", ) @techreport(SEM+12, author = "H. Sch{\"o}lzel and H. Ehrig and M. Maximova and K. Gabriel and F. Hermann", year = "2012", title = "Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories: Extended Version", type = "Technical Report", number = "2012/1", institution = "TU Berlin, Fak. IV", url = "http://www.eecs.tu-berlin.de/menue/forschung/forschungsberichte/2012", )