direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

2007

Information Preserving Bidirectional Model Transformations

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

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

Link zur Publikation Download Bibtex Eintrag

Model Transformations by Graph Transformation are Functors

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

BEATCS, 134–142. 2007

Link zur Publikation Download Bibtex Eintrag


2006

Conflict Detection for Graph Transformation with Negative Application Conditions

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

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

Link zur Publikation Download Bibtex Eintrag

Composition and Decomposition of DPO Transformations with Borrowed Context

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

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

Link zur Publikation Download Bibtex Eintrag

Termination Analysis of Model Transformations by Petri Nets

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 Download Bibtex Eintrag

Categorical Foundations of Distributed Graph Transformation

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

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

Link zur Publikation Download Bibtex Eintrag

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

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 Download Bibtex Eintrag

Transformations of Petri Nets

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 Download Bibtex Eintrag

Modeling Visual Languages based on Graph Transformation Concepts and Tools

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

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

Link zur Publikation Download Bibtex Eintrag

Semantical Correctness of Simulation-to-Animation Model and Rule Transformation

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 Download Bibtex Eintrag


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

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 Download Bibtex Eintrag

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

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

Fundamenta Informaticae, 1–29. 2006

Link zur Publikation Download Bibtex Eintrag


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

Ehrig, H. and König, B.

Mathematical Structures in Computer Science, 1133–1163. 2006

Download Bibtex Eintrag

Termination Criteria for DPO Transformations with Injective Matches

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

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

Link zur Publikation Download Bibtex Eintrag

Petri Net Modules in the Transformation-Based Component Framework

Padberg, J. and Ehrig, H.

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

Link zur Publikation Download Bibtex Eintrag


Graph Transformation in Adhesive HLR Categories

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 Download Bibtex Eintrag

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

Ehrig, H. and Prange, U.

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

Link zur Publikation Download Bibtex Eintrag

Modeling with Graph Transformation

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 Download Bibtex Eintrag

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

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

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

Link zur Publikation Download Bibtex Eintrag

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

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

Fundamenta Informaticae, 135–166. 2006

Link zur Publikation Download Bibtex Eintrag

Fundamentals of Algebraic Graph Transformation

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

||SPRINGER. 2006

Link zur Publikation Download Bibtex Eintrag


2005

Efficient detection of conflicts in graph-based model transformation

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

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

Link zur Publikation Download Bibtex Eintrag

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

Ehrig, H. and Ehrig, K.

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

Link zur Publikation Download Bibtex Eintrag

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

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 Download Bibtex Eintrag

High-Level Nets with Nets and Rules as Tokens

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 Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe