direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

<< zurück [1]

1 [2] | 2 [3] | 3 [4] | 4 [5] | 5 [6] | 6 [7] | 7 [8] | 8 [9] | 9 [10] | 10 [11] | 11 [12] | 12 [13] | 13 [14] | 14 [15] | 15 [16] | Sie sind auf Seite:16 | 17 [17] | 18 [18] | 19 [19]

vor >> [20]

Sortieren nach: Autor [21]  Jahr [22]  Journal [23]

2007

An approach using formally well-founded domain languages for secure coarse-grained IT system modelling in a real-world banking scenario [24]

Braatz, B., Brandt, C., Engel, T., Hermann, F. and Ehrig, H.

Proc. Australasian Conf. on Information Systems (ACIS'07) 2007

Link zur Publikation [25] Download Bibtex Eintrag [26]

Information Preserving Bidirectional Model Transformations [27]

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

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

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

Model Transformations by Graph Transformation are Functors [30]

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

BEATCS, 134–142. 2007

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

Concurrency in Reconfigurable Place/Transition Systems: Independence of Net Transformations as well as Net Transformations and Token Firing [33]

Ehrig, H., Ermel, C., Hoffmann, K., Padberg, J. and Prange, U.

2007

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

2008

Behavior-Preserving Simulation-to-Animation Model and Rule Transformation [36]

Ermel, C. and Ehrig, H.

Proc. of Workshop on Graph Transformation for Verification and Concurrency (GT-VC'07). Elsevier Science, 55-74. 2008

Link zur Publikation [37] Download Bibtex Eintrag [38]

Process Definition using Subobject Transformation Systems [39]

Hermann, F. and Ehrig, H.

BEATCS, 153-163. 2008

Link zur Publikation [40] Download Bibtex Eintrag [41]

Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (Long Version) [42]

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

2008

Link zur Publikation [43] Download Bibtex Eintrag [44]

A typed attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams [45]

Hermann, F., Ehrig, H. and Taentzer, G.

Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'06). Elsevier Science, 261–269. 2008

Link zur Publikation [46] Download Bibtex Eintrag [47]

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs [48]

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

Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT'06). Elsevier Science, 17–26. 2008

Link zur Publikation [49] Download Bibtex Eintrag [50]

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions [51]

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

Proceedings of the ACCAT workshop at ETAPS 2007. Elsevier, 43–66. 2008

Link zur Publikation [52] Download Bibtex Eintrag [53]

Embedding and Confluence of Graph Transformations with Negative Application Conditions [54]

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

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

Link zur Publikation [55] Download Bibtex Eintrag [56]

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences [57]

Lambers, L., Ehrig, H. and Taentzer, G.

Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08) 2008

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

Petri Net Transformations [60]

Ehrig, H., Hoffmann, K., Padberg, J., Ermel, C., Prange, U., Biermann, E. and Modica, T.

Petri Net Theory and Applications. I-Tech Education and Publication, 1–16. 2008

Link zur Publikation [61] Download Bibtex Eintrag [62]

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences [63]

Lambers, L., Ehrig, H. and Taentzer, G.

2008

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

A Formal Framework for Developing Adaptable Service-Based Applications [66]

Lambers, L., Mariani, L., Ehrig, H. and Pezze, M.

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

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

A Logic of Graph Constraints [69]

Orejas, F., Ehrig, H. and Prange, U.

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

Link zur Publikation [70] Download Bibtex Eintrag [71]

Open Petri Nets: Non-deterministic Processes and Compositionality [72]

Baldan, P., Corradini, A., Ehrig, H. and König, B.

Proc. International Conference on Graph Transformation (ICGT'08). SPRINGER. 2008

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

Transformations in Reconfigurable Place/Transition Systems [75]

Prange, U., Ehrig, H., Hoffman, K. and Padberg, J.

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. SPRINGER, 96–113. 2008

Link zur Publikation [76] Download Bibtex Eintrag [77]

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories [78]

Prange, U., Ehrig, H. and Lambers, L.

Applied Categorical Structures. SPRINGER, 365–388. 2008

Link zur Publikation [79] Download Bibtex Eintrag [80]

Deriving Bisimulation Congruences in the Presence of Negative Application Conditions [81]

Rangel, G., König, B. and Ehrig, H.

Proc. Foundations of Software Science and Computational Structures (FOSSACS'08). SPRINGER, 413-427. 2008

Link zur Publikation [82] Download Bibtex Eintrag [83]

Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts [84]

Rangel, G., Lambers, L., König, B., Ehrig, H. and Baldan, P.

Proc. International Conference on Graph Transformation (ICGT'08). SPRINGER. 2008

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

Behavior Preservation on Model Refactoring using DPO Transformations with Borrowed Contexts [87]

Rangel, G., Lambers, L., Koenig, B., Ehrig, H. and P., B.

2008

Link zur Publikation [88] Download Bibtex Eintrag [89]

Verification of Architectural Refactorings by Rule Extraction [90]

Bisztray, D., Heckel, R. and Ehrig, H.

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

Link zur Publikation [91] Download Bibtex Eintrag [92]

A Generic Approach to Connector Architectures [93]

Ehrig, H., Orejas, F., Klein, M., Padberg, J., Pino, E. and Perez, S.

Science of Computer Programming 2008

Download Bibtex Eintrag [94]

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

Ehrig, H. and Prange, U.

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

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

Flattening Generalized Algebraic High-Level Nets [98]

Ehrig, H. and Prange, U.

BEATCS, 151–160. 2008

Link zur Publikation [99] Download Bibtex Eintrag [100]

Consistent Integration of Models Based on Views of Visual Languages [101]

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

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

Link zur Publikation [102] Download Bibtex Eintrag [103]

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars [104]

Ehrig, H., Ehrig, K. and Hermann, F.

Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08). EASST. 2008

Link zur Publikation [105] Download Bibtex Eintrag [106]

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars (Long Version) [107]

Ehrig, H., Ehrig, K. and Hermann, F.

2008

Link zur Publikation [108] Download Bibtex Eintrag [109]

Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation [110]

Ehrig, H. and Ermel, C.

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

Link zur Publikation [111] Download Bibtex Eintrag [112]
<< zurück [113]

1 [114] | 2 [115] | 3 [116] | 4 [117] | 5 [118] | 6 [119] | 7 [120] | 8 [121] | 9 [122] | 10 [123] | 11 [124] | 12 [125] | 13 [126] | 14 [127] | 15 [128] | Sie sind auf Seite:16 | 17 [129] | 18 [130] | 19 [131]

vor >> [132]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Hilfsfunktionen

Copyright TU Berlin 2008