direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

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


The Role of Mathematics in Software System Development

Ehrig, H. and Schroeter, G.

Current Trends in Theoretical Computer Science: The Challenge of the New Century. World Scientific, Singapore etc. 2004, 5-15. 2004

Download Bibtex Eintrag

Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation

Ehrig, H. and Ermel, C.

Proc. International Conference on Graph Transformation (ICGT'08). SPRINGER, 194–210. 2008

Link zur Publikation Download Bibtex Eintrag

Church-Rosser Poperties for Graph Replacement Systems with Unique Splitting

Ehrig, H. and Staples, J.

Graph Grammars and their Application to Computer Science and Biology. SPRINGER, 82–101. 1983

Download Bibtex Eintrag


A Proposal for Consistent Integration of Visual Computing with Visual Software Development

Ehrig, H. and Taentzer, G.

Proc. of Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2000), Satellite Workshop of 27th Int. Colloqium on Automata, Languages, and Programming (ICALP'2000) 2000

Download Bibtex Eintrag




Graph and Model Transformation: General Framework and Applications

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

||Springer Berlin Heidelberg. 2015

Download Bibtex Eintrag


Confluence in Data Reduction: Bridging Graph Transformation and Kernelization

Ehrig, H., Ermel, C., Hüffner, F., Niedermeier, R. and Runge, O.

Proc. of Int. Conf. on Computability in Europe (CiE'12). Springer. 2012

Download Bibtex Eintrag


On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars

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

Proc. Third International Workshop on Graph and Model Transformation (GraMoT'08). ACM, 9–16. 2008

Download Bibtex Eintrag

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




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

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe