direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

L

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs

Lambers, L., Ehrig, H. and Orejas, F.

Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT'06). Elsevier Science, 17–26. 2008

Link zur Publikation Download Bibtex Eintrag

Conflict Detection for Graph Transformation with Negative Application Conditions

Lambers, L., Ehrig, H. and Orejas, F.

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

Link zur Publikation Download Bibtex Eintrag


Efficient detection of conflicts in graph-based model transformation

Lambers, L., Ehrig, H. and Orejas, F.

Proc. International Workshop on Graph and Model Transformation (GraMoT'05). Elsevier Science. 2005

Link zur Publikation Download Bibtex Eintrag

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions

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

Proceedings of the ACCAT workshop at ETAPS 2007. Elsevier, 43–66. 2008

Link zur Publikation Download Bibtex Eintrag

Embedding and Confluence of Graph Transformations with Negative Application Conditions

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

Proc. International Conference on Graph Transformation (ICGT'08). SPRINGER, 162–177. 2008

Link zur Publikation Download Bibtex Eintrag

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences

Lambers, L., Ehrig, H. and Taentzer, G.

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

Link zur Publikation Download Bibtex Eintrag


A Formal Framework for Developing Adaptable Service-Based Applications

Lambers, L., Mariani, L., Ehrig, H. and Pezze, M.

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

Link zur Publikation Download Bibtex Eintrag

Iterative Model-driven Development of Adaptable Service-Based Applications

Lambers, L., Mariani, L., Pezze, M. and Ehrig, H.

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering ASE 07. ACM, 453–456. 2007

Link zur Publikation Download Bibtex Eintrag

Attributed Graph Transformation with Node Type Inheritance

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

TCS, 139–163. 2007

Link zur Publikation Download Bibtex Eintrag

Termination Criteria for DPO Transformations with Injective Matches

Levendovszky, T., Prange, U. and Ehrig, H.

Proceedings of Workshop on Graph Transformation and Concurrency (GT-VC 2006). Elsevier Science. 2006

Link zur Publikation Download Bibtex Eintrag

Algebraic approach to graph transformation based on single pushout derivations

Löwe, M. and Ehrig, H.

Graph-Theoretic Concepts in Computer Science, WG '90. SPRINGER, 338–353. 1991

Download Bibtex Eintrag

On the relationship between algebraic module specifications and program modules

Löwe, M., Ehrig, H., Fey, W. and Jacobs, D.

Proc. TAPSOFT. SPRINGER, 83-98. 1991

Download Bibtex Eintrag

M



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





Modeling Communication Spaces with Higher-Order Petri Nets

Modica, T., Ermel, C., Ehrig, H., Hoffmann, K. and Biermann, E.

Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. The International Institute for Advanced Studies in Systems Research and Cybernetics, 43-48. 2009

Download Bibtex Eintrag

Low- and High-Level Petri Nets with Individual Tokens

Modica, T., Gabriel, K., Ehrig, H., Hoffmann, K., Shareef, S., Ermel, C., Golas, U., Hermann, F. and Biermann, E.

2010

Link zur Publikation Download Bibtex Eintrag

O

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

Components for Algebra Transformation Systems

Orejas, F. and Ehrig, H.

Proc. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA). Elsevier, 16. 2003

Link zur Publikation Download Bibtex Eintrag

Integration and classification of data type and process specification techniques

Orejas, F. and Ehrig, H.

INT: Integration of Specification Techniques with Applications in Enginering. TU Berlin, FB 13, 54–56. 2000

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

Tight and Loose Semantics for Transformation Systems

Orejas, F., Ehrig, H. and Pino, E.

Recent Trends in Algebraic Development Techniques. SPRINGER, 287–290. 2001

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe