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]

2005

Petri Net Modules in the Transformation-Based Component Framework [24]

Padberg, J. and Ehrig, H.

Journal of Logic and Algebraic Programming, 198-225. 2005

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

Compositional Semantics of Open Petri Nets based on Deterministic processes [27]

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

MSCS, 1–35. 2005

Link zur Publikation [28] Download Bibtex Eintrag [29]

Graph Transformation in Adhesive HLR Categories [30]

Prange, U. and Ehrig, H.

Proceedings of InterSymp 2005. IIAS. 2005

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

Attributed Graph Transformation with Node Type Inheritance: Long Version [33]

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

2005

Download Bibtex Eintrag [34]

Object-Oriented Connector-Component Architectures [35]

Ehrig, H., Braatz, B., Klein, M., Orejas, F., Pérez, S. and Pino, E.

Proc. Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2005), 123-151. 2005

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

Modeling with Graph Transformation [38]

Ehrig, H. and Prange, U.

Proceedings of InterSymp 2005. IIAS. 2005

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

Termination Criteria for Model Transformation [41]

Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D. and Varró-Gyapay, S.

Proc. Fundamental Approaches to Software Engineering (FASE). SPRINGER, 214–228. 2005

Link zur Publikation [42] Download Bibtex Eintrag [43]

2004

A Generic Framework for Connector Architectures based on Components and Transformations [44]

Ehrig, H., Padberg, J., Braatz, B., Klein, M., Orejas, F., Pérez, S. and Pino, E.

Proc. FESCA'04, satellite of ETAPS'04, Barcelona, ENTCS, 53-67. 2004

Link zur Publikation [45] Download Bibtex Eintrag [46]

Adhesive High-Level Replacement Categories and Systems [47]

Ehrig, H., Habel, A., Padberg, J. and Prange, U.

Proc. 2nd Int. Conference on Graph Transformation (ICGT'04). SPRINGER, 144–160. 2004

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

Workshop on Petri Nets and Graph Transformations [50]

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

Proc. 2nd Int. Conference on Graph Transformation (ICGT'04). SPRINGER, 144–160. 2004

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

Constraints and Application Conditions: From Graphs to High-Level Structures [53]

Ehrig, H., Ehrig, K., Habel, A. and Pennemann, K.-H.

Proc. 2nd Int. Conference on Graph Transformation (ICGT'04). SPRINGER, 287–303. 2004

Link zur Publikation [54] Download Bibtex Eintrag [55]

Anwendung softwaretechnischer Komponentenkonzepte auf die Produktionsautomatisierung [56]

Klein, M., Braatz, B., Ehrig, H., Schröter, G. and Bengel, M.

atp, 46–56. 2004

Download Bibtex Eintrag [57]

Semantische Konsistenz viewpointorientierter Modellierungstechniken am Beispiel der Produktionsautomatisierung [58]

Schröter, G., Braatz, B., Ehrig, H., Klein, M. and Bengel, M.

atp, 26–36. 2004

Download Bibtex Eintrag [59]

A component framework for system modeling based on high-level replacement systems [60]

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

Software and Systems Modeling, 114-134. 2004

Download Bibtex Eintrag [61]

Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting [62]

Ehrig, H. and Koenig, B.

Proc. FOSSACS 2004. SPRINGER, 151-166. 2004

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

Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results [65]

Ehrig, H.

2004

Download Bibtex Eintrag [66]

Integrating Meta Modelling with Graph Transformation for Efficient Visual Language Definition and Model Manipulation [67]

Bardohl, R., Ehrig, H., de Lara, J. and Taentzer, G.

Proc. Fundamental Aspects of Software Engineering 2004. SPRINGER. 2004

Download Bibtex Eintrag [68]

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report [69]

||SPRINGER. 2004

Download Bibtex Eintrag [70]

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

Ehrig, H.

Current Trends in Theoretical Computer Science: The Challenge of the New Century. World Scientific, Singapore etc. 2004, 89-95. 2004

Download Bibtex Eintrag [72]

Bigraphs Meet Double Pushouts [73]

Ehrig, H.

Current Trends in Theoretical Computer Science: The Challenge of the New Century. World Scientific, Singapore etc. 2004, 27-41. 2004

Download Bibtex Eintrag [74]

Attributed Graphs and Typing: Relationship between Different Representations [75]

Ehrig, H.

BEATCS, 175-190. 2004

Link zur Publikation [76] Download Bibtex Eintrag [77]

Integration of Specification Techniques for Applications in Engineering 1998-2004 [78]

Ehrig, H.

BEATCS 2004

Download Bibtex Eintrag [79]

Behaviour and Instantiation of High-Level Petri Net Processes [80]

Ehrig, H.

Fundamenta Informaticae, 1–37. 2004

Download Bibtex Eintrag [81]

Graph Grammars and Petri Net Transformations [82]

Ehrig, H. and Padberg, J.

Lectures on Concurrency and Petri Nets Special Issue Advanced Course PNT. SPRINGER, 496–536. 2004

Download Bibtex Eintrag [83]

Fundamental Theory for Typed Attributed Graph Transformation [84]

Ehrig, H., Prange, U. and Taentzer, G.

Proc. 2nd Int. Conference on Graph Transformation (ICGT'04), Rome, Italy. SPRINGER. 2004

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

The Role of Mathematics in Software System Development [87]

Ehrig, H. and Schroeter, G.

Current Trends in Theoretical Computer Science: The Challenge of the New Century. World Scientific, Singapore etc. 2004, 5-15. 2004

Download Bibtex Eintrag [88]

2003

Formal Notation, Results, and Research Topics for Generic Vidual Language and Transformation Approaches [89]

Ehrig, H., Habel, A., Taentzer, G. and Ehrig et al., K.

2003

Download Bibtex Eintrag [90]

Node Type Inheritance Concepts for Typed Graph Transformation [91]

Bardohl, R., Ehrig, H., de Lara, J., Runge, O., Taentzer, G. and Weinhold, I.

2003

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

Attributed Graphs and Typing: Relationship between Different Representations [94]

Ehrig, H.

2003

Download Bibtex Eintrag [95]

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

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

Journal of Integrated Design and Process Science, 78–104. 2003

Link zur Publikation [97] Download Bibtex Eintrag [98]

<< zurück [99]
vor >> [118]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008