direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

2006


Simulation and Animation of Visual Models of Embedded Systems: A Graph-Transformation-Based Approach Applied to Petri Nets

Ermel, C., Ehrig, H. and Taentzer, G.

Proc. 7th Workshop on Embedded Systems – Modeling, Technology, and Applications, Technische Universität Berlin. SPRINGER, 11–20. 2006

Link zur Publikation 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


Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting with Borrowed Contexts

Ehrig, H. and König, B.

Mathematical Structures in Computer Science, 1133–1163. 2006

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

Petri Net Modules in the Transformation-Based Component Framework

Padberg, J. and Ehrig, H.

Journal of Logic and Algebraic Programming, 198–225. 2006

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

Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations

Ehrig, H. and Prange, U.

Algebra, Meaning and Computation. Essays Dedicated to J.A. Goguen. SPRINGER, 235–251. 2006

Link zur Publikation Download Bibtex Eintrag

Modeling with Graph Transformation

Ehrig, H. and Prange, U.

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

Construction and Correctness Analysis of a Model Transformation from Activity Diagrams to Petri Nets

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

Proc. Intern. IMCAS Symposium on Mathematical Modelling (MathMod). ARGESIM-Reports. 2006

Link zur Publikation 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

Fundamentals of Algebraic Graph Transformation

Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.

||SPRINGER. 2006

Link zur Publikation Download Bibtex Eintrag


Transformations of Petri Nets

Ehrig, H., Hoffmann, K. and Padberg, J.

Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004). Elsevier Science, 151–172. 2006

Link zur Publikation Download Bibtex Eintrag

A typed attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams

Hermann, F., Ehrig, H. and Taentzer, G.

Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'06). Elsevier Science. 2006

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

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

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

Categorical Foundations of Distributed Graph Transformation

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

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

Link zur Publikation Download Bibtex Eintrag

2007

Flexible Modeling of Emergency Scenarios using Reconfigurable Systems

Hoffmann, K., Ehrig, H. and Padberg, J.

Proc. of the 10th World Conference on Integrated Design & Process Technology, 15. 2007

Link zur Publikation Download Bibtex Eintrag

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems

Ehrig, H., Hoffmann, K., Padberg, J., Prange, U. and Ermel, C.

Proc. of 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Springer, 104–123. 2007

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


Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks

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

Fundamental Approaches to Software Engineering. Springer, 383–397. 2007

Link zur Publikation Download Bibtex Eintrag

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

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

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe