direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E

From Parallel Graph Grammars to Parallel High- Level Replacement Systems

Ehrig, H. and Taentzer, G.

Lindenmayer Systems. SPRINGER, 283–303. 1992

Download Bibtex Eintrag

Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks

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

Proc. International Conference on Fundamental Aspects of Software Engineering (FASE'09). Springer, 325-339. 2009

Link zur Publikation Download Bibtex Eintrag





Graph Grammars and Applications to Specification and Evolution in Biology

Ehrig, H. and Tischer, K.-W.

Journal Computer System Science, 212–236. 1975

Download Bibtex Eintrag

On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars

Ehrig, H., Ermel, C., Hermann, F. and Prange, U.

ACM/IEEE 12th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS'09). Springer, 241–255. 2009

Link zur Publikation Download Bibtex Eintrag

Development of Stochastic Graphs

Ehrig, H. and Tischer, K.-W.

Proc. Conf. on Uniformly Structured Automata Theory and Logic, Tokyo, 1–6. 1975

Download Bibtex Eintrag


Graph Grammars for the Specialization of Organisms

Ehrig, H. and Tischer, K.-W.

Proc. Conf. on Biologically Motivated Automata Theory, Virginia, USA. Record MITRE Corp., 158–165. 1974

Download Bibtex Eintrag


Algebraic specifications with generating constraints

Ehrig, H., Wagner, E. and Thatcher, J.

Proc. ICALP'83, Automata, Languages and Programming. SPRINGER, 188–202. 1983

Download Bibtex Eintrag

Formal Analysis and Verification of Self-Healing Systems

Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A. and Pelliccione, P.

Proc. Intern. Conf. on Fundamental Aspects of Software Engineering (FASE'10). SPRINGER, 139–153. 2010

Link zur Publikation Download Bibtex Eintrag


Formal Analysis and Verication of Self-Healing Systems: Long Version

Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A. and Pelliccione, P.

2010

Link zur Publikation Download Bibtex Eintrag

Programming in the large with algebraic module specifications

Ehrig, H. and Weber, H.

Information Processing, 675-684. 1986

Download Bibtex Eintrag

A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications

Ehrig, H., Ermel, C. and Taentzer, G.

Int. Conf. on Fundamental Approaches to Software Engineering (FASE'11). Springer, 202-216. 2011

Link zur Publikation Download Bibtex Eintrag

Algebraic Specification of Modules

Ehrig, H. and Weber, H.

Proc.\ IFIP Work Conf.\ 85: The Role of Abstract Models in Programming, Wien. North Holland, 231–258. 1985

Download Bibtex Eintrag

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

Download Bibtex Eintrag

Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective

Engels, G. and Ehrig, H.

Proc. Colloquium on Graph Transformation and its Application in Computer Science, 25–28. 1995

Download Bibtex Eintrag

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

Specification and Implementation of Animation Views for Petri nets

Ermel, C., Bardohl, R. and Ehrig, H.

Proc. of 2nd International Colloquium on Petri Net Technology for Comunication Based Systems, 12. 2001

Link zur Publikation Download Bibtex Eintrag

Behavior-Preserving Simulation-to-Animation Model and Rule Transformation

Ermel, C. and Ehrig, H.

Proc. of Workshop on Graph Transformation for Verification and Concurrency (GT-VC'07). Elsevier Science, 55-74. 2008

Link zur Publikation Download Bibtex Eintrag

Modeling Visual Languages based on Graph Transformation Concepts and Tools

Ermel, C., Ehrig, H. and Ehrig, K.

Proc. Intern. IMCAS Symposium on Mathematical Modelling (MathMod). ARGESIM-Reports. 2006

Link zur Publikation Download Bibtex Eintrag

Semantical Correctness of Simulation-to-Animation Model and Rule Transformation

Ermel, C., Ehrig, H. and Ehrig, K.

Proc. Int. Workshop on Graph and Model Transformation (GraMoT'06), Satellite Event of the IEEE Symposium on Visual Languages and Human-Centric Computing 2006

Link zur Publikation Download Bibtex Eintrag



Simulation and Animation of Visual Models of Embedded Systems: A Graph-Transformation-Based Approach Applied to Petri Nets

Ermel, C., Ehrig, H. and Taentzer, G.

Proc. 7th Workshop on Embedded Systems – Modeling, Technology, and Applications, Technische Universität Berlin. SPRINGER, 11–20. 2006

Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe