Publications Prof. Hartmut Ehrig (TFS)

How to Transfer Concepts of Abstract Data Types to Petri Nets

Ehrig, H., Merten, A. and Padberg, J.

BEACTS, 106–104. 1997

How to Transfer Concepts of Abstract Data Types to Petri Nets

Ehrig, H., Merten, A. and Padberg, J.

, 29–38. 1997

A Uniform Approach to Petri Nets

Ehrig, H. and Padberg, J.

Foundations of Computer Science: Potential - Theory - Cognition. SPRINGER, 219–231. 1997

Introduction to Universal Parametrized Net Classes

Ehrig, H. and Padberg, J.

MoveOn-Proc. der DFG-Forschergruppe``Petrinetz-Technologie''. Forschungsberichte des Fachbereichs Informatik, 39–51. 1997

Introduction to Universal Parameterized Net Classes

Ehrig, H. and Padberg, J.

, 39–52. 1997

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

Ehrig, H., Reisig, W. and Weber, H.

1997

The Impact and Future Role of Algebraic Specification

Ehrig, H. and Wolter, U.

BEATCS, 74-77. 1996

A View-Based Approach to System Modelling

Engels, E., Ehrig, H., Heckel, R., Taentzer, G. and Corradini, A.

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

Requirements Engineering of a Medical Information System Using Rule-Based Refinement of Petri Nets

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

Proc. Integrated Design and Process Technology, 186–193. 1996

Horizontal and Vertical Structuring of Typed Graph Transformation Systems

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

Math. Struc. in Comp. Science, 613-648. 1996

Horizontal and Vertical Structuring of Typed Graph Transformation Systems

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

1996

A Coalgebraic Loose Semantics for Graphtransformation Systems with Behavioral Constraints

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

1996

Horizontal and Vertical Structuring Techniques for Statecharts

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

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

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

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

1996

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

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

Graph Grammars - An Introduction to the Double-Pushout Approach

Martini, A., Ehrig, H. and Nunes, D.

1996

Basic Concepts of Equational Parameterized Specifications

Martini, A., Ehrig, H. and Nunes, D.

1996

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

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

Correctness of Horizontal and Vertical Composition for Implementation Concepts Based on Constructors and Abstractors

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

1996

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

Algebraic Techniques in Software Development - A Review of Progress within the last two Decades

Ehrig, H. and Mahr, B.

BEATCS, 105-117. 1996

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

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

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

Integration of Algebraic Specifications and Petri Nets

Ehrig, H. and Reisig, W.

BEATCS, 52–58. 1996

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

Computing by Graph Transformation II. Final Report. ESPRIT Basic Research Working Group No. 7183

Ehrig, H. and Taentzer, G.

1996