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]

2008

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

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

2008

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

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

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

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

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

A Logic of Graph Constraints [30]

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

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

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

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

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

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

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

Transformations in Reconfigurable Place/Transition Systems [36]

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 [37] Download Bibtex Eintrag [38]

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

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

Applied Categorical Structures. SPRINGER, 365–388. 2008

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

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

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 [43] Download Bibtex Eintrag [44]

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

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 [46] Download Bibtex Eintrag [47]

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

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

2008

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

Verification of Architectural Refactorings by Rule Extraction [51]

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

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

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

A Generic Approach to Connector Architectures [54]

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

Science of Computer Programming 2008

Download Bibtex Eintrag [55]

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

Ehrig, H. and Prange, U.

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

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

Flattening Generalized Algebraic High-Level Nets [59]

Ehrig, H. and Prange, U.

BEATCS, 151–160. 2008

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

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

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

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

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

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

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

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

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

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

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

2008

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

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

Ehrig, H. and Ermel, C.

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

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

Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version [74]

Ehrig, H. and Ermel, C.

2008

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

On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars [77]

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

Proc. Third International Workshop on Graph and Model Transformation (GraMoT'08). ACM, 9–16. 2008

Download Bibtex Eintrag [78]

On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version) [79]

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

2008

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

2007

Flexible Modeling of Emergency Scenarios using Reconfigurable Systems [82]

Hoffmann, K., Ehrig, H. and Padberg, J.

Proc. of the 10th World Conference on Integrated Design & Process Technology, 15. 2007

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

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems [85]

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

Proc. of 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Springer, 104–123. 2007

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

Iterative Model-driven Development of Adaptable Service-Based Applications [88]

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

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering ASE 07. ACM, 453–456. 2007

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

Attributed Graph Transformation with Node Type Inheritance [91]

Lara, J. d., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.

TCS, 139–163. 2007

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

Formal Modeling and Analysis of flexible Processes in Mobile Ad-Hoc Networks [94]

Padberg, J., Ehrig, H. and Hoffmann, K.

BEATCS, 128–132. 2007

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

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks [97]

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

Fundamental Approaches to Software Engineering. Springer, 383–397. 2007

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

From Algebraic Graph Transformation to Adhesive HLR Categories and Systems [100]

Prange, U. and Ehrig, H.

Algebraic Informatics. Proceedings of CAI 2007. SPRINGER, 122–146. 2007

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

Model Transformations Should be Functors [103]

Batory, D., Diaz, O., Ehrig, H., Ermel, C., Prange, U. and Taentzer, G.

, 75–81. 2007

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

Bisimulation Verification for the DPO Approach with Borrowed Contexts [106]

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

Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT'07). Electronic Communications of the EASST. 2007

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

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

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

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

Link zur Publikation [110] Download Bibtex Eintrag [111]

<< zurück [112]
vor >> [131]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008