direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

From Graph Grammars to high level replacement systems

Ehrig, H., Habel, A., Kreowski, H.-J. and Parisi-Presicce, F.

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

Download Bibtex Eintrag

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars

Hermann, F., Ehrig, H., Ermel, C. and Orejas, F.

Int. Conf. on Fundamental Approaches to Software Engineering (FASE'12). Springer, 178-193. 2012

Download Bibtex Eintrag

Parallelism and Concurrency in High Level Replacement Systems

Ehrig, H., Habel, A., Kreowski, H.-J. and Parisi-Presicce, F.

1990

Download Bibtex Eintrag


Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars

Hermann, F., Ehrig, H., Golas, U. and Orejas, F.

Proc. Int. Workshop on Model Driven Interoperability (MDI'10). ACM, 22–31. 2010

Link zur Publikation Download Bibtex Eintrag

Local Confluence for Rules with Nested Application Conditions

Ehrig, H., Habel, A., Lambers, L., Orejas, F. and Golas, U.

Proceedings of Intern. Conf. on Graph Transformation (ICGT' 10). SPRINGER, 330–345. 2010

Link zur Publikation Download Bibtex Eintrag

Adhesive High-Level Replacement Categories and Systems

Ehrig, H., Habel, A., Padberg, J. and Prange, U.

Proc. 2nd Int. Conference on Graph Transformation (ICGT'04). SPRINGER, 144–160. 2004

Link zur Publikation Download Bibtex Eintrag


Basic Results for Two Types of High-Level Replacement Systems

Ehrig, H., Habel, A. and Parisi-Presicce, F.

Proc. GETGRATS Closing Workshop, 12. 2002

Link zur Publikation Download Bibtex Eintrag

Formal Analysis of Functional Behaviour of Model Transformations Based on Triple Graph Grammars

Hermann, F., Ehrig, H., Orejas, F. and Golas, U.

Proceedings of Intern. Conf. on Graph Transformation ( ICGT' 10). SPRINGER, 155–170. 2010

Link zur Publikation Download Bibtex Eintrag

Concurrent Transformation of Relational Structures

Ehrig, H., Habel, A. and Rosen, B.

, 13-50. 1986

Download Bibtex Eintrag



A typed attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams

Hermann, F., Ehrig, H. and Taentzer, G.

Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'06). Elsevier Science, 261–269. 2008

Link zur Publikation Download Bibtex Eintrag

ACT ONE. An Algebraic Specification Language Based on Initial Algebra and Free Functor Semantics.

Ehrig, H. and Hansen, H.

Proc. of the 10th National Summer School "Appl. of Math. in Eng." Varna. University of Varna. 1984

Download Bibtex Eintrag

A typed attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams

Hermann, F., Ehrig, H. and Taentzer, G.

Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'06). Elsevier Science. 2006

Link zur Publikation Download Bibtex Eintrag


Triple Graph Grammars in the Large for Translating Satellite Procedures

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

Proc. Int. Conf. on Model Transformations (ICMT 2014). Springer International Publishing, 122-137. 2014

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.

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

Download Bibtex Eintrag

Triple Graph Grammars in the Large for Translating Satellite Procedures: Extended Version

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

, 1-22. 2014

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

Flexible Modeling of Emergency Scenarios using Reconfigurable Systems

Hoffmann, K., Ehrig, H. and Padberg, J.

Proc. of the 10th World Conference on Integrated Design & Process Technology, 15. 2007

Link zur Publikation Download Bibtex Eintrag

Construction and Characterization of Double-Pullback Graph Transitions

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

Proc.\ 6th Int. Workshop on Theory and Applications of Graph Transformation (TAGT'98), 308–315. 1998

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

High-Level Nets with Nets and Rules as Tokens

Hoffmann, K., Mossakowski, T. and Ehrig, H.

Proc. of 26th Intern. Conf. on Application and Theory of Petri Nets and other Models of Concurrency. SPRINGER, 268–288. 2005

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

Flexible Independence of Net Transformations and Token Firing in the Cospan DPO Approach

Hoffmann, K., Padberg, J., Ehrig, H. and Hermann, F.

Proc. 3rd International Symposium of Multiagent Systems (MAS), Robotics and Cybernetics: Theory and Practice, 2009 2010

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

Concurrency of node label controlled graph transformations

Janssens, D., Kreowski, H.-J., Rozenberg, G. and Ehrig, H.

1982

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe