direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

2005

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

2004

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

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

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


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



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

2003


Node Type Inheritance Concepts for Typed Graph Transformation

Bardohl, R., Ehrig, H., de Lara, J., Runge, O., Taentzer, G. and Weinhold, I.

2003

Link zur Publikation Download Bibtex Eintrag


A Transformation-Based Component Framework for a Generic Integrated Modeling Technique

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

Journal of Integrated Design and Process Science, 78–104. 2003

Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe