direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

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

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars

Golas, U., Lambers, L., Ehrig, H. and Giese, H.

Graph Transformations. Springer Berlin Heidelberg, 141-155. 2012

Link zur Publikation 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

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars

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

Proc. Int. Workshop on Analysis of Model Transformations 2013 (AMT'13), 67-76. 2013

Link zur Publikation Download Bibtex Eintrag


Towards the Propagation of Model Updates along different Views in Multi-View Models

Gottmann, S., Nachtigall, N., Ermel, C., Hermann, F. and Engel, T.

5th International Workshop on Bidirectional Transformations. CEUR Workshop Proceedings, 45-60. 2016

Link zur Publikation Download Bibtex Eintrag

Action Nets and Abstract Statecharts in the Theory of High-Level Structures

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

Proc.\ of First European GETGRATS Workshop 1997

Download Bibtex Eintrag

Transformation of Combined Data Type and Process Specifications Using Projection Algebras

Grosse-Rhode, M. and Ehrig, H.

Stepwise Refinement of Distributed Systems, REX-Workshop 1989. SPRINGER, 301–339. 1990

Download Bibtex Eintrag

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


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


From Abstract Data Types to Algebraic Development Techniques: A Shift of Paradigms

Ehrig, H., Gajewsky, M. and Wolter, U.

Proc.\ of Workshop on Algebraic Development Techniques. SPRINGER, 1–17. 1998

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.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore, 226–232. 2001

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

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

Classification and comparison of modularity concepts for graph transformation systems

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

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

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


Horizontal and Vertical Structuring Techniques for Statecharts

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

1996

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


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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe