direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

<< zurück [1]
vor >> [20]

2003

On the Relevance of High-Level Net Processes [24]

Ehrig, H.

BEATCS, 64–68. 2003

Link zur Publikation [25] Download Bibtex Eintrag [26]

Formal Specification Techniques for Software and Systems Engineering [27]

Ehrig, H. and Kluge, O.

Proc. FORMS 2003, 23–36. 2003

Download Bibtex Eintrag [28]

Components for Algebra Transformation Systems [29]

Orejas, F. and Ehrig, H.

Proc. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA). Elsevier, 16. 2003

Link zur Publikation Download Bibtex Eintrag [30]

Petri Net Transformations in the Petri Net Baukasten [31]

Braatz, B., Ehrig, H. and Urbasek, M.

, 37–65. 2003

Link zur Publikation [32] Download Bibtex Eintrag [33]

The Petri Net Baukasten of the DFG-Forschergruppe PETRI NET TECHNOLOGY [34]

Ehrig, H., Reisig, W. and Weber et al., H.

2003

Link zur Publikation [35] Download Bibtex Eintrag [36]

Generation of Animation Views for Petri Nets in textscGenGED [37]

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

Advances in Petri Nets: Petri Net Technology for Communication Based Systems 2003

Link zur Publikation [38] Download Bibtex Eintrag [39]

Konzeption und Entwicklung eines UML-basierten Funktionsblockmodells für den objektorientierten Steuerungsentwurf [40]

Braatz, A., Klein, M., Ehrig, H. and Westkämper, E.

Tagungsband Entwicklung und Betrieb komplexer Automatisierungssysteme EKA 2003, 15. 2003

Download Bibtex Eintrag [41]

Advances in Petri Nets: Petri Net Technology for Communication Based Systems [42]

||SPRINGER. 2003

Download Bibtex Eintrag [43]

Behavior and Instantiation of High-Level Net Processes [44]

Ehrig, H.

Proc. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA). Elsevier, 16. 2003

Link zur Publikation Download Bibtex Eintrag [45]

Behaviour and Instantiation of High-Level Net Processes. Full Technical Version [46]

Ehrig, H.

2003

Link zur Publikation [47] Download Bibtex Eintrag [48]

2002

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique [49]

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

Transactions of the SDPS, 78–104. 2002

Download Bibtex Eintrag [50]

A Component Framework based on High-Level Replacement Systems [51]

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

Proc. Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'02), Satellite Event of ICGT'02, 124-138. 2002

Link zur Publikation [52] Download Bibtex Eintrag [53]

Concurrency and Loose Semantics of Open Graph Transformation Systems [54]

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

MSCS, 349-376. 2002

Download Bibtex Eintrag [55]

Basic Results for Two Types of High-Level Replacement Systems [56]

Ehrig, H., Habel, A. and Parisi-Presicce, F.

Proc. GETGRATS Closing Workshop, 12. 2002

Link zur Publikation [57] Download Bibtex Eintrag [58]

High-Level Net Processes [59]

Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P. and Heckel, R.

Formal and Natural Computing. SPRINGER, 191 - 219. 2002

Download Bibtex Eintrag [60]

Application of Graph Transformation Techniques to the Area of Petri Nets [61]

Braatz, B., Ehrig, H., Hoffmann, K., Padberg, J. and Urbávsek, M.

Proc. AGT 2002: APPLIGRAPH Workshop on Applied Graph Transformation, 35–44. 2002

Link zur Publikation [62] Download Bibtex Eintrag [63]

A generic component framework for system modeling [64]

Ehrig, H. and Orejas, F.

Proceedings of ETAPS-FASE (Fundamental Approaches of Software Engineering). SPRINGER, 33-48. 2002

Download Bibtex Eintrag [65]

Bigraphs meet Double Pushouts [66]

Ehrig, H.

BEATCS, 72-85. 2002

Link zur Publikation [67] Download Bibtex Eintrag [68]

A Generic Component Concept for System Modeling [69]

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

Proc. FASE 2002: Formal Aspects of Software Engineering. SPRINGER, 32–48. 2002

Download Bibtex Eintrag [70]

Review of Algebraic Specification and Component Techniques at TU Berlin [71]

Ehrig, H.

BEATCS, 84-87. 2002

Download Bibtex Eintrag [72]

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique [73]

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

2002

Download Bibtex Eintrag [74]

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique [75]

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

Proc. of the Sixth World Conference on Integrated Design& Process Technology (IDPT'02) 2002

Download Bibtex Eintrag [76]

2001

Specification and Implementation of Animation Views for Petri nets [77]

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

Proc. of 2nd International Colloquium on Petri Net Technology for Comunication Based Systems, 12. 2001

Link zur Publikation [78] Download Bibtex Eintrag [79]

The ``Petri Net Baukasten'': An Overview [80]

Gajewsky, M. and Ehrig, H.

Unifying Petri Nets. SPRINGER, 26–53. 2001

Download Bibtex Eintrag [81]

On Formal Semantics and Integration of Object Oriented Modeling Languages [82]

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

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

Download Bibtex Eintrag [83]

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

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

Journal of Applied Categorical Structures, 83–110. 2001

Link zur Publikation [85] Download Bibtex Eintrag [86]

Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen [87]

Ehrig, H. and Grosse Rhode, M.

Informatik Forschung und Entwicklung, Springer-Verlag, 100–117. 2001

Download Bibtex Eintrag [88]

Tight and Loose Semantics for Transformation Systems [89]

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

Recent Trends in Algebraic Development Techniques. SPRINGER, 287–290. 2001

Download Bibtex Eintrag [90]

Parametrized Net Classes: A Uniform Approach to Petri Net Classes [91]

Padberg, J. and Ehrig, H.

Advances in Petri Nets: Unifying Petri Nets. SPRINGER, 173–229. 2001

Link zur Publikation [92] Download Bibtex Eintrag [93]

Compositional Modeling of Reactive Systems Using Open Nets [94]

Baldan, P., Corradini, A., Ehrig, H. and Heckel, R.

Proc. of CONCUR 2001. SPRINGER, 502-518. 2001

Download Bibtex Eintrag [95]

<< zurück [96]
vor >> [115]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008