direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

2007

An approach using formally well-founded domain languages for secure coarse-grained IT system modelling in a real-world banking scenario

Braatz, B., Brandt, C., Engel, T., Hermann, F. and Ehrig, H.

Proc. Australasian Conf. on Information Systems (ACIS'07) 2007

Link zur Publikation Download Bibtex Eintrag

Information Preserving Bidirectional Model Transformations

Ehrig, H., Ehrig, K., Ermel, C., Hermann, F. and Taentzer, G.

Fundamental Approaches to Software Engineering. SPRINGER, 72–86. 2007

Link zur Publikation Download Bibtex Eintrag

Model Transformations by Graph Transformation are Functors

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

BEATCS, 134–142. 2007

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


A Formal Framework for Developing Adaptable Service-Based Applications

Lambers, L., Mariani, L., Ehrig, H. and Pezze, M.

Proc. Fundamental Approaches to Software Engineering (FASE'08). SPRINGER, 392–406. 2008

Link zur Publikation Download Bibtex Eintrag

A Logic of Graph Constraints

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

Proc. Fundamental Approaches to Software Engineering (FASE'08). SPRINGER, 179–198. 2008

Link zur Publikation Download Bibtex Eintrag

Open Petri Nets: Non-deterministic Processes and Compositionality

Baldan, P., Corradini, A., Ehrig, H. and König, B.

Proc. International Conference on Graph Transformation (ICGT'08). SPRINGER. 2008

Link zur Publikation Download Bibtex Eintrag

Transformations in Reconfigurable Place/Transition Systems

Prange, U., Ehrig, H., Hoffman, K. and Padberg, J.

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. SPRINGER, 96–113. 2008

Link zur Publikation Download Bibtex Eintrag

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories

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

Applied Categorical Structures. SPRINGER, 365–388. 2008

Link zur Publikation Download Bibtex Eintrag

Deriving Bisimulation Congruences in the Presence of Negative Application Conditions

Rangel, G., König, B. and Ehrig, H.

Proc. Foundations of Software Science and Computational Structures (FOSSACS'08). SPRINGER, 413-427. 2008

Link zur Publikation Download Bibtex Eintrag

Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts

Rangel, G., Lambers, L., König, B., Ehrig, H. and Baldan, P.

Proc. International Conference on Graph Transformation (ICGT'08). SPRINGER. 2008

Link zur Publikation Download Bibtex Eintrag


Verification of Architectural Refactorings by Rule Extraction

Bisztray, D., Heckel, R. and Ehrig, H.

Proc. Fundamental Approaches to Software Engineering (FASE'08). SPRINGER, 347–361. 2008

Link zur Publikation Download Bibtex Eintrag

A Generic Approach to Connector Architectures

Ehrig, H., Orejas, F., Klein, M., Padberg, J., Pino, E. and Perez, S.

Science of Computer Programming 2008

Download Bibtex Eintrag

Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels

Ehrig, H. and Prange, U.

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

Link zur Publikation Download Bibtex Eintrag


Consistent Integration of Models Based on Views of Visual Languages

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

Proc. Fundamental Approaches to Software Engineering (FASE'08). SPRINGER, 62–76. 2008

Link zur Publikation Download Bibtex Eintrag

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars

Ehrig, H., Ehrig, K. and Hermann, F.

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

Link zur Publikation Download Bibtex Eintrag


Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation

Ehrig, H. and Ermel, C.

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

Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe