direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

<< zurück [1]
vor >> [20]

2007

Information Preserving Bidirectional Model Transformations [24]

Ehrig, H., Ehrig, K., Ermel, C., Hermann, F. and Taentzer, G.

Fundamental Approaches to Software Engineering. SPRINGER, 72–86. 2007

Link zur Publikation [25] Download Bibtex Eintrag [26]

Model Transformations by Graph Transformation are Functors [27]

Ehrig, H., Ehrig, K., Ermel, C. and Prange, U.

BEATCS, 134–142. 2007

Link zur Publikation [28] Download Bibtex Eintrag [29]

Concurrency in Reconfigurable Place/Transition Systems: Independence of Net Transformations as well as Net Transformations and Token Firing [30]

Ehrig, H., Ermel, C., Hoffmann, K., Padberg, J. and Prange, U.

2007

Link zur Publikation [31] Download Bibtex Eintrag [32]

2006

Conflict Detection for Graph Transformation with Negative Application Conditions [33]

Lambers, L., Ehrig, H. and Orejas, F.

Proc. Third International Conference on Graph Transformation (ICGT'06). SPRINGER, 61–76. 2006

Link zur Publikation [34] Download Bibtex Eintrag [35]

Composition and Decomposition of DPO Transformations with Borrowed Context [36]

Baldan, P., Ehrig, H. and König, B.

Proc. Third International Conference on Graph Transformation (ICGT'06). SPRINGER, 153–167. 2006

Link zur Publikation [37] Download Bibtex Eintrag [38]

Termination Analysis of Model Transformations by Petri Nets [39]

Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U. and Taentzer, G.

Proc. Third International Conference on Graph Transformation (ICGT'06). SPRINGER, 260–274. 2006

Link zur Publikation [40] Download Bibtex Eintrag [41]

Categorical Foundations of Distributed Graph Transformation [42]

Ehrig, H., Orejas, F. and Prange, U.

Proc. Third International Conference on Graph Transformation (ICGT'06). SPRINGER, 215 – 229. 2006

Link zur Publikation [43] Download Bibtex Eintrag [44]

A typed attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams [45]

Hermann, F., Ehrig, H. and Taentzer, G.

Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'06). Elsevier Science. 2006

Link zur Publikation [46] Download Bibtex Eintrag [47]

Transformations of Petri Nets [48]

Ehrig, H., Hoffmann, K. and Padberg, J.

Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004). Elsevier Science, 151–172. 2006

Link zur Publikation [49] Download Bibtex Eintrag [50]

Modeling Visual Languages based on Graph Transformation Concepts and Tools [51]

Ermel, C., Ehrig, H. and Ehrig, K.

Proc. Intern. IMCAS Symposium on Mathematical Modelling (MathMod). ARGESIM-Reports. 2006

Link zur Publikation [52] Download Bibtex Eintrag [53]

Semantical Correctness of Simulation-to-Animation Model and Rule Transformation [54]

Ermel, C., Ehrig, H. and Ehrig, K.

Proc. Int. Workshop on Graph and Model Transformation (GraMoT'06), Satellite Event of the IEEE Symposium on Visual Languages and Human-Centric Computing 2006

Link zur Publikation [55] Download Bibtex Eintrag [56]

Semantical Correctness of Simulation-to-Animation Model and Rule Transformation: Long Version [57]

Ermel, C., Ehrig, H. and Ehrig, K.

2006

Link zur Publikation [58] Download Bibtex Eintrag [59]

Simulation and Animation of Visual Models of Embedded Systems: A Graph-Transformation-Based Approach Applied to Petri Nets [60]

Ermel, C., Ehrig, H. and Taentzer, G.

Proc. 7th Workshop on Embedded Systems – Modeling, Technology, and Applications, Technische Universität Berlin. SPRINGER, 11–20. 2006

Link zur Publikation [61] Download Bibtex Eintrag [62]

Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation [63]

Ehrig, H., Habel, A., Padberg, J. and Prange, U.

Fundamenta Informaticae, 1–29. 2006

Link zur Publikation [64] Download Bibtex Eintrag [65]

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs [66]

Lambers, L., Ehrig, H. and Orejas, F.

2006

Download Bibtex Eintrag [67]

Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting with Borrowed Contexts [68]

Ehrig, H. and König, B.

Mathematical Structures in Computer Science, 1133–1163. 2006

Download Bibtex Eintrag [69]

Termination Criteria for DPO Transformations with Injective Matches [70]

Levendovszky, T., Prange, U. and Ehrig, H.

Proceedings of Workshop on Graph Transformation and Concurrency (GT-VC 2006). Elsevier Science. 2006

Link zur Publikation [71] Download Bibtex Eintrag [72]

Petri Net Modules in the Transformation-Based Component Framework [73]

Padberg, J. and Ehrig, H.

Journal of Logic and Algebraic Programming, 198–225. 2006

Link zur Publikation [74] Download Bibtex Eintrag [75]

Composition and Decomposition of DPO Transformations with Borrowed Context [76]

Baldan, P., Ehrig, H. and König, B.

2006

Link zur Publikation [77] Download Bibtex Eintrag [78]

Graph Transformation in Adhesive HLR Categories [79]

Prange, U. and Ehrig, H.

Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. Proceedings of Intern. Conf. on Systems Research, Informatics and Cybernetics 2005. IIAS. 2006

Link zur Publikation [80] Download Bibtex Eintrag [81]

Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations [82]

Ehrig, H. and Prange, U.

Algebra, Meaning and Computation. Essays Dedicated to J.A. Goguen. SPRINGER, 235–251. 2006

Link zur Publikation [83] Download Bibtex Eintrag [84]

Modeling with Graph Transformation [85]

Ehrig, H. and Prange, U.

Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. Proceedings of Intern. Conf. on Systems Research, Informatics and Cybernetics 2005. IIAS. 2006

Link zur Publikation [86] Download Bibtex Eintrag [87]

Construction and Correctness Analysis of a Model Transformation from Activity Diagrams to Petri Nets [88]

Ehrig, H., Ehrig, K., Ermel, C. and Padberg, J.

Proc. Intern. IMCAS Symposium on Mathematical Modelling (MathMod). ARGESIM-Reports. 2006

Link zur Publikation [89] Download Bibtex Eintrag [90]

Theory of Constraints and Application Conditions: From Graphs to High-Level Structures [91]

Ehrig, H., Ehrig, K., Habel, A. and Pennemann, K.-H.

Fundamenta Informaticae, 135–166. 2006

Link zur Publikation [92] Download Bibtex Eintrag [93]

Fundamentals of Algebraic Graph Transformation [94]

Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.

||SPRINGER. 2006

Link zur Publikation [95] Download Bibtex Eintrag [96]

Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories [97]

Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.

Fundamenta Informaticae, 31–61. 2006

Link zur Publikation [98] Download Bibtex Eintrag [99]

2005

Efficient detection of conflicts in graph-based model transformation [100]

Lambers, L., Ehrig, H. and Orejas, F.

Proc. International Workshop on Graph and Model Transformation (GraMoT'05). Elsevier Science. 2005

Link zur Publikation [101] Download Bibtex Eintrag [102]

Overview of Formal Concepts for Model Transformations based on Typed Attributed Graph Transformation [103]

Ehrig, H. and Ehrig, K.

Proc. Int. Workshop on Graph and Model Transformation (GraMoT'05). Elsevier Science. 2005

Link zur Publikation [104] Download Bibtex Eintrag [105]

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation [106]

Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.

Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05) 2005

Link zur Publikation [107] Download Bibtex Eintrag [108]

High-Level Nets with Nets and Rules as Tokens [109]

Hoffmann, K., Mossakowski, T. and Ehrig, H.

Proc. of 26th Intern. Conf. on Application and Theory of Petri Nets and other Models of Concurrency. SPRINGER, 268–288. 2005

Link zur Publikation [110] Download Bibtex Eintrag [111]

<< zurück [112]
vor >> [131]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008