direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E

Requirements Engineering of a Medical Information System Using Rule-Based Refinement of Petri Nets

Ermel, C., Padberg, J. and Ehrig, H.

Proc. Integrated Design and Process Technology, 186–193. 1996

Download Bibtex Eintrag

Generation of Animation Views for Petri Nets in \textscGenGED

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

Advances in Petri Nets: Petri Net Technology for Communication Based Systems 2003

Link zur Publikation Download Bibtex Eintrag

G

Finitary M-Adhesive Categories

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

Mathematical Structures in Computer Science, 1–40. 2014

Link zur Publikation Download Bibtex Eintrag


The ``Petri Net Baukasten'': An Overview

Gajewsky, M. and Ehrig, H.

Unifying Petri Nets. SPRINGER, 26–53. 2001

Download Bibtex Eintrag

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation

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

Selected Papers of Int. Workshop on Graph Computation Models (GCM'10). European Association of Software Science and Technology. 2011

Link zur Publikation Download Bibtex Eintrag

Multi-Amalgamation in Adhesive Categories

Golas, U., Ehrig, H. and Habel, A.

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

Link zur Publikation Download Bibtex Eintrag

Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions

Golas, U., Ehrig, H. and Hermann, F.

Proc. Int. Workshop on Graph Computation Models (GCM'10). European Association of Software Science and Technology. 2011

Link zur Publikation Download Bibtex Eintrag


Multi-amalgamation of rules with application conditions in M-adhesive categories

Golas, U., Habel, A. and Ehrig, H.

Mathematical Structures in Computer Science 2014

Download Bibtex Eintrag

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars

Golas, U., Lambers, L., Ehrig, H. and Giese, H.

Graph Transformations. Springer Berlin Heidelberg, 141-155. 2012

Link zur Publikation Download Bibtex Eintrag


Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars

Gottmann, S., Hermann, F., Nachtigall, N., Braatz, B., Ermel, C., Ehrig, H. and Engel, T.

Proc. Int. Workshop on Analysis of Model Transformations 2013 (AMT'13), 67-76. 2013

Link zur Publikation Download Bibtex Eintrag

Towards the Propagation of Model Updates along different Views in Multi-View Models

Gottmann, S., Nachtigall, N., Ermel, C., Hermann, F. and Engel, T.

5th International Workshop on Bidirectional Transformations. CEUR Workshop Proceedings, 45-60. 2016

Link zur Publikation Download Bibtex Eintrag

Transformation of Combined Data Type and Process Specifications Using Projection Algebras

Grosse-Rhode, M. and Ehrig, H.

Stepwise Refinement of Distributed Systems, REX-Workshop 1989. SPRINGER, 301–339. 1990

Download Bibtex Eintrag


H


Horizontal and Vertical Structuring of Typed Graph Transformation Systems

Heckel, R., Corradini, A., Ehrig, H. and Löwe, M.

Math. Struc. in Comp. Science, 613-648. 1996

Download Bibtex Eintrag


A View-Based Approach to System Modeling based on Open Graph Transformation Systems

Heckel, R., Ehrig, H., Engels, G. and Taentzer, G.

Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific. 1999

Download Bibtex Eintrag

Classification and Comparison of Modularity Concepts for Graph Transformation Systems

Heckel, R., Ehrig, H., Engels, G. and Taentzer, G.

Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. World Scientific, 669 – 690. 1999

Download Bibtex Eintrag

Classification and comparison of modularity concepts for graph transformation systems

Heckel, R., Ehrig, H., Engels, G. and Taentzer, G.

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

Download Bibtex Eintrag


Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems

Heckel, R., Ehrig, H., Wolter, U. and Corradini, A.

Journal of Applied Categorical Structures, 83–110. 2001

Link zur Publikation Download Bibtex Eintrag

Loose Semantics and Constraints for Graph Transformation Systems

Heckel, R., Ehrig, H., Wolter, U. and Corradini, A.

1997

Download Bibtex Eintrag

Integrating the Specification Techniques of Graph Transformation and Temporal Logic

Heckel, R., Ehrig, H., Wolter, U. and Corradini, A.

Proc. of MFCS'97, Bratislava. SPRINGER, 219–228. 1997

Download Bibtex Eintrag

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems

Heckel, R., Ehrig, H., Wolter, U. and Corradini, A.

Applied Categorical Structures 1997

Download Bibtex Eintrag

A View-Based Approach to System Modeling Based on Open Graph Transformation Systems

Heckel, R., Engels, G., Ehrig, H. and Taentzer, G.

Handbook of Graph Grammars and Computing by Graph Transformation. Vol 2: Applications, Languages and Tools. World Scientific, Singapore etc., 639–668. 1999

Download Bibtex Eintrag

Concurrency of Double-Pullback Graph Transitions

Heckel, R., Llabres, M., Ehrig, H. and Orejas, F.

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

Download Bibtex Eintrag

Concurrency and Loose Semantics of Open Graph Transformation Systems

Heckel, R., Llabres, M., Ehrig, H. and Orejas, F.

MSCS, 349-376. 2002

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe