direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

<< zurück [1]
vor >> [20]

2011

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation [24]

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 [25] Download Bibtex Eintrag [26]

Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions [27]

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 [28] Download Bibtex Eintrag [29]

Analysis of Permutation Equivalence in M-adhesive Transformation Systems with Negative Application Conditions [30]

Hermann, F., Corradini, A. and Ehrig, H.

MSCS 2011

Download Bibtex Eintrag [31]

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Version [32]

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

2011

Link zur Publikation [33] Download Bibtex Eintrag [34]

Propagation of Constraints along Model Transformations Based on Triple Graph Grammars [35]

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 [36] Download Bibtex Eintrag [37]

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

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

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

Link zur Publikation [39] Download Bibtex Eintrag [40]

Functors between M-adhesive Categories Applied to Petri Net and Graph Transformation Systems [41]

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

2011

Link zur Publikation [42] Download Bibtex Eintrag [43]

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

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 [45]

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

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

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

Link zur Publikation [47] Download Bibtex Eintrag [48]

2010

Pre-Proceedings of the International Colloquium on Graph and Model Transformation � On the occasion of the 65th birthday of Hartmut Ehrig (GraMoT 2010) [49]

Ermel, C., Ehrig, H., Orejas, F. and Taentzer, T.

2010

Link zur Publikation [50] Download Bibtex Eintrag [51]

Finitary M-Adhesive Categories - Unabridged Version [52]

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

2010

Link zur Publikation [53] Download Bibtex Eintrag [54]

Multi-Amalgamation in Adhesive Categories [55]

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

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

Link zur Publikation [56] Download Bibtex Eintrag [57]

Enhancing the Expressiveness of Formal Specifications for Model Transformations by Triple Graph Grammars with Application Conditions [58]

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

Proc. Int. Workshop on Graph Computation Models (GCM'10), 149–164. 2010

Link zur Publikation [59] Download Bibtex Eintrag [60]

Categorical Frameworks for Graph Transformation and HLR Systems based on the DPO Approach [61]

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

BEATCS, 111–121. 2010

Link zur Publikation [62] Download Bibtex Eintrag [63]

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets [64]

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 [65] Download Bibtex Eintrag [66]

Efficient Process Analysis of Transformation Systems Based on Petri nets [67]

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

2010

Link zur Publikation [68] Download Bibtex Eintrag [69]

Parallelism and Concurrency Theorems for Rules with Nested Application Conditions [70]

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 [71] Download Bibtex Eintrag [72]

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

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 [74] Download Bibtex Eintrag [75]

Local Confluence for Rules with Nested Application Conditions [76]

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 [77] Download Bibtex Eintrag [78]

Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars - Extended Version [79]

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

2010

Link zur Publikation [80] Download Bibtex Eintrag [81]

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

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 [83] Download Bibtex Eintrag [84]

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version [85]

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

2010

Link zur Publikation [86] Download Bibtex Eintrag [87]

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

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 [89] Download Bibtex Eintrag [90]

Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion [91]

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

2010

Link zur Publikation [92] Download Bibtex Eintrag [93]

Low- and High-Level Petri Nets with Individual Tokens [94]

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

2010

Link zur Publikation [95] Download Bibtex Eintrag [96]

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

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

Fundamenta Informaticae. IOS Press, 95–124. 2010

Download Bibtex Eintrag [98]

Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation [99]

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 [100] Download Bibtex Eintrag [101]

Finitary M-Adhesive Categories [102]

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 [103] Download Bibtex Eintrag [104]

Enterprise Modelling using Algebraic Graph Transformation - Extended Version [105]

Brandt, C., Hermann, F., Ehrig, H. and Engel, T.

2010

Link zur Publikation [106] Download Bibtex Eintrag [107]

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

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 [109] Download Bibtex Eintrag [110]

<< zurück [111]
vor >> [130]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008