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

Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms

Ehrig, H. and Gabriel, K.

International Journal of Software and Informatics, 207 – 229. 2011

Link zur Publikation Download Bibtex Eintrag

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

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

2011

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

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

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

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.

Proc. MoDELS'11. Springer. 2011

Download Bibtex Eintrag

2010

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

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

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

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

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

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

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

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

2010

Link zur Publikation Download Bibtex Eintrag

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

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

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

Efficient Process Analysis of Transformation Systems Based on Petri nets

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

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

Enhancing the Expressiveness of Formal Specifications for 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), 149–164. 2010

Link zur Publikation Download Bibtex Eintrag

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

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation

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

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

Link zur Publikation Download Bibtex Eintrag

Finitary M-Adhesive Categories - Unabridged Version

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

2010

Link zur Publikation Download Bibtex Eintrag

Sie sind auf Seite:1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19

vor >>

Inhalt des Dokuments

zur Navigation

Publications Prof. Hartmut Ehrig (TFS)

2012

Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars

2011

Functors between $\mathcalM$-adhesive Categories Applied to Petri Net and Graph Transformation Systems

Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between $\mathcalM$-adhesive Categories

Correctness of Model Synchronization Based on Triple Graph Grammars

Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version

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

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

Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation

Propagation of Constraints along Model Transformations Based on Triple Graph Grammars

Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms

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

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

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

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

2010

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

Low- and High-Level Petri Nets with Individual Tokens

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

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

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

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

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

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

Efficient Process Analysis of Transformation Systems Based on Petri nets

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

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

Multi-Amalgamation in Adhesive Categories

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation

Finitary M-Adhesive Categories - Unabridged Version

Navigation

Rubriken

Zielgruppen

Direktzugang

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

2012

2011

2010

Navigation

Rubriken

Zielgruppen

Direktzugang

Suchfunktion