direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

2016

Towards the Propagation of Model Updates along different Views in Multi-View Models

Gottmann, S., Nachtigall, N., Ermel, C., Hermann, F. and Engel, T.

5th International Workshop on Bidirectional Transformations. CEUR Workshop Proceedings, 45-60. 2016

Link zur Publikation Download Bibtex Eintrag

2015


Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation

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

Software, Services, and Systems. Springer International Publishing, 582-601. 2015

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

2014

Finitary M-Adhesive Categories

Gabriel, K., Braatz, B., Ehrig, H. and Golas, U.

Mathematical Structures in Computer Science, 1–40. 2014

Link zur Publikation Download Bibtex Eintrag

Multi-amalgamation of rules with application conditions in M-adhesive categories

Golas, U., Habel, A. and Ehrig, H.

Mathematical Structures in Computer Science 2014

Download Bibtex Eintrag

M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

Ehrig, H., Golas, U., Habel, A., Lambers, L. and Orejas, F.

Mathematical Structures in Computer Science 2014

Download Bibtex Eintrag

Analysis of Permutation Equivalence in M-adhesive Transformation Systems with Negative Application Conditions

Hermann, F., Corradini, A. and Ehrig, H.

Mathematical Structures in Computer Science 2014

Download Bibtex Eintrag

Formal analysis of model transformations based on triple graph grammars

Hermann, F., Ehrig, H., Golas, U. and Orejas, F.

Mathematical Structures in Computer Science, 1-57. 2014

Download Bibtex Eintrag

Triple Graph Grammars in the Large for Translating Satellite Procedures

Hermann, F., Gottmann, S., Nachtigall, N., Ehrig, H., Braatz, B., Morelli, G., Pierre, A., Engel, T. and Ermel, C.

Proc. Int. Conf. on Model Transformations (ICMT 2014). Springer International Publishing, 122-137. 2014

Download Bibtex Eintrag

Triple Graph Grammars in the Large for Translating Satellite Procedures: Extended Version

Hermann, F., Gottmann, S., Nachtigall, N., Ehrig, H., Braatz, B., Morelli, G., Pierre, A., Engel, T. and Ermel, C.

, 1-22. 2014

Link zur Publikation Download Bibtex Eintrag

2013

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars

Gottmann, S., Hermann, F., Nachtigall, N., Braatz, B., Ermel, C., Ehrig, H. and Engel, T.

Proc. Int. Workshop on Analysis of Model Transformations 2013 (AMT'13), 67-76. 2013

Link zur Publikation Download Bibtex Eintrag

Propagation of constraints along model transformations using triple graph grammars and borrowed context

Ehrig, H., Hermann, F., Schölzel, H. and Brandt, C.

Visual Languages and Computing, 365-388. 2013

Download Bibtex Eintrag

Analysis of Hypergraph Transformation Systems in AGG based on M-Functors

Maximova, M., Ehrig, H. and Ermel, C.

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'13). European Association of Software Science and Technology. 2013

Link zur Publikation Download Bibtex Eintrag


On Propagation-Based Concurrent Model Synchronization

Orejas, F., Boronat, A., Ehrig, H., Hermann, F. and Schölzel, H.

Electronic Communications of the EASST. European Association of Software Science and Technology. 2013

Download Bibtex Eintrag



Confluence in Data Reduction: Bridging Graph Transformation and Kernelization

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

Computability. IOS Press, 31-49. 2013

Download Bibtex Eintrag

2012

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars

Golas, U., Lambers, L., Ehrig, H. and Giese, H.

Graph Transformations. Springer Berlin Heidelberg, 141-155. 2012

Link zur Publikation Download Bibtex Eintrag



Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars

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

Int. Conf. on Fundamental Approaches to Software Engineering (FASE'12). Springer, 178-193. 2012

Download Bibtex Eintrag


Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on $\mathcalM$-Functors

Maximova, M., Ehrig, H. and Ermel, C.

Proc. of 5th Workshop on Petri Nets and Graph Transformation (PNGT). European Association of Software Science and Technology, 1-12. 2012

Link zur Publikation Download Bibtex Eintrag


Parallelism and Concurrency of Stochastic Graph Transformations.

Heckel, R., Ehrig, H., Golas, U. and Hermann, F.

ICGT. Springer, 96-110. 2012

Link zur Publikation Download Bibtex Eintrag

Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories

Schölzel, H., Ehrig, H., Maximova, M., Gabriel, K. and Hermann, F.

Proc. Seventh ACCAT Workshop on Applied and Computational Category Theory (ACCAT'12) 2012

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

2011


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe