direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

2010

Local Confluence for Rules with Nested Application Conditions

Ehrig, H., Habel, A., Lambers, L., Orejas, F. and Golas, U.

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

Link zur Publikation Download Bibtex Eintrag


Formal Analysis of Functional Behaviour of Model Transformations Based on Triple Graph Grammars

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

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

Link zur Publikation Download Bibtex Eintrag


Flexible Independence of Net Transformations and Token Firing in the Cospan DPO Approach

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

Proc. 3rd International Symposium of Multiagent Systems (MAS), Robotics and Cybernetics: Theory and Practice, 2009 2010

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

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

Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation

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

Graph Transformations and Model-Driven Engineering. Essays Dedicated to Manfred Nagl. SPRINGER, 121–140. 2010

Link zur Publikation Download Bibtex Eintrag

Finitary M-Adhesive Categories

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

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

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

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

Formal Analysis and Verification of Self-Healing Systems

Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A. and Pelliccione, P.

Proc. Intern. Conf. on Fundamental Aspects of Software Engineering (FASE'10). SPRINGER, 139–153. 2010

Link zur Publikation Download Bibtex Eintrag

Formal Analysis and Verication of Self-Healing Systems: Long Version

Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A. and Pelliccione, P.

2010

Link zur Publikation Download Bibtex Eintrag

2011


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

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



Propagation of Constraints along Model Transformations Based on Triple Graph Grammars

Ehrig, H., Hermann, F., Schölzel, H. and Brandt, C.

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

Link zur Publikation Download Bibtex Eintrag

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


From State- to Delta-based Bidirectional Model Transformations: The Symmetric Case

Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F. and Orejas, F.

ACM/IEEE 14th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS'11). ACM / IEEE. 2011

Download Bibtex Eintrag

A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications

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

Int. Conf. on Fundamental Approaches to Software Engineering (FASE'11). Springer, 202-216. 2011

Link zur Publikation Download Bibtex Eintrag

2012

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



Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars

Hermann, F., Ehrig, H., Ermel, C. and Orejas, F.

Int. Conf. on Fundamental Approaches to Software Engineering (FASE'12). Springer, 178-193. 2012

Download Bibtex Eintrag


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe