direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

1998

Graph Transformations and Other Rule-Based Formalisms with Incomplete Information

Ehrig, H., Rozenberg, G. and Padberg, J.

Proc. 6th International Workshop on Theory and Application of Graph Transformation. Universität Paderborn, 268–278. 1998

Download Bibtex Eintrag


Conceptual Model of the Graphical Editor \textscGenGEd

Bardohl, R. and Ehrig, H.

Proc. \ 6th Int.\ Workshop on Theory and Application of Graph Transformation (TAGT'98) 1998

Download Bibtex Eintrag

1999

High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets

Ehrig, H., Gajewsky, M. and Parisi-Presicce, F.

Handbook of Graph Grammars and Computing by Graph Transformations, Volume 3: Concurrency, Parallelism, and Distribution. World Scientific, 341–400. 1999

Download Bibtex Eintrag

A View-Based Approach to System Modeling based on Open Graph Transformation Systems

Heckel, R., Ehrig, H., Engels, G. and Taentzer, G.

Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific. 1999

Download Bibtex Eintrag

Classification and Comparison of Modularity Concepts for Graph Transformation Systems

Heckel, R., Ehrig, H., Engels, G. and Taentzer, G.

Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific, 669 – 690. 1999

Download Bibtex Eintrag

A View-Based Approach to System Modeling Based on Open Graph Transformation Systems

Heckel, R., Engels, G., Ehrig, H. and Taentzer, G.

Handbook of Graph Grammars and Computing by Graph Transformation. Vol 2: Applications, Languages and Tools. World Scientific, Singapore etc., 639–668. 1999

Download Bibtex Eintrag

Folding and Unfolding Construction between Algebraic High-Level Nets and Regular Algebraic Higher Order Nets

Hoffmann, K., Ehrig, H. and Wolter, U.

Proc.\ of Workshop on Algebraic Development Techniques(WADT'99). SPRINGER. 1999

Download Bibtex Eintrag

Basic Properties of Double-Pullback Graph Transitions

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

1999

Download Bibtex Eintrag

Basic Properties of Double-Pullback Graph Transitions

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

1999

Download Bibtex Eintrag

Basic Properties of Double Pullback Graph Transitions

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

1999

Download Bibtex Eintrag

Refinement and Implementation

Ehrig, H. and Kreowski, H.-J.

Algebraic Foundations of Systems Specification. Springer Verlag, 201–242. 1999

Download Bibtex Eintrag

Concurrent Semantics of Algebraic Graph Transformations

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

The Handbook of Graph Grammars and Computing by Graph Transformations, Volume 3: Concurrency, Parallelism and Distribution. World Scientific, 107–188. 1999

Download Bibtex Eintrag

Formale Techniken für die Eisenbahnsicherungstechnik: Anforderungskatalog - Zusammenfassung der Arbeitsunterlagen

Schnieder, E., Einer, S., Ehrig, H. and al., e.

Signal und Draht (Rail Signalling and Telecommunication), 38-42. 1999

Download Bibtex Eintrag

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

From Basic Views and Aspects to Integration of Specification Formalisms

Ehrig, H., Orejas, F. and Padberg, J.

BEATCS, 98–108. 1999

Download Bibtex Eintrag


Petrinetze: Modellierung, Strukturierung und Kompositionalität

Ehrig, H., Padberg, J., Ermel, C. and Grigoriu, L.

1999

Download Bibtex Eintrag

2000

High-Level Replacement Systems applied to Algebraic Specifications and Petri Nets

Ehrig, H., Gajewsky, M. and Parisi-Presicce, F.

Handbook of Graph Grammars and Computing by Graph Transformation. Vol 3: Concurrency, Parallelism and Distribution. World Scientific, Singapore etc., 341–400. 2000

Download Bibtex Eintrag

On Formal Semantics and Integration of Object Oriented Modeling Languages

Ehrig, H., Geisler, R., Große–Rhode, M., Klar, M. and Mann, S.

BEACTS, 77–81. 2000

Download Bibtex Eintrag


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

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information

Ehrig, H., Heckel, R., Llabres, M., Orejas, F., Padberg, J. and Rozenberg, G.

Proc. Theory and Application of Graph Transformations (TAGT'98). SPRINGER, 85–102. 2000

Download Bibtex Eintrag

Modeling Train Control Systems: From Message Sequence Charts to Petri Nets

Kluge, O., Padberg, J. and Ehrig, H.

Proc. Formale Techniken für die Eisenbahnsicherung (FORMS), 25–42. 2000

Download Bibtex Eintrag

Integration and classification of data type and process specification techniques

Orejas, F. and Ehrig, H.

INT: Integration of Specification Techniques with Applications in Enginering. TU Berlin, FB 13, 54–56. 2000

Download Bibtex Eintrag

New Concepts for High-Level Petri Nets in the Application Domain of Train Control

Padberg, J., Schiller, P. and Ehrig, H.

Proc.\ Vol.\ 2, 9th Symposium on Transportation Systems, 153–160. 2000

Download Bibtex Eintrag

Conceptual Model of the Graphical Editor \textscGenGEd for the Visual Definition of Visual Languages

Bardohl, R. and Ehrig, H.

Proc. Theory and Application of Graph Transformations (TAGT'98). SPRINGER, 252–266. 2000

Download Bibtex Eintrag

Semantics of Distributed System Specifications based on Graph Transformation

Taentzer, G. and Ehrig, H.

GI Workshop ``Rigorose Entwicklung software-intensiver Systeme'', Berlin. LMU-Report 0005, 57–72. 2000

Download Bibtex Eintrag

Consistency Analysis of UML Class and Sequence Diagrams using Attributed Graph Grammars

Tsiolakis, A. and Ehrig, H.

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

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe