direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

B

Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation

Bucchiarone, A., Ehrig, H., Ermel, C., Pelliccione, P. and Runge, O.

Software, Services, and Systems. Springer International Publishing, 582-601. 2015

Link zur Publikation Download Bibtex Eintrag



Towards distributed graph grammars

Böhm, P., Ehrig, H., Hummert, U. and Löwe, M.

3rd Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 86–98. 1987

Download Bibtex Eintrag

C


Abstract and behaviour module specifications

Cornelius, F., Baldamus, M., Ehrig, H. and Orejas, F.

Mathematical Structures in Computer Science, 21-62. 1999

Download Bibtex Eintrag

Abstract and Behaviour Module Specifications

Cornelius, F., Ehrig, H., Orejas, F. and Baldamus, M.

MSCS, 21–62. 1999

Download Bibtex Eintrag

An Event Structure Semantics for Graph Grammars with Parallel Productions

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Rossi, F.

5th Int.\ Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94, 240 - 256. 1996

Download Bibtex Eintrag


The Category of Typed Graph Grammars and their Adjunction with Categories of Derivations

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Padberg, J.

5th Int.\ Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94. SPRINGER, 56-74. 1996

Download Bibtex Eintrag

Functorial Semantics for Safe Graph Grammars Using Prime Algebraic Domains and Event Structures

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Padberg, J.

Proc. 5th Int. Workshop on Graph Transformation, Williamsburg, Virgina, USA, 120–126. 1994

Download Bibtex Eintrag

Typed Graph Grammars and Their Adjunction with Categories of Derivations

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Padberg, J.

Proc. 5th Int. Workshop on Graph Transformations, Williamsburg, Virginia, USA 1994

Download Bibtex Eintrag

An Event Structure Semantics for Safe Graph Grammars

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Rossi, F.

Proc. PROCOMET'94, IFIP TC2 Working Conf., San Miniato 1994. IFIP TCS, 417–439. 1994

Download Bibtex Eintrag

Abstract Graph Derivations in the Double Pushout Approch

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Rossi, F.

Proc. Graph Grammar Workshop Dagstuhl 93. SPRINGER, 86–103. 1994

Download Bibtex Eintrag

Note on Standard Representation of Graphs and Graph Derivations

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Rossi, F.

Proc. Graph Grammar Workshop Dagstuhl 93. SPRINGER, 104–118. 1994

Download Bibtex Eintrag

Note on Standard Representation of Graphs and Graph Derivations

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Rossi, F.

1992

Download Bibtex Eintrag

An event structure semantics for safe graph grammars

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Rossi, F.

Programming Concepts, Methods and Calculi. North-Holland. 1994

Download Bibtex Eintrag

Algebraic Approaches to Graph Transformation Part I: Basic Concepts and Double Pushout Approach

Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R. and Löwe, M.

Handbook of Graph Grammars and Computing by Graph transformation, Volume 1: Foundations. World Scientific, 163-246. 1997

Download Bibtex Eintrag

Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach

Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R. and Löwe, M.

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

Download Bibtex Eintrag

Algebraic Approaches to Graph Transformation Part I: Basic Concepts and Double Pushout Approach

Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R. and Löwe, M.

1996

Download Bibtex Eintrag

Graph Grammars and Logic Programming

Corradini, A., Montanari, U., Rossi, F., Ehrig, H. and Löwe, M.

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

Download Bibtex Eintrag

D

Mehrdimensionale Sprachen

Denert, E. and Ehrig, H.

1976

Download Bibtex Eintrag

Verification of Architectural Refactorings: Rule Extraction and Tool Support

Denes Bisztray, R. H. and Ehrig, H.

Electronic Communications of the EASST 2009

Link zur Publikation Download Bibtex Eintrag


From State- to Delta-based Bidirectional Model Transformations: The Symmetric Case

Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F. and Orejas, F.

ACM/IEEE 14th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS'11). ACM / IEEE. 2011

Download Bibtex Eintrag

E





Towards Abstract User Interfaces for Formal System Specifications

Ehrig, H., Fey, W. and Hansen, H.

Recent Trends in Data Type Specification, Informatik Fachberichte 116. SPRINGER, 73–88. 1985

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe