direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E

Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories

Maximova, M., Ehrig, H. and Ermel, C.

Proc. Int. Workshop on Petri Nets and Graph Transformation Systems. ECEASST. 2011

Link zur Publikation Download Bibtex Eintrag

Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on $\mathcalM$-Functors

Maximova, M., Ehrig, H. and Ermel, C.

Proc. of 5th Workshop on Petri Nets and Graph Transformation (PNGT). European Association of Software Science and Technology, 1-12. 2012

Link zur Publikation Download Bibtex Eintrag

Analysis of Hypergraph Transformation Systems in AGG based on M-Functors

Maximova, M., Ehrig, H. and Ermel, C.

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'13). European Association of Software Science and Technology. 2013

Link zur Publikation Download Bibtex Eintrag

From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments

Ehrig, H.

Proc. Int. Coll. on Graph and Model Transformation (GraMoT 2010). European Association of Software Science and Technology, 1–5. 2010

Link zur Publikation Download Bibtex Eintrag

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars

Ehrig, H., Ehrig, K. and Hermann, F.

Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08). EASST. 2008

Link zur Publikation Download Bibtex Eintrag

Refactoring of Model Transformations

Ehrig, H., Ermel, C. and Ehrig, K.

Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'09). European Association of Software Science and Technology. 2009

Link zur Publikation Download Bibtex Eintrag

Parallelism and Concurrency Theorems for Rules with Nested Application Conditions

Ehrig, H., Habel, A. and Lambers, L.

Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Electronic Communications of the EASST, 1–24. 2010

Link zur Publikation Download Bibtex Eintrag

A Generic Framework for Connector Architectures based on Components and Transformations

Ehrig, H., Padberg, J., Braatz, B., Klein, M., Orejas, F., Pérez, S. and Pino, E.

Proc. FESCA'04, satellite of ETAPS'04, Barcelona, ENTCS, 53-67. 2004

Link zur Publikation Download Bibtex Eintrag

On Propagation-Based Concurrent Model Synchronization

Orejas, F., Boronat, A., Ehrig, H., Hermann, F. and Schölzel, H.

Electronic Communications of the EASST. European Association of Software Science and Technology. 2013

Download Bibtex Eintrag

Verification of Architectural Refactorings: Rule Extraction and Tool Support

Denes Bisztray, R. H. and Ehrig, H.

Electronic Communications of the EASST 2009

Link zur Publikation Download Bibtex Eintrag

F

Reasoning with Graph Constraints

Orejas, F., Ehrig, H. and Prange, U.

Formal Aspects of Computing, 385–422. 2009

Link zur Publikation Download Bibtex Eintrag

Consistent Integration of Models based on Views of Meta Models

Ehrig, H., Ehrig, K., Ermel, C. and Prange, U.

Formal Aspects of Computing, 327-345. 2010

Download Bibtex Eintrag

Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation

Ehrig, H., Habel, A., Padberg, J. and Prange, U.

Fundamenta Informaticae, 1–29. 2006

Link zur Publikation Download Bibtex Eintrag

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP

Orejas, F., Ehrig, H., Klein, M., Padberg, J., Pino, E. and Pérez, S.

Fundamenta Informaticae. IOS Press, 95–124. 2010

Download Bibtex Eintrag


Theory of Constraints and Application Conditions: From Graphs to High-Level Structures

Ehrig, H., Ehrig, K., Habel, A. and Pennemann, K.-H.

Fundamenta Informaticae, 135–166. 2006

Link zur Publikation Download Bibtex Eintrag


I

Specification of Modular Systems

Weber, H. and Ehrig, H.

IEEE Transactions on Software Engineering, 784–798. 1986

Download Bibtex Eintrag


Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen

Ehrig, H. and Grosse Rhode, M.

Informatik Forschung und Entwicklung, Springer-Verlag, 100–117. 2001

Download Bibtex Eintrag

Programming in the large with algebraic module specifications

Ehrig, H. and Weber, H.

Information Processing, 675-684. 1986

Download Bibtex Eintrag


A Combined Reference Model- and View-Based Approach to System Specification

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

Int. Journal of Software and Knowledge Engineering, 457–477. 1997

Download Bibtex Eintrag

The Relevance of Mathematics in Software System Development

Ehrig, H. and Schröter, G.

International Journal of Differential Equations and Applications, 169–182. 2001

Download Bibtex Eintrag

J

Algebraic Specification of Modules and their Basic Interconnections

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

JCSS, 293-339. 1987

Download Bibtex Eintrag


Systematic Approach to Reduction and Minimization in Automata and System Theory

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

Journal Computer Syst. Science, 269–304. 1976

Download Bibtex Eintrag

Graph Grammars and Applications to Specification and Evolution in Biology

Ehrig, H. and Tischer, K.-W.

Journal Computer System Science, 212–236. 1975

Download Bibtex Eintrag

Algebraic Specifications of Modules and Configuration Families

Ehrig, H., Fey, W., Hansen, H., Löwe, M., Jacobs, D., Langen, A. and Parisi-Presicce, F.

Journal Inf. Process. Cybern. EIK 25, 205–232. 1989

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe