direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

<< zurück [1]
vor >> [20]

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]
vor >> [132]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008