direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

H

Parallelism and Concurrency of Stochastic Graph Transformations.

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

ICGT. Springer, 96-110. 2012

Link zur Publikation Download Bibtex Eintrag

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

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

Mathematical Structures in Computer Science 2014

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




Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars

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

Int. Conf. on Fundamental Approaches to Software Engineering (FASE'12). Springer, 178-193. 2012

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

Formal analysis of model transformations based on triple graph grammars

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

Mathematical Structures in Computer Science, 1-57. 2014

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


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

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. 2006

Link zur Publikation Download Bibtex Eintrag

Triple Graph Grammars in the Large for Translating Satellite Procedures

Hermann, F., Gottmann, S., Nachtigall, N., Ehrig, H., Braatz, B., Morelli, G., Pierre, A., Engel, T. and Ermel, C.

Proc. Int. Conf. on Model Transformations (ICMT 2014). Springer International Publishing, 122-137. 2014

Download Bibtex Eintrag

Triple Graph Grammars in the Large for Translating Satellite Procedures: Extended Version

Hermann, F., Gottmann, S., Nachtigall, N., Ehrig, H., Braatz, B., Morelli, G., Pierre, A., Engel, T. and Ermel, C.

, 1-22. 2014

Link zur Publikation Download Bibtex Eintrag

Flexible Modeling of Emergency Scenarios using Reconfigurable Systems

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

Proc. of the 10th World Conference on Integrated Design & Process Technology, 15. 2007

Link zur Publikation Download Bibtex Eintrag

Folding and Unfolding Construction between Algebraic High-Level Nets and Regular Algebraic Higher Order Nets

Hoffmann, K., Ehrig, H. and Wolter, U.

Proc.\ of Workshop on Algebraic Development Techniques(WADT'99). SPRINGER. 1999

Download Bibtex Eintrag

High-Level Nets with Nets and Rules as Tokens

Hoffmann, K., Mossakowski, T. and Ehrig, H.

Proc. of 26th Intern. Conf. on Application and Theory of Petri Nets and other Models of Concurrency. SPRINGER, 268–288. 2005

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

J

Concurrency of node label controlled graph transformations

Janssens, D., Kreowski, H.-J., Rozenberg, G. and Ehrig, H.

1982

Download Bibtex Eintrag


K

Anwendung softwaretechnischer Komponentenkonzepte auf die Produktionsautomatisierung

Klein, M., Braatz, B., Ehrig, H., Schröter, G. and Bengel, M.

atp, 46–56. 2004

Download Bibtex Eintrag

Modeling Train Control Systems: From Message Sequence Charts to Petri Nets

Kluge, O., Padberg, J. and Ehrig, H.

Proc. Formale Techniken für die Eisenbahnsicherung (FORMS), 25–42. 2000

Download Bibtex Eintrag


L


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe