direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

2004

Integrating Meta Modelling with Graph Transformation for Efficient Visual Language Definition and Model Manipulation

Bardohl, R., Ehrig, H., de Lara, J. and Taentzer, G.

Proc. Fundamental Aspects of Software Engineering 2004. SPRINGER. 2004

Download Bibtex Eintrag


On the Relevance of High-Level Net Processes

Ehrig, H.

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

Download Bibtex Eintrag

Bigraphs Meet Double Pushouts

Ehrig, H.

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

Download Bibtex Eintrag




Graph Grammars and Petri Net Transformations

Ehrig, H. and Padberg, J.

Lectures on Concurrency and Petri Nets Special Issue Advanced Course PNT. SPRINGER, 496–536. 2004

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

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

A component framework for system modeling based on high-level replacement systems

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

Software and Systems Modeling, 114-134. 2004

Download Bibtex Eintrag

Anwendung softwaretechnischer Komponentenkonzepte auf die Produktionsautomatisierung

Klein, M., Braatz, B., Ehrig, H., Schröter, G. and Bengel, M.

atp, 46–56. 2004

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

Workshop on Petri Nets and Graph Transformations

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

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

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

A Generic Framework for Connector Architectures based on Components and Transformations

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

Proc. FESCA'04, satellite of ETAPS'04, Barcelona, ENTCS, 53-67. 2004

Link zur Publikation Download Bibtex Eintrag

2005

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

Petri Net Modules in the Transformation-Based Component Framework

Padberg, J. and Ehrig, H.

Journal of Logic and Algebraic Programming, 198-225. 2005

Link zur Publikation Download Bibtex Eintrag


Graph Transformation in Adhesive HLR Categories

Prange, U. and Ehrig, H.

Proceedings of InterSymp 2005. IIAS. 2005

Link zur Publikation Download Bibtex Eintrag

Attributed Graph Transformation with Node Type Inheritance: Long Version

de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.

2005

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

Modeling with Graph Transformation

Ehrig, H. and Prange, U.

Proceedings of InterSymp 2005. IIAS. 2005

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

Efficient detection of conflicts in graph-based model transformation

Lambers, L., Ehrig, H. and Orejas, F.

Proc. International Workshop on Graph and Model Transformation (GraMoT'05). Elsevier Science. 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

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

2006

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe