direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Concurrency of Double-Pullback Graph Transitions

Heckel, R., Llabres, M., Ehrig, H. and Orejas, F.

Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation (GRATRA 2000), 146–154. 2000

Download Bibtex Eintrag



On the Role of Category Theory in the Area of Algebraic Specifications

Ehrig, H., Groß e-Rhode, M. and Wolter, U.

Proc. WADT 11, Oslo. SPRINGER, 17–48. 1996

Download Bibtex Eintrag

Graph grammars with application conditions

Ehrig, H. and Habel, A.

The Book of L. SPRINGER, 87–100. 1985

Download Bibtex Eintrag



From Graph Grammars to high level replacement systems

Ehrig, H., Habel, A., Kreowski, H.-J. and Parisi-Presicce, F.

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 269–291. 1991

Download Bibtex Eintrag

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars

Hermann, F., Ehrig, H., Ermel, C. and Orejas, F.

Int. Conf. on Fundamental Approaches to Software Engineering (FASE'12). Springer, 178-193. 2012

Download Bibtex Eintrag

Parallelism and Concurrency in High Level Replacement Systems

Ehrig, H., Habel, A., Kreowski, H.-J. and Parisi-Presicce, F.

1990

Download Bibtex Eintrag


Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars

Hermann, F., Ehrig, H., Golas, U. and Orejas, F.

Proc. Int. Workshop on Model Driven Interoperability (MDI'10). ACM, 22–31. 2010

Link zur Publikation Download Bibtex Eintrag

Local Confluence for Rules with Nested Application Conditions

Ehrig, H., Habel, A., Lambers, L., Orejas, F. and Golas, U.

Proceedings of Intern. Conf. on Graph Transformation (ICGT' 10). SPRINGER, 330–345. 2010

Link zur Publikation Download Bibtex Eintrag

Adhesive High-Level Replacement Categories and Systems

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

Proc. 2nd Int. Conference on Graph Transformation (ICGT'04). SPRINGER, 144–160. 2004

Link zur Publikation Download Bibtex Eintrag


Basic Results for Two Types of High-Level Replacement Systems

Ehrig, H., Habel, A. and Parisi-Presicce, F.

Proc. GETGRATS Closing Workshop, 12. 2002

Link zur Publikation Download Bibtex Eintrag

Formal Analysis of Functional Behaviour of Model Transformations Based on Triple Graph Grammars

Hermann, F., Ehrig, H., Orejas, F. and Golas, U.

Proceedings of Intern. Conf. on Graph Transformation ( ICGT' 10). SPRINGER, 155–170. 2010

Link zur Publikation Download Bibtex Eintrag

Concurrent Transformation of Relational Structures

Ehrig, H., Habel, A. and Rosen, B.

, 13-50. 1986

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, 261–269. 2008

Link zur Publikation Download Bibtex Eintrag

ACT ONE. An Algebraic Specification Language Based on Initial Algebra and Free Functor Semantics.

Ehrig, H. and Hansen, H.

Proc. of the 10th National Summer School "Appl. of Math. in Eng." Varna. University of Varna. 1984

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


Triple Graph Grammars in the Large for Translating Satellite Procedures

Hermann, F., Gottmann, S., Nachtigall, N., Ehrig, H., Braatz, B., Morelli, G., Pierre, A., Engel, T. and Ermel, C.

Proc. Int. Conf. on Model Transformations (ICMT 2014). Springer International Publishing, 122-137. 2014

Download Bibtex Eintrag

Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach

Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A. and Corradini, A.

Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 247–312. 1997

Download Bibtex Eintrag

Triple Graph Grammars in the Large for Translating Satellite Procedures: Extended Version

Hermann, F., Gottmann, S., Nachtigall, N., Ehrig, H., Braatz, B., Morelli, G., Pierre, A., Engel, T. and Ermel, C.

, 1-22. 2014

Link zur Publikation Download Bibtex Eintrag

Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach

Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A. and Corradini, A.

The Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, 247-312. 1996

Download Bibtex Eintrag

Flexible Modeling of Emergency Scenarios using Reconfigurable Systems

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

Proc. of the 10th World Conference on Integrated Design & Process Technology, 15. 2007

Link zur Publikation Download Bibtex Eintrag

Construction and Characterization of Double-Pullback Graph Transitions

Ehrig, H., Heckel, R., Llabres, M. and Orejas, F.

Proc.\ 6th Int. Workshop on Theory and Applications of Graph Transformation (TAGT'98), 308–315. 1998

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe