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]

2010

Consistent Integration of Models based on Views of Meta Models [24]

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

Formal Aspects of Computing, 327-345. 2010

Download Bibtex Eintrag [25]

Formal Analysis and Verification of Self-Healing Systems [26]

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

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

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

2010

Link zur Publikation [30] Download Bibtex Eintrag [31]

2009

Cospan DPO Approach: An Alternative for DPO Graph Transformations [32]

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

BEATCS, 139–146. 2009

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

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

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

Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version) [38]

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

2009

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

Composition and Independence of High-Level Net Processes [41]

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 [42] Download Bibtex Eintrag [43]

Modeling Communication Spaces with Higher-Order Petri Nets [44]

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

Reasoning with Graph Constraints [46]

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

Formal Aspects of Computing, 385–422. 2009

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

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

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

Towards Component Verification in the Generic Component Framework [51]

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 [52] Download Bibtex Eintrag [53]

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

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 [55] Download Bibtex Eintrag [56]

Verification of Architectural Refactorings: Rule Extraction and Tool Support [57]

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

Electronic Communications of the EASST 2009

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

Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation: Long Version [60]

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

2009

Download Bibtex Eintrag [61]

Generalized Typed Attributed Graph Transformation Systems based on Morphisms Changing Type Graphs and Data Signatures [62]

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

2009

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

Refactoring of Model Transformations [65]

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

Evolution of Model Transformations by Model Refactoring: Long Version [68]

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

2009

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

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

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

Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation [74]

Ehrig, H., Ermel, C., Hermann, F. and König, B.

BEATCS, 117–125. 2009

Link zur Publikation [75] Download Bibtex Eintrag [76]

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

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

On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version [80]

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

2009

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

2008

Behavior-Preserving Simulation-to-Animation Model and Rule Transformation [83]

Ermel, C. and Ehrig, H.

Proc. of Workshop on Graph Transformation for Verification and Concurrency (GT-VC'07). Elsevier Science, 55-74. 2008

Link zur Publikation [84] Download Bibtex Eintrag [85]

Process Definition using Subobject Transformation Systems [86]

Hermann, F. and Ehrig, H.

BEATCS, 153-163. 2008

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

Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (Long Version) [89]

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

2008

Link zur Publikation [90] Download Bibtex Eintrag [91]

A typed attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams [92]

Hermann, F., Ehrig, H. and Taentzer, G.

Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'06). Elsevier Science, 261–269. 2008

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

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs [95]

Lambers, L., Ehrig, H. and Orejas, F.

Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT'06). Elsevier Science, 17–26. 2008

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

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions [98]

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

Proceedings of the ACCAT workshop at ETAPS 2007. Elsevier, 43–66. 2008

Link zur Publikation [99] Download Bibtex Eintrag [100]

Embedding and Confluence of Graph Transformations with Negative Application Conditions [101]

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

Proc. International Conference on Graph Transformation (ICGT'08). SPRINGER, 162–177. 2008

Link zur Publikation [102] Download Bibtex Eintrag [103]

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences [104]

Lambers, L., Ehrig, H. and Taentzer, G.

Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08) 2008

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

Petri Net Transformations [107]

Ehrig, H., Hoffmann, K., Padberg, J., Ermel, C., Prange, U., Biermann, E. and Modica, T.

Petri Net Theory and Applications. I-Tech Education and Publication, 1–16. 2008

Link zur Publikation [108] Download Bibtex Eintrag [109]

<< zurück [110]
vor >> [129]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008