direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

2008


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


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


2007

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

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems

Ehrig, H., Hoffmann, K., Padberg, J., Prange, U. and Ermel, C.

Proc. of 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Springer, 104–123. 2007

Link zur Publikation Download Bibtex Eintrag

Iterative Model-driven Development of Adaptable Service-Based Applications

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

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering ASE 07. ACM, 453–456. 2007

Link zur Publikation Download Bibtex Eintrag

Attributed Graph Transformation with Node Type Inheritance

Lara, J. d., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.

TCS, 139–163. 2007

Link zur Publikation Download Bibtex Eintrag


Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks

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

Fundamental Approaches to Software Engineering. Springer, 383–397. 2007

Link zur Publikation Download Bibtex Eintrag

From Algebraic Graph Transformation to Adhesive HLR Categories and Systems

Prange, U. and Ehrig, H.

Algebraic Informatics. Proceedings of CAI 2007. SPRINGER, 122–146. 2007

Link zur Publikation Download Bibtex Eintrag

Model Transformations Should be Functors

Batory, D., Diaz, O., Ehrig, H., Ermel, C., Prange, U. and Taentzer, G.

, 75–81. 2007

Link zur Publikation Download Bibtex Eintrag

Bisimulation Verification for the DPO Approach with Borrowed Contexts

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

Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT'07). Electronic Communications of the EASST. 2007

Link zur Publikation Download Bibtex Eintrag

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe