direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Algebraic Concepts for Formal Specification and Transformation of Modular Software Systems

Ehrig, H., Boehm, P. and Fey, W.

Proc. 23rd Hawaii Int. Conf. on System Science, Kailua-Kona, Hawaii. IEEE Comp. Sci. Press, 153–164. 1990

Download Bibtex Eintrag

Graph grammars: an algebraic approach

Ehrig, H., Pfender, M. and Schneider, H.

14th Annual IEEE Symposium on Switching and Automata Theory. IEEE, 167–180. 1973

Download Bibtex Eintrag

Object-Oriented Connector-Component Architectures

Ehrig, H., Braatz, B., Klein, M., Orejas, F., Pérez, S. and Pino, E.

Proc. Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2005), 123-151. 2005

Link zur Publikation Download Bibtex Eintrag

Kategorien und Automaten

Ehrig, H. and Pfender, M. et al.

||de Gruyter Lehrbuch. 1972

Download Bibtex Eintrag

Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels

Ehrig, H. and Prange, U.

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

Link zur Publikation Download Bibtex Eintrag

Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS

Ehrig, H., Claßen, I., Boehm, P., Fey, W., Korff, M. and Löwe, M.

Informatik Fachberichte 212. SPRINGER, 201–224. 1989

Download Bibtex Eintrag

Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations

Ehrig, H. and Prange, U.

Algebra, Meaning and Computation. Essays Dedicated to J.A. Goguen. SPRINGER, 235–251. 2006

Link zur Publikation Download Bibtex Eintrag

Modeling with Graph Transformation

Ehrig, H. and Prange, U.

Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. Proceedings of Intern. Conf. on Systems Research, Informatics and Cybernetics 2005. IIAS. 2006

Link zur Publikation Download Bibtex Eintrag

Modeling with Graph Transformation

Ehrig, H. and Prange, U.

Proceedings of InterSymp 2005. IIAS. 2005

Link zur Publikation Download Bibtex Eintrag

Overview of Formal Concepts for Model Transformations based on Typed Attributed Graph Transformation

Ehrig, H. and Ehrig, K.

Proc. Int. Workshop on Graph and Model Transformation (GraMoT'05). Elsevier Science. 2005

Link zur Publikation Download Bibtex Eintrag

Fundamental Theory for Typed Attributed Graph Transformation

Ehrig, H., Prange, U. and Taentzer, G.

Proc. 2nd Int. Conference on Graph Transformation (ICGT'04), Rome, Italy. SPRINGER. 2004

Link zur Publikation Download Bibtex Eintrag

Information Preserving Bidirectional Model Transformations

Ehrig, H., Ehrig, K., Ermel, C., Hermann, F. and Taentzer, G.

Fundamental Approaches to Software Engineering. SPRINGER, 72–86. 2007

Link zur Publikation Download Bibtex Eintrag


Construction and Correctness Analysis of a Model Transformation from Activity Diagrams to Petri Nets

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

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

Link zur Publikation Download Bibtex Eintrag

Consistent Integration of Models Based on Views of Visual Languages

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

Proc. Fundamental Approaches to Software Engineering (FASE'08). SPRINGER, 62–76. 2008

Link zur Publikation Download Bibtex Eintrag



The Mathematics of Record Handling

Ehrig, H. and Rosen, B.

SIAM J. COMPUT., 441 – 469. 1980

Download Bibtex Eintrag


Constraints and Application Conditions: From Graphs to High-Level Structures

Ehrig, H., Ehrig, K., Habel, A. and Pennemann, K.-H.

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

Link zur Publikation Download Bibtex Eintrag

Concurrency of Manipulations in Multi-dimensional Information Structures

Ehrig, H. and Rosen, B.

Mathematical Foundations of Computer Science. SPRINGER, 65–176. 1978

Download Bibtex Eintrag



Decomposition of Graph Grammars, Productions and Derivations

Ehrig, H. and Rosen, B.-K.

1st Int.\ Workshop on Graph Grammars and their Application to Computer Science and Biology. SPRINGER, 192–205. 1979

Download Bibtex Eintrag

Termination Criteria for Model Transformation

Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D. and Varró-Gyapay, S.

Proc.\ Fundamental Approaches to Software Engineering (FASE). SPRINGER, 214–228. 2005

Link zur Publikation Download Bibtex Eintrag

Some Definitional Suggestions for Parallel Graph Grammars

Ehrig, H. and Rozenberg, G.

Formal Languages, Automata and Development. North Holland, 443 - 468. 1976

Download Bibtex Eintrag

Fundamentals of Algebraic Graph Transformation

Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.

||SPRINGER. 2006

Link zur Publikation Download Bibtex Eintrag

Some Definitional Suggestions for Parallel Graph Grammars

Ehrig, H. and Rozenberg, G.

Automata, Laanguages Development. North-Holland Publishing Compasny, 443 – 468. 1976

Download Bibtex Eintrag

Graph Transformations and Other Rule-Based Formalisms with Incomplete Information

Ehrig, H., Rozenberg, G. and Padberg, J.

Proc. 6th International Workshop on Theory and Application of Graph Transformation. Universität Paderborn, 268–278. 1998

Download Bibtex Eintrag

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation

Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.

Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05) 2005

Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe