direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

1996

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


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

Synchronization of Views and Loose Semantics of Typed Graph Productions

Ehrig, H., Heckel, R., Padberg, J., Taentzer, G., Wolter, U., Corradini, A. and Engels, G.

Report on the Dagstuhl-Seminar 9637 \emphGraph Transformations in Computer Science 1996

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

GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development

Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Heckel, R., Ribeiro, R., Nunes, D. and Martini, A.

Proc. of the 3rd German-Brazilian Workshop on Information Technology, Berlin, December, 14th-15th 1995. Forschungszentrum Jülich GmbH, Bilateral Seminars of the International Bureau, Volume 26. 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


Graph Grammars and Their Application to Computer ScienceGraph Grammars and Their Application to Computer Science

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

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

A New Integration Paradigm for Formal Specification of Safe Software Systems

Ehrig, H., Bardohl, R., Cornelius, F., Geisler, R., Große-Rhode and Padberg, J.

Proc. 10th Japan-Germany Forum on Information Technology 1996

Download Bibtex Eintrag


Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems

Ehrig, H. and Engels, G.

Proc. Williamsburg, U.S.A.. SPRINGER, 137-154. 1996

Download Bibtex Eintrag



1997

A Combined Reference Model- and View-Based Approach to System Specification

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

Int. Journal of Software and Knowledge Engineering, 457–477. 1997

Download Bibtex Eintrag

A View-Oriented Approach to System Modelling Using Graph Transformation

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

Proc. of ESEC/FSE'97, Zürich. SPRINGER, 327–343. 1997

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application

Ehrig, H., Gajewsky, M., Lembke, S. and Padberg, J.

Formal Methods Pacific '97. Springer - Verlag Singapore Pte. Ltd, 297-298. 1997

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application

Ehrig, H., Gajewsky, M., Lembke, S. and Padberg, J.

Formal Methods Pacific '97 –- Work in Progress Papers. Victoria University of Wellington, New Zealand. 1997

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications

Ehrig, H., Gajewsky, M., Lembke, S. and Padberg, J.

Proc. Formal Methods Pacific 1997 1997

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application

Ehrig, H., Gajewsky, M., Lembke, S., Padberg, J. and Gruhn, V.

Move-On-Workshop der DFG-Forschergruppe Petrinetz-Technologie 1997

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications

Ehrig, H., Gajewsky, M., Lembke, S., Padberg, J. and Gruhn, V.

, 7–28. 1997

Download Bibtex Eintrag


Horizontal and Vertical Structuring Techniques for Statecharts

Ehrig, H., Geisler, R., Klar, M. and Padberg, J.

8$^th$ International Conference on Concurrency Theory (CONCUR'97),Warsaw, Poland. SPRINGER, 181–195. 1997

Download Bibtex Eintrag

Horizontal and Vertical Structuring Techniques for Statecharts

Ehrig, H., Geisler, R., Klar, M. and Padberg, J.

CONCUR'97. SPRINGER, 181–195. 1997

Download Bibtex Eintrag

Loose Semantics and Constraints for Graph Transformation Systems

Heckel, R., Ehrig, H., Wolter, U. and Corradini, A.

1997

Download Bibtex Eintrag

Integrating the Specification Techniques of Graph Transformation and Temporal Logic

Heckel, R., Ehrig, H., Wolter, U. and Corradini, A.

Proc. of MFCS'97, Bratislava. SPRINGER, 219–228. 1997

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe