direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

2008


On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars

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

Proc. Third International Workshop on Graph and Model Transformation (GraMoT'08). ACM, 9–16. 2008

Download Bibtex Eintrag


2009


Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions

Ehrig, H., Hermann, F. and Sartorius, C.

Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'09). European Association of Software Science and Technology. 2009

Link zur Publikation Download Bibtex Eintrag


Composition and Independence of High-Level Net Processes

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

Proc. Workshop on Formal Methods for Wireless Systems (FMWS'08). Elsevier Science. 2009

Link zur Publikation Download Bibtex Eintrag

Modeling Communication Spaces with Higher-Order Petri Nets

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

Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. The International Institute for Advanced Studies in Systems Research and Cybernetics, 43-48. 2009

Download Bibtex Eintrag

Reasoning with Graph Constraints

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

Formal Aspects of Computing, 385–422. 2009

Link zur Publikation Download Bibtex Eintrag

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation

Orejas, F., Guerra, E., Lara, J. d. and Ehrig, H.

Int. Conf. on Algebra and Coalgebra in Computer Science (CALCO'09). Springer, 383-397. 2009

Download Bibtex Eintrag

Towards Component Verification in the Generic Component Framework

Padberg, J., Ehrig, H. and Orejas, F.

Proc. Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 07), Satellite Event of the European Joint Conferences on Theory and Practice of Software (ETAPS). Elsevier Science, 37 – 53. 2009

Link zur Publikation Download Bibtex Eintrag

Modeling Multicasting in Dynamic Communication-based Systems by Reconfigurable High-level Petri Nets

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

IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings. IEEE, 47-50. 2009

Link zur Publikation Download Bibtex Eintrag

Verification of Architectural Refactorings: Rule Extraction and Tool Support

Denes Bisztray, R. H. and Ehrig, H.

Electronic Communications of the EASST 2009

Link zur Publikation Download Bibtex Eintrag



Refactoring of Model Transformations

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

Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'09). European Association of Software Science and Technology. 2009

Link zur Publikation Download Bibtex Eintrag


Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks

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

Proc. International Conference on Fundamental Aspects of Software Engineering (FASE'09). Springer, 325-339. 2009

Link zur Publikation Download Bibtex Eintrag


On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars

Ehrig, H., Ermel, C., Hermann, F. and Prange, U.

ACM/IEEE 12th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS'09). Springer, 241–255. 2009

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe