direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

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

2010



Multi-Amalgamation in Adhesive Categories

Golas, U., Ehrig, H. and Habel, A.

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

Link zur Publikation Download Bibtex Eintrag



Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets

Hermann, F., Corradini, A., Ehrig, H. and König, B.

Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'10). European Association of Software Science and Technology, 1–15. 2010

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

Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars

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

Proc. Int. Workshop on Model Driven Interoperability (MDI'10). ACM, 22–31. 2010

Link zur Publikation Download Bibtex Eintrag

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe