direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

vor >> [19]

Graph Grammars and Their Application to Computer ScienceGraph Grammars and Their Application to Computer Science [23]

5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94. SPRINGER. 1996

Download Bibtex Eintrag [24]

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report [25]

||SPRINGER. 2004

Download Bibtex Eintrag [26]

4th International Workshop on Graph Grammars and Their Application to Computer Science [27]

SPRINGER. 1991

Download Bibtex Eintrag [28]

Advances in Petri Nets: Petri Net Technology for Communication Based Systems [29]

||SPRINGER. 2003

Download Bibtex Eintrag [30]

B

Compositional Modeling of Reactive Systems Using Open Nets [31]

Baldan, P., Corradini, A., Ehrig, H. and Heckel, R.

Proc. of CONCUR 2001. SPRINGER, 502-518. 2001

Download Bibtex Eintrag [32]

Compositional Semantics of Open Petri Nets based on Deterministic processes [33]

Baldan, P., Corradini, A., Ehrig, H. and Heckel, R.

MSCS, 1–35. 2005

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

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

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

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

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

Concurrent Semantics of Algebraic Graph Transformations [39]

Baldan, P., Corradini, A., Montanari, U., Rossi, F., Ehrig, H. and Löwe, M.

The Handbook of Graph Grammars and Computing by Graph Transformations, Volume 3: Concurrency, Parallelism and Distribution. World Scientific, 107–188. 1999

Download Bibtex Eintrag [40]

Composition and Decomposition of DPO Transformations with Borrowed Context [41]

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

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

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

Composition and Decomposition of DPO Transformations with Borrowed Context [44]

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

2006

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

GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development [47]

Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Heckel, R., Ribeiro, R., Nunes, D. and Martini, A.

Proc. of the 3rd German-Brazilian Workshop on Information Technology, Berlin, December, 14th-15th 1995. Forschungszentrum Jülich GmbH, Bilateral Seminars of the International Bureau, Volume 26. 1996

Download Bibtex Eintrag [48]

GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development [49]

Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Korff, M., Padberg, J., Ribeiro, R., Nunes, D., Martins, J. and Martini, A.

Proc. of the Workshop on Information Technology: Cooperative Research with Industrial Partners between Germany and Brazil. PUC/Rio Press. 1993

Download Bibtex Eintrag [50]

Conceptual Model of the Graphical Editor textscGenGEd for the Visual Definition of Visual Languages [51]

Bardohl, R. and Ehrig, H.

Proc. Theory and Application of Graph Transformations (TAGT'98). SPRINGER, 252–266. 2000

Download Bibtex Eintrag [52]

Conceptual Model of the Graphical Editor textscGenGEd [53]

Bardohl, R. and Ehrig, H.

Proc. 6th Int. Workshop on Theory and Application of Graph Transformation (TAGT'98) 1998

Download Bibtex Eintrag [54]

Generic Description, Behavior and Animation of Visual Modeling Languages [55]

Bardohl, R., Ehrig, H. and Ermel, C.

Proc. Integrated Design and Process Technology (IDPT 2000) 2000

Download Bibtex Eintrag [56]

Node Type Inheritance Concepts for Typed Graph Transformation [57]

Bardohl, R., Ehrig, H., de Lara, J., Runge, O., Taentzer, G. and Weinhold, I.

2003

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

Integrating Meta Modelling with Graph Transformation for Efficient Visual Language Definition and Model Manipulation [60]

Bardohl, R., Ehrig, H., de Lara, J. and Taentzer, G.

Proc. Fundamental Aspects of Software Engineering 2004. SPRINGER. 2004

Download Bibtex Eintrag [61]

Generic Description of Syntax, Behavior and Animation of Visual Models [62]

Bardohl, R., Ermel, C. and Ehrig, H.

2001

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

Model Transformations Should be Functors [65]

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

, 75–81. 2007

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

Computing by Graph Transformation (COMPUGRAPH): Survey, Results, and Applications [68]

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

1992

Download Bibtex Eintrag [69]

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

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 [71] Download Bibtex Eintrag [72]

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

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 [74] Download Bibtex Eintrag [75]

Verification of Architectural Refactorings by Rule Extraction [76]

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

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

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

Algebraic Specification of Modules and their Basic Interconnections [79]

Blum, E., Ehrig, H. and Parisi-Presicce, F.

JCSS, 293-339. 1987

Download Bibtex Eintrag [80]

Petri Net Transformations in the Petri Net Baukasten [81]

Braatz, B., Ehrig, H. and Urbasek, M.

, 37–65. 2003

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

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

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

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

Download Bibtex Eintrag [85]

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

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

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

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

Finitary M-Adhesive Categories [89]

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 [90] Download Bibtex Eintrag [91]

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

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 [93] Download Bibtex Eintrag [94]

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

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

2010

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

vor >> [116]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008