direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

2010

Consistent Integration of Models based on Views of Meta Models

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

Formal Aspects of Computing, 327-345. 2010

Download Bibtex Eintrag

Formal Analysis and Verification of Self-Healing Systems

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 Download Bibtex Eintrag

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

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

2010

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


2008

Behavior-Preserving Simulation-to-Animation Model and Rule Transformation

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 Download Bibtex Eintrag



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

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 Download Bibtex Eintrag

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs

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 Download Bibtex Eintrag

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

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

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

Link zur Publikation Download Bibtex Eintrag

Embedding and Confluence of Graph Transformations with Negative Application Conditions

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

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

Link zur Publikation Download Bibtex Eintrag

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences

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

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

Link zur Publikation Download Bibtex Eintrag

Petri Net Transformations

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 Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe