TU Berlin

Theor. Informatik / Formale SpezifikationProf. Ehrig

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

Publications Prof. Hartmut Ehrig (TFS)

2001

Behaviour and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs

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

Advances in Petri Nets: Unifying Petri Nets. SPRINGER, 230–249. 2001

Download Bibtex Eintrag

Cooperability in Train Control Systems Specification of Scenarios Using Open Nets

Padberg, J., Jansen, L., Ehrig, H., Schnieder, E. and Heckel, R.

Journal of Integrated Design and Process Technology, 3-21. 2001

Download Bibtex Eintrag


Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties

Ehrig, H. and Mahr, B.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 134-152. 2001

Download Bibtex Eintrag

Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997

Ehrig, H. and Mahr, B.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 118–130. 2001

Download Bibtex Eintrag

Mathematisch Strukturelle Grundlagen der Informatik, 2. überarbeitete Auflage

Ehrig, H., Mahr, B., Cornelius, F., Grosse-Rhode, M., Zeitz, P., Schröter, G. and Robering, K.

||SPRINGER. 2001

Download Bibtex Eintrag

Integration Paradigm for Data Type and Process Specification Techniques

Ehrig, H. and Orejas, a. F.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore, 192 – 201. 2001

Link zur Publikation Download Bibtex Eintrag

Dynamic Abstract Data Types: An Informal Proposal in 1994

Ehrig, H. and Orejas, F.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 180–191. 2001

Download Bibtex Eintrag

On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000

Ehrig, H.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 131–133. 2001

Download Bibtex Eintrag


Algebraic Specification

Ehrig, H.

Current Trends in Theoretical Computer Science. World Scientific, Singapore etc., 49–222. 2001

Download Bibtex Eintrag

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques

Ehrig, H. and Orejas, F.

Proc. GT-VMT 2001, ICALP 2001 Satellite Workshops, 201–228. 2001

Link zur Publikation Download Bibtex Eintrag




From Basic Views and Aspects to Integration of Specification Formalisms

Ehrig, H., Padberg, J. and Orejas, F.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore, 202 – 214. 2001

Link zur Publikation Download Bibtex Eintrag

The Relevance of Mathematics in Software System Development

Ehrig, H. and Schröter, G.

International Journal of Differential Equations and Applications, 169–182. 2001

Download Bibtex Eintrag

2000


Generic Description, Behavior and Animation of Visual Modeling Languages

Bardohl, R., Ehrig, H. and Ermel, C.

Proc. Integrated Design and Process Technology (IDPT 2000) 2000

Download Bibtex Eintrag

Consistency Analysis between UML Class and Sequence Diagrams using Attributed Graph Gammars

Tsiolakis, A. and Ehrig, H.

Proc. GRATRA'2000 - Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems. Technische Universität Berlin, 77-86. 2000

Download Bibtex Eintrag

High-Level Replacement Systems applied to Algebraic Specifications and Petri Nets

Ehrig, H., Gajewsky, M. and Parisi-Presicce, F.

Handbook of Graph Grammars and Computing by Graph Transformation. Vol 3: Concurrency, Parallelism and Distribution. World Scientific, Singapore etc., 341–400. 2000

Download Bibtex Eintrag

On Formal Semantics and Integration of Object Oriented Modeling Languages

Ehrig, H., Geisler, R., Große–Rhode, M., Klar, M. and Mann, S.

BEACTS, 77–81. 2000

Download Bibtex Eintrag


Concurrency of Double-Pullback Graph Transitions

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

Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation (GRATRA 2000), 146–154. 2000

Download Bibtex Eintrag

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information

Ehrig, H., Heckel, R., Llabres, M., Orejas, F., Padberg, J. and Rozenberg, G.

Proc. Theory and Application of Graph Transformations (TAGT'98). SPRINGER, 85–102. 2000

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

Integration and classification of data type and process specification techniques

Orejas, F. and Ehrig, H.

INT: Integration of Specification Techniques with Applications in Enginering. TU Berlin, FB 13, 54–56. 2000

Download Bibtex Eintrag

New Concepts for High-Level Petri Nets in the Application Domain of Train Control

Padberg, J., Schiller, P. and Ehrig, H.

Proc.\ Vol.\ 2, 9th Symposium on Transportation Systems, 153–160. 2000

Download Bibtex Eintrag

Conceptual Model of the Graphical Editor \textscGenGEd for the Visual Definition of Visual Languages

Bardohl, R. and Ehrig, H.

Proc. Theory and Application of Graph Transformations (TAGT'98). SPRINGER, 252–266. 2000

Download Bibtex Eintrag

Semantics of Distributed System Specifications based on Graph Transformation

Taentzer, G. and Ehrig, H.

GI Workshop ``Rigorose Entwicklung software-intensiver Systeme'', Berlin. LMU-Report 0005, 57–72. 2000

Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe