direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

{


Attributed Graph Transformation with Node Type Inheritance: Long Version

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

2005

Download Bibtex Eintrag

W

How to Cope with the Spectrum of Spectrum

Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wess"aly, R. and Ehrig, H.

1994

Download Bibtex Eintrag

How to Cope with the Spectrum of Spectrum

Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wessäly, R. and Ehrig, H.

KORSO: Methods, Languages, and Tools for the Construction of Correct Software. SPRINGER, 173-189. 1995

Download Bibtex Eintrag

How to Cope with the Spectrum of Spectrum

Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wessäly, R. and Ehrig, H.

1994

Download Bibtex Eintrag

Specification of Concurrently Executable Modules and Distributed Modular Systems

Weber, H. and Ehrig, H.

Proc.\ IEEE Workshop on Future Trends of Distr.\ Comp.\ Systems in the 1990s, Hongkong. IEEE, 202–215. 1988

Download Bibtex Eintrag

Specification of Modular Systems

Weber, H. and Ehrig, H.

IEEE Transactions on Software Engineering, 784–798. 1986

Download Bibtex Eintrag






Canonical Constraints for Parameterized Data Types

Wagner, E. and Ehrig, H.

TCS, 323–351. 1987

Download Bibtex Eintrag

V

Termination Analysis of Model Transformations by Petri Nets

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

T

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

Tsiolakis, A. and Ehrig, H.

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

Download Bibtex Eintrag

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

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

Semantics of Distributed System Specifications based on Graph Transformation

Taentzer, G. and Ehrig, H.

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

Download Bibtex Eintrag

S

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

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


Formale Techniken für die Eisenbahnsicherungstechnik: Anforderungskatalog - Zusammenfassung der Arbeitsunterlagen

Schnieder, E., Einer, S., Ehrig, H. and al., e.

Signal und Draht (Rail Signalling and Telecommunication), 38-42. 1999

Download Bibtex Eintrag

Grammars on Partial Graphs

Schneider, H. and Ehrig, H.

Acta Informatica, 297–316. 1976

Download Bibtex Eintrag

Graph Transformations in Computer Science

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

||SPRINGER. 1994

Download Bibtex Eintrag

R

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

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

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

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

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

Download Bibtex Eintrag

Deriving Bisimulation Congruences in the Presence of Negative Application Conditions

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

Bisimulation Verification for the DPO Approach with Borrowed Contexts

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

Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts

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


P

From Algebraic Graph Transformation to Adhesive HLR Categories and Systems

Prange, U. and Ehrig, H.

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

Link zur Publikation Download Bibtex Eintrag

Graph Transformation in Adhesive HLR Categories

Prange, U. and Ehrig, H.

Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. Proceedings of Intern. Conf. on Systems Research, Informatics and Cybernetics 2005. IIAS. 2006

Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe