TU Berlin

Theor. Informatik / Formale SpezifikationProf. Ehrig

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

Publications Prof. Hartmut Ehrig (TFS)

Graph Grammars and Their Application to Computer ScienceGraph Grammars and Their Application to Computer Science

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

Download Bibtex Eintrag




B

Compositional Modeling of Reactive Systems Using Open Nets

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

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

Download Bibtex Eintrag


Open Petri Nets: Non-deterministic Processes and Compositionality

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

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

Link zur Publikation Download Bibtex Eintrag

Concurrent Semantics of Algebraic Graph Transformations

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

Composition and Decomposition of DPO Transformations with Borrowed Context

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

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

Link zur Publikation Download Bibtex Eintrag


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

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

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

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

Conceptual Model of the Graphical Editor \textscGenGEd for the Visual Definition of Visual Languages

Bardohl, R. and Ehrig, H.

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

Download Bibtex Eintrag

Conceptual Model of the Graphical Editor \textscGenGEd

Bardohl, R. and Ehrig, H.

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

Download Bibtex Eintrag

Generic Description, Behavior and Animation of Visual Modeling Languages

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

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

Download Bibtex Eintrag

Node Type Inheritance Concepts for Typed Graph Transformation

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

2003

Link zur Publikation Download Bibtex Eintrag

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

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

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

Download Bibtex Eintrag


Model Transformations Should be Functors

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

, 75–81. 2007

Link zur Publikation Download Bibtex Eintrag


Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation

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 Download Bibtex Eintrag

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

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 Download Bibtex Eintrag

Verification of Architectural Refactorings by Rule Extraction

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

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

Link zur Publikation Download Bibtex Eintrag

Algebraic Specification of Modules and their Basic Interconnections

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

JCSS, 293-339. 1987

Download Bibtex Eintrag


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

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

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

Download Bibtex Eintrag

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

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

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

Link zur Publikation Download Bibtex Eintrag

Finitary M-Adhesive Categories

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 Download Bibtex Eintrag

Application of Graph Transformation Techniques to the Area of Petri Nets

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 Download Bibtex Eintrag


Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe