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]

Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation [24]

Biermann, E., Ehrig, H., Ermel, C., Golas, U. and Taentzer, G.

Graph Transformations and Model-Driven Engineering. Essays Dedicated to Manfred Nagl. SPRINGER, 121–140. 2010

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

Parameter Passing in Algebraic Specification Languages [27]

Ehrig, H., Kreowski, H.-J., Thatcher, J., Wagner, E. and Wright, J.

, 45–81. 1984

Download Bibtex Eintrag [28]

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

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 [30] Download Bibtex Eintrag [31]

Modeling Multicasting in Dynamic Communication-based Systems by Reconfigurable High-level Petri Nets [32]

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

IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings. IEEE, 47-50. 2009

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

Parameter Passing in Algebraic Specification Languages [35]

Ehrig, H., Kreowski, H.-J., Thatcher, J., Wagner, E. and Wright, J.

Workshop on Program Specification, Aarhus. SPRINGER, 322–369. 1981

Download Bibtex Eintrag [36]

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

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

2008

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

Verification of Architectural Refactorings by Rule Extraction [40]

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

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

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

Parameterized data types in algebraic specification languages [43]

Ehrig, H., Kreowski, H.-J., Thatcher, J., Wagner, E. and Wright, J.

Proc. ICALP '80. SPRINGER, 157–168. 1980

Download Bibtex Eintrag [44]

Graphical support and integration of formal and semi-formal methods for software specification and development [45]

Ribeiro, L., Ehrig, H., Korff, M., Padberg, J., Nunes, D., Bardohl, R. and Castro, P.

Information Technology: Cooperative Research with Industrial Partners between Germany and Brazil 1993

Download Bibtex Eintrag [46]

Algebraic specification schemes for data base systems. [47]

Ehrig, H., Kreowski, H.-J. and Weber, H.

Proc. 4th Int. Conf. Very Large Data Bases. Hahn-Meitner-Institut für Kernforschung, HMI-B266, 427–440. 1978

Download Bibtex Eintrag [48]

Formal Development of Concurrent Systems Using Algebraic High-Level Nets and Transformations [49]

Ribeiro, L., Ehrig, H. and Padberg, J.

Proc. VII Simpósio Brasileiro de Engenharia de Software, 1–16. 1993

Download Bibtex Eintrag [50]

Konzeption und Entwicklung eines UML-basierten Funktionsblockmodells für den objektorientierten Steuerungsentwurf [51]

Braatz, A., Klein, M., Ehrig, H. and Westkämper, E.

Tagungsband Entwicklung und Betrieb komplexer Automatisierungssysteme EKA 2003, 15. 2003

Download Bibtex Eintrag [52]

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

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

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

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

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

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

Finitary M-Adhesive Categories [58]

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

Proceedings of Intern. Conf. on Graph Transformation ( ICGT' 10). SPRINGER, 234–249. 2010

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

Graph Transformations in Computer Science [61]

Schneider, H.-J. and Ehrig, H.

||SPRINGER. 1994

Download Bibtex Eintrag [62]

Application of Graph Transformation Techniques to the Area of Petri Nets [63]

Braatz, B., Ehrig, H., Hoffmann, K., Padberg, J. and Urbávsek, M.

Proc. AGT 2002: APPLIGRAPH Workshop on Applied Graph Transformation, 35–44. 2002

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

Enterprise Modelling using Algebraic Graph Transformation - Extended Version [66]

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

2010

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

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

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

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

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

Computing by graph transformation (COMPUGRAPH): a survey [72]

Ehrig, H. and Löwe, M.

1992

Download Bibtex Eintrag [73]

Semantics of Distributed System Specifications based on Graph Transformation [74]

Taentzer, G. and Ehrig, H.

GI Workshop ``Rigorose Entwicklung software-intensiver Systeme'', Berlin. LMU-Report 0005, 57–72. 2000

Download Bibtex Eintrag [75]

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

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

2013

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

Computing by graph transformation –- Final Report [79]

Ehrig, H. and Löwe, M.

1992

Download Bibtex Eintrag [80]

Consistency Analysis of UML Class and Sequence Diagrams using Attributed Graph Grammars [81]

Tsiolakis, A. and Ehrig, H.

Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation (GRATRA 2000), 77–86. 2000

Download Bibtex Eintrag [82]

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

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

2013

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

Parallel and Distributed Derivations in the Single Pushout Approach [86]

Ehrig, H. and Löwe, M.

1991

Download Bibtex Eintrag [87]

Consistency Analysis between UML Class and Sequence Diagrams using Attributed Graph Gammars [88]

Tsiolakis, A. and Ehrig, H.

Proc. GRATRA'2000 - Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems. Technische Universität Berlin, 77-86. 2000

Download Bibtex Eintrag [89]

Algebraic Specification Techniques and Tools for Software Development - The ACT Approach [90]

Claßen, I., Ehrig, H. and Wolz, D.

||World Scientific. 1993

Download Bibtex Eintrag [91]

Computing by graph transformation–overall aims and new results [92]

Ehrig, H. and Löwe(eds.), M.

4th Int. Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 688–697. 1991

Download Bibtex Eintrag [93]

Termination Analysis of Model Transformations by Petri Nets [94]

Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U. and Taentzer, G.

Proc. Third International Conference on Graph Transformation (ICGT'06). SPRINGER, 260–274. 2006

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

<< zurück [97]
vor >> [116]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008