direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

vor >> [19]

2016

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

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 [24] Download Bibtex Eintrag [25]

2015

Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and AGG [26]

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

Sci. Comput. Program., 44–70. 2015

Link zur Publikation [27] Download Bibtex Eintrag [28]

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

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

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

Link zur Publikation [30] Download Bibtex Eintrag [31]

Graph and Model Transformation: General Framework and Applications [32]

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

||Springer Berlin Heidelberg. 2015

Download Bibtex Eintrag [33]

2014

Finitary M-Adhesive Categories [34]

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

Mathematical Structures in Computer Science, 1–40. 2014

Link zur Publikation [35] Download Bibtex Eintrag [36]

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

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

Mathematical Structures in Computer Science 2014

Download Bibtex Eintrag [38]

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

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

Mathematical Structures in Computer Science 2014

Download Bibtex Eintrag [40]

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

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

Mathematical Structures in Computer Science 2014

Download Bibtex Eintrag [42]

Formal analysis of model transformations based on triple graph grammars [43]

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

Mathematical Structures in Computer Science, 1-57. 2014

Download Bibtex Eintrag [44]

Triple Graph Grammars in the Large for Translating Satellite Procedures [45]

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 [46]

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

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 [48] Download Bibtex Eintrag [49]

2013

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

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 [51] Download Bibtex Eintrag [52]

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

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

Visual Languages and Computing, 365-388. 2013

Download Bibtex Eintrag [54]

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

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 [56] Download Bibtex Eintrag [57]

Analysis of Hypergraph Transformation Systems in AGG based on $mathcalM$-Functors [58]

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

2013

Link zur Publikation [59] Download Bibtex Eintrag [60]

On Propagation-Based Concurrent Model Synchronization [61]

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 [62]

Modeling and Analysis of Self-Adaptive Systems Based on Graph Transformation [63]

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

2013

Link zur Publikation [64] Download Bibtex Eintrag [65]

Modeling and Analysis of Self-Adaptive Systems Based on Graph Transformation [66]

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

2013

Link zur Publikation [67] Download Bibtex Eintrag [68]

Confluence in Data Reduction: Bridging Graph Transformation and Kernelization [69]

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

Computability. IOS Press, 31-49. 2013

Download Bibtex Eintrag [70]

2012

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

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

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

Link zur Publikation [72] Download Bibtex Eintrag [73]

Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs [74]

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

Theor. Comput. Sci., 46-68. 2012

Download Bibtex Eintrag [75]

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

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

MSCS 2012

Download Bibtex Eintrag [77]

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars [78]

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 [79]

Formal Analysis of Model Transformations Based on Triple Graph Grammars [80]

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

MSCS 2012

Download Bibtex Eintrag [81]

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

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 [83] Download Bibtex Eintrag [84]

Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors – Extended Version [85]

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

2012

Link zur Publikation [86] Download Bibtex Eintrag [87]

Parallelism and Concurrency of Stochastic Graph Transformations. [88]

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

ICGT. Springer, 96-110. 2012

Link zur Publikation Download Bibtex Eintrag [89]

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

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 [91]

Confluence in Data Reduction: Bridging Graph Transformation and Kernelization [92]

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 [93]

2011

A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications [94]

Ehrig, H., Ermel, C. and Taentzer, G.

2011

Link zur Publikation [95] Download Bibtex Eintrag [96]

vor >> [115]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008