TU Berlin

Theor. Informatik / Formale SpezifikationProf. Ehrig

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

Publications Prof. Hartmut Ehrig (TFS)

1998


DoublePB and loose Semantics(???)

Ehrig, H., Llabres, M. and Heckel, R.

Proc. international GraGra Workshop 1998

Download Bibtex Eintrag

Mathematisch–strukturelle Grundlagen der Informatik

Ehrig, H., Mahr, B., Cornelius, F., Große–Rhode, M. and Zeitz, P.

||Springer Verlag, Berlin Heidelberg New–York. 1998

Download Bibtex Eintrag


Integration Paradigm for Data Type and Process Specification Techniques

Ehrig, H. and Orejas, F.

Bull. EATCS 65, Formal Specification Column, Part 5 1998

Download Bibtex Eintrag


Graph Transformations and Other Rule-Based Formalisms with Incomplete Information

Ehrig, H., Rozenberg, G. and Padberg, J.

Proc. 6th International Workshop on Theory and Application of Graph Transformation. Universität Paderborn, 268–278. 1998

Download Bibtex Eintrag


1997

Action Nets and Abstract Statecharts in the Theory of High-Level Structures

Ehrig, H., Gajewsky, M. and Padberg, J.

Proc.\ of First European GETGRATS Workshop 1997

Download Bibtex Eintrag

An Algebraic View on Petri Nets

Ehrig, H. and Reisig, W.

BEATCS, 52–58. 1997

Download Bibtex Eintrag

A Combined Reference Model- and View-Based Approach to System Specification

Engels, G., Ehrig, H., Heckel, R. and Taentzer, G.

Int. Journal of Software and Knowledge Engineering, 457–477. 1997

Download Bibtex Eintrag

A View-Oriented Approach to System Modelling Using Graph Transformation

Engels, G., Heckel, R., Taentzer, G. and Ehrig, H.

Proc. of ESEC/FSE'97, Zürich. SPRINGER, 327–343. 1997

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application

Ehrig, H., Gajewsky, M., Lembke, S. and Padberg, J.

Formal Methods Pacific '97. Springer - Verlag Singapore Pte. Ltd, 297-298. 1997

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application

Ehrig, H., Gajewsky, M., Lembke, S. and Padberg, J.

Formal Methods Pacific '97 –- Work in Progress Papers. Victoria University of Wellington, New Zealand. 1997

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications

Ehrig, H., Gajewsky, M., Lembke, S. and Padberg, J.

Proc. Formal Methods Pacific 1997 1997

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application

Ehrig, H., Gajewsky, M., Lembke, S., Padberg, J. and Gruhn, V.

Move-On-Workshop der DFG-Forschergruppe Petrinetz-Technologie 1997

Download Bibtex Eintrag

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications

Ehrig, H., Gajewsky, M., Lembke, S., Padberg, J. and Gruhn, V.

, 7–28. 1997

Download Bibtex Eintrag


Horizontal and Vertical Structuring Techniques for Statecharts

Ehrig, H., Geisler, R., Klar, M. and Padberg, J.

8$^th$ International Conference on Concurrency Theory (CONCUR'97),Warsaw, Poland. SPRINGER, 181–195. 1997

Download Bibtex Eintrag

Horizontal and Vertical Structuring Techniques for Statecharts

Ehrig, H., Geisler, R., Klar, M. and Padberg, J.

CONCUR'97. SPRINGER, 181–195. 1997

Download Bibtex Eintrag

Loose Semantics and Constraints for Graph Transformation Systems

Heckel, R., Ehrig, H., Wolter, U. and Corradini, A.

1997

Download Bibtex Eintrag

Integrating the Specification Techniques of Graph Transformation and Temporal Logic

Heckel, R., Ehrig, H., Wolter, U. and Corradini, A.

Proc. of MFCS'97, Bratislava. SPRINGER, 219–228. 1997

Download Bibtex Eintrag

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems

Heckel, R., Ehrig, H., Wolter, U. and Corradini, A.

Applied Categorical Structures 1997

Download Bibtex Eintrag

Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach

Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A. and Corradini, A.

Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 247–312. 1997

Download Bibtex Eintrag

Institutions for Logic Programming

Orejas, F., Pino, E. and Ehrig, H.

TCS 173, 485–511. 1997

Download Bibtex Eintrag

Correctness of Horizontal and Vertical Composition for Implementation Concepts Based on Constructors and Abstractors

Ehrig, H., Kreowski, H.-J. and Orejas, F.

REVISTA MAEMATICA de la Universidad Complutense de Madrid, vol. 10, no. 2, 365–387. 1997

Download Bibtex Eintrag

Future Trends of TAPSOFT

Ehrig, H. and Mahr, B.

TAPSOFT'97. SPRINGER, 6–10. 1997

Download Bibtex Eintrag

Algebraic Approaches to Graph Transformation Part I: Basic Concepts and Double Pushout Approach

Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R. and Löwe, M.

Handbook of Graph Grammars and Computing by Graph transformation, Volume 1: Foundations. World Scientific, 163-246. 1997

Download Bibtex Eintrag

Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach

Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R. and Löwe, M.

Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 163–245. 1997

Download Bibtex Eintrag


Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe